Trace number 3715581

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.09 1816.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM1ee612fae97412540ece88664cb7382e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.685895
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2520
Total number of constraints142
Number of soft constraints51
Number of constraints which are clauses72
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint36
Top cost 2505
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2504
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 37
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.22	c run usual solver
5.47/5.55	o 1619
5.47/5.55	c starting approximation
5.47/5.55	c factor = 2
5.47/5.55	c current bound: 809
6.46/6.54	c current bound: 809
7.36/7.54	c current bound: 809
8.35/8.51	c current bound: 809
9.33/9.51	c current bound: 809
10.35/10.52	c current bound: 809
11.33/11.49	c current bound: 809
12.46/12.50	c current bound: 809
13.32/13.49	c current bound: 809
14.31/14.49	c current bound: 809
15.31/15.48	c current bound: 809
16.35/16.50	c current bound: 809
17.32/17.49	c current bound: 809
18.31/18.49	c current bound: 809
19.29/19.47	c current bound: 809
20.28/20.46	c current bound: 809
21.29/21.46	c current bound: 809
22.25/22.45	c current bound: 809
23.26/23.45	c current bound: 809
24.26/24.45	c current bound: 809
25.25/25.47	c current bound: 809
26.26/26.48	c current bound: 809
27.31/27.48	c current bound: 809
28.24/28.47	c current bound: 809
29.22/29.45	c current bound: 809
30.23/30.57	c current bound: 809
31.24/31.57	c current bound: 809
32.22/32.56	c current bound: 809
33.21/33.55	c current bound: 809
34.21/34.55	c current bound: 809
35.21/35.59	c current bound: 809
36.18/36.57	c current bound: 809
37.17/37.56	c current bound: 809
38.16/38.55	c current bound: 809
39.24/39.56	c current bound: 809
40.29/40.66	c current bound: 809
41.17/41.66	c current bound: 809
42.17/42.65	c current bound: 809
43.16/43.65	c current bound: 809
44.16/44.64	c current bound: 809
45.14/45.67	c current bound: 809
46.14/46.67	c current bound: 809
47.12/47.65	c current bound: 809
48.12/48.65	c current bound: 809
49.13/49.66	c current bound: 809
50.10/50.72	c current bound: 809
51.21/51.73	c current bound: 809
52.22/52.74	c current bound: 809
53.10/53.73	c current bound: 809
54.10/54.73	c current bound: 809
55.13/55.75	c current bound: 809
56.11/56.75	c current bound: 809
57.09/57.73	c current bound: 809
58.09/58.73	c current bound: 809
59.10/59.75	c current bound: 809
60.12/60.75	c current bound: 809
61.10/61.75	c current bound: 809
62.09/62.74	c current bound: 809
63.20/63.73	c current bound: 809
64.09/64.74	c current bound: 809
65.09/65.83	c current bound: 809
66.08/66.81	c current bound: 809
67.20/67.80	c current bound: 809
68.04/68.78	c current bound: 809
69.02/69.75	c current bound: 809
70.17/70.85	c current bound: 809
71.05/71.85	c current bound: 809
72.02/72.84	c current bound: 809
73.03/73.84	c current bound: 809
74.03/74.84	c current bound: 809
75.11/75.85	c current bound: 809
76.03/76.84	c current bound: 809
77.03/77.84	c current bound: 809
78.03/78.85	c current bound: 809
79.02/79.84	c current bound: 809
80.00/80.86	c current bound: 809
81.01/81.87	c current bound: 809
82.02/82.87	c current bound: 809
83.00/83.85	c current bound: 809
83.99/84.86	c current bound: 809
85.13/85.90	c current bound: 809
86.13/86.90	c current bound: 809
86.99/87.90	c current bound: 809
88.13/88.90	c current bound: 809
88.98/89.89	c current bound: 809
90.12/91.00	c current bound: 809
90.98/92.01	c current bound: 809
92.00/93.01	c current bound: 809
92.99/94.01	c current bound: 809
93.99/95.01	c current bound: 809
94.99/96.01	c current bound: 809
95.98/97.01	c current bound: 809
96.96/97.99	c current bound: 809
98.01/99.00	c current bound: 809
98.96/99.99	c current bound: 809
99.98/101.03	c current bound: 809
100.99/102.03	c current bound: 809
101.97/103.01	c current bound: 809
102.98/104.01	c current bound: 809
103.97/105.02	c current bound: 809
104.96/106.01	c current bound: 809
105.95/106.99	c current bound: 809
106.94/107.98	c current bound: 809
107.94/108.98	c current bound: 809
108.98/109.98	c current bound: 809
110.06/111.03	c current bound: 809
110.92/112.02	c current bound: 809
111.92/113.01	c current bound: 809
112.92/114.01	c current bound: 809
113.91/115.01	c current bound: 809
114.92/116.03	c current bound: 809
115.91/117.03	c current bound: 809
116.91/118.03	c current bound: 809
117.91/119.02	c current bound: 809
118.92/120.02	c current bound: 809
119.95/121.07	c current bound: 809
121.01/122.06	c current bound: 809
121.92/123.05	c current bound: 809
122.92/124.04	c current bound: 809
123.93/125.04	c current bound: 809
124.91/126.15	c current bound: 809
125.92/127.15	c current bound: 809
126.92/128.15	c current bound: 809
127.92/129.16	c current bound: 809
128.93/130.15	c current bound: 809
129.93/131.16	c current bound: 809
130.92/132.16	c current bound: 809
131.98/133.13	c current bound: 809
133.00/134.13	c current bound: 809
133.89/135.12	c current bound: 809
135.03/136.24	c current bound: 809
135.88/137.24	c current bound: 809
136.88/138.24	c current bound: 809
137.87/139.22	c current bound: 809
138.86/140.22	c current bound: 809
139.87/141.21	c current bound: 809
140.86/142.21	c current bound: 809
141.84/143.18	c current bound: 809
142.84/144.18	c current bound: 809
143.88/145.16	c current bound: 809
144.79/146.14	c current bound: 809
145.79/147.14	c current bound: 809
146.78/148.14	c current bound: 809
147.79/149.13	c current bound: 809
148.77/150.13	c current bound: 809
149.75/151.11	c current bound: 809
150.77/152.11	c current bound: 809
151.74/153.08	c current bound: 809
152.73/154.07	c current bound: 809
153.79/155.07	c current bound: 809
154.73/156.07	c current bound: 809
155.72/157.07	c current bound: 809
156.73/158.08	c current bound: 809
157.71/159.05	c current bound: 809
158.71/160.06	c current bound: 809
159.72/161.06	c current bound: 809
160.73/162.06	c current bound: 809
161.70/163.05	c current bound: 809
162.70/164.05	c current bound: 809
163.69/165.04	c current bound: 809
164.78/166.03	c current bound: 809
165.68/167.03	c current bound: 809
166.68/168.02	c current bound: 809
167.68/169.02	c current bound: 809
168.68/170.02	c current bound: 809
169.80/171.00	c current bound: 809
170.79/172.00	c current bound: 809
171.63/172.99	c current bound: 809
172.77/174.00	c current bound: 809
173.64/174.99	c current bound: 809
174.68/175.99	c current bound: 809
175.80/177.03	c current bound: 809
176.65/178.03	c current bound: 809
177.65/179.03	c current bound: 809
178.64/180.02	c current bound: 809
179.63/181.02	c current bound: 809
180.64/182.02	c current bound: 809
181.64/183.02	c current bound: 809
182.63/184.01	c current bound: 809
183.75/185.00	c current bound: 809
184.75/186.00	c current bound: 809
185.76/187.01	c current bound: 809
186.62/188.00	c current bound: 809
187.63/189.01	c current bound: 809
188.64/190.02	c current bound: 809
189.63/191.01	c current bound: 809
190.60/191.98	c current bound: 809
191.58/192.97	c current bound: 809
192.59/193.98	c current bound: 809
193.58/194.97	c current bound: 809
194.57/195.94	c current bound: 809
195.70/197.11	c current bound: 809
196.69/198.10	c current bound: 809
197.59/199.10	c current bound: 809
198.54/200.09	c current bound: 809
199.55/201.09	c current bound: 809
200.55/202.09	c current bound: 809
201.53/203.06	c current bound: 809
202.53/204.06	c current bound: 809
203.52/205.06	c current bound: 809
204.52/206.07	c current bound: 809
205.54/207.11	c current bound: 809
206.67/208.10	c current bound: 809
207.66/209.10	c current bound: 809
208.57/210.09	c current bound: 809
209.52/211.08	c current bound: 809
210.66/212.13	c current bound: 809
211.51/213.12	c current bound: 809
212.50/214.12	c current bound: 809
213.51/215.11	c current bound: 809
214.49/216.11	c current bound: 809
215.50/217.17	c current bound: 809
216.50/218.17	c current bound: 809
217.50/219.16	c current bound: 809
218.49/220.15	c current bound: 809
219.50/221.15	c current bound: 809
220.57/222.14	c current bound: 809
221.47/223.14	c current bound: 809
222.47/224.14	c current bound: 809
223.47/225.13	c current bound: 809
224.47/226.13	c current bound: 809
225.46/227.22	c current bound: 809
226.58/228.20	c current bound: 809
227.43/229.19	c current bound: 809
228.41/230.17	c current bound: 809
229.42/231.18	c current bound: 809
230.43/232.19	c current bound: 809
231.48/233.16	c current bound: 809
232.40/234.15	c current bound: 809
233.39/235.15	c current bound: 809
234.38/236.15	c current bound: 809
235.37/237.29	c current bound: 809
236.37/238.26	c current bound: 809
237.37/239.26	c current bound: 809
238.34/240.24	c current bound: 809
239.34/241.24	c current bound: 809
240.32/242.25	c current bound: 809
241.30/243.22	c current bound: 809
242.42/244.22	c current bound: 809
243.41/245.22	c current bound: 809
244.32/246.23	c current bound: 809
245.32/247.24	c current bound: 809
246.31/248.23	c current bound: 809
247.32/249.24	c current bound: 809
248.32/250.24	c current bound: 809
249.32/251.24	c current bound: 809
250.33/252.24	c current bound: 809
251.34/253.25	c current bound: 809
252.31/254.24	c current bound: 809
253.41/255.22	c current bound: 809
254.41/256.22	c current bound: 809
255.41/257.33	c current bound: 809
256.27/258.33	c current bound: 809
257.27/259.32	c current bound: 809
258.26/260.31	c current bound: 809
259.27/261.31	c current bound: 809
260.26/262.37	c current bound: 809
261.26/263.38	c current bound: 809
262.27/264.38	c current bound: 809
263.27/265.37	c current bound: 809
264.27/266.37	c current bound: 809
265.38/267.40	c current bound: 809
266.28/268.39	c current bound: 809
267.22/269.39	c current bound: 809
268.23/270.39	c current bound: 809
269.22/271.38	c current bound: 809
270.37/272.40	c current bound: 809
271.24/273.41	c current bound: 809
272.38/274.40	c current bound: 809
273.36/275.40	c current bound: 809
274.22/276.38	c current bound: 809
275.21/277.47	c current bound: 809
276.22/278.48	c current bound: 809
277.22/279.48	c current bound: 809
278.26/280.47	c current bound: 809
279.19/281.45	c current bound: 809
280.19/282.46	c current bound: 809
281.18/283.45	c current bound: 809
282.19/284.45	c current bound: 809
283.16/285.43	c current bound: 809
284.12/286.41	c current bound: 809
285.25/287.45	c current bound: 809
286.10/288.43	c current bound: 809
287.09/289.42	c current bound: 809
288.19/290.42	c current bound: 809
289.20/291.41	c current bound: 809
290.08/292.49	c current bound: 809
291.06/293.47	c current bound: 809
292.09/294.49	c current bound: 809
293.08/295.48	c current bound: 809
294.08/296.48	c current bound: 809
295.08/297.61	c current bound: 809
296.21/298.60	c current bound: 809
297.21/299.60	c current bound: 809
298.06/300.59	c current bound: 809
299.06/301.58	c current bound: 809
300.06/302.71	c current bound: 809
301.05/303.71	c current bound: 809
302.08/304.70	c current bound: 809
303.04/305.70	c current bound: 809
304.05/306.69	c current bound: 809
305.19/307.70	c current bound: 809
306.02/308.68	c current bound: 809
307.02/309.68	c current bound: 809
308.03/310.68	c current bound: 809
309.03/311.68	c current bound: 809
310.03/312.73	c current bound: 809
311.04/313.72	c current bound: 809
312.05/314.72	c current bound: 809
313.13/315.73	c current bound: 809
314.15/316.72	c current bound: 809
315.04/317.72	c current bound: 809
316.04/318.72	c current bound: 809
317.04/319.73	c current bound: 809
318.05/320.73	c current bound: 809
319.04/321.72	c current bound: 809
320.03/322.72	c current bound: 809
321.02/323.71	c current bound: 809
322.15/324.70	c current bound: 809
323.14/325.70	c current bound: 809
324.04/326.70	c current bound: 809
325.13/327.80	c current bound: 809
325.98/328.79	c current bound: 809
326.97/329.78	c current bound: 809
327.98/330.79	c current bound: 809
328.98/331.79	c current bound: 809
330.10/332.88	c current bound: 809
330.96/333.87	c current bound: 809
331.96/334.86	c current bound: 809
332.95/335.86	c current bound: 809
333.95/336.86	c current bound: 809
334.98/337.89	c current bound: 809
335.98/338.88	c current bound: 809
337.02/339.88	c current bound: 809
337.98/340.88	c current bound: 809
338.98/341.87	c current bound: 809
339.95/342.85	c current bound: 809
340.95/343.85	c current bound: 809
341.96/344.86	c current bound: 809
342.95/345.86	c current bound: 809
343.95/346.85	c current bound: 809
344.96/347.89	c current bound: 809
345.95/348.89	c current bound: 809
346.96/349.88	c current bound: 809
347.99/350.90	c current bound: 809
348.96/351.89	c current bound: 809
350.07/353.04	c current bound: 809
350.98/354.05	c current bound: 809
351.98/355.05	c current bound: 809
352.98/356.05	c current bound: 809
353.97/357.05	c current bound: 809
354.97/358.05	c current bound: 809
355.97/359.04	c current bound: 809
356.96/360.03	c current bound: 809
357.95/361.02	c current bound: 809
359.06/362.00	c current bound: 809
360.04/363.07	c current bound: 809
361.00/364.06	c current bound: 809
361.93/365.05	c current bound: 809
362.92/366.05	c current bound: 809
363.92/367.04	c current bound: 809
364.91/368.04	c current bound: 809
365.89/369.02	c current bound: 809
366.88/370.01	c current bound: 809
367.88/371.01	c current bound: 809
368.88/372.01	c current bound: 809
369.85/373.08	c current bound: 809
370.86/374.08	c current bound: 809
371.91/375.07	c current bound: 809
372.86/376.07	c current bound: 809
373.85/377.07	c current bound: 809
374.84/378.06	c current bound: 809
375.85/379.06	c current bound: 809
376.85/380.07	c current bound: 809
377.84/381.06	c current bound: 809
378.85/382.05	c current bound: 809
379.81/383.07	c current bound: 809
380.81/384.06	c current bound: 809
381.86/385.03	c current bound: 809
382.87/386.03	c current bound: 809
383.78/387.04	c current bound: 809
384.79/388.13	c current bound: 809
385.78/389.13	c current bound: 809
386.77/390.12	c current bound: 809
387.75/391.11	c current bound: 809
388.89/392.10	c current bound: 809
389.74/393.12	c current bound: 809
390.75/394.12	c current bound: 809
391.74/395.12	c current bound: 809
392.74/396.13	c current bound: 809
393.84/397.12	c current bound: 809
394.73/398.16	c current bound: 809
395.71/399.14	c current bound: 809
396.69/400.12	c current bound: 809
397.68/401.12	c current bound: 809
398.81/402.10	c current bound: 809
399.67/403.18	c current bound: 809
400.66/404.17	c current bound: 809
401.67/405.18	c current bound: 809
402.68/406.18	c current bound: 809
403.66/407.17	c current bound: 809
404.64/408.18	c current bound: 809
405.70/409.18	c current bound: 809
406.65/410.17	c current bound: 809
407.62/411.15	c current bound: 809
408.62/412.16	c current bound: 809
409.63/413.16	c current bound: 809
410.62/414.15	c current bound: 809
411.62/415.15	c current bound: 809
412.62/416.14	c current bound: 809
413.61/417.14	c current bound: 809
414.75/418.26	c current bound: 809
415.59/419.24	c current bound: 809
416.59/420.24	c current bound: 809
417.68/421.25	c current bound: 809
418.60/422.25	c current bound: 809
419.59/423.28	c current bound: 809
420.58/424.27	c current bound: 809
421.59/425.27	c current bound: 809
422.57/426.26	c current bound: 809
423.56/427.24	c current bound: 809
424.56/428.39	c current bound: 809
425.55/429.38	c current bound: 809
426.55/430.38	c current bound: 809
427.56/431.37	c current bound: 809
428.56/432.38	c current bound: 809
429.62/433.38	c current bound: 809
430.58/434.39	c current bound: 809
431.57/435.38	c current bound: 809
432.57/436.38	c current bound: 809
433.58/437.38	c current bound: 809
434.58/438.39	c current bound: 809
435.57/439.39	c current bound: 809
436.57/440.38	c current bound: 809
437.55/441.36	c current bound: 809
438.55/442.36	c current bound: 809
439.55/443.37	c current bound: 809
440.61/444.37	c current bound: 809
441.55/445.37	c current bound: 809
442.55/446.37	c current bound: 809
443.54/447.36	c current bound: 809
444.53/448.39	c current bound: 809
445.52/449.38	c current bound: 809
446.51/450.36	c current bound: 809
447.51/451.36	c current bound: 809
448.50/452.35	c current bound: 809
449.50/453.43	c current bound: 809
450.49/454.43	c current bound: 809
451.50/455.44	c current bound: 809
452.60/456.44	c current bound: 809
453.51/457.45	c current bound: 809
454.64/458.50	c current bound: 809
455.65/459.50	c current bound: 809
456.49/460.49	c current bound: 809
457.49/461.49	c current bound: 809
458.50/462.49	c current bound: 809
459.50/463.49	c current bound: 809
460.63/464.50	c current bound: 809
461.63/465.50	c current bound: 809
462.47/466.49	c current bound: 809
463.51/467.49	c current bound: 809
464.63/468.61	c current bound: 809
465.61/469.61	c current bound: 809
466.51/470.63	c current bound: 809
467.51/471.63	c current bound: 809
468.49/472.61	c current bound: 809
469.50/473.61	c current bound: 809
470.51/474.62	c current bound: 809
471.48/475.61	c current bound: 809
472.48/476.59	c current bound: 809
473.48/477.59	c current bound: 809
474.49/478.65	c current bound: 809
475.49/479.65	c current bound: 809
476.57/480.64	c current bound: 809
477.47/481.63	c current bound: 809
478.46/482.62	c current bound: 809
479.44/483.66	c current bound: 809
480.46/484.66	c current bound: 809
481.44/485.66	c current bound: 809
482.45/486.66	c current bound: 809
483.45/487.66	c current bound: 809
484.59/488.71	c current bound: 809
485.47/489.71	c current bound: 809
486.47/490.71	c current bound: 809
487.58/491.72	c current bound: 809
488.59/492.72	c current bound: 809
489.48/493.73	c current bound: 809
490.49/494.72	c current bound: 809
491.48/495.72	c current bound: 809
492.48/496.72	c current bound: 809
493.50/497.73	c current bound: 809
494.49/498.74	c current bound: 809
495.49/499.73	c current bound: 809
496.48/500.73	c current bound: 809
497.49/501.73	c current bound: 809
498.58/502.73	c current bound: 809
499.58/503.74	c current bound: 809
500.48/504.73	c current bound: 809
501.48/505.72	c current bound: 809
502.47/506.72	c current bound: 809
503.48/507.73	c current bound: 809
504.49/508.75	c current bound: 809
505.47/509.74	c current bound: 809
506.51/510.76	c current bound: 809
507.50/511.76	c current bound: 809
508.49/512.75	c current bound: 809
509.63/513.84	c current bound: 809
510.58/514.83	c current bound: 809
511.58/515.83	c current bound: 809
512.47/516.82	c current bound: 809
513.48/517.82	c current bound: 809
514.48/518.87	c current bound: 809
515.50/519.87	c current bound: 809
516.49/520.87	c current bound: 809
517.49/521.87	c current bound: 809
518.48/522.86	c current bound: 809
519.60/523.94	c current bound: 809
520.45/524.92	c current bound: 809
521.45/525.92	c current bound: 809
522.56/526.92	c current bound: 809
523.57/527.92	c current bound: 809
524.46/528.92	c current bound: 809
525.45/529.92	c current bound: 809
526.45/530.91	c current bound: 809
527.57/531.90	c current bound: 809
528.44/532.89	c current bound: 809
529.43/533.97	c current bound: 809
530.40/534.96	c current bound: 809
531.40/535.96	c current bound: 809
532.40/536.95	c current bound: 809
533.40/537.96	c current bound: 809
534.47/539.00	c current bound: 809
535.38/539.98	c current bound: 809
536.38/540.98	c current bound: 809
537.38/541.99	c current bound: 809
538.36/542.97	c current bound: 809
539.36/544.01	c current bound: 809
540.36/545.01	c current bound: 809
541.33/545.98	c current bound: 809
542.32/546.96	c current bound: 809
543.29/547.94	c current bound: 809
544.40/548.93	c current bound: 809
545.29/550.08	c current bound: 809
546.35/551.08	c current bound: 809
547.29/552.08	c current bound: 809
548.27/553.06	c current bound: 809
549.27/554.06	c current bound: 809
550.26/555.05	c current bound: 809
551.27/556.05	c current bound: 809
552.27/557.05	c current bound: 809
553.26/558.06	c current bound: 809
554.23/559.17	c current bound: 809
555.24/560.16	c current bound: 809
556.23/561.15	c current bound: 809
557.23/562.15	c current bound: 809
558.31/563.14	c current bound: 809
559.19/564.13	c current bound: 809
560.20/565.13	c current bound: 809
561.19/566.12	c current bound: 809
562.19/567.12	c current bound: 809
563.31/568.10	c current bound: 809
564.22/569.17	c current bound: 809
565.19/570.16	c current bound: 809
566.20/571.16	c current bound: 809
567.19/572.15	c current bound: 809
568.19/573.15	c current bound: 809
569.27/574.14	c current bound: 809
570.18/575.14	c current bound: 809
571.16/576.13	c current bound: 809
572.17/577.12	c current bound: 809
573.17/578.13	c current bound: 809
574.17/579.12	c current bound: 809
575.17/580.13	c current bound: 809
576.16/581.12	c current bound: 809
577.15/582.11	c current bound: 809
578.13/583.09	c current bound: 809
579.26/584.22	c current bound: 809
580.24/585.23	c current bound: 809
581.24/586.22	c current bound: 809
582.12/587.21	c current bound: 809
583.11/588.21	c current bound: 809
584.11/589.21	c current bound: 809
585.11/590.22	c current bound: 809
586.11/591.21	c current bound: 809
587.10/592.22	c current bound: 809
588.07/593.19	c current bound: 809
589.07/594.18	c current bound: 809
590.07/595.18	c current bound: 809
591.12/596.18	c current bound: 809
592.06/597.16	c current bound: 809
593.06/598.17	c current bound: 809
594.05/599.16	c current bound: 809
595.06/600.16	c current bound: 809
596.02/601.14	c current bound: 809
597.03/602.13	c current bound: 809
598.13/603.10	c current bound: 809
599.13/604.10	c current bound: 809
599.98/605.09	c current bound: 809
601.02/606.09	c current bound: 809
601.98/607.09	c current bound: 809
602.99/608.09	c current bound: 809
603.99/609.08	c current bound: 809
604.98/610.09	c current bound: 809
605.96/611.07	c current bound: 809
606.97/612.07	c current bound: 809
607.94/613.04	c current bound: 809
608.92/614.04	c current bound: 809
609.94/615.04	c current bound: 809
610.93/616.04	c current bound: 809
612.02/617.05	c current bound: 809
612.93/618.04	c current bound: 809
613.92/619.04	c current bound: 809
614.91/620.03	c current bound: 809
615.93/621.03	c current bound: 809
616.93/622.03	c current bound: 809
617.92/623.02	c current bound: 809
618.91/624.01	c current bound: 809
619.90/625.01	c current bound: 809
620.88/625.99	c current bound: 809
621.91/626.99	c current bound: 809
622.87/627.98	c current bound: 809
623.86/628.98	c current bound: 809
624.88/629.98	c current bound: 809
625.85/630.97	c current bound: 809
626.87/631.97	c current bound: 809
627.84/632.94	c current bound: 809
628.82/633.93	c current bound: 809
629.97/635.00	c current bound: 809
630.80/635.97	c current bound: 809
631.80/636.98	c current bound: 809
632.87/637.98	c current bound: 809
633.82/638.98	c current bound: 809
634.95/640.06	c current bound: 809
635.82/641.06	c current bound: 809
636.83/642.07	c current bound: 809
637.82/643.07	c current bound: 809
638.81/644.07	c current bound: 809
639.80/645.07	c current bound: 809
640.79/646.07	c current bound: 809
641.79/647.07	c current bound: 809
642.80/648.08	c current bound: 809
643.79/649.07	c current bound: 809
644.86/650.06	c current bound: 809
645.78/651.06	c current bound: 809
646.76/652.04	c current bound: 809
647.75/653.02	c current bound: 809
648.75/654.02	c current bound: 809
649.75/655.02	c current bound: 809
650.76/656.03	c current bound: 809
651.75/657.03	c current bound: 809
652.74/658.01	c current bound: 809
653.75/659.02	c current bound: 809
654.86/660.07	c current bound: 809
655.81/661.06	c current bound: 809
656.75/662.07	c current bound: 809
657.75/663.07	c current bound: 809
658.73/664.05	c current bound: 809
659.72/665.06	c current bound: 809
660.70/666.06	c current bound: 809
661.72/667.06	c current bound: 809
662.71/668.06	c current bound: 809
663.72/669.07	c current bound: 809
664.86/670.12	c current bound: 809
665.71/671.12	c current bound: 809
666.85/672.11	c current bound: 809
667.83/673.12	c current bound: 809
668.71/674.11	c current bound: 809
669.71/675.21	c current bound: 809
670.71/676.21	c current bound: 809
671.69/677.19	c current bound: 809
672.69/678.18	c current bound: 809
673.67/679.16	c current bound: 809
674.65/680.21	c current bound: 809
675.78/681.20	c current bound: 809
676.65/682.20	c current bound: 809
677.63/683.19	c current bound: 809
678.68/684.19	c current bound: 809
679.72/685.28	c current bound: 809
680.63/686.28	c current bound: 809
681.63/687.29	c current bound: 809
682.65/688.29	c current bound: 809
683.63/689.28	c current bound: 809
684.78/690.34	c current bound: 809
685.63/691.33	c current bound: 809
686.62/692.33	c current bound: 809
687.63/693.32	c current bound: 809
688.63/694.33	c current bound: 809
689.61/695.36	c current bound: 809
690.61/696.36	c current bound: 809
691.69/697.34	c current bound: 809
692.59/698.33	c current bound: 809
693.57/699.31	c current bound: 809
694.70/700.46	c current bound: 809
695.57/701.46	c current bound: 809
696.57/702.46	c current bound: 809
697.59/703.46	c current bound: 809
698.58/704.46	c current bound: 809
699.59/705.46	c current bound: 809
700.58/706.46	c current bound: 809
701.58/707.45	c current bound: 809
702.57/708.45	c current bound: 809
703.66/709.44	c current bound: 809
704.56/710.44	c current bound: 809
705.56/711.44	c current bound: 809
706.55/712.43	c current bound: 809
707.56/713.42	c current bound: 809
708.54/714.41	c current bound: 809
709.54/715.44	c current bound: 809
710.53/716.44	c current bound: 809
711.53/717.44	c current bound: 809
712.54/718.44	c current bound: 809
713.53/719.44	c current bound: 809
714.63/720.45	c current bound: 809
715.54/721.45	c current bound: 809
716.55/722.45	c current bound: 809
717.54/723.45	c current bound: 809
718.54/724.44	c current bound: 809
719.68/725.53	c current bound: 809
720.54/726.54	c current bound: 809
721.53/727.53	c current bound: 809
722.54/728.54	c current bound: 809
723.53/729.53	c current bound: 809
724.53/730.53	c current bound: 809
725.63/731.53	c current bound: 809
726.63/732.53	c current bound: 809
727.53/733.54	c current bound: 809
728.53/734.53	c current bound: 809
729.52/735.52	c current bound: 809
730.52/736.51	c current bound: 809
731.52/737.51	c current bound: 809
732.64/738.50	c current bound: 809
733.48/739.47	c current bound: 809
734.61/740.52	c current bound: 809
735.47/741.52	c current bound: 809
736.58/742.50	c current bound: 809
737.44/743.49	c current bound: 809
738.44/744.49	c current bound: 809
739.44/745.49	c current bound: 809
740.43/746.49	c current bound: 809
741.43/747.48	c current bound: 809
742.42/748.47	c current bound: 809
743.41/749.47	c current bound: 809
744.52/750.57	c current bound: 809
745.38/751.56	c current bound: 809
746.37/752.55	c current bound: 809
747.37/753.55	c current bound: 809
748.45/754.54	c current bound: 809
749.37/755.53	c current bound: 809
750.36/756.53	c current bound: 809
751.34/757.53	c current bound: 809
752.36/758.53	c current bound: 809
753.34/759.52	c current bound: 809
754.34/760.64	c current bound: 809
755.35/761.64	c current bound: 809
756.35/762.65	c current bound: 809
757.33/763.63	c current bound: 809
758.34/764.63	c current bound: 809
759.44/765.63	c current bound: 809
760.43/766.63	c current bound: 809
761.35/767.64	c current bound: 809
762.33/768.63	c current bound: 809
763.34/769.64	c current bound: 809
764.33/770.62	c current bound: 809
765.32/771.62	c current bound: 809
766.33/772.63	c current bound: 809
767.33/773.62	c current bound: 809
768.31/774.61	c current bound: 809
769.44/775.60	c current bound: 809
770.34/776.57	c current bound: 809
771.27/777.56	c current bound: 809
772.25/778.55	c current bound: 809
773.25/779.54	c current bound: 809
774.24/780.57	c current bound: 809
775.23/781.57	c current bound: 809
776.24/782.57	c current bound: 809
777.24/783.57	c current bound: 809
778.24/784.57	c current bound: 809
779.24/785.60	c current bound: 809
780.37/786.60	c current bound: 809
781.27/787.59	c current bound: 809
782.23/788.59	c current bound: 809
783.21/789.56	c current bound: 809
784.36/790.62	c current bound: 809
785.34/791.60	c current bound: 809
786.18/792.59	c current bound: 809
787.19/793.59	c current bound: 809
788.19/794.58	c current bound: 809
789.32/795.65	c current bound: 809
790.19/796.65	c current bound: 809
791.20/797.65	c current bound: 809
792.19/798.64	c current bound: 809
793.27/799.64	c current bound: 809
794.18/800.68	c current bound: 809
795.18/801.67	c current bound: 809
796.16/802.67	c current bound: 809
797.15/803.66	c current bound: 809
798.14/804.64	c current bound: 809
799.11/805.68	c current bound: 809
800.12/806.68	c current bound: 809
801.12/807.67	c current bound: 809
802.13/808.68	c current bound: 809
803.12/809.68	c current bound: 809
804.26/810.73	c current bound: 809
805.22/811.73	c current bound: 809
806.11/812.72	c current bound: 809
807.12/813.72	c current bound: 809
808.12/814.72	c current bound: 809
809.09/815.83	c current bound: 809
810.08/816.81	c current bound: 809
811.08/817.81	c current bound: 809
812.08/818.82	c current bound: 809
813.10/819.82	c current bound: 809
814.10/820.83	c current bound: 809
815.08/821.83	c current bound: 809
816.21/822.83	c current bound: 809
817.20/823.82	c current bound: 809
818.10/824.83	c current bound: 809
819.06/825.85	c current bound: 809
820.06/826.85	c current bound: 809
821.05/827.83	c current bound: 809
822.04/828.82	c current bound: 809
823.04/829.82	c current bound: 809
824.02/830.92	c current bound: 809
825.01/831.91	c current bound: 809
826.14/832.90	c current bound: 809
827.01/833.91	c current bound: 809
828.04/834.89	c current bound: 809
829.00/835.89	c current bound: 809
829.99/836.89	c current bound: 809
830.98/837.87	c current bound: 809
831.98/838.87	c current bound: 809
832.96/839.86	c current bound: 809
834.08/840.94	c current bound: 809
834.93/841.93	c current bound: 809
835.91/842.92	c current bound: 809
836.91/843.92	c current bound: 809
837.91/844.91	c current bound: 809
839.02/845.95	c current bound: 809
839.99/846.95	c current bound: 809
840.89/847.95	c current bound: 809
841.89/848.95	c current bound: 809
842.90/849.95	c current bound: 809
843.90/850.99	c current bound: 809
844.90/851.99	c current bound: 809
846.05/853.00	c current bound: 809
846.90/853.99	c current bound: 809
847.90/854.98	c current bound: 809
848.91/855.98	c current bound: 809
849.90/856.98	c current bound: 809
850.95/857.95	c current bound: 809
851.88/858.95	c current bound: 809
852.88/859.96	c current bound: 809
853.88/860.95	c current bound: 809
854.88/861.94	c current bound: 809
855.85/862.92	c current bound: 809
856.86/863.93	c current bound: 809
857.86/864.93	c current bound: 809
858.87/865.93	c current bound: 809
859.86/866.93	c current bound: 809
860.96/867.92	c current bound: 809
861.96/868.92	c current bound: 809
862.85/869.92	c current bound: 809
863.97/871.03	c current bound: 809
864.86/872.04	c current bound: 809
865.85/873.04	c current bound: 809
866.87/874.06	c current bound: 809
867.83/875.03	c current bound: 809
868.83/876.03	c current bound: 809
869.83/877.03	c current bound: 809
870.84/878.03	c current bound: 809
871.83/879.02	c current bound: 809
872.94/880.02	c current bound: 809
873.95/881.02	c current bound: 809
874.83/882.01	c current bound: 809
875.94/883.00	c current bound: 809
876.80/883.97	c current bound: 809
877.79/884.99	c current bound: 809
878.92/886.00	c current bound: 809
879.79/887.01	c current bound: 809
880.92/888.00	c current bound: 809
881.76/888.99	c current bound: 809
882.77/889.99	c current bound: 809
883.90/891.01	c current bound: 809
884.88/892.03	c current bound: 809
885.77/893.02	c current bound: 809
886.76/894.02	c current bound: 809
887.77/895.01	c current bound: 809
888.78/896.06	c current bound: 809
889.77/897.06	c current bound: 809
890.78/898.06	c current bound: 809
891.78/899.06	c current bound: 809
892.76/900.04	c current bound: 809
893.75/901.08	c current bound: 809
894.76/902.08	c current bound: 809
895.82/903.09	c current bound: 809
896.79/904.10	c current bound: 809
897.77/905.08	c current bound: 809
898.79/906.22	c current bound: 809
899.76/907.21	c current bound: 809
900.77/908.21	c current bound: 809
901.90/909.20	c current bound: 809
902.77/910.20	c current bound: 809
903.90/911.20	c current bound: 809
904.76/912.19	c current bound: 809
905.72/913.16	c current bound: 809
906.72/914.16	c current bound: 809
907.78/915.16	c current bound: 809
908.72/916.18	c current bound: 809
909.73/917.18	c current bound: 809
910.73/918.19	c current bound: 809
911.72/919.18	c current bound: 809
912.71/920.17	c current bound: 809
913.71/921.26	c current bound: 809
914.70/922.25	c current bound: 809
915.67/923.23	c current bound: 809
916.69/924.24	c current bound: 809
917.70/925.24	c current bound: 809
918.83/926.33	c current bound: 809
919.78/927.32	c current bound: 809
920.78/928.32	c current bound: 809
921.69/929.32	c current bound: 809
922.68/930.32	c current bound: 809
923.67/931.37	c current bound: 809
924.67/932.38	c current bound: 809
925.68/933.38	c current bound: 809
926.68/934.38	c current bound: 809
927.68/935.38	c current bound: 809
928.69/936.38	c current bound: 809
929.69/937.38	c current bound: 809
930.68/938.37	c current bound: 809
931.73/939.37	c current bound: 809
932.68/940.37	c current bound: 809
933.67/941.36	c current bound: 809
934.65/942.35	c current bound: 809
935.65/943.35	c current bound: 809
936.65/944.34	c current bound: 809
937.65/945.35	c current bound: 809
938.66/946.36	c current bound: 809
939.65/947.36	c current bound: 809
940.66/948.36	c current bound: 809
941.66/949.36	c current bound: 809
942.74/950.35	c current bound: 809
943.67/951.36	c current bound: 809
944.66/952.35	c current bound: 809
945.62/953.32	c current bound: 809
946.74/954.30	c current bound: 809
947.74/955.30	c current bound: 809
948.73/956.34	c current bound: 809
949.60/957.36	c current bound: 809
950.60/958.33	c current bound: 809
951.60/959.35	c current bound: 809
952.60/960.35	c current bound: 809
953.69/961.38	c current bound: 809
954.57/962.35	c current bound: 809
955.55/963.35	c current bound: 809
956.54/964.33	c current bound: 809
957.54/965.32	c current bound: 809
958.53/966.34	c current bound: 809
959.53/967.33	c current bound: 809
960.49/968.31	c current bound: 809
961.63/969.30	c current bound: 809
962.63/970.30	c current bound: 809
963.61/971.40	c current bound: 809
964.52/972.40	c current bound: 809
965.47/973.37	c current bound: 809
966.46/974.38	c current bound: 809
967.44/975.37	c current bound: 809
968.44/976.36	c current bound: 809
969.44/977.35	c current bound: 809
970.43/978.36	c current bound: 809
971.45/979.36	c current bound: 809
972.44/980.36	c current bound: 809
973.58/981.40	c current bound: 809
974.44/982.39	c current bound: 809
975.47/983.39	c current bound: 809
976.45/984.40	c current bound: 809
977.42/985.37	c current bound: 809
978.56/986.43	c current bound: 809
979.41/987.42	c current bound: 809
980.39/988.41	c current bound: 809
981.40/989.41	c current bound: 809
982.41/990.43	c current bound: 809
983.41/991.55	c current bound: 809
984.41/992.55	c current bound: 809
985.39/993.54	c current bound: 809
986.40/994.54	c current bound: 809
987.40/995.55	c current bound: 809
988.48/996.54	c current bound: 809
989.37/997.51	c current bound: 809
990.33/998.49	c current bound: 809
991.33/999.49	c current bound: 809
992.48/1000.50	c current bound: 809
993.34/1001.49	c current bound: 809
994.33/1002.48	c current bound: 809
995.32/1003.47	c current bound: 809
996.31/1004.47	c current bound: 809
997.31/1005.48	c current bound: 809
998.45/1006.58	c current bound: 809
999.35/1007.57	c current bound: 809
1000.29/1008.57	c current bound: 809
1001.28/1009.55	c current bound: 809
1002.28/1010.55	c current bound: 809
1003.41/1011.60	c current bound: 809
1004.27/1012.61	c current bound: 809
1005.41/1013.60	c current bound: 809
1006.26/1014.58	c current bound: 809
1007.25/1015.58	c current bound: 809
1008.25/1016.58	c current bound: 809
1009.23/1017.57	c current bound: 809
1010.29/1018.56	c current bound: 809
1011.22/1019.55	c current bound: 809
1012.21/1020.55	c current bound: 809
1013.34/1021.60	c current bound: 809
1014.20/1022.61	c current bound: 809
1015.21/1023.61	c current bound: 809
1016.21/1024.61	c current bound: 809
1017.21/1025.61	c current bound: 809
1018.20/1026.62	c current bound: 809
1019.33/1027.60	c current bound: 809
1020.32/1028.60	c current bound: 809
1021.33/1029.60	c current bound: 809
1022.19/1030.60	c current bound: 809
1023.17/1031.59	c current bound: 809
1024.16/1032.58	c current bound: 809
1025.16/1033.58	c current bound: 809
1026.16/1034.58	c current bound: 809
1027.15/1035.57	c current bound: 809
1028.13/1036.57	c current bound: 809
1029.13/1037.57	c current bound: 809
1030.11/1038.56	c current bound: 809
1031.11/1039.56	c current bound: 809
1032.19/1040.55	c current bound: 809
1033.22/1041.65	c current bound: 809
1034.11/1042.64	c current bound: 809
1035.11/1043.64	c current bound: 809
1036.10/1044.64	c current bound: 809
1037.11/1045.64	c current bound: 809
1038.10/1046.65	c current bound: 809
1039.11/1047.66	c current bound: 809
1040.12/1048.65	c current bound: 809
1041.12/1049.66	c current bound: 809
1042.11/1050.66	c current bound: 809
1043.08/1051.64	c current bound: 809
1044.17/1052.64	c current bound: 809
1045.09/1053.63	c current bound: 809
1046.08/1054.64	c current bound: 809
1047.08/1055.64	c current bound: 809
1048.08/1056.67	c current bound: 809
1049.09/1057.67	c current bound: 809
1050.09/1058.67	c current bound: 809
1051.06/1059.65	c current bound: 809
1052.07/1060.65	c current bound: 809
1053.07/1061.79	c current bound: 809
1054.04/1062.76	c current bound: 809
1055.05/1063.76	c current bound: 809
1056.11/1064.76	c current bound: 809
1057.03/1065.76	c current bound: 809
1058.03/1066.78	c current bound: 809
1059.00/1067.76	c current bound: 809
1060.00/1068.75	c current bound: 809
1060.97/1069.74	c current bound: 809
1061.98/1070.74	c current bound: 809
1062.98/1071.78	c current bound: 809
1063.96/1072.78	c current bound: 809
1064.98/1073.78	c current bound: 809
1065.96/1074.77	c current bound: 809
1067.02/1075.75	c current bound: 809
1068.07/1076.83	c current bound: 809
1068.92/1077.82	c current bound: 809
1069.92/1078.81	c current bound: 809
1070.90/1079.79	c current bound: 809
1071.89/1080.78	c current bound: 809
1072.90/1081.85	c current bound: 809
1073.88/1082.83	c current bound: 809
1074.88/1083.84	c current bound: 809
1075.88/1084.84	c current bound: 809
1076.87/1085.83	c current bound: 809
1077.98/1086.98	c current bound: 809
1078.88/1087.98	c current bound: 809
1079.93/1088.97	c current bound: 809
1080.85/1089.96	c current bound: 809
1081.85/1090.95	c current bound: 809
1082.83/1091.96	c current bound: 809
1083.86/1092.98	c current bound: 809
1084.85/1093.98	c current bound: 809
1085.86/1094.97	c current bound: 809
1086.85/1095.97	c current bound: 809
1087.84/1096.97	c current bound: 809
1088.85/1097.97	c current bound: 809
1089.85/1098.97	c current bound: 809
1090.90/1099.96	c current bound: 809
1091.83/1100.95	c current bound: 809
1092.81/1101.94	c current bound: 809
1093.81/1102.94	c current bound: 809
1094.81/1103.93	c current bound: 809
1095.81/1104.94	c current bound: 809
1096.80/1105.93	c current bound: 809
1097.80/1107.03	c current bound: 809
1098.79/1108.02	c current bound: 809
1099.77/1109.02	c current bound: 809
1100.89/1110.00	c current bound: 809
1101.79/1110.99	c current bound: 809
1102.85/1112.04	c current bound: 809
1103.73/1113.03	c current bound: 809
1104.74/1114.04	c current bound: 809
1105.74/1115.04	c current bound: 809
1106.75/1116.04	c current bound: 809
1107.74/1117.07	c current bound: 809
1108.75/1118.07	c current bound: 809
1109.75/1119.08	c current bound: 809
1110.74/1120.05	c current bound: 809
1111.71/1121.04	c current bound: 809
1112.81/1122.17	c current bound: 809
1113.70/1123.18	c current bound: 809
1114.76/1124.17	c current bound: 809
1115.70/1125.17	c current bound: 809
1116.70/1126.17	c current bound: 809
1117.69/1127.18	c current bound: 809
1118.69/1128.18	c current bound: 809
1119.67/1129.17	c current bound: 809
1120.65/1130.15	c current bound: 809
1121.64/1131.12	c current bound: 809
1122.64/1132.12	c current bound: 809
1123.64/1133.12	c current bound: 809
1124.75/1134.12	c current bound: 809
1125.74/1135.11	c current bound: 809
1126.64/1136.12	c current bound: 809
1127.63/1137.18	c current bound: 809
1128.63/1138.17	c current bound: 809
1129.61/1139.15	c current bound: 809
1130.59/1140.13	c current bound: 809
1131.58/1141.12	c current bound: 809
1132.69/1142.10	c current bound: 809
1133.54/1143.13	c current bound: 809
1134.55/1144.13	c current bound: 809
1135.65/1145.12	c current bound: 809
1136.50/1146.10	c current bound: 809
1137.66/1147.10	c current bound: 809
1138.51/1148.13	c current bound: 809
1139.51/1149.13	c current bound: 809
1140.52/1150.13	c current bound: 809
1141.52/1151.13	c current bound: 809
1142.50/1152.17	c current bound: 809
1143.48/1153.14	c current bound: 809
1144.48/1154.14	c current bound: 809
1145.46/1155.12	c current bound: 809
1146.56/1156.12	c current bound: 809
1147.60/1157.23	c current bound: 809
1148.55/1158.23	c current bound: 809
1149.45/1159.22	c current bound: 809
1150.41/1160.19	c current bound: 809
1151.42/1161.19	c current bound: 809
1152.56/1162.22	c current bound: 809
1153.40/1163.21	c current bound: 809
1154.41/1164.21	c current bound: 809
1155.53/1165.20	c current bound: 809
1156.39/1166.21	c current bound: 809
1157.40/1167.29	c current bound: 809
1158.57/1168.30	c current bound: 809
1159.45/1169.30	c current bound: 809
1160.41/1170.29	c current bound: 809
1161.42/1171.29	c current bound: 809
1162.56/1172.30	c current bound: 809
1163.56/1173.30	c current bound: 809
1164.56/1174.30	c current bound: 809
1165.57/1175.30	c current bound: 809
1166.43/1176.31	c current bound: 809
1167.42/1177.44	c current bound: 809
1168.42/1178.43	c current bound: 809
1169.40/1179.43	c current bound: 809
1170.38/1180.42	c current bound: 809
1171.51/1181.42	c current bound: 809
1172.51/1182.42	c current bound: 809
1173.51/1183.40	c current bound: 809
1174.35/1184.39	c current bound: 809
1175.35/1185.38	c current bound: 809
1176.34/1186.38	c current bound: 809
1177.34/1187.42	c current bound: 809
1178.33/1188.41	c current bound: 809
1179.32/1189.41	c current bound: 809
1180.31/1190.41	c current bound: 809
1181.33/1191.42	c current bound: 809
1182.43/1192.47	c current bound: 809
1183.37/1193.48	c current bound: 809
1184.31/1194.47	c current bound: 809
1185.30/1195.45	c current bound: 809
1186.30/1196.46	c current bound: 809
1187.30/1197.49	c current bound: 809
1188.28/1198.48	c current bound: 809
1189.29/1199.49	c current bound: 809
1190.26/1200.47	c current bound: 809
1191.26/1201.46	c current bound: 809
1192.24/1202.59	c current bound: 809
1193.23/1203.58	c current bound: 809
1194.23/1204.58	c current bound: 809
1195.29/1205.58	c current bound: 809
1196.23/1206.58	c current bound: 809
1197.22/1207.57	c current bound: 809
1198.22/1208.57	c current bound: 809
1199.21/1209.56	c current bound: 809
1200.20/1210.56	c current bound: 809
1201.19/1211.55	c current bound: 809
1202.18/1212.65	c current bound: 809
1203.19/1213.65	c current bound: 809
1204.19/1214.65	c current bound: 809
1205.20/1215.66	c current bound: 809
1206.17/1216.65	c current bound: 809
1207.29/1217.71	c current bound: 809
1208.13/1218.69	c current bound: 809
1209.11/1219.67	c current bound: 809
1210.10/1220.66	c current bound: 809
1211.10/1221.66	c current bound: 809
1212.10/1222.66	c current bound: 809
1213.07/1223.66	c current bound: 809
1214.08/1224.66	c current bound: 809
1215.08/1225.65	c current bound: 809
1216.07/1226.65	c current bound: 809
1217.07/1227.81	c current bound: 809
1218.08/1228.82	c current bound: 809
1219.18/1229.82	c current bound: 809
1220.06/1230.80	c current bound: 809
1221.19/1231.80	c current bound: 809
1222.04/1232.79	c current bound: 809
1223.04/1233.79	c current bound: 809
1224.03/1234.79	c current bound: 809
1225.18/1235.80	c current bound: 809
1226.03/1236.78	c current bound: 809
1227.03/1237.78	c current bound: 809
1228.01/1238.77	c current bound: 809
1229.00/1239.76	c current bound: 809
1230.07/1240.75	c current bound: 809
1230.97/1241.73	c current bound: 809
1231.97/1242.77	c current bound: 809
1232.97/1243.78	c current bound: 809
1233.99/1244.79	c current bound: 809
1234.98/1245.79	c current bound: 809
1236.13/1246.80	c current bound: 809
1236.97/1247.79	c current bound: 809
1238.11/1248.80	c current bound: 809
1238.97/1249.78	c current bound: 809
1239.97/1250.79	c current bound: 809
1241.00/1251.79	c current bound: 809
1242.10/1252.82	c current bound: 809
1243.02/1253.83	c current bound: 809
1244.01/1254.84	c current bound: 809
1245.00/1255.83	c current bound: 809
1245.99/1256.83	c current bound: 809
1247.00/1257.83	c current bound: 809
1247.96/1258.81	c current bound: 809
1248.97/1259.81	c current bound: 809
1249.96/1260.81	c current bound: 809
1250.96/1261.81	c current bound: 809
1251.99/1262.80	c current bound: 809
1252.93/1263.79	c current bound: 809
1253.93/1264.79	c current bound: 809
1254.92/1265.77	c current bound: 809
1255.92/1266.78	c current bound: 809
1257.04/1267.81	c current bound: 809
1258.03/1268.80	c current bound: 809
1258.88/1269.79	c current bound: 809
1260.02/1270.80	c current bound: 809
1260.87/1271.80	c current bound: 809
1261.86/1272.82	c current bound: 809
1262.97/1273.83	c current bound: 809
1263.97/1274.83	c current bound: 809
1264.87/1275.83	c current bound: 809
1265.86/1276.82	c current bound: 809
1266.84/1278.10	c current bound: 809
1267.83/1279.09	c current bound: 809
1268.97/1280.10	c current bound: 809
1269.83/1281.09	c current bound: 809
1270.97/1282.10	c current bound: 809
1271.95/1283.10	c current bound: 809
1272.80/1284.08	c current bound: 809
1273.79/1285.09	c current bound: 809
1274.79/1286.08	c current bound: 809
1275.79/1287.09	c current bound: 809
1276.84/1288.10	c current bound: 809
1277.82/1289.10	c current bound: 809
1278.82/1290.11	c current bound: 809
1279.81/1291.11	c current bound: 809
1280.82/1292.11	c current bound: 809
1281.84/1293.13	c current bound: 809
1282.83/1294.13	c current bound: 809
1283.82/1295.13	c current bound: 809
1284.81/1296.12	c current bound: 809
1285.80/1297.12	c current bound: 809
1286.78/1298.15	c current bound: 809
1287.79/1299.15	c current bound: 809
1288.88/1300.16	c current bound: 809
1289.78/1301.14	c current bound: 809
1290.77/1302.13	c current bound: 809
1291.75/1303.12	c current bound: 809
1292.74/1304.12	c current bound: 809
1293.75/1305.12	c current bound: 809
1294.74/1306.13	c current bound: 809
1295.75/1307.12	c current bound: 809
1296.74/1308.13	c current bound: 809
1297.74/1309.12	c current bound: 809
1298.84/1310.11	c current bound: 809
1299.84/1311.13	c current bound: 809
1300.73/1312.12	c current bound: 809
1301.72/1313.11	c current bound: 809
1302.71/1314.11	c current bound: 809
1303.70/1315.09	c current bound: 809
1304.69/1316.09	c current bound: 809
1305.68/1317.09	c current bound: 809
1306.70/1318.23	c current bound: 809
1307.68/1319.23	c current bound: 809
1308.68/1320.23	c current bound: 809
1309.70/1321.25	c current bound: 809
1310.70/1322.25	c current bound: 809
1311.78/1323.25	c current bound: 809
1312.68/1324.25	c current bound: 809
1313.69/1325.25	c current bound: 809
1314.70/1326.26	c current bound: 809
1315.69/1327.27	c current bound: 809
1316.67/1328.25	c current bound: 809
1317.66/1329.25	c current bound: 809
1318.67/1330.25	c current bound: 809
1319.64/1331.24	c current bound: 809
1320.64/1332.23	c current bound: 809
1321.73/1333.22	c current bound: 809
1322.72/1334.21	c current bound: 809
1323.59/1335.19	c current bound: 809
1324.59/1336.18	c current bound: 809
1325.59/1337.19	c current bound: 809
1326.73/1338.30	c current bound: 809
1327.58/1339.29	c current bound: 809
1328.58/1340.29	c current bound: 809
1329.56/1341.29	c current bound: 809
1330.56/1342.28	c current bound: 809
1331.57/1343.41	c current bound: 809
1332.56/1344.41	c current bound: 809
1333.70/1345.40	c current bound: 809
1334.58/1346.40	c current bound: 809
1335.55/1347.40	c current bound: 809
1336.70/1348.40	c current bound: 809
1337.57/1349.41	c current bound: 809
1338.56/1350.41	c current bound: 809
1339.57/1351.41	c current bound: 809
1340.57/1352.42	c current bound: 809
1341.58/1353.43	c current bound: 809
1342.58/1354.43	c current bound: 809
1343.58/1355.43	c current bound: 809
1344.58/1356.44	c current bound: 809
1345.58/1357.44	c current bound: 809
1346.66/1358.44	c current bound: 809
1347.57/1359.43	c current bound: 809
1348.56/1360.43	c current bound: 809
1349.55/1361.42	c current bound: 809
1350.54/1362.42	c current bound: 809
1351.52/1363.45	c current bound: 809
1352.53/1364.44	c current bound: 809
1353.52/1365.44	c current bound: 809
1354.52/1366.45	c current bound: 809
1355.52/1367.46	c current bound: 809
1356.51/1368.44	c current bound: 809
1357.59/1369.44	c current bound: 809
1358.50/1370.45	c current bound: 809
1359.51/1371.45	c current bound: 809
1360.50/1372.44	c current bound: 809
1361.50/1373.46	c current bound: 809
1362.51/1374.46	c current bound: 809
1363.51/1375.47	c current bound: 809
1364.50/1376.46	c current bound: 809
1365.50/1377.46	c current bound: 809
1366.48/1378.46	c current bound: 809
1367.47/1379.44	c current bound: 809
1368.56/1380.43	c current bound: 809
1369.46/1381.43	c current bound: 809
1370.47/1382.44	c current bound: 809
1371.47/1383.47	c current bound: 809
1372.46/1384.46	c current bound: 809
1373.42/1385.43	c current bound: 809
1374.42/1386.43	c current bound: 809
1375.42/1387.43	c current bound: 809
1376.43/1388.46	c current bound: 809
1377.41/1389.46	c current bound: 809
1378.39/1390.44	c current bound: 809
1379.49/1391.44	c current bound: 809
1380.40/1392.44	c current bound: 809
1381.37/1393.55	c current bound: 809
1382.37/1394.55	c current bound: 809
1383.37/1395.53	c current bound: 809
1384.34/1396.51	c current bound: 809
1385.33/1397.51	c current bound: 809
1386.33/1398.67	c current bound: 809
1387.33/1399.68	c current bound: 809
1388.32/1400.67	c current bound: 809
1389.31/1401.67	c current bound: 809
1390.30/1402.66	c current bound: 809
1391.30/1403.66	c current bound: 809
1392.39/1404.65	c current bound: 809
1393.30/1405.65	c current bound: 809
1394.31/1406.66	c current bound: 809
1395.29/1407.64	c current bound: 809
1396.28/1408.64	c current bound: 809
1397.30/1409.65	c current bound: 809
1398.31/1410.66	c current bound: 809
1399.31/1411.66	c current bound: 809
1400.29/1412.66	c current bound: 809
1401.31/1413.66	c current bound: 809
1402.30/1414.66	c current bound: 809
1403.37/1415.67	c current bound: 809
1404.29/1416.64	c current bound: 809
1405.28/1417.64	c current bound: 809
1406.27/1418.69	c current bound: 809
1407.28/1419.68	c current bound: 809
1408.28/1420.68	c current bound: 809
1409.26/1421.67	c current bound: 809
1410.27/1422.66	c current bound: 809
1411.26/1423.67	c current bound: 809
1412.27/1424.67	c current bound: 809
1413.27/1425.66	c current bound: 809
1414.31/1426.67	c current bound: 809
1415.26/1427.67	c current bound: 809
1416.26/1428.66	c current bound: 809
1417.26/1429.67	c current bound: 809
1418.25/1430.66	c current bound: 809
1419.25/1431.65	c current bound: 809
1420.25/1432.65	c current bound: 809
1421.25/1433.65	c current bound: 809
1422.23/1434.64	c current bound: 809
1423.23/1435.63	c current bound: 809
1424.33/1436.62	c current bound: 809
1425.34/1437.61	c current bound: 809
1426.31/1438.74	c current bound: 809
1427.22/1439.74	c current bound: 809
1428.21/1440.74	c current bound: 809
1429.18/1441.72	c current bound: 809
1430.17/1442.72	c current bound: 809
1431.17/1443.85	c current bound: 809
1432.16/1444.85	c current bound: 809
1433.15/1445.84	c current bound: 809
1434.14/1446.83	c current bound: 809
1435.14/1447.83	c current bound: 809
1436.13/1448.82	c current bound: 809
1437.24/1449.83	c current bound: 809
1438.26/1450.81	c current bound: 809
1439.24/1451.80	c current bound: 809
1440.24/1452.80	c current bound: 809
1441.11/1453.89	c current bound: 809
1442.11/1454.90	c current bound: 809
1443.24/1455.90	c current bound: 809
1444.24/1456.90	c current bound: 809
1445.10/1457.91	c current bound: 809
1446.11/1459.07	c current bound: 809
1447.09/1460.07	c current bound: 809
1448.11/1461.08	c current bound: 809
1449.08/1462.06	c current bound: 809
1450.09/1463.07	c current bound: 809
1451.15/1464.05	c current bound: 809
1452.07/1465.06	c current bound: 809
1453.07/1466.06	c current bound: 809
1454.05/1467.04	c current bound: 809
1455.05/1468.05	c current bound: 809
1456.07/1469.05	c current bound: 809
1457.07/1470.05	c current bound: 809
1458.05/1471.06	c current bound: 809
1459.06/1472.06	c current bound: 809
1460.06/1473.06	c current bound: 809
1461.06/1474.07	c current bound: 809
1462.10/1475.05	c current bound: 809
1463.03/1476.04	c current bound: 809
1464.03/1477.04	c current bound: 809
1465.03/1478.04	c current bound: 809
1466.01/1479.04	c current bound: 809
1467.00/1480.03	c current bound: 809
1468.00/1481.03	c current bound: 809
1468.99/1482.03	c current bound: 809
1469.98/1483.02	c current bound: 809
1471.12/1484.10	c current bound: 809
1472.10/1485.10	c current bound: 809
1473.00/1486.07	c current bound: 809
1473.94/1487.08	c current bound: 809
1474.91/1488.06	c current bound: 809
1475.94/1489.09	c current bound: 809
1476.93/1490.09	c current bound: 809
1477.93/1491.09	c current bound: 809
1478.93/1492.09	c current bound: 809
1479.92/1493.08	c current bound: 809
1480.92/1494.09	c current bound: 809
1481.90/1495.07	c current bound: 809
1482.90/1496.08	c current bound: 809
1483.95/1497.06	c current bound: 809
1484.88/1498.06	c current bound: 809
1485.86/1499.19	c current bound: 809
1486.86/1500.19	c current bound: 809
1487.83/1501.17	c current bound: 809
1488.84/1502.17	c current bound: 809
1489.81/1503.16	c current bound: 809
1490.82/1504.16	c current bound: 809
1491.82/1505.15	c current bound: 809
1492.81/1506.15	c current bound: 809
1493.81/1507.15	c current bound: 809
1494.80/1508.14	c current bound: 809
1495.90/1509.28	c current bound: 809
1496.84/1510.25	c current bound: 809
1497.77/1511.24	c current bound: 809
1498.76/1512.24	c current bound: 809
1499.73/1513.22	c current bound: 809
1500.73/1514.22	c current bound: 809
1501.73/1515.22	c current bound: 809
1502.72/1516.21	c current bound: 809
1503.72/1517.21	c current bound: 809
1504.73/1518.22	c current bound: 809
1505.84/1519.32	c current bound: 809
1506.81/1520.30	c current bound: 809
1507.71/1521.30	c current bound: 809
1508.68/1522.29	c current bound: 809
1509.67/1523.29	c current bound: 809
1510.68/1524.44	c current bound: 809
1511.66/1525.43	c current bound: 809
1512.66/1526.43	c current bound: 809
1513.67/1527.43	c current bound: 809
1514.66/1528.42	c current bound: 809
1515.66/1529.43	c current bound: 809
1516.63/1530.42	c current bound: 809
1517.64/1531.43	c current bound: 809
1518.65/1532.44	c current bound: 809
1519.65/1533.44	c current bound: 809
1520.74/1534.43	c current bound: 809
1521.65/1535.44	c current bound: 809
1522.66/1536.44	c current bound: 809
1523.66/1537.44	c current bound: 809
1524.65/1538.44	c current bound: 809
1525.63/1539.42	c current bound: 809
1526.62/1540.42	c current bound: 809
1527.61/1541.41	c current bound: 809
1528.61/1542.41	c current bound: 809
1529.62/1543.41	c current bound: 809
1530.73/1544.42	c current bound: 809
1531.72/1545.43	c current bound: 809
1532.63/1546.43	c current bound: 809
1533.62/1547.43	c current bound: 809
1534.61/1548.42	c current bound: 809
1535.61/1549.45	c current bound: 809
1536.62/1550.44	c current bound: 809
1537.60/1551.43	c current bound: 809
1538.59/1552.43	c current bound: 809
1539.60/1553.44	c current bound: 809
1540.60/1554.44	c current bound: 809
1541.69/1555.43	c current bound: 809
1542.67/1556.44	c current bound: 809
1543.62/1557.47	c current bound: 809
1544.59/1558.45	c current bound: 809
1545.60/1559.45	c current bound: 809
1546.60/1560.44	c current bound: 809
1547.60/1561.44	c current bound: 809
1548.59/1562.44	c current bound: 809
1549.59/1563.44	c current bound: 809
1550.59/1564.44	c current bound: 809
1551.60/1565.46	c current bound: 809
1552.59/1566.44	c current bound: 809
1553.68/1567.42	c current bound: 809
1554.57/1568.42	c current bound: 809
1555.56/1569.56	c current bound: 809
1556.56/1570.55	c current bound: 809
1557.55/1571.54	c current bound: 809
1558.54/1572.53	c current bound: 809
1559.53/1573.52	c current bound: 809
1560.53/1574.64	c current bound: 809
1561.53/1575.64	c current bound: 809
1562.53/1576.64	c current bound: 809
1563.51/1577.63	c current bound: 809
1564.50/1578.63	c current bound: 809
1565.61/1579.77	c current bound: 809
1566.49/1580.75	c current bound: 809
1567.57/1581.74	c current bound: 809
1568.47/1582.73	c current bound: 809
1569.48/1583.73	c current bound: 809
1570.47/1584.85	c current bound: 809
1571.47/1585.85	c current bound: 809
1572.47/1586.85	c current bound: 809
1573.46/1587.84	c current bound: 809
1574.45/1588.84	c current bound: 809
1575.44/1589.84	c current bound: 809
1576.45/1590.83	c current bound: 809
1577.46/1591.84	c current bound: 809
1578.55/1592.83	c current bound: 809
1579.53/1593.85	c current bound: 809
1580.45/1594.85	c current bound: 809
1581.45/1595.85	c current bound: 809
1582.43/1596.83	c current bound: 809
1583.44/1597.83	c current bound: 809
1584.41/1598.81	c current bound: 809
1585.41/1599.82	c current bound: 809
1586.42/1600.82	c current bound: 809
1587.43/1601.83	c current bound: 809
1588.42/1602.82	c current bound: 809
1589.54/1603.81	c current bound: 809
1590.54/1604.82	c current bound: 809
1591.38/1605.81	c current bound: 809
1592.38/1606.81	c current bound: 809
1593.39/1607.81	c current bound: 809
1594.51/1608.80	c current bound: 809
1595.37/1609.94	c current bound: 809
1596.37/1610.93	c current bound: 809
1597.37/1611.92	c current bound: 809
1598.37/1612.93	c current bound: 809
1599.35/1613.92	c current bound: 809
1600.35/1615.02	c current bound: 809
1601.34/1616.02	c current bound: 809
1602.45/1617.01	c current bound: 809
1603.30/1617.99	c current bound: 809
1604.29/1618.96	c current bound: 809
1605.30/1620.13	c current bound: 809
1606.29/1621.12	c current bound: 809
1607.28/1622.12	c current bound: 809
1608.28/1623.11	c current bound: 809
1609.26/1624.09	c current bound: 809
1610.23/1625.23	c current bound: 809
1611.24/1626.23	c current bound: 809
1612.23/1627.23	c current bound: 809
1613.22/1628.22	c current bound: 809
1614.22/1629.22	c current bound: 809
1615.32/1630.21	c current bound: 809
1616.34/1631.21	c current bound: 809
1617.22/1632.22	c current bound: 809
1618.21/1633.22	c current bound: 809
1619.21/1634.22	c current bound: 809
1620.32/1635.20	c current bound: 809
1621.20/1636.21	c current bound: 809
1622.31/1637.20	c current bound: 809
1623.17/1638.20	c current bound: 809
1624.32/1639.20	c current bound: 809
1625.31/1640.20	c current bound: 809
1626.20/1641.19	c current bound: 809
1627.16/1642.19	c current bound: 809
1628.15/1643.17	c current bound: 809
1629.13/1644.16	c current bound: 809
1630.13/1645.18	c current bound: 809
1631.13/1646.16	c current bound: 809
1632.11/1647.15	c current bound: 809
1633.10/1648.14	c current bound: 809
1634.09/1649.14	c current bound: 809
1635.09/1650.29	c current bound: 809
1636.06/1651.27	c current bound: 809
1637.06/1652.26	c current bound: 809
1638.12/1653.27	c current bound: 809
1639.05/1654.26	c current bound: 809
1640.05/1655.28	c current bound: 809
1641.05/1656.28	c current bound: 809
1642.06/1657.28	c current bound: 809
1643.04/1658.27	c current bound: 809
1644.03/1659.26	c current bound: 809
1645.01/1660.37	c current bound: 809
1646.03/1661.37	c current bound: 809
1647.01/1662.35	c current bound: 809
1647.98/1663.35	c current bound: 809
1649.00/1664.35	c current bound: 809
1650.08/1665.36	c current bound: 809
1651.01/1666.36	c current bound: 809
1652.01/1667.36	c current bound: 809
1652.99/1668.35	c current bound: 809
1654.00/1669.37	c current bound: 809
1655.01/1670.52	c current bound: 809
1656.00/1671.51	c current bound: 809
1656.98/1672.49	c current bound: 809
1657.97/1673.48	c current bound: 809
1658.97/1674.48	c current bound: 809
1659.96/1675.48	c current bound: 809
1660.96/1676.48	c current bound: 809
1662.01/1677.47	c current bound: 809
1662.96/1678.48	c current bound: 809
1663.96/1679.48	c current bound: 809
1664.95/1680.57	c current bound: 809
1665.95/1681.58	c current bound: 809
1666.95/1682.58	c current bound: 809
1667.95/1683.57	c current bound: 809
1668.94/1684.56	c current bound: 809
1669.93/1685.71	c current bound: 809
1670.90/1686.68	c current bound: 809
1671.93/1687.71	c current bound: 809
1673.06/1688.70	c current bound: 809
1673.92/1689.71	c current bound: 809
1675.05/1690.72	c current bound: 809
1676.05/1691.71	c current bound: 809
1677.05/1692.70	c current bound: 809
1677.87/1693.66	c current bound: 809
1678.86/1694.65	c current bound: 809
1679.85/1695.77	c current bound: 809
1680.85/1696.76	c current bound: 809
1681.84/1697.77	c current bound: 809
1682.86/1698.77	c current bound: 809
1683.83/1699.75	c current bound: 809
1684.84/1700.77	c current bound: 809
1685.84/1701.77	c current bound: 809
1686.88/1702.76	c current bound: 809
1687.81/1703.74	c current bound: 809
1688.80/1704.73	c current bound: 809
1689.90/1705.70	c current bound: 809
1690.76/1706.69	c current bound: 809
1691.76/1707.69	c current bound: 809
1692.74/1708.68	c current bound: 809
1693.74/1709.68	c current bound: 809
1694.73/1710.67	c current bound: 809
1695.73/1711.68	c current bound: 809
1696.79/1712.67	c current bound: 809
1697.70/1713.66	c current bound: 809
1698.71/1714.66	c current bound: 809
1699.69/1715.64	c current bound: 809
1700.69/1716.79	c current bound: 809
1701.68/1717.78	c current bound: 809
1702.66/1718.77	c current bound: 809
1703.66/1719.76	c current bound: 809
1704.67/1720.77	c current bound: 809
1705.66/1721.76	c current bound: 809
1706.66/1722.76	c current bound: 809
1707.71/1723.73	c current bound: 809
1708.71/1724.73	c current bound: 809
1709.61/1725.73	c current bound: 809
1710.60/1726.90	c current bound: 809
1711.74/1727.90	c current bound: 809
1712.74/1728.90	c current bound: 809
1713.75/1729.90	c current bound: 809
1714.58/1730.88	c current bound: 809
1715.56/1731.85	c current bound: 809
1716.55/1732.85	c current bound: 809
1717.58/1733.86	c current bound: 809
1718.57/1734.86	c current bound: 809
1719.55/1735.85	c current bound: 809
1720.63/1736.87	c current bound: 809
1721.54/1737.85	c current bound: 809
1722.54/1738.85	c current bound: 809
1723.55/1739.85	c current bound: 809
1724.53/1740.85	c current bound: 809
1725.54/1741.89	c current bound: 809
1726.52/1742.87	c current bound: 809
1727.53/1743.87	c current bound: 809
1728.49/1744.84	c current bound: 809
1729.49/1745.84	c current bound: 809
1730.48/1746.87	c current bound: 809
1731.55/1747.86	c current bound: 809
1732.46/1748.86	c current bound: 809
1733.46/1749.85	c current bound: 809
1734.45/1750.83	c current bound: 809
1735.42/1751.81	c current bound: 809
1736.39/1752.96	c current bound: 809
1737.41/1753.96	c current bound: 809
1738.40/1754.96	c current bound: 809
1739.39/1755.95	c current bound: 809
1740.39/1757.08	c current bound: 809
1741.39/1758.08	c current bound: 809
1742.39/1759.08	c current bound: 809
1743.40/1760.08	c current bound: 809
1744.45/1761.09	c current bound: 809
1745.38/1762.07	c current bound: 809
1746.38/1763.07	c current bound: 809
1747.39/1764.07	c current bound: 809
1748.39/1765.07	c current bound: 809
1749.39/1766.07	c current bound: 809
1750.52/1767.12	c current bound: 809
1751.39/1768.12	c current bound: 809
1752.40/1769.14	c current bound: 809
1753.39/1770.14	c current bound: 809
1754.40/1771.14	c current bound: 809
1755.48/1772.13	c current bound: 809
1756.48/1773.13	c current bound: 809
1757.37/1774.13	c current bound: 809
1758.37/1775.13	c current bound: 809
1759.38/1776.12	c current bound: 809
1760.35/1777.15	c current bound: 809
1761.32/1778.12	c current bound: 809
1762.32/1779.12	c current bound: 809
1763.32/1780.12	c current bound: 809
1764.32/1781.12	c current bound: 809
1765.30/1782.11	c current bound: 809
1766.44/1783.11	c current bound: 809
1767.29/1784.10	c current bound: 809
1768.27/1785.08	c current bound: 809
1769.28/1786.08	c current bound: 809
1770.40/1787.22	c current bound: 809
1771.27/1788.22	c current bound: 809
1772.27/1789.22	c current bound: 809
1773.26/1790.22	c current bound: 809
1774.26/1791.21	c current bound: 809
1775.27/1792.22	c current bound: 809
1776.26/1793.22	c current bound: 809
1777.26/1794.22	c current bound: 809
1778.37/1795.22	c current bound: 809
1779.36/1796.21	c current bound: 809
1780.26/1797.21	c current bound: 809
1781.38/1798.20	c current bound: 809
1782.23/1799.19	c current bound: 809
1783.22/1800.18	c current bound: 809
1784.22/1801.19	c current bound: 809
1785.21/1802.28	c current bound: 809
1786.19/1803.27	c current bound: 809
1787.17/1804.25	c current bound: 809
1788.17/1805.24	c current bound: 809
1789.16/1806.24	c current bound: 809
1790.28/1807.37	c current bound: 809
1791.22/1808.36	c current bound: 809
1792.14/1809.35	c current bound: 809
1793.12/1810.33	c current bound: 809
1794.13/1811.34	c current bound: 809
1795.12/1812.42	c current bound: 809
1796.13/1813.42	c current bound: 809
1797.12/1814.42	c current bound: 809
1798.13/1815.42	c current bound: 809
1799.12/1816.43	c current bound: 809
1799.33/1816.50	./satsolver.sh: line 5:  3392 Terminated              ./glucose $1 > $2 2> /dev/null
1799.33/1816.50	c error: unexpected solver exit code
1799.33/1816.50	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-3715581-1338179946/watcher-3715581-1338179946 -o /tmp/evaluation-result-3715581-1338179946/solver-3715581-1338179946 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715581-1338179946.wbo 1594182416 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.85 1.80 1.82 3/179 1203
/proc/meminfo: memFree=30956884/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0

[startup+0.0767431 s]
/proc/loadavg: 1.85 1.80 1.82 3/179 1203
/proc/meminfo: memFree=30956884/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100336 s]
/proc/loadavg: 1.85 1.80 1.82 3/179 1203
/proc/meminfo: memFree=30956884/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300284 s]
/proc/loadavg: 1.85 1.80 1.82 3/179 1203
/proc/meminfo: memFree=30956884/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700333 s]
/proc/loadavg: 1.85 1.80 1.82 3/179 1203
/proc/meminfo: memFree=30956884/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 1.85 1.80 1.82 3/183 1221
/proc/meminfo: memFree=30894284/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=10464 CPUtime=0.21 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 4006 0 0 0 20 1 0 0 20 0 1 0 284123197 10715136 1932 33554432000 4194304 5990268 140734512994448 140734512987600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1204/statm: 2616 1932 156 439 0 2173 0
[pid=1206] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1206/stat : 1206 (cp2_pre.sh) S 1204 1203 15230 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 284123219 9367552 276 33554432000 4194304 5064252 140735827950352 140735827949056 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1206/statm: 2287 276 234 213 0 72 0
[pid=1207] ppid=1206 vsize=70364 CPUtime=1.27 cores=1,3,5,7
/proc/1207/stat : 1207 (coprocessor) R 1206 1203 15230 0 -1 4202496 14575 0 0 0 111 16 0 0 20 0 1 0 284123219 72052736 15848 33554432000 4194304 6586260 140736581497824 140736581493080 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/1207/statm: 17591 15848 198 584 0 17003 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 99124

[startup+3.10035 s]
/proc/loadavg: 1.87 1.81 1.82 3/183 1241
/proc/meminfo: memFree=30933872/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=10464 CPUtime=1.65 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 4015 15479 0 0 20 1 118 26 20 0 1 0 284123197 10715136 1933 33554432000 4194304 5990268 140734512994448 140734512988688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1204/statm: 2616 1933 157 439 0 2173 0
[pid=1235] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284123364 9367552 267 33554432000 4194304 5064252 140737413847728 140737413846640 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1235/statm: 2287 267 226 213 0 72 0
[pid=1236] ppid=1235 vsize=23396 CPUtime=1.42 cores=1,3,5,7
/proc/1236/stat : 1236 (glucose) R 1235 1203 15230 0 -1 4202496 4213 0 0 0 141 1 0 0 20 0 1 0 284123364 23957504 4921 33554432000 4194304 5208918 140733195289488 140733195287640 4215351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1236/statm: 5849 4921 96 248 0 5598 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 52156

[startup+6.30031 s]
/proc/loadavg: 1.87 1.81 1.82 3/184 1297
/proc/meminfo: memFree=30936060/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=13828 CPUtime=5.53 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 5223 26944 0 0 23 7 493 30 20 0 1 0 284123197 14159872 2756 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1204/statm: 3457 2756 179 439 0 3014 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 22976

[startup+12.7004 s]
/proc/loadavg: 1.89 1.81 1.82 3/183 1457
/proc/meminfo: memFree=30919208/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=12.48 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 13870 109156 0 0 35 10 1135 68 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 23600

[startup+25.5004 s]
/proc/loadavg: 1.90 1.82 1.82 3/183 1782
/proc/meminfo: memFree=30919140/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=25.41 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 29925 258866 0 0 59 14 2328 140 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 23600

[startup+51.1003 s]
/proc/loadavg: 1.78 1.80 1.81 3/183 2361
/proc/meminfo: memFree=30939132/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=50.25 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 60800 556388 0 0 103 22 4625 275 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 50.25
Current children cumulated vsize (KiB) 23600

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

[startup+72.7003 s]
/proc/loadavg: 1.85 1.81 1.82 3/184 2854
/proc/meminfo: memFree=30916092/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=71.21 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 86735 803055 0 0 142 28 6566 385 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
[pid=2846] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2846/stat : 2846 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284130384 9367552 267 33554432000 4194304 5064252 140736064619840 140736064618752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2846/statm: 2287 267 226 213 0 72 0
[pid=2847] ppid=2846 vsize=29800 CPUtime=0.81 cores=1,3,5,7
/proc/2847/stat : 2847 (glucose) R 2846 1203 15230 0 -1 4202496 5791 0 0 0 80 1 0 0 20 0 1 0 284130384 30515200 6024 33554432000 4194304 5208918 140736990406704 140736990404552 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2847/statm: 7450 6024 105 248 0 7199 0
Current children cumulated CPU time (s) 72.02
Current children cumulated vsize (KiB) 62548

[startup+72.8004 s]
/proc/loadavg: 1.85 1.81 1.82 3/184 2854
/proc/meminfo: memFree=30916092/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=72.02 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 86743 809451 0 0 142 28 6646 386 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 72.02
Current children cumulated vsize (KiB) 23600
#
############


[startup+102.307 s]
/proc/loadavg: 1.86 1.81 1.82 3/184 3526
/proc/meminfo: memFree=30918452/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=101.15 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 123785 1157199 0 0 196 37 9338 544 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
[pid=3525] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3525/stat : 3525 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284133402 9367552 267 33554432000 4194304 5064252 140737148192976 140737148191888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3525/statm: 2287 267 226 213 0 72 0

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

/proc/meminfo: memFree=30891540/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1290.92 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 1599610 15226986 0 0 2360 400 119359 6973 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
[pid=30149] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30149/stat : 30149 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284253412 9367552 267 33554432000 4194304 5064252 140734950643584 140734950642496 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30149/statm: 2287 267 226 213 0 72 0
[pid=30151] ppid=30149 vsize=25988 CPUtime=0.13 cores=1,3,5,7
/proc/30151/stat : 30151 (glucose) R 30149 1203 15230 0 -1 4202496 5105 0 0 0 13 0 0 0 20 0 1 0 284253412 26611712 5343 33554432000 4194304 5208918 140735876218480 140735876216328 4228985 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30151/statm: 6497 5343 95 248 0 6246 0
Current children cumulated CPU time (s) 1291.05
Current children cumulated vsize (KiB) 58736

[startup+1362.3 s]
/proc/loadavg: 1.89 1.93 1.89 3/184 30820
/proc/meminfo: memFree=30888676/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1350.54 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 1672483 15937610 0 0 2467 417 124873 7297 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1350.54
Current children cumulated vsize (KiB) 23600

[startup+1422.31 s]
/proc/loadavg: 1.87 1.91 1.88 3/183 31481
/proc/meminfo: memFree=30907520/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1409.43 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 1746575 16634965 0 0 2575 438 130314 7616 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
[pid=31477] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31477/stat : 31477 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284265365 9367552 267 33554432000 4194304 5064252 140735595341744 140735595340656 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31477/statm: 2287 267 226 213 0 72 0
[pid=31478] ppid=31477 vsize=26252 CPUtime=0.61 cores=1,3,5,7
/proc/31478/stat : 31478 (glucose) R 31477 1203 15230 0 -1 4202496 5396 0 0 0 60 1 0 0 20 0 1 0 284265365 26882048 5652 33554432000 4194304 5208918 140735347127952 140735347126360 4231508 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31478/statm: 6563 5652 95 248 0 6312 0
Current children cumulated CPU time (s) 1410.04
Current children cumulated vsize (KiB) 59000

[startup+1482.3 s]
/proc/loadavg: 1.91 1.91 1.88 3/183 32129
/proc/meminfo: memFree=30888236/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1469.15 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 1820675 17341966 0 0 2683 455 135844 7933 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1469.15
Current children cumulated vsize (KiB) 23600

[startup+1542.3 s]
/proc/loadavg: 1.93 1.91 1.88 3/183 320
/proc/meminfo: memFree=30887284/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1528.61 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 1893548 18046008 0 0 2790 473 141343 8255 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1528.61
Current children cumulated vsize (KiB) 23600

[startup+1602.3 s]
/proc/loadavg: 1.93 1.91 1.88 3/183 983
/proc/meminfo: memFree=30887660/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1587.58 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 1967640 18750840 0 0 2899 490 146799 8570 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1587.58
Current children cumulated vsize (KiB) 23600

[startup+1662.3 s]
/proc/loadavg: 2.10 1.96 1.90 3/183 1685
/proc/meminfo: memFree=30886668/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1647.01 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 2040513 19451279 0 0 3006 508 152301 8886 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1647.01
Current children cumulated vsize (KiB) 23600

[startup+1722.3 s]
/proc/loadavg: 1.96 1.95 1.90 3/183 2352
/proc/meminfo: memFree=30888536/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1705.82 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 2114605 20154438 0 0 3114 526 157737 9205 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 23 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1705.82
Current children cumulated vsize (KiB) 23600

[startup+1782.3 s]
/proc/loadavg: 1.98 1.95 1.91 3/183 3010
/proc/meminfo: memFree=30886040/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1765.47 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 2188705 20862667 0 0 3223 544 163258 9522 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
Current children cumulated CPU time (s) 1765.47
Current children cumulated vsize (KiB) 23600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.5 s]
/proc/loadavg: 1.94 1.94 1.90 3/183 3392
/proc/meminfo: memFree=30907712/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1799.28 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 2230695 21266879 0 0 3284 555 166389 9700 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
[pid=3391] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3391/stat : 3391 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284304841 9367552 266 33554432000 4194304 5064252 140737323974544 140737323973456 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3391/statm: 2287 266 226 213 0 72 0
[pid=3392] ppid=3391 vsize=25852 CPUtime=0.05 cores=1,3,5,7
/proc/3392/stat : 3392 (glucose) R 3391 1203 15230 0 -1 4202496 5283 0 0 0 4 1 0 0 20 0 1 0 284304841 26472448 4986 33554432000 4194304 5208918 140734397758768 140737323973480 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3392/statm: 6463 4986 95 248 0 6212 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 58600

Sending SIGTERM to process tree (bottom up)

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

[startup+1816.5 s]
/proc/loadavg: 1.94 1.94 1.90 3/183 3392
/proc/meminfo: memFree=30907712/32873844 swapFree=7108/7108
[pid=1203] ppid=1201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1203/stat : 1203 (npSolver-wbo-It) S 1201 1203 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284123197 9367552 275 33554432000 4194304 5064252 140733790235824 140733790234736 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1203/statm: 2287 275 233 213 0 72 0
[pid=1204] ppid=1203 vsize=14452 CPUtime=1799.28 cores=1,3,5,7
/proc/1204/stat : 1204 (npSolver-wbo) S 1203 1203 15230 0 -1 4202496 2230695 21266879 0 0 3284 555 166389 9700 20 0 1 0 284123197 14798848 2913 33554432000 4194304 5990268 140734512994448 140734512985856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 40 0 0
/proc/1204/statm: 3613 2913 180 439 0 3170 0
[pid=3391] ppid=1204 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3391/stat : 3391 (satsolver.sh) S 1204 1203 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284304841 9367552 266 33554432000 4194304 5064252 140737323974544 140737323973456 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3391/statm: 2287 266 226 213 0 72 0
[pid=3392] ppid=3391 vsize=25852 CPUtime=0.05 cores=1,3,5,7
/proc/3392/stat : 3392 (glucose) R 3391 1203 15230 0 -1 4202496 5283 0 0 0 4 1 0 0 20 0 1 0 284304841 26472448 4986 33554432000 4194304 5208918 140734397758768 140737323973480 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3392/statm: 6463 4986 95 248 0 6212 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 58600

Child status: 0

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

Real time (s): 1816.51
CPU time (s): 1800.09
CPU user time (s): 1697.52
CPU system time (s): 102.575
CPU usage (%): 99.0963
Max. virtual memory (cumulated for all children) (KiB): 99124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1696.79
system time used= 102.575
maximum resident set size= 66976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23503845
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11046400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327690
involuntary context switches= 23675

runsolver used 5.74813 second user time and 16.0676 second system time

The end

Launcher Data

Begin job on node103 at 2012-05-28 06:39:06
IDJOB=3715581
IDBENCH=78696
IDSOLVER=2297
FILE ID=node103/3715581-1338179946
RUNJOBID= node103-1338166500-15763
PBS_JOBID= 14624530
Free space on /tmp= 71564 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715581-1338179946/watcher-3715581-1338179946 -o /tmp/evaluation-result-3715581-1338179946/solver-3715581-1338179946 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715581-1338179946.wbo 1594182416 HOME HOME

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

MD5SUM BENCH= 1ee612fae97412540ece88664cb7382e
RANDOM SEED=1594182416

node103.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.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
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.189
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.189
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.92
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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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:        30957156 kB
Buffers:          427360 kB
Cached:           618272 kB
SwapCached:         4496 kB
Active:           716376 kB
Inactive:         356308 kB
Active(anon):      22032 kB
Inactive(anon):     6216 kB
Active(file):     694344 kB
Inactive(file):   350092 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099576 kB
Dirty:              9428 kB
Writeback:             0 kB
AnonPages:         30324 kB
Mapped:            12772 kB
Shmem:                 8 kB
Slab:             704612 kB
SReclaimable:     145044 kB
SUnreclaim:       559568 kB
KernelStack:        1480 kB
PageTables:         4148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71548 MiB
End job on node103 at 2012-05-28 07:09:23