Trace number 3715681

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.1 1810.81

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo
MD5SUM6d906c6a0b5d527a5b0feb820bb742c0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.77173
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints53
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 2598
Min constraint cost 1
Max constraint cost 94
Sum of constraints costs 2597
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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.67	c run usual solver
8.21/8.33	o 536
8.21/8.33	c starting approximation
8.21/8.33	c factor = 2
8.21/8.33	c current bound: 268
9.22/9.31	c current bound: 268
9.88/10.27	c current bound: 268
11.09/11.26	c current bound: 268
12.12/12.24	c current bound: 268
13.12/13.20	c current bound: 268
13.79/14.17	c current bound: 268
14.75/15.14	c current bound: 268
16.02/16.11	c current bound: 268
16.70/17.09	c current bound: 268
17.67/18.06	c current bound: 268
18.90/19.02	c current bound: 268
19.90/20.00	c current bound: 268
20.80/20.96	c current bound: 268
21.53/21.92	c current bound: 268
22.50/22.89	c current bound: 268
23.48/23.87	c current bound: 268
24.47/24.86	c current bound: 268
25.44/25.82	c current bound: 268
26.40/26.79	c current bound: 268
27.59/27.78	c current bound: 268
28.60/28.76	c current bound: 268
29.61/29.75	c current bound: 268
30.61/30.72	c current bound: 268
31.61/31.71	c current bound: 268
32.30/32.69	c current bound: 268
33.29/33.67	c current bound: 268
34.28/34.65	c current bound: 268
35.26/35.64	c current bound: 268
36.39/36.59	c current bound: 268
37.39/37.56	c current bound: 268
38.40/38.55	c current bound: 268
39.41/39.51	c current bound: 268
40.40/40.50	c current bound: 268
41.08/41.46	c current bound: 268
42.06/42.44	c current bound: 268
43.34/43.51	c current bound: 268
44.01/44.49	c current bound: 268
44.98/45.46	c current bound: 268
46.23/46.42	c current bound: 268
47.11/47.40	c current bound: 268
47.88/48.36	c current bound: 268
48.84/49.33	c current bound: 268
50.12/50.31	c current bound: 268
50.80/51.27	c current bound: 268
51.77/52.25	c current bound: 268
52.77/53.23	c current bound: 268
53.74/54.23	c current bound: 268
55.02/55.22	c current bound: 268
56.03/56.21	c current bound: 268
56.72/57.20	c current bound: 268
57.69/58.16	c current bound: 268
58.66/59.12	c current bound: 268
59.62/60.09	c current bound: 268
60.59/61.08	c current bound: 268
61.58/62.04	c current bound: 268
62.83/63.02	c current bound: 268
63.81/64.06	c current bound: 268
64.75/65.05	c current bound: 268
65.75/66.01	c current bound: 268
66.43/66.97	c current bound: 268
67.38/67.92	c current bound: 268
68.33/68.88	c current bound: 268
69.31/69.85	c current bound: 268
70.30/70.83	c current bound: 268
71.55/71.81	c current bound: 268
72.55/72.80	c current bound: 268
73.44/73.77	c current bound: 268
74.21/74.75	c current bound: 268
75.19/75.73	c current bound: 268
76.12/76.66	c current bound: 268
77.10/77.63	c current bound: 268
78.37/78.60	c current bound: 268
79.03/79.57	c current bound: 268
80.26/80.54	c current bound: 268
81.26/81.51	c current bound: 268
81.95/82.50	c current bound: 268
82.94/83.48	c current bound: 268
83.91/84.44	c current bound: 268
85.17/85.40	c current bound: 268
85.82/86.36	c current bound: 268
86.78/87.34	c current bound: 268
87.79/88.34	c current bound: 268
89.06/89.41	c current bound: 268
89.95/90.39	c current bound: 268
90.96/91.38	c current bound: 268
91.71/92.36	c current bound: 268
92.71/93.35	c current bound: 268
93.70/94.48	c current bound: 268
94.70/95.48	c current bound: 268
95.66/96.44	c current bound: 268
96.65/97.43	c current bound: 268
97.94/98.41	c current bound: 268
98.64/99.59	c current bound: 268
99.60/100.56	c current bound: 268
100.58/101.53	c current bound: 268
101.86/102.50	c current bound: 268
102.76/103.49	c current bound: 268
103.53/104.47	c current bound: 268
104.50/105.45	c current bound: 268
105.77/106.41	c current bound: 268
106.44/107.39	c current bound: 268
107.44/108.38	c current bound: 268
108.43/109.37	c current bound: 268
109.40/110.44	c current bound: 268
110.66/111.42	c current bound: 268
111.66/112.42	c current bound: 268
112.54/113.39	c current bound: 268
113.35/114.38	c current bound: 268
114.30/115.39	c current bound: 268
115.25/116.34	c current bound: 268
116.23/117.32	c current bound: 268
117.20/118.29	c current bound: 268
118.16/119.25	c current bound: 268
119.14/120.23	c current bound: 268
120.31/121.19	c current bound: 268
121.31/122.17	c current bound: 268
122.04/123.14	c current bound: 268
123.31/124.12	c current bound: 268
124.00/125.09	c current bound: 268
124.97/126.05	c current bound: 268
126.22/127.02	c current bound: 268
127.21/128.01	c current bound: 268
128.10/128.98	c current bound: 268
129.11/129.96	c current bound: 268
130.13/130.92	c current bound: 268
130.81/131.89	c current bound: 268
131.78/132.86	c current bound: 268
133.02/133.82	c current bound: 268
133.69/134.89	c current bound: 268
134.65/135.85	c current bound: 268
135.62/136.83	c current bound: 268
136.89/137.80	c current bound: 268
137.79/138.79	c current bound: 268
138.87/139.89	c current bound: 268
139.77/140.87	c current bound: 268
140.52/141.85	c current bound: 268
141.50/142.83	c current bound: 268
142.78/143.81	c current bound: 268
143.76/144.91	c current bound: 268
144.44/145.89	c current bound: 268
145.40/146.85	c current bound: 268
146.66/147.81	c current bound: 268
147.65/148.81	c current bound: 268
148.60/149.93	c current bound: 268
149.61/150.92	c current bound: 268
150.61/151.91	c current bound: 268
151.28/152.88	c current bound: 268
152.26/153.84	c current bound: 268
153.21/154.93	c current bound: 268
154.18/155.89	c current bound: 268
155.15/156.86	c current bound: 268
156.11/157.83	c current bound: 268
157.07/158.79	c current bound: 268
158.35/159.88	c current bound: 268
159.27/160.84	c current bound: 268
160.27/161.81	c current bound: 268
160.94/162.77	c current bound: 268
161.91/163.73	c current bound: 268
162.87/164.69	c current bound: 268
163.85/165.66	c current bound: 268
164.78/166.59	c current bound: 268
165.73/167.56	c current bound: 268
166.95/168.55	c current bound: 268
167.97/169.51	c current bound: 268
168.67/170.49	c current bound: 268
169.64/171.48	c current bound: 268
170.63/172.45	c current bound: 268
171.61/173.44	c current bound: 268
172.87/174.40	c current bound: 268
173.54/175.36	c current bound: 268
174.48/176.32	c current bound: 268
175.77/177.31	c current bound: 268
176.66/178.29	c current bound: 268
177.42/179.26	c current bound: 268
178.42/180.26	c current bound: 268
179.39/181.23	c current bound: 268
180.66/182.20	c current bound: 268
181.34/183.18	c current bound: 268
182.32/184.15	c current bound: 268
183.56/185.12	c current bound: 268
184.57/186.10	c current bound: 268
185.46/187.08	c current bound: 268
186.22/188.06	c current bound: 268
187.21/189.02	c current bound: 268
188.48/190.00	c current bound: 268
189.15/190.97	c current bound: 268
190.13/191.95	c current bound: 268
191.39/192.91	c current bound: 268
192.39/193.91	c current bound: 268
193.27/194.87	c current bound: 268
194.28/195.83	c current bound: 268
195.28/196.81	c current bound: 268
195.95/197.77	c current bound: 268
196.92/198.74	c current bound: 268
197.91/199.72	c current bound: 268
199.18/200.71	c current bound: 268
199.86/201.68	c current bound: 268
201.07/202.66	c current bound: 268
202.06/203.64	c current bound: 268
203.09/204.62	c current bound: 268
204.09/205.71	c current bound: 268
204.77/206.68	c current bound: 268
205.73/207.65	c current bound: 268
206.71/208.62	c current bound: 268
207.69/209.59	c current bound: 268
208.67/210.59	c current bound: 268
209.66/211.56	c current bound: 268
210.88/212.55	c current bound: 268
211.88/213.54	c current bound: 268
212.89/214.51	c current bound: 268
213.57/215.47	c current bound: 268
214.54/216.45	c current bound: 268
215.80/217.42	c current bound: 268
216.48/218.39	c current bound: 268
217.45/219.36	c current bound: 268
218.42/220.32	c current bound: 268
219.69/221.30	c current bound: 268
220.58/222.28	c current bound: 268
221.33/223.24	c current bound: 268
222.60/224.21	c current bound: 268
223.29/225.19	c current bound: 268
224.25/226.15	c current bound: 268
225.24/227.14	c current bound: 268
226.50/228.10	c current bound: 268
227.50/229.10	c current bound: 268
228.39/230.08	c current bound: 268
229.39/231.05	c current bound: 268
230.11/232.03	c current bound: 268
231.09/232.99	c current bound: 268
232.08/233.98	c current bound: 268
233.03/234.94	c current bound: 268
234.30/235.91	c current bound: 268
234.99/236.89	c current bound: 268
236.19/237.87	c current bound: 268
237.19/238.85	c current bound: 268
238.20/239.81	c current bound: 268
238.87/240.77	c current bound: 268
239.84/241.74	c current bound: 268
241.09/242.71	c current bound: 268
241.78/243.68	c current bound: 268
242.75/244.64	c current bound: 268
243.73/245.62	c current bound: 268
244.89/246.57	c current bound: 268
245.90/247.55	c current bound: 268
246.62/248.52	c current bound: 268
247.60/249.49	c current bound: 268
248.57/250.46	c current bound: 268
249.54/251.43	c current bound: 268
250.81/252.40	c current bound: 268
251.49/253.38	c current bound: 268
252.69/254.36	c current bound: 268
253.72/255.32	c current bound: 268
254.70/256.32	c current bound: 268
255.68/257.31	c current bound: 268
256.69/258.31	c current bound: 268
257.36/259.28	c current bound: 268
258.34/260.26	c current bound: 268
259.33/261.25	c current bound: 268
260.30/262.22	c current bound: 268
261.59/263.21	c current bound: 268
262.47/264.18	c current bound: 268
263.48/265.15	c current bound: 268
264.22/266.14	c current bound: 268
265.50/267.12	c current bound: 268
266.49/268.12	c current bound: 268
267.48/269.10	c current bound: 268
268.14/270.07	c current bound: 268
269.13/271.05	c current bound: 268
270.11/272.02	c current bound: 268
271.38/273.03	c current bound: 268
272.39/274.04	c current bound: 268
273.41/275.01	c current bound: 268
274.09/275.99	c current bound: 268
275.08/276.97	c current bound: 268
276.04/277.94	c current bound: 268
277.32/278.91	c current bound: 268
277.98/279.88	c current bound: 268
278.97/280.86	c current bound: 268
280.21/281.85	c current bound: 268
281.21/282.82	c current bound: 268
281.91/283.79	c current bound: 268
282.88/284.77	c current bound: 268
283.86/285.74	c current bound: 268
284.85/286.72	c current bound: 268
286.13/287.71	c current bound: 268
287.12/288.70	c current bound: 268
287.80/289.69	c current bound: 268
289.02/290.66	c current bound: 268
290.01/291.77	c current bound: 268
291.00/292.76	c current bound: 268
292.01/293.74	c current bound: 268
293.02/294.72	c current bound: 268
293.69/295.69	c current bound: 268
294.98/296.80	c current bound: 268
295.98/297.80	c current bound: 268
296.65/298.77	c current bound: 268
297.63/299.76	c current bound: 268
298.60/300.72	c current bound: 268
299.77/301.69	c current bound: 268
300.79/302.67	c current bound: 268
301.79/303.66	c current bound: 268
302.53/304.64	c current bound: 268
303.53/305.64	c current bound: 268
304.47/306.58	c current bound: 268
305.44/307.56	c current bound: 268
306.43/308.53	c current bound: 268
307.41/309.54	c current bound: 268
308.42/310.53	c current bound: 268
309.71/311.52	c current bound: 268
310.71/312.51	c current bound: 268
311.39/313.49	c current bound: 268
312.40/314.49	c current bound: 268
313.38/315.48	c current bound: 268
314.32/316.43	c current bound: 268
315.30/317.39	c current bound: 268
316.28/318.37	c current bound: 268
317.26/319.36	c current bound: 268
318.50/320.35	c current bound: 268
319.50/321.32	c current bound: 268
320.21/322.30	c current bound: 268
321.19/323.28	c current bound: 268
322.18/324.27	c current bound: 268
323.16/325.26	c current bound: 268
324.12/326.23	c current bound: 268
325.12/327.23	c current bound: 268
326.41/328.21	c current bound: 268
327.40/329.20	c current bound: 268
328.30/330.18	c current bound: 268
329.29/331.16	c current bound: 268
330.05/332.19	c current bound: 268
331.38/333.21	c current bound: 268
332.06/334.19	c current bound: 268
333.02/335.15	c current bound: 268
333.99/336.14	c current bound: 268
334.98/337.23	c current bound: 268
336.24/338.20	c current bound: 268
336.94/339.18	c current bound: 268
338.15/340.16	c current bound: 268
339.15/341.16	c current bound: 268
340.15/342.28	c current bound: 268
341.13/343.27	c current bound: 268
341.89/344.26	c current bound: 268
342.87/345.24	c current bound: 268
343.87/346.24	c current bound: 268
345.15/347.23	c current bound: 268
346.12/348.22	c current bound: 268
347.14/349.21	c current bound: 268
348.13/350.20	c current bound: 268
349.02/351.18	c current bound: 268
350.02/352.28	c current bound: 268
351.00/353.25	c current bound: 268
352.01/354.23	c current bound: 268
353.02/355.21	c current bound: 268
353.69/356.18	c current bound: 268
354.66/357.26	c current bound: 268
355.63/358.24	c current bound: 268
356.91/359.21	c current bound: 268
357.61/360.19	c current bound: 268
358.56/361.15	c current bound: 268
359.82/362.22	c current bound: 268
360.81/363.20	c current bound: 268
361.70/364.18	c current bound: 268
362.47/365.17	c current bound: 268
363.44/366.14	c current bound: 268
364.42/367.13	c current bound: 268
365.70/368.21	c current bound: 268
366.37/369.19	c current bound: 268
367.34/370.17	c current bound: 268
368.32/371.14	c current bound: 268
369.31/372.12	c current bound: 268
370.50/373.19	c current bound: 268
371.51/374.18	c current bound: 268
372.50/375.16	c current bound: 268
373.23/376.14	c current bound: 268
374.50/377.11	c current bound: 268
375.19/378.08	c current bound: 268
376.18/379.07	c current bound: 268
377.16/380.05	c current bound: 268
378.15/381.04	c current bound: 268
379.14/382.04	c current bound: 268
380.39/383.03	c current bound: 268
381.41/384.03	c current bound: 268
382.42/385.02	c current bound: 268
383.42/386.00	c current bound: 268
384.08/386.97	c current bound: 268
385.08/387.97	c current bound: 268
386.08/388.96	c current bound: 268
387.06/389.95	c current bound: 268
388.31/390.91	c current bound: 268
389.31/391.90	c current bound: 268
390.22/392.87	c current bound: 268
391.21/393.85	c current bound: 268
391.96/394.83	c current bound: 268
393.24/395.80	c current bound: 268
393.85/396.72	c current bound: 268
394.81/397.69	c current bound: 268
395.80/398.66	c current bound: 268
396.79/399.65	c current bound: 268
398.03/400.62	c current bound: 268
398.94/401.60	c current bound: 268
399.97/402.69	c current bound: 268
400.70/403.67	c current bound: 268
401.65/404.65	c current bound: 268
402.64/405.64	c current bound: 268
403.59/406.59	c current bound: 268
404.59/407.68	c current bound: 268
405.56/408.65	c current bound: 268
406.55/409.64	c current bound: 268
407.54/410.64	c current bound: 268
408.81/411.63	c current bound: 268
409.78/412.66	c current bound: 268
410.74/413.65	c current bound: 268
411.48/414.64	c current bound: 268
412.47/415.63	c current bound: 268
413.42/416.58	c current bound: 268
414.72/417.66	c current bound: 268
415.41/418.64	c current bound: 268
416.68/419.62	c current bound: 268
417.67/420.60	c current bound: 268
418.68/421.60	c current bound: 268
419.68/422.66	c current bound: 268
420.62/423.65	c current bound: 268
421.61/424.66	c current bound: 268
422.34/425.64	c current bound: 268
423.30/426.59	c current bound: 268
424.58/427.68	c current bound: 268
425.25/428.68	c current bound: 268
426.26/429.65	c current bound: 268
427.25/430.65	c current bound: 268
428.51/431.61	c current bound: 268
429.52/432.73	c current bound: 268
430.48/433.70	c current bound: 268
431.38/434.67	c current bound: 268
432.36/435.65	c current bound: 268
433.05/436.58	c current bound: 268
434.01/437.54	c current bound: 268
435.00/438.52	c current bound: 268
436.28/439.50	c current bound: 268
436.96/440.48	c current bound: 268
437.95/441.47	c current bound: 268
439.18/442.45	c current bound: 268
440.19/443.43	c current bound: 268
441.18/444.44	c current bound: 268
441.94/445.45	c current bound: 268
442.92/446.44	c current bound: 268
444.20/447.41	c current bound: 268
444.92/448.42	c current bound: 268
445.92/449.42	c current bound: 268
446.92/450.42	c current bound: 268
447.93/451.42	c current bound: 268
448.93/452.43	c current bound: 268
450.20/453.41	c current bound: 268
451.21/454.41	c current bound: 268
452.20/455.42	c current bound: 268
453.18/456.40	c current bound: 268
454.18/457.41	c current bound: 268
455.20/458.42	c current bound: 268
455.87/459.38	c current bound: 268
456.84/460.35	c current bound: 268
458.09/461.31	c current bound: 268
459.09/462.32	c current bound: 268
460.08/463.30	c current bound: 268
460.97/464.29	c current bound: 268
461.74/465.26	c current bound: 268
462.71/466.22	c current bound: 268
463.99/467.20	c current bound: 268
464.67/468.18	c current bound: 268
465.93/469.22	c current bound: 268
466.62/470.19	c current bound: 268
467.61/471.16	c current bound: 268
468.84/472.14	c current bound: 268
469.86/473.11	c current bound: 268
470.54/474.09	c current bound: 268
471.53/475.07	c current bound: 268
472.52/476.05	c current bound: 268
473.77/477.01	c current bound: 268
474.45/477.99	c current bound: 268
475.42/478.96	c current bound: 268
476.42/479.94	c current bound: 268
477.67/480.90	c current bound: 268
478.55/481.86	c current bound: 268
479.31/482.84	c current bound: 268
480.57/483.80	c current bound: 268
481.25/484.77	c current bound: 268
482.21/485.75	c current bound: 268
483.20/486.72	c current bound: 268
484.48/487.70	c current bound: 268
485.45/488.74	c current bound: 268
486.42/489.71	c current bound: 268
487.31/490.69	c current bound: 268
488.08/491.66	c current bound: 268
489.06/492.63	c current bound: 268
490.34/493.71	c current bound: 268
491.01/494.69	c current bound: 268
491.97/495.65	c current bound: 268
493.22/496.61	c current bound: 268
493.92/497.59	c current bound: 268
495.10/498.58	c current bound: 268
496.11/499.55	c current bound: 268
497.14/500.51	c current bound: 268
498.13/501.50	c current bound: 268
498.80/502.48	c current bound: 268
499.77/503.45	c current bound: 268
501.03/504.42	c current bound: 268
502.01/505.40	c current bound: 268
502.68/506.37	c current bound: 268
503.89/507.34	c current bound: 268
504.92/508.31	c current bound: 268
505.60/509.29	c current bound: 268
506.55/510.25	c current bound: 268
507.54/511.23	c current bound: 268
508.51/512.19	c current bound: 268
509.47/513.15	c current bound: 268
510.43/514.28	c current bound: 268
511.42/515.24	c current bound: 268
512.69/516.22	c current bound: 268
513.57/517.19	c current bound: 268
514.58/518.17	c current bound: 268
515.58/519.26	c current bound: 268
516.33/520.25	c current bound: 268
517.33/521.23	c current bound: 268
518.60/522.20	c current bound: 268
519.27/523.17	c current bound: 268
520.26/524.29	c current bound: 268
521.23/525.26	c current bound: 268
522.47/526.22	c current bound: 268
523.47/527.22	c current bound: 268
524.36/528.19	c current bound: 268
525.37/529.33	c current bound: 268
526.38/530.31	c current bound: 268
527.06/531.28	c current bound: 268
528.02/532.24	c current bound: 268
529.28/533.20	c current bound: 268
529.96/534.29	c current bound: 268
530.92/535.25	c current bound: 268
531.92/536.23	c current bound: 268
533.18/537.21	c current bound: 268
534.07/538.19	c current bound: 268
535.14/539.27	c current bound: 268
536.08/540.24	c current bound: 268
537.07/541.20	c current bound: 268
537.74/542.17	c current bound: 268
538.71/543.14	c current bound: 268
539.99/544.10	c current bound: 268
540.66/545.08	c current bound: 268
541.62/546.04	c current bound: 268
542.59/547.04	c current bound: 268
543.88/548.01	c current bound: 268
544.77/548.98	c current bound: 268
545.53/549.95	c current bound: 268
546.50/550.94	c current bound: 268
547.80/551.90	c current bound: 268
548.46/552.87	c current bound: 268
549.43/553.84	c current bound: 268
550.38/554.79	c current bound: 268
551.58/555.77	c current bound: 268
552.59/556.71	c current bound: 268
553.26/557.68	c current bound: 268
554.23/558.65	c current bound: 268
555.49/559.61	c current bound: 268
556.17/560.58	c current bound: 268
557.14/561.56	c current bound: 268
558.11/562.53	c current bound: 268
559.38/563.52	c current bound: 268
560.38/564.50	c current bound: 268
561.31/565.55	c current bound: 268
562.31/566.51	c current bound: 268
562.99/567.49	c current bound: 268
563.98/568.47	c current bound: 268
564.95/569.45	c current bound: 268
566.21/570.41	c current bound: 268
567.21/571.40	c current bound: 268
567.89/572.38	c current bound: 268
569.10/573.36	c current bound: 268
570.10/574.35	c current bound: 268
571.11/575.34	c current bound: 268
571.85/576.33	c current bound: 268
573.11/577.31	c current bound: 268
573.80/578.28	c current bound: 268
574.75/579.25	c current bound: 268
576.02/580.22	c current bound: 268
576.69/581.19	c current bound: 268
577.91/582.17	c current bound: 268
578.91/583.16	c current bound: 268
579.91/584.15	c current bound: 268
580.65/585.12	c current bound: 268
581.91/586.10	c current bound: 268
582.58/587.07	c current bound: 268
583.56/588.04	c current bound: 268
584.82/589.01	c current bound: 268
585.51/589.99	c current bound: 268
586.71/590.97	c current bound: 268
587.71/591.95	c current bound: 268
588.72/592.94	c current bound: 268
589.72/593.91	c current bound: 268
590.39/594.96	c current bound: 268
591.38/595.95	c current bound: 268
592.36/596.92	c current bound: 268
593.32/597.88	c current bound: 268
594.30/598.86	c current bound: 268
595.57/599.91	c current bound: 268
596.55/600.93	c current bound: 268
597.55/601.92	c current bound: 268
598.44/602.89	c current bound: 268
599.22/603.87	c current bound: 268
600.20/604.84	c current bound: 268
601.17/605.95	c current bound: 268
602.16/606.95	c current bound: 268
603.14/607.93	c current bound: 268
604.43/608.90	c current bound: 268
605.11/610.04	c current bound: 268
606.12/611.04	c current bound: 268
607.10/612.02	c current bound: 268
608.39/613.00	c current bound: 268
609.29/613.99	c current bound: 268
610.32/615.12	c current bound: 268
611.35/616.11	c current bound: 268
612.35/617.11	c current bound: 268
613.02/618.09	c current bound: 268
614.00/619.07	c current bound: 268
615.01/620.06	c current bound: 268
615.98/621.05	c current bound: 268
616.96/622.04	c current bound: 268
618.25/623.01	c current bound: 268
619.26/624.00	c current bound: 268
620.14/624.98	c current bound: 268
621.15/625.96	c current bound: 268
621.87/626.93	c current bound: 268
623.15/627.92	c current bound: 268
623.85/628.89	c current bound: 268
624.84/629.88	c current bound: 268
625.82/630.87	c current bound: 268
626.82/631.86	c current bound: 268
627.80/632.85	c current bound: 268
629.07/633.82	c current bound: 268
629.96/634.80	c current bound: 268
630.73/635.76	c current bound: 268
631.72/636.75	c current bound: 268
632.69/637.73	c current bound: 268
633.97/638.70	c current bound: 268
634.66/639.69	c current bound: 268
635.64/640.66	c current bound: 268
636.61/641.65	c current bound: 268
637.84/642.65	c current bound: 268
638.88/643.62	c current bound: 268
639.87/644.61	c current bound: 268
640.56/645.59	c current bound: 268
641.55/646.59	c current bound: 268
642.54/647.57	c current bound: 268
643.53/648.57	c current bound: 268
644.53/649.56	c current bound: 268
645.51/650.65	c current bound: 268
646.48/651.62	c current bound: 268
647.77/652.60	c current bound: 268
648.77/653.60	c current bound: 268
649.67/654.57	c current bound: 268
650.74/655.61	c current bound: 268
651.74/656.61	c current bound: 268
652.73/657.60	c current bound: 268
653.40/658.59	c current bound: 268
654.39/659.57	c current bound: 268
655.69/660.67	c current bound: 268
656.36/661.68	c current bound: 268
657.38/662.65	c current bound: 268
658.36/663.64	c current bound: 268
659.62/664.62	c current bound: 268
660.59/665.65	c current bound: 268
661.57/666.61	c current bound: 268
662.56/667.60	c current bound: 268
663.24/668.59	c current bound: 268
664.21/669.56	c current bound: 268
665.51/670.63	c current bound: 268
666.49/671.60	c current bound: 268
667.15/672.58	c current bound: 268
668.14/673.54	c current bound: 268
669.39/674.50	c current bound: 268
670.29/675.47	c current bound: 268
671.03/676.45	c current bound: 268
672.28/677.42	c current bound: 268
673.29/678.41	c current bound: 268
673.95/679.37	c current bound: 268
674.93/680.35	c current bound: 268
676.19/681.31	c current bound: 268
677.07/682.28	c current bound: 268
678.07/683.25	c current bound: 268
679.08/684.21	c current bound: 268
680.08/685.20	c current bound: 268
680.75/686.18	c current bound: 268
681.73/687.16	c current bound: 268
682.70/688.13	c current bound: 268
683.97/689.11	c current bound: 268
684.96/690.10	c current bound: 268
685.86/691.08	c current bound: 268
686.88/692.05	c current bound: 268
687.87/693.03	c current bound: 268
688.88/694.00	c current bound: 268
689.56/694.98	c current bound: 268
690.53/695.97	c current bound: 268
691.51/696.96	c current bound: 268
692.50/697.94	c current bound: 268
693.75/698.91	c current bound: 268
694.65/699.89	c current bound: 268
695.66/700.86	c current bound: 268
696.66/701.85	c current bound: 268
697.39/702.83	c current bound: 268
698.66/703.81	c current bound: 268
699.34/704.79	c current bound: 268
700.33/705.77	c current bound: 268
701.34/706.77	c current bound: 268
702.32/707.75	c current bound: 268
703.30/708.73	c current bound: 268
704.55/709.70	c current bound: 268
705.45/710.66	c current bound: 268
706.19/711.64	c current bound: 268
707.46/712.60	c current bound: 268
708.13/713.57	c current bound: 268
709.12/714.55	c current bound: 268
710.10/715.54	c current bound: 268
711.07/716.52	c current bound: 268
712.25/717.49	c current bound: 268
713.26/718.46	c current bound: 268
714.26/719.43	c current bound: 268
714.95/720.39	c current bound: 268
715.94/721.36	c current bound: 268
716.90/722.33	c current bound: 268
718.18/723.30	c current bound: 268
719.17/724.30	c current bound: 268
719.86/725.28	c current bound: 268
721.06/726.26	c current bound: 268
722.07/727.24	c current bound: 268
723.08/728.21	c current bound: 268
723.76/729.19	c current bound: 268
724.75/730.18	c current bound: 268
725.76/731.19	c current bound: 268
726.74/732.17	c current bound: 268
727.73/733.14	c current bound: 268
728.71/734.13	c current bound: 268
729.98/735.11	c current bound: 268
730.88/736.06	c current bound: 268
731.87/737.15	c current bound: 268
732.87/738.13	c current bound: 268
733.57/739.09	c current bound: 268
734.54/740.08	c current bound: 268
735.52/741.05	c current bound: 268
736.50/742.13	c current bound: 268
737.77/743.10	c current bound: 268
738.44/744.07	c current bound: 268
739.41/745.05	c current bound: 268
740.66/746.04	c current bound: 268
741.65/747.08	c current bound: 268
742.59/748.06	c current bound: 268
743.59/749.02	c current bound: 268
744.29/749.99	c current bound: 268
745.28/750.99	c current bound: 268
746.25/751.97	c current bound: 268
747.21/752.93	c current bound: 268
748.48/753.91	c current bound: 268
749.38/754.89	c current bound: 268
750.38/755.86	c current bound: 268
751.06/756.78	c current bound: 268
752.01/757.75	c current bound: 268
753.01/758.74	c current bound: 268
754.00/759.73	c current bound: 268
755.26/760.71	c current bound: 268
756.26/761.70	c current bound: 268
756.93/762.67	c current bound: 268
758.14/763.63	c current bound: 268
759.17/764.61	c current bound: 268
759.85/765.59	c current bound: 268
760.80/766.54	c current bound: 268
762.06/767.52	c current bound: 268
762.73/768.49	c current bound: 268
763.69/769.45	c current bound: 268
764.68/770.45	c current bound: 268
765.67/771.43	c current bound: 268
766.82/772.39	c current bound: 268
767.83/773.36	c current bound: 268
768.83/774.31	c current bound: 268
769.52/775.29	c current bound: 268
770.52/776.28	c current bound: 268
771.50/777.26	c current bound: 268
772.48/778.25	c current bound: 268
773.44/779.22	c current bound: 268
774.61/780.18	c current bound: 268
775.62/781.19	c current bound: 268
776.61/782.17	c current bound: 268
777.35/783.13	c current bound: 268
778.35/784.14	c current bound: 268
779.37/785.14	c current bound: 268
780.36/786.13	c current bound: 268
781.34/787.13	c current bound: 268
782.62/788.11	c current bound: 268
783.29/789.07	c current bound: 268
784.51/790.04	c current bound: 268
785.53/791.01	c current bound: 268
786.19/791.97	c current bound: 268
787.17/792.94	c current bound: 268
788.42/793.91	c current bound: 268
789.09/794.88	c current bound: 268
790.08/795.87	c current bound: 268
791.00/796.79	c current bound: 268
792.19/797.76	c current bound: 268
793.21/798.72	c current bound: 268
793.90/799.69	c current bound: 268
794.88/800.67	c current bound: 268
795.84/801.63	c current bound: 268
797.09/802.61	c current bound: 268
797.79/803.57	c current bound: 268
798.74/804.54	c current bound: 268
799.99/805.51	c current bound: 268
800.89/806.48	c current bound: 268
801.88/807.45	c current bound: 268
802.88/808.42	c current bound: 268
803.89/809.41	c current bound: 268
804.57/810.39	c current bound: 268
805.56/811.37	c current bound: 268
806.56/812.36	c current bound: 268
807.54/813.36	c current bound: 268
808.53/814.34	c current bound: 268
809.78/815.32	c current bound: 268
810.67/816.29	c current bound: 268
811.45/817.27	c current bound: 268
812.75/818.39	c current bound: 268
813.43/819.37	c current bound: 268
814.41/820.35	c current bound: 268
815.38/821.34	c current bound: 268
816.38/822.33	c current bound: 268
817.64/823.31	c current bound: 268
818.35/824.29	c current bound: 268
819.54/825.26	c current bound: 268
820.53/826.24	c current bound: 268
821.55/827.20	c current bound: 268
822.25/828.19	c current bound: 268
823.23/829.18	c current bound: 268
824.21/830.16	c current bound: 268
825.18/831.13	c current bound: 268
826.14/832.09	c current bound: 268
827.12/833.09	c current bound: 268
828.34/834.06	c current bound: 268
829.34/835.03	c current bound: 268
830.03/835.99	c current bound: 268
831.01/836.97	c current bound: 268
832.01/837.95	c current bound: 268
832.98/838.93	c current bound: 268
833.97/839.92	c current bound: 268
834.93/840.89	c current bound: 268
835.90/841.87	c current bound: 268
837.13/842.83	c current bound: 268
838.13/843.86	c current bound: 268
839.08/844.83	c current bound: 268
840.08/845.80	c current bound: 268
840.76/846.78	c current bound: 268
841.74/847.77	c current bound: 268
843.02/848.85	c current bound: 268
843.71/849.84	c current bound: 268
844.70/850.82	c current bound: 268
845.66/851.79	c current bound: 268
846.87/852.76	c current bound: 268
847.87/853.74	c current bound: 268
848.89/854.72	c current bound: 268
849.56/855.68	c current bound: 268
850.49/856.63	c current bound: 268
851.76/857.60	c current bound: 268
852.77/858.60	c current bound: 268
853.45/859.58	c current bound: 268
854.41/860.55	c current bound: 268
855.66/861.52	c current bound: 268
856.57/862.50	c current bound: 268
857.34/863.46	c current bound: 268
858.30/864.43	c current bound: 268
859.57/865.40	c current bound: 268
860.23/866.37	c current bound: 268
861.23/867.36	c current bound: 268
862.20/868.33	c current bound: 268
863.46/869.30	c current bound: 268
864.36/870.28	c current bound: 268
865.34/871.24	c current bound: 268
866.36/872.20	c current bound: 268
867.04/873.18	c current bound: 268
868.03/874.16	c current bound: 268
869.02/875.15	c current bound: 268
869.98/876.13	c current bound: 268
871.24/877.10	c current bound: 268
872.14/878.07	c current bound: 268
873.16/879.03	c current bound: 268
874.16/880.00	c current bound: 268
874.82/880.96	c current bound: 268
875.80/881.94	c current bound: 268
876.80/882.94	c current bound: 268
877.78/883.92	c current bound: 268
879.05/884.90	c current bound: 268
879.71/885.86	c current bound: 268
880.83/886.79	c current bound: 268
881.82/887.77	c current bound: 268
882.60/888.74	c current bound: 268
883.58/889.74	c current bound: 268
884.56/890.72	c current bound: 268
885.85/891.71	c current bound: 268
886.52/892.68	c current bound: 268
887.50/893.65	c current bound: 268
888.47/894.73	c current bound: 268
889.73/895.71	c current bound: 268
890.62/896.66	c current bound: 268
891.63/897.62	c current bound: 268
892.33/898.60	c current bound: 268
893.31/899.58	c current bound: 268
894.56/900.61	c current bound: 268
895.23/901.58	c current bound: 268
896.20/902.54	c current bound: 268
897.46/903.50	c current bound: 268
898.34/904.49	c current bound: 268
899.35/905.45	c current bound: 268
900.34/906.43	c current bound: 268
901.37/907.41	c current bound: 268
902.35/908.40	c current bound: 268
903.03/909.37	c current bound: 268
904.00/910.34	c current bound: 268
905.26/911.30	c current bound: 268
905.92/912.28	c current bound: 268
907.13/913.25	c current bound: 268
908.13/914.23	c current bound: 268
909.17/915.21	c current bound: 268
910.15/916.20	c current bound: 268
911.14/917.20	c current bound: 268
911.83/918.17	c current bound: 268
912.82/919.16	c current bound: 268
913.81/920.17	c current bound: 268
914.80/921.15	c current bound: 268
915.78/922.13	c current bound: 268
916.94/923.09	c current bound: 268
917.94/924.06	c current bound: 268
918.95/925.02	c current bound: 268
919.94/926.01	c current bound: 268
920.64/926.98	c current bound: 268
921.62/927.97	c current bound: 268
922.59/928.94	c current bound: 268
923.85/930.04	c current bound: 268
924.81/931.01	c current bound: 268
925.70/931.98	c current bound: 268
926.72/932.94	c current bound: 268
927.72/933.91	c current bound: 268
928.69/935.05	c current bound: 268
929.37/936.03	c current bound: 268
930.33/936.99	c current bound: 268
931.33/937.99	c current bound: 268
932.31/938.99	c current bound: 268
933.59/940.12	c current bound: 268
934.28/941.09	c current bound: 268
935.24/942.06	c current bound: 268
936.22/943.03	c current bound: 268
937.48/944.01	c current bound: 268
938.40/945.13	c current bound: 268
939.43/946.11	c current bound: 268
940.10/947.07	c current bound: 268
941.05/948.04	c current bound: 268
942.32/949.00	c current bound: 268
943.29/950.04	c current bound: 268
944.25/951.01	c current bound: 268
944.90/951.97	c current bound: 268
945.87/952.93	c current bound: 268
947.14/953.91	c current bound: 268
948.04/954.89	c current bound: 268
948.82/955.87	c current bound: 268
949.78/956.87	c current bound: 268
950.77/957.84	c current bound: 268
951.76/958.83	c current bound: 268
953.02/959.81	c current bound: 268
953.71/960.77	c current bound: 268
954.67/961.74	c current bound: 268
955.90/962.73	c current bound: 268
956.94/963.71	c current bound: 268
957.62/964.68	c current bound: 268
958.58/965.65	c current bound: 268
959.82/966.60	c current bound: 268
960.51/967.58	c current bound: 268
961.47/968.55	c current bound: 268
962.44/969.52	c current bound: 268
963.71/970.60	c current bound: 268
964.60/971.58	c current bound: 268
965.60/972.56	c current bound: 268
966.59/973.54	c current bound: 268
967.60/974.50	c current bound: 268
968.59/975.61	c current bound: 268
969.58/976.60	c current bound: 268
970.26/977.58	c current bound: 268
971.25/978.56	c current bound: 268
972.22/979.54	c current bound: 268
973.48/980.51	c current bound: 268
974.37/981.47	c current bound: 268
975.37/982.43	c current bound: 268
976.08/983.40	c current bound: 268
977.04/984.36	c current bound: 268
978.03/985.34	c current bound: 268
979.29/986.31	c current bound: 268
979.98/987.28	c current bound: 268
980.93/988.25	c current bound: 268
982.18/989.21	c current bound: 268
983.08/990.19	c current bound: 268
984.08/991.14	c current bound: 268
985.09/992.11	c current bound: 268
985.78/993.09	c current bound: 268
986.74/994.05	c current bound: 268
987.71/995.03	c current bound: 268
988.98/996.00	c current bound: 268
989.65/996.96	c current bound: 268
990.86/997.94	c current bound: 268
991.90/998.91	c current bound: 268
992.57/999.89	c current bound: 268
993.56/1000.87	c current bound: 268
994.53/1001.85	c current bound: 268
995.51/1002.84	c current bound: 268
996.50/1003.83	c current bound: 268
997.50/1004.82	c current bound: 268
998.47/1005.79	c current bound: 268
999.67/1006.77	c current bound: 268
1000.67/1007.76	c current bound: 268
1001.69/1008.72	c current bound: 268
1002.37/1009.69	c current bound: 268
1003.37/1010.68	c current bound: 268
1004.35/1011.67	c current bound: 268
1005.33/1012.66	c current bound: 268
1006.32/1013.64	c current bound: 268
1007.32/1014.64	c current bound: 268
1008.59/1015.60	c current bound: 268
1009.48/1016.58	c current bound: 268
1010.47/1017.56	c current bound: 268
1011.22/1018.54	c current bound: 268
1012.50/1019.51	c current bound: 268
1013.47/1020.50	c current bound: 268
1014.15/1021.48	c current bound: 268
1015.12/1022.44	c current bound: 268
1016.39/1023.42	c current bound: 268
1017.26/1024.38	c current bound: 268
1018.27/1025.36	c current bound: 268
1019.24/1026.45	c current bound: 268
1020.26/1027.42	c current bound: 268
1020.93/1028.37	c current bound: 268
1021.91/1029.36	c current bound: 268
1023.15/1030.32	c current bound: 268
1024.15/1031.47	c current bound: 268
1024.82/1032.44	c current bound: 268
1026.08/1033.42	c current bound: 268
1027.08/1034.40	c current bound: 268
1027.97/1035.37	c current bound: 268
1028.95/1036.47	c current bound: 268
1029.96/1037.44	c current bound: 268
1030.97/1038.41	c current bound: 268
1031.66/1039.39	c current bound: 268
1032.65/1040.38	c current bound: 268
1033.63/1041.39	c current bound: 268
1034.60/1042.37	c current bound: 268
1035.58/1043.35	c current bound: 268
1036.85/1044.31	c current bound: 268
1037.72/1045.29	c current bound: 268
1038.72/1046.25	c current bound: 268
1039.74/1047.24	c current bound: 268
1040.74/1048.22	c current bound: 268
1041.43/1049.19	c current bound: 268
1042.39/1050.16	c current bound: 268
1043.38/1051.15	c current bound: 268
1044.36/1052.12	c current bound: 268
1045.33/1053.09	c current bound: 268
1046.53/1054.07	c current bound: 268
1047.54/1055.05	c current bound: 268
1048.55/1056.01	c current bound: 268
1049.24/1056.99	c current bound: 268
1050.23/1057.98	c current bound: 268
1051.21/1058.96	c current bound: 268
1052.18/1059.93	c current bound: 268
1053.46/1060.91	c current bound: 268
1054.16/1061.89	c current bound: 268
1055.34/1062.85	c current bound: 268
1056.35/1063.83	c current bound: 268
1057.36/1064.80	c current bound: 268
1058.03/1065.78	c current bound: 268
1058.97/1066.83	c current bound: 268
1060.24/1067.80	c current bound: 268
1060.89/1068.76	c current bound: 268
1061.88/1069.74	c current bound: 268
1063.15/1070.70	c current bound: 268
1064.13/1071.78	c current bound: 268
1065.05/1072.77	c current bound: 268
1066.05/1073.76	c current bound: 268
1067.04/1074.77	c current bound: 268
1067.83/1075.77	c current bound: 268
1068.76/1076.84	c current bound: 268
1069.77/1077.82	c current bound: 268
1070.76/1078.83	c current bound: 268
1072.04/1079.81	c current bound: 268
1072.72/1080.79	c current bound: 268
1073.71/1081.78	c current bound: 268
1075.03/1082.80	c current bound: 268
1076.03/1083.81	c current bound: 268
1076.94/1084.78	c current bound: 268
1077.93/1085.74	c current bound: 268
1078.62/1086.68	c current bound: 268
1079.59/1087.66	c current bound: 268
1080.58/1088.65	c current bound: 268
1081.56/1089.64	c current bound: 268
1082.82/1090.61	c current bound: 268
1083.51/1091.59	c current bound: 268
1084.70/1092.56	c current bound: 268
1085.71/1093.54	c current bound: 268
1086.73/1094.51	c current bound: 268
1087.41/1095.49	c current bound: 268
1088.39/1096.47	c current bound: 268
1089.35/1097.44	c current bound: 268
1090.63/1098.41	c current bound: 268
1091.63/1099.40	c current bound: 268
1092.29/1100.38	c current bound: 268
1093.51/1101.35	c current bound: 268
1094.51/1102.33	c current bound: 268
1095.53/1103.32	c current bound: 268
1096.20/1104.28	c current bound: 268
1097.19/1105.27	c current bound: 268
1098.15/1106.23	c current bound: 268
1099.42/1107.27	c current bound: 268
1100.10/1108.23	c current bound: 268
1101.36/1109.21	c current bound: 268
1102.25/1110.19	c current bound: 268
1103.27/1111.15	c current bound: 268
1104.26/1112.15	c current bound: 268
1104.96/1113.15	c current bound: 268
1105.94/1114.14	c current bound: 268
1106.93/1115.12	c current bound: 268
1108.20/1116.10	c current bound: 268
1108.88/1117.09	c current bound: 268
1109.84/1118.05	c current bound: 268
1111.08/1119.01	c current bound: 268
1112.00/1119.99	c current bound: 268
1112.98/1120.97	c current bound: 268
1113.72/1121.93	c current bound: 268
1114.99/1122.91	c current bound: 268
1115.98/1123.90	c current bound: 268
1116.67/1124.89	c current bound: 268
1117.66/1125.88	c current bound: 268
1118.89/1126.80	c current bound: 268
1119.77/1127.78	c current bound: 268
1120.77/1128.74	c current bound: 268
1121.77/1129.73	c current bound: 268
1122.77/1130.70	c current bound: 268
1123.46/1131.69	c current bound: 268
1124.46/1132.68	c current bound: 268
1125.43/1133.66	c current bound: 268
1126.42/1134.64	c current bound: 268
1127.40/1135.62	c current bound: 268
1128.56/1136.58	c current bound: 268
1129.57/1137.56	c current bound: 268
1130.84/1138.52	c current bound: 268
1131.56/1139.50	c current bound: 268
1132.25/1140.49	c current bound: 268
1133.22/1141.46	c current bound: 268
1134.20/1142.43	c current bound: 268
1135.47/1143.40	c current bound: 268
1136.14/1144.38	c current bound: 268
1137.36/1145.35	c current bound: 268
1138.38/1146.34	c current bound: 268
1139.09/1147.30	c current bound: 268
1140.06/1148.28	c current bound: 268
1141.04/1149.26	c current bound: 268
1142.02/1150.24	c current bound: 268
1143.03/1151.24	c current bound: 268
1144.00/1152.22	c current bound: 268
1145.28/1153.20	c current bound: 268
1146.17/1154.19	c current bound: 268
1147.18/1155.16	c current bound: 268
1148.17/1156.14	c current bound: 268
1149.19/1157.12	c current bound: 268
1149.89/1158.09	c current bound: 268
1150.85/1159.07	c current bound: 268
1151.83/1160.05	c current bound: 268
1152.82/1161.03	c current bound: 268
1154.09/1162.02	c current bound: 268
1155.09/1163.11	c current bound: 268
1156.09/1164.10	c current bound: 268
1156.99/1165.09	c current bound: 268
1157.99/1166.07	c current bound: 268
1158.74/1167.05	c current bound: 268
1159.74/1168.15	c current bound: 268
1160.73/1169.15	c current bound: 268
1161.71/1170.14	c current bound: 268
1162.71/1171.13	c current bound: 268
1163.99/1172.11	c current bound: 268
1164.98/1173.11	c current bound: 268
1165.98/1174.10	c current bound: 268
1166.88/1175.09	c current bound: 268
1167.88/1176.08	c current bound: 268
1168.87/1177.07	c current bound: 268
1169.87/1178.16	c current bound: 268
1170.61/1179.15	c current bound: 268
1171.59/1180.12	c current bound: 268
1172.87/1181.10	c current bound: 268
1173.55/1182.07	c current bound: 268
1174.51/1183.16	c current bound: 268
1175.49/1184.15	c current bound: 268
1176.48/1185.13	c current bound: 268
1177.75/1186.10	c current bound: 268
1178.64/1187.08	c current bound: 268
1179.72/1188.21	c current bound: 268
1180.61/1189.18	c current bound: 268
1181.37/1190.17	c current bound: 268
1182.36/1191.15	c current bound: 268
1183.36/1192.15	c current bound: 268
1184.33/1193.12	c current bound: 268
1185.62/1194.10	c current bound: 268
1186.28/1195.07	c current bound: 268
1187.26/1196.05	c current bound: 268
1188.51/1197.04	c current bound: 268
1189.53/1198.01	c current bound: 268
1190.20/1198.99	c current bound: 268
1191.20/1199.99	c current bound: 268
1192.20/1200.99	c current bound: 268
1193.17/1201.96	c current bound: 268
1194.17/1202.95	c current bound: 268
1195.14/1203.93	c current bound: 268
1196.43/1204.92	c current bound: 268
1197.43/1205.90	c current bound: 268
1198.32/1206.83	c current bound: 268
1199.33/1207.82	c current bound: 268
1200.00/1208.78	c current bound: 268
1200.99/1209.78	c current bound: 268
1201.96/1210.75	c current bound: 268
1202.93/1211.72	c current bound: 268
1204.23/1212.72	c current bound: 268
1205.22/1213.71	c current bound: 268
1206.12/1214.69	c current bound: 268
1207.13/1215.67	c current bound: 268
1208.12/1216.63	c current bound: 268
1208.85/1217.63	c current bound: 268
1210.13/1218.61	c current bound: 268
1210.80/1219.57	c current bound: 268
1211.76/1220.54	c current bound: 268
1213.03/1221.50	c current bound: 268
1213.70/1222.47	c current bound: 268
1214.93/1223.46	c current bound: 268
1215.93/1224.42	c current bound: 268
1216.62/1225.39	c current bound: 268
1217.58/1226.35	c current bound: 268
1218.57/1227.34	c current bound: 268
1219.84/1228.31	c current bound: 268
1220.51/1229.29	c current bound: 268
1221.49/1230.27	c current bound: 268
1222.48/1231.26	c current bound: 268
1223.72/1232.23	c current bound: 268
1224.73/1233.21	c current bound: 268
1225.41/1234.19	c current bound: 268
1226.39/1235.17	c current bound: 268
1227.38/1236.17	c current bound: 268
1228.37/1237.15	c current bound: 268
1229.35/1238.12	c current bound: 268
1230.63/1239.11	c current bound: 268
1231.63/1240.11	c current bound: 268
1232.64/1241.10	c current bound: 268
1233.53/1242.09	c current bound: 268
1234.53/1243.08	c current bound: 268
1235.30/1244.07	c current bound: 268
1236.29/1245.06	c current bound: 268
1237.26/1246.04	c current bound: 268
1238.19/1246.97	c current bound: 268
1239.19/1247.96	c current bound: 268
1240.18/1249.06	c current bound: 268
1241.16/1250.04	c current bound: 268
1242.16/1251.04	c current bound: 268
1243.44/1252.01	c current bound: 268
1244.45/1253.00	c current bound: 268
1245.40/1254.06	c current bound: 268
1246.10/1255.03	c current bound: 268
1247.11/1256.03	c current bound: 268
1248.03/1256.95	c current bound: 268
1249.00/1257.93	c current bound: 268
1250.31/1259.04	c current bound: 268
1251.28/1260.00	c current bound: 268
1251.98/1260.98	c current bound: 268
1253.17/1261.97	c current bound: 268
1254.19/1262.93	c current bound: 268
1254.91/1263.90	c current bound: 268
1255.88/1264.88	c current bound: 268
1256.86/1265.86	c current bound: 268
1258.11/1266.81	c current bound: 268
1258.78/1267.79	c current bound: 268
1259.75/1268.76	c current bound: 268
1260.72/1269.74	c current bound: 268
1261.97/1270.73	c current bound: 268
1263.00/1271.71	c current bound: 268
1263.69/1272.69	c current bound: 268
1265.00/1273.70	c current bound: 268
1265.68/1274.69	c current bound: 268
1266.67/1275.69	c current bound: 268
1267.65/1276.65	c current bound: 268
1268.63/1277.64	c current bound: 268
1269.61/1278.63	c current bound: 268
1270.90/1279.60	c current bound: 268
1271.80/1280.58	c current bound: 268
1272.80/1281.58	c current bound: 268
1273.54/1282.55	c current bound: 268
1274.52/1283.53	c current bound: 268
1275.50/1284.56	c current bound: 268
1276.48/1285.55	c current bound: 268
1277.46/1286.53	c current bound: 268
1278.74/1287.51	c current bound: 268
1279.42/1288.47	c current bound: 268
1280.62/1289.54	c current bound: 268
1281.64/1290.50	c current bound: 268
1282.52/1291.47	c current bound: 268
1283.30/1292.45	c current bound: 268
1284.25/1293.42	c current bound: 268
1285.24/1294.55	c current bound: 268
1286.23/1295.54	c current bound: 268
1287.20/1296.52	c current bound: 268
1288.49/1297.51	c current bound: 268
1289.48/1298.50	c current bound: 268
1290.45/1299.50	c current bound: 268
1291.34/1300.48	c current bound: 268
1292.36/1301.45	c current bound: 268
1293.36/1302.41	c current bound: 268
1294.03/1303.38	c current bound: 268
1295.00/1304.34	c current bound: 268
1296.26/1305.30	c current bound: 268
1296.94/1306.28	c current bound: 268
1297.92/1307.27	c current bound: 268
1298.89/1308.24	c current bound: 268
1300.15/1309.21	c current bound: 268
1301.04/1310.18	c current bound: 268
1301.81/1311.15	c current bound: 268
1302.78/1312.14	c current bound: 268
1304.05/1313.11	c current bound: 268
1304.73/1314.09	c current bound: 268
1305.70/1315.05	c current bound: 268
1306.95/1316.02	c current bound: 268
1307.83/1316.93	c current bound: 268
1308.84/1317.91	c current bound: 268
1309.53/1318.89	c current bound: 268
1310.52/1319.98	c current bound: 268
1311.48/1320.95	c current bound: 268
1312.47/1321.94	c current bound: 268
1313.46/1322.92	c current bound: 268
1314.73/1323.91	c current bound: 268
1315.72/1324.91	c current bound: 268
1316.39/1325.88	c current bound: 268
1317.60/1326.82	c current bound: 268
1318.49/1327.80	c current bound: 268
1319.27/1328.77	c current bound: 268
1320.25/1329.74	c current bound: 268
1321.50/1330.70	c current bound: 268
1322.16/1331.66	c current bound: 268
1323.14/1332.64	c current bound: 268
1324.39/1333.62	c current bound: 268
1325.39/1334.60	c current bound: 268
1326.29/1335.57	c current bound: 268
1327.25/1336.56	c current bound: 268
1328.01/1337.52	c current bound: 268
1328.98/1338.49	c current bound: 268
1329.95/1339.46	c current bound: 268
1330.94/1340.44	c current bound: 268
1332.18/1341.41	c current bound: 268
1332.86/1342.37	c current bound: 268
1334.07/1343.34	c current bound: 268
1335.09/1344.32	c current bound: 268
1335.99/1345.37	c current bound: 268
1336.75/1346.36	c current bound: 268
1338.00/1347.32	c current bound: 268
1338.68/1348.28	c current bound: 268
1339.67/1349.24	c current bound: 268
1340.94/1350.37	c current bound: 268
1341.61/1351.33	c current bound: 268
1342.89/1352.30	c current bound: 268
1343.76/1353.28	c current bound: 268
1344.77/1354.25	c current bound: 268
1345.78/1355.21	c current bound: 268
1346.46/1356.18	c current bound: 268
1347.44/1357.16	c current bound: 268
1348.42/1358.15	c current bound: 268
1349.41/1359.12	c current bound: 268
1350.68/1360.12	c current bound: 268
1351.37/1361.08	c current bound: 268
1352.58/1362.07	c current bound: 268
1353.57/1363.07	c current bound: 268
1354.57/1364.05	c current bound: 268
1355.31/1365.02	c current bound: 268
1356.27/1365.99	c current bound: 268
1357.20/1366.93	c current bound: 268
1358.47/1367.90	c current bound: 268
1359.16/1368.88	c current bound: 268
1360.14/1369.85	c current bound: 268
1361.37/1370.83	c current bound: 268
1362.38/1371.83	c current bound: 268
1363.38/1372.81	c current bound: 268
1364.06/1373.77	c current bound: 268
1365.02/1374.74	c current bound: 268
1366.00/1375.82	c current bound: 268
1366.95/1376.77	c current bound: 268
1367.91/1377.73	c current bound: 268
1369.18/1378.70	c current bound: 268
1370.06/1379.67	c current bound: 268
1371.07/1380.65	c current bound: 268
1372.07/1381.63	c current bound: 268
1372.76/1382.60	c current bound: 268
1373.74/1383.56	c current bound: 268
1374.71/1384.52	c current bound: 268
1375.67/1385.49	c current bound: 268
1376.65/1386.48	c current bound: 268
1377.63/1387.44	c current bound: 268
1378.87/1388.42	c current bound: 268
1379.89/1389.41	c current bound: 268
1380.56/1390.37	c current bound: 268
1381.52/1391.34	c current bound: 268
1382.79/1392.30	c current bound: 268
1383.47/1393.28	c current bound: 268
1384.45/1394.26	c current bound: 268
1385.42/1395.23	c current bound: 268
1386.68/1396.22	c current bound: 268
1387.67/1397.20	c current bound: 268
1388.57/1398.18	c current bound: 268
1389.32/1399.15	c current bound: 268
1390.32/1400.13	c current bound: 268
1391.57/1401.12	c current bound: 268
1392.26/1402.09	c current bound: 268
1393.25/1403.07	c current bound: 268
1394.22/1404.04	c current bound: 268
1395.49/1405.02	c current bound: 268
1396.38/1405.98	c current bound: 268
1397.40/1406.92	c current bound: 268
1398.06/1407.88	c current bound: 268
1399.05/1408.86	c current bound: 268
1400.04/1409.85	c current bound: 268
1401.28/1410.81	c current bound: 268
1402.26/1411.83	c current bound: 268
1403.24/1412.81	c current bound: 268
1404.13/1413.78	c current bound: 268
1405.12/1414.76	c current bound: 268
1406.12/1415.73	c current bound: 268
1407.13/1416.70	c current bound: 268
1407.80/1417.79	c current bound: 268
1408.78/1418.77	c current bound: 268
1409.75/1419.75	c current bound: 268
1410.73/1420.73	c current bound: 268
1412.02/1421.71	c current bound: 268
1412.71/1422.74	c current bound: 268
1413.67/1423.72	c current bound: 268
1414.96/1424.71	c current bound: 268
1415.85/1425.68	c current bound: 268
1416.61/1426.66	c current bound: 268
1417.58/1427.63	c current bound: 268
1418.86/1428.60	c current bound: 268
1419.54/1429.59	c current bound: 268
1420.53/1430.58	c current bound: 268
1421.52/1431.56	c current bound: 268
1422.52/1432.56	c current bound: 268
1423.74/1433.56	c current bound: 268
1424.75/1434.53	c current bound: 268
1425.76/1435.53	c current bound: 268
1426.51/1436.54	c current bound: 268
1427.77/1437.51	c current bound: 268
1428.76/1438.51	c current bound: 268
1429.44/1439.50	c current bound: 268
1430.43/1440.48	c current bound: 268
1431.40/1441.46	c current bound: 268
1432.38/1442.44	c current bound: 268
1433.65/1443.43	c current bound: 268
1434.65/1444.43	c current bound: 268
1435.67/1445.41	c current bound: 268
1436.34/1446.39	c current bound: 268
1437.31/1447.36	c current bound: 268
1438.29/1448.34	c current bound: 268
1439.29/1449.33	c current bound: 268
1440.29/1450.33	c current bound: 268
1441.29/1451.33	c current bound: 268
1442.45/1452.29	c current bound: 268
1443.45/1453.28	c current bound: 268
1444.47/1454.27	c current bound: 268
1445.23/1455.25	c current bound: 268
1446.21/1456.23	c current bound: 268
1447.17/1457.19	c current bound: 268
1448.16/1458.18	c current bound: 268
1449.14/1459.16	c current bound: 268
1450.10/1460.12	c current bound: 268
1451.38/1461.10	c current bound: 268
1452.35/1462.13	c current bound: 268
1453.20/1463.10	c current bound: 268
1453.99/1464.08	c current bound: 268
1454.96/1465.05	c current bound: 268
1455.94/1466.03	c current bound: 268
1457.19/1467.06	c current bound: 268
1457.87/1468.04	c current bound: 268
1458.86/1469.03	c current bound: 268
1460.13/1470.00	c current bound: 268
1461.02/1470.98	c current bound: 268
1462.01/1471.95	c current bound: 268
1463.04/1473.02	c current bound: 268
1463.72/1473.99	c current bound: 268
1464.69/1474.96	c current bound: 268
1465.65/1475.92	c current bound: 268
1466.59/1476.87	c current bound: 268
1467.57/1477.83	c current bound: 268
1468.83/1478.82	c current bound: 268
1469.82/1479.80	c current bound: 268
1470.72/1480.79	c current bound: 268
1471.71/1481.74	c current bound: 268
1472.73/1482.70	c current bound: 268
1473.40/1483.67	c current bound: 268
1474.38/1484.65	c current bound: 268
1475.36/1485.64	c current bound: 268
1476.63/1486.60	c current bound: 268
1477.29/1487.56	c current bound: 268
1478.51/1488.55	c current bound: 268
1479.53/1489.51	c current bound: 268
1480.53/1490.51	c current bound: 268
1481.21/1491.48	c current bound: 268
1482.17/1492.44	c current bound: 268
1483.15/1493.42	c current bound: 268
1484.11/1494.38	c current bound: 268
1485.10/1495.36	c current bound: 268
1486.05/1496.33	c current bound: 268
1487.21/1497.29	c current bound: 268
1488.22/1498.28	c current bound: 268
1488.97/1499.24	c current bound: 268
1490.23/1500.22	c current bound: 268
1491.23/1501.21	c current bound: 268
1491.91/1502.18	c current bound: 268
1492.89/1503.15	c current bound: 268
1494.13/1504.12	c current bound: 268
1495.01/1505.09	c current bound: 268
1496.02/1506.06	c current bound: 268
1496.71/1506.99	c current bound: 268
1497.69/1507.96	c current bound: 268
1498.66/1508.93	c current bound: 268
1499.92/1509.90	c current bound: 268
1500.59/1510.86	c current bound: 268
1501.82/1511.82	c current bound: 268
1502.83/1512.88	c current bound: 268
1503.74/1513.87	c current bound: 268
1504.73/1514.86	c current bound: 268
1505.75/1515.82	c current bound: 268
1506.41/1516.77	c current bound: 268
1507.38/1517.89	c current bound: 268
1508.36/1518.87	c current bound: 268
1509.33/1519.83	c current bound: 268
1510.60/1520.80	c current bound: 268
1511.26/1521.75	c current bound: 268
1512.54/1522.83	c current bound: 268
1513.50/1523.82	c current bound: 268
1514.50/1524.80	c current bound: 268
1515.40/1525.78	c current bound: 268
1516.13/1526.74	c current bound: 268
1517.39/1527.72	c current bound: 268
1518.08/1528.68	c current bound: 268
1519.06/1529.66	c current bound: 268
1520.02/1530.62	c current bound: 268
1521.30/1531.61	c current bound: 268
1522.19/1532.59	c current bound: 268
1523.20/1533.55	c current bound: 268
1524.19/1534.53	c current bound: 268
1525.19/1535.51	c current bound: 268
1525.87/1536.46	c current bound: 268
1526.85/1537.44	c current bound: 268
1528.11/1538.40	c current bound: 268
1528.76/1539.36	c current bound: 268
1529.72/1540.32	c current bound: 268
1531.00/1541.31	c current bound: 268
1531.90/1542.28	c current bound: 268
1532.64/1543.24	c current bound: 268
1533.63/1544.23	c current bound: 268
1534.61/1545.20	c current bound: 268
1535.57/1546.16	c current bound: 268
1536.47/1547.07	c current bound: 268
1537.43/1548.03	c current bound: 268
1538.69/1549.03	c current bound: 268
1539.71/1550.02	c current bound: 268
1540.38/1551.00	c current bound: 268
1541.39/1551.98	c current bound: 268
1542.35/1552.95	c current bound: 268
1543.61/1553.91	c current bound: 268
1544.60/1554.91	c current bound: 268
1545.28/1555.88	c current bound: 268
1546.50/1556.82	c current bound: 268
1547.40/1557.79	c current bound: 268
1548.40/1558.77	c current bound: 268
1549.14/1559.74	c current bound: 268
1550.40/1560.70	c current bound: 268
1551.08/1561.69	c current bound: 268
1552.06/1562.67	c current bound: 268
1553.04/1563.64	c current bound: 268
1554.31/1564.61	c current bound: 268
1555.20/1565.59	c current bound: 268
1556.20/1566.58	c current bound: 268
1557.19/1567.55	c current bound: 268
1558.20/1568.51	c current bound: 268
1558.88/1569.48	c current bound: 268
1559.87/1570.47	c current bound: 268
1560.84/1571.43	c current bound: 268
1562.11/1572.41	c current bound: 268
1562.80/1573.39	c current bound: 268
1564.00/1574.37	c current bound: 268
1565.00/1575.35	c current bound: 268
1566.03/1576.32	c current bound: 268
1566.69/1577.28	c current bound: 268
1567.69/1578.27	c current bound: 268
1568.65/1579.24	c current bound: 268
1569.92/1580.20	c current bound: 268
1570.60/1581.18	c current bound: 268
1571.57/1582.16	c current bound: 268
1572.80/1583.13	c current bound: 268
1573.82/1584.11	c current bound: 268
1574.48/1585.07	c current bound: 268
1575.47/1586.04	c current bound: 268
1576.44/1587.02	c current bound: 268
1577.40/1587.99	c current bound: 268
1578.38/1588.96	c current bound: 268
1579.36/1589.94	c current bound: 268
1580.61/1590.90	c current bound: 268
1581.62/1591.90	c current bound: 268
1582.51/1592.87	c current bound: 268
1583.26/1593.86	c current bound: 268
1584.27/1594.84	c current bound: 268
1585.24/1595.83	c current bound: 268
1586.53/1596.81	c current bound: 268
1587.22/1597.79	c current bound: 268
1588.20/1598.77	c current bound: 268
1589.19/1599.75	c current bound: 268
1590.42/1600.72	c current bound: 268
1591.32/1601.70	c current bound: 268
1592.08/1602.66	c current bound: 268
1593.08/1603.64	c current bound: 268
1594.34/1604.62	c current bound: 268
1595.33/1605.60	c current bound: 268
1595.99/1606.56	c current bound: 268
1596.97/1607.54	c current bound: 268
1598.25/1608.51	c current bound: 268
1599.22/1609.58	c current bound: 268
1600.13/1610.56	c current bound: 268
1601.14/1611.55	c current bound: 268
1601.88/1612.55	c current bound: 268
1602.86/1613.52	c current bound: 268
1604.14/1614.56	c current bound: 268
1604.80/1615.53	c current bound: 268
1606.08/1616.50	c current bound: 268
1606.75/1617.47	c current bound: 268
1607.73/1618.46	c current bound: 268
1608.97/1619.43	c current bound: 268
1609.90/1620.49	c current bound: 268
1610.88/1621.46	c current bound: 268
1611.63/1622.44	c current bound: 268
1612.90/1623.41	c current bound: 268
1613.58/1624.38	c current bound: 268
1614.54/1625.35	c current bound: 268
1615.53/1626.33	c current bound: 268
1616.80/1627.31	c current bound: 268
1617.79/1628.30	c current bound: 268
1618.69/1629.27	c current bound: 268
1619.69/1630.25	c current bound: 268
1620.70/1631.22	c current bound: 268
1621.69/1632.20	c current bound: 268
1622.38/1633.18	c current bound: 268
1623.37/1634.17	c current bound: 268
1624.33/1635.13	c current bound: 268
1625.61/1636.11	c current bound: 268
1626.61/1637.10	c current bound: 268
1627.49/1638.09	c current bound: 268
1628.50/1639.05	c current bound: 268
1629.50/1640.02	c current bound: 268
1630.50/1641.01	c current bound: 268
1631.17/1641.97	c current bound: 268
1632.15/1642.94	c current bound: 268
1633.41/1643.90	c current bound: 268
1634.10/1644.99	c current bound: 268
1635.07/1645.96	c current bound: 268
1636.28/1646.94	c current bound: 268
1637.31/1647.91	c current bound: 268
1638.00/1648.89	c current bound: 268
1638.95/1649.99	c current bound: 268
1639.92/1650.97	c current bound: 268
1640.90/1651.93	c current bound: 268
1642.16/1652.90	c current bound: 268
1642.84/1653.87	c current bound: 268
1644.12/1654.95	c current bound: 268
1644.80/1655.93	c current bound: 268
1645.95/1656.88	c current bound: 268
1646.96/1657.86	c current bound: 268
1647.95/1658.83	c current bound: 268
1648.97/1659.81	c current bound: 268
1649.65/1660.89	c current bound: 268
1650.63/1661.86	c current bound: 268
1651.60/1662.85	c current bound: 268
1652.60/1663.82	c current bound: 268
1653.56/1664.79	c current bound: 268
1654.54/1665.78	c current bound: 268
1655.75/1666.77	c current bound: 268
1656.75/1667.76	c current bound: 268
1657.74/1668.73	c current bound: 268
1658.75/1669.70	c current bound: 268
1659.41/1670.66	c current bound: 268
1660.37/1671.63	c current bound: 268
1661.35/1672.59	c current bound: 268
1662.32/1673.57	c current bound: 268
1663.31/1674.55	c current bound: 268
1664.54/1675.55	c current bound: 268
1665.54/1676.51	c current bound: 268
1666.21/1677.49	c current bound: 268
1667.55/1678.50	c current bound: 268
1668.20/1679.48	c current bound: 268
1669.17/1680.45	c current bound: 268
1670.18/1681.44	c current bound: 268
1671.16/1682.43	c current bound: 268
1672.45/1683.40	c current bound: 268
1673.44/1684.40	c current bound: 268
1674.34/1685.38	c current bound: 268
1675.34/1686.36	c current bound: 268
1676.06/1687.33	c current bound: 268
1677.37/1688.32	c current bound: 268
1678.36/1689.31	c current bound: 268
1679.04/1690.28	c current bound: 268
1680.02/1691.26	c current bound: 268
1681.00/1692.25	c current bound: 268
1682.26/1693.21	c current bound: 268
1683.14/1694.18	c current bound: 268
1684.14/1695.24	c current bound: 268
1685.17/1696.21	c current bound: 268
1686.06/1697.12	c current bound: 268
1686.73/1698.08	c current bound: 268
1687.71/1699.07	c current bound: 268
1688.70/1700.05	c current bound: 268
1689.68/1701.03	c current bound: 268
1690.95/1702.00	c current bound: 268
1691.84/1702.99	c current bound: 268
1692.84/1703.96	c current bound: 268
1693.58/1704.95	c current bound: 268
1694.59/1705.95	c current bound: 268
1695.56/1706.92	c current bound: 268
1696.54/1707.90	c current bound: 268
1697.50/1708.86	c current bound: 268
1698.48/1709.84	c current bound: 268
1699.48/1710.83	c current bound: 268
1700.75/1711.81	c current bound: 268
1701.75/1712.80	c current bound: 268
1702.43/1713.80	c current bound: 268
1703.43/1714.78	c current bound: 268
1704.42/1715.77	c current bound: 268
1705.38/1716.75	c current bound: 268
1706.38/1717.74	c current bound: 268
1707.38/1718.75	c current bound: 268
1708.38/1719.74	c current bound: 268
1709.66/1720.70	c current bound: 268
1710.54/1721.69	c current bound: 268
1711.54/1722.67	c current bound: 268
1712.31/1723.66	c current bound: 268
1713.27/1724.63	c current bound: 268
1714.28/1725.62	c current bound: 268
1715.57/1726.61	c current bound: 268
1716.56/1727.60	c current bound: 268
1717.25/1728.59	c current bound: 268
1718.24/1729.58	c current bound: 268
1719.53/1730.62	c current bound: 268
1720.52/1731.61	c current bound: 268
1721.40/1732.60	c current bound: 268
1722.19/1733.56	c current bound: 268
1723.16/1734.53	c current bound: 268
1724.43/1735.53	c current bound: 268
1725.41/1736.50	c current bound: 268
1726.07/1737.47	c current bound: 268
1727.05/1738.46	c current bound: 268
1728.06/1739.45	c current bound: 268
1729.31/1740.42	c current bound: 268
1730.30/1741.40	c current bound: 268
1730.99/1742.39	c current bound: 268
1731.97/1743.38	c current bound: 268
1732.95/1744.36	c current bound: 268
1733.94/1745.34	c current bound: 268
1734.92/1746.32	c current bound: 268
1736.19/1747.30	c current bound: 268
1736.87/1748.28	c current bound: 268
1738.10/1749.26	c current bound: 268
1739.09/1750.23	c current bound: 268
1740.11/1751.20	c current bound: 268
1740.77/1752.17	c current bound: 268
1741.76/1753.16	c current bound: 268
1742.73/1754.13	c current bound: 268
1743.72/1755.13	c current bound: 268
1744.70/1756.09	c current bound: 268
1745.66/1757.06	c current bound: 268
1746.91/1758.06	c current bound: 268
1747.90/1759.06	c current bound: 268
1748.92/1760.03	c current bound: 268
1749.61/1760.99	c current bound: 268
1750.59/1761.99	c current bound: 268
1751.60/1762.98	c current bound: 268
1752.59/1763.97	c current bound: 268
1753.59/1764.97	c current bound: 268
1754.57/1766.07	c current bound: 268
1755.52/1767.03	c current bound: 268
1756.80/1768.00	c current bound: 268
1757.71/1768.97	c current bound: 268
1758.71/1769.96	c current bound: 268
1759.70/1771.06	c current bound: 268
1760.44/1772.04	c current bound: 268
1761.72/1773.00	c current bound: 268
1762.40/1773.99	c current bound: 268
1763.38/1774.97	c current bound: 268
1764.35/1776.05	c current bound: 268
1765.28/1776.98	c current bound: 268
1766.24/1777.97	c current bound: 268
1767.48/1778.94	c current bound: 268
1768.50/1779.92	c current bound: 268
1769.18/1780.89	c current bound: 268
1770.16/1781.99	c current bound: 268
1771.14/1782.97	c current bound: 268
1772.10/1783.93	c current bound: 268
1773.38/1784.92	c current bound: 268
1774.07/1785.89	c current bound: 268
1775.02/1786.95	c current bound: 268
1776.27/1787.92	c current bound: 268
1777.28/1788.90	c current bound: 268
1778.16/1789.86	c current bound: 268
1779.16/1790.83	c current bound: 268
1779.87/1791.79	c current bound: 268
1780.83/1792.75	c current bound: 268
1781.80/1793.72	c current bound: 268
1782.76/1794.69	c current bound: 268
1783.74/1795.66	c current bound: 268
1784.71/1796.63	c current bound: 268
1785.96/1797.63	c current bound: 268
1786.87/1798.59	c current bound: 268
1787.65/1799.57	c current bound: 268
1788.63/1800.56	c current bound: 268
1789.61/1801.53	c current bound: 268
1790.57/1802.49	c current bound: 268
1791.53/1803.45	c current bound: 268
1792.51/1804.44	c current bound: 268
1793.51/1805.42	c current bound: 268
1794.68/1806.38	c current bound: 268
1795.68/1807.36	c current bound: 268
1796.42/1808.34	c current bound: 268
1797.68/1809.31	c current bound: 268
1798.37/1810.29	c current bound: 268
1799.18/1810.80	./satsolver.sh: line 5: 19556 Terminated              ./glucose $1 > $2 2> /dev/null
1799.18/1810.80	c error: unexpected solver exit code
1799.18/1810.80	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-3715681-1338183718/watcher-3715681-1338183718 -o /tmp/evaluation-result-3715681-1338183718/solver-3715681-1338183718 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715681-1338183718.wbo 1196020536 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.03 1.97 1.94 3/175 3160
/proc/meminfo: memFree=28593236/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0

[startup+0.0942839 s]
/proc/loadavg: 2.03 1.97 1.94 3/175 3160
/proc/meminfo: memFree=28593236/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.1002 s]
/proc/loadavg: 2.03 1.97 1.94 3/175 3160
/proc/meminfo: memFree=28593236/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300138 s]
/proc/loadavg: 2.03 1.97 1.94 3/175 3160
/proc/meminfo: memFree=28593236/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700107 s]
/proc/loadavg: 2.03 1.97 1.94 3/175 3160
/proc/meminfo: memFree=28593236/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.03 1.97 1.94 3/181 3166
/proc/meminfo: memFree=28414664/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=18872 CPUtime=0.67 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 4908 0 0 0 65 2 0 0 20 0 1 0 284497221 19324928 4235 33554432000 4194304 5990268 140737484378432 140737484371584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3161/statm: 4718 4235 156 439 0 4275 0
[pid=3165] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3165/stat : 3165 (cp2_pre.sh) S 3161 3160 25502 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284497288 9367552 277 33554432000 4194304 5064252 140736058821024 140736058819728 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3165/statm: 2287 277 234 213 0 72 0
[pid=3166] ppid=3165 vsize=145876 CPUtime=0.81 cores=0,2,4,6
/proc/3166/stat : 3166 (coprocessor) R 3165 3160 25502 0 -1 4202496 25529 0 0 0 78 3 0 0 20 0 1 0 284497289 149377024 34671 33554432000 4194304 6586260 140733650648944 140733650644968 4775781 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 36469 34671 182 584 0 35881 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 183044

[startup+3.10026 s]
/proc/loadavg: 2.03 1.97 1.94 3/181 3183
/proc/meminfo: memFree=28391604/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=18872 CPUtime=0.67 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 4908 0 0 0 65 2 0 0 20 0 1 0 284497221 19324928 4235 33554432000 4194304 5990268 140737484378432 140737484371584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3161/statm: 4718 4235 156 439 0 4275 0
[pid=3165] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3165/stat : 3165 (cp2_pre.sh) S 3161 3160 25502 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284497288 9367552 277 33554432000 4194304 5064252 140736058821024 140736058819728 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3165/statm: 2287 277 234 213 0 72 0
[pid=3166] ppid=3165 vsize=166980 CPUtime=2.41 cores=0,2,4,6
/proc/3166/stat : 3166 (coprocessor) R 3165 3160 25502 0 -1 4202496 28456 0 0 0 237 4 0 0 20 0 1 0 284497289 170987520 40153 33554432000 4194304 6586260 140733650648944 140733650644200 4683467 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 41745 40153 191 584 0 41157 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 204148

[startup+6.30033 s]
/proc/loadavg: 2.03 1.97 1.94 3/182 3249
/proc/meminfo: memFree=28395664/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=18872 CPUtime=0.67 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 4908 0 0 0 65 2 0 0 20 0 1 0 284497221 19324928 4235 33554432000 4194304 5990268 140737484378432 140737484371584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3161/statm: 4718 4235 156 439 0 4275 0
[pid=3165] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3165/stat : 3165 (cp2_pre.sh) S 3161 3160 25502 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 284497288 9367552 277 33554432000 4194304 5064252 140736058821024 140736058819728 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3165/statm: 2287 277 234 213 0 72 0
[pid=3166] ppid=3165 vsize=196540 CPUtime=5.6 cores=0,2,4,6
/proc/3166/stat : 3166 (coprocessor) R 3165 3160 25502 0 -1 4202496 31444 0 0 0 555 5 0 0 20 0 1 0 284497289 201256960 45867 33554432000 4194304 6586260 140733650648944 140733650644200 4406758 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/3166/statm: 49135 45867 196 584 0 48547 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 233708

[startup+12.7003 s]
/proc/loadavg: 2.02 1.97 1.94 3/182 3413
/proc/meminfo: memFree=28491500/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=12.17 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 12664 132065 0 0 80 19 1019 99 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 36584

[startup+25.5004 s]
/proc/loadavg: 2.02 1.97 1.94 3/181 3774
/proc/meminfo: memFree=28495612/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=24.78 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 33412 393612 0 0 111 22 2167 178 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=3765] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3765/stat : 3765 (satsolver.sh) S 3161 3160 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284499708 9367552 267 33554432000 4194304 5064252 140733662246944 140733662245856 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3765/statm: 2287 267 226 213 0 72 0
[pid=3767] ppid=3765 vsize=53576 CPUtime=0.62 cores=0,2,4,6
/proc/3767/stat : 3767 (glucose) R 3765 3160 25502 0 -1 4202496 10009 0 0 0 60 2 0 0 20 0 1 0 284499708 54861824 11095 33554432000 4194304 5208918 140737032261408 140737032257928 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3767/statm: 13394 11095 105 248 0 13143 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 99308

[startup+51.1003 s]
/proc/loadavg: 2.01 1.97 1.94 3/181 4453
/proc/meminfo: memFree=28494968/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=50.8 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 74915 935055 0 0 171 29 4528 352 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 36584

[startup+102.3 s]
/proc/loadavg: 1.93 1.95 1.94 3/182 5853
/proc/meminfo: memFree=28513552/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=101.55 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 157907 1989741 0 0 289 43 9128 695 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=5847] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5847/stat : 5847 (cp2_post.sh) S 3161 3160 25502 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 284507440 9367552 265 33554432000 4194304 5064252 140735273966464 140735273964752 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5847/statm: 2287 265 225 213 0 72 0
[pid=5848] ppid=5847 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/5848/stat : 5848 (cat) S 5847 3160 25502 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 284507440 4100096 121 33554432000 4194304 4236627 140736635507152 140736635506248 227512501728 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/5848/statm: 1001 121 96 11 0 67 0
[pid=5849] ppid=5847 vsize=40256 CPUtime=0.1 cores=0,2,4,6
/proc/5849/stat : 5849 (coprocessor) R 5847 3160 25502 0 -1 4202496 4665 0 0 0 9 1 0 0 20 0 1 0 284507440 41222144 8163 33554432000 4194304 6586260 140734865233744 140735273964776 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/5849/statm: 10064 8163 146 584 0 9476 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 89992

[startup+162.3 s]
/proc/loadavg: 1.97 1.96 1.94 3/182 7452
/proc/meminfo: memFree=28487416/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=160.29 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 255256 3211107 0 0 428 60 14455 1086 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 160.29
Current children cumulated vsize (KiB) 36584

[startup+222.306 s]
/proc/loadavg: 1.85 1.93 1.92 3/181 9091
/proc/meminfo: memFree=28486356/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=220.67 cores=0,2,4,6

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

/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1293.07 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2103431 26717003 0 0 2961 361 117379 8606 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 22 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 1293.07
Current children cumulated vsize (KiB) 36584

[startup+1362.3 s]
/proc/loadavg: 1.85 1.90 1.90 3/182 7441
/proc/meminfo: memFree=28512916/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1352.67 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2202376 27959223 0 0 3106 378 122782 9001 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 22 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 1352.67
Current children cumulated vsize (KiB) 36584

[startup+1422.3 s]
/proc/loadavg: 1.87 1.90 1.90 3/181 9084
/proc/meminfo: memFree=28486236/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1412.04 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2299732 29196037 0 0 3248 395 128169 9392 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 36 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=9069] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9069/stat : 9069 (satsolver.sh) S 3161 3160 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284639398 9367552 267 33554432000 4194304 5064252 140736431328720 140736431327632 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9069/statm: 2287 267 226 213 0 72 0
[pid=9070] ppid=9069 vsize=52264 CPUtime=0.51 cores=0,2,4,6
/proc/9070/stat : 9070 (glucose) R 9069 3160 25502 0 -1 4202496 9737 0 0 0 50 1 0 0 20 0 1 0 284639398 53518336 10808 33554432000 4194304 5208918 140737059562288 140737058511784 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9070/statm: 13066 10808 103 248 0 12815 0
Current children cumulated CPU time (s) 1412.55
Current children cumulated vsize (KiB) 97996

[startup+1482.3 s]
/proc/loadavg: 2.42 2.04 1.94 3/181 10678
/proc/meminfo: memFree=28474240/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1471.78 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2397088 30426761 0 0 3380 410 133593 9795 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 46 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 1471.78
Current children cumulated vsize (KiB) 36584

[startup+1542.31 s]
/proc/loadavg: 2.01 1.99 1.93 3/181 12316
/proc/meminfo: memFree=28478408/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1532 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2496040 31685279 0 0 3524 426 139061 10189 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 46 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 1532
Current children cumulated vsize (KiB) 36584

[startup+1602.3 s]
/proc/loadavg: 1.91 1.96 1.92 3/181 13919
/proc/meminfo: memFree=28480240/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1591.43 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2593396 32924986 0 0 3666 443 144454 10580 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 46 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 1591.43
Current children cumulated vsize (KiB) 36584

[startup+1662.3 s]
/proc/loadavg: 1.97 1.97 1.92 3/181 15555
/proc/meminfo: memFree=28482784/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1650.93 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2690752 34166486 0 0 3808 459 149858 10968 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 50 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=15547] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15547/stat : 15547 (satsolver.sh) S 3161 3160 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284663408 9367552 267 33554432000 4194304 5064252 140735094636976 140735094635888 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15547/statm: 2287 267 226 213 0 72 0
[pid=15548] ppid=15547 vsize=52132 CPUtime=0.42 cores=0,2,4,6
/proc/15548/stat : 15548 (glucose) R 15547 3160 25502 0 -1 4202496 10152 0 0 0 40 2 0 0 20 0 1 0 284663408 53383168 10658 33554432000 4194304 5208918 140735237849712 140735094635912 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15548/statm: 13033 10658 103 248 0 12782 0
Current children cumulated CPU time (s) 1651.35
Current children cumulated vsize (KiB) 97864

[startup+1722.3 s]
/proc/loadavg: 1.86 1.94 1.91 3/184 17161
/proc/meminfo: memFree=28493156/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1710.65 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2788108 35403400 0 0 3942 475 155281 11367 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 50 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
Current children cumulated CPU time (s) 1710.65
Current children cumulated vsize (KiB) 36584

[startup+1782.3 s]
/proc/loadavg: 1.84 1.92 1.90 3/181 18788
/proc/meminfo: memFree=28522500/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1770.47 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2885464 36642037 0 0 4073 492 160715 11767 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 60 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=18788] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (satsolver.sh) S 3161 3160 25502 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284675421 9367552 266 33554432000 4194304 5064252 140734329835088 140734329834000 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18788/statm: 2287 266 226 213 0 72 0
Current children cumulated CPU time (s) 1770.47
Current children cumulated vsize (KiB) 45732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.8 s]
/proc/loadavg: 1.85 1.91 1.90 3/182 19566
/proc/meminfo: memFree=28488404/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1798.69 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2931748 37233782 0 0 4141 500 163272 11956 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 60 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=19555] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19555/stat : 19555 (satsolver.sh) S 3161 3160 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284678251 9367552 267 33554432000 4194304 5064252 140733612921008 140733612919920 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19555/statm: 2287 267 226 213 0 72 0
[pid=19556] ppid=19555 vsize=52264 CPUtime=0.49 cores=0,2,4,6
/proc/19556/stat : 19556 (glucose) R 19555 3160 25502 0 -1 4202496 9565 0 0 0 48 1 0 0 20 0 1 0 284678251 53518336 10644 33554432000 4194304 5208918 140733432779920 140733432777880 4229244 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19556/statm: 13066 10644 103 248 0 12815 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 97996

Sending SIGTERM to process tree (bottom up)

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

[startup+1810.8 s]
/proc/loadavg: 1.85 1.91 1.90 3/182 19566
/proc/meminfo: memFree=28488404/32873624 swapFree=7104/7104
[pid=3160] ppid=3158 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3160/stat : 3160 (npSolver-wbo-It) S 3158 3160 25502 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284497221 9367552 275 33554432000 4194304 5064252 140736617886768 140736617885680 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3160/statm: 2287 275 233 213 0 72 0
[pid=3161] ppid=3160 vsize=27436 CPUtime=1798.69 cores=0,2,4,6
/proc/3161/stat : 3161 (npSolver-wbo) S 3160 3160 25502 0 -1 4202496 2931748 37233782 0 0 4141 500 163272 11956 20 0 1 0 284497221 28094464 6054 33554432000 4194304 5990268 140737484378432 140737484369840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 60 0 0
/proc/3161/statm: 6859 6054 180 439 0 6416 0
[pid=19555] ppid=3161 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19555/stat : 19555 (satsolver.sh) S 3161 3160 25502 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284678251 9367552 267 33554432000 4194304 5064252 140733612921008 140733612919920 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/19555/statm: 2287 267 226 213 0 72 0
[pid=19556] ppid=19555 vsize=52264 CPUtime=0.49 cores=0,2,4,6
/proc/19556/stat : 19556 (glucose) R 19555 3160 25502 0 -1 4202496 9565 0 0 0 48 1 0 0 20 0 1 0 284678251 53518336 10644 33554432000 4194304 5208918 140733432779920 140733432777880 4229244 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19556/statm: 13066 10644 103 248 0 12815 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 97996

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.890198
#  lost CPU user time (s): 0.870178
#  lost CPU system time (s): 0.019989

Real time (s): 1810.81
CPU time (s): 1800.1
CPU user time (s): 1675.49
CPU system time (s): 124.614
CPU usage (%): 99.4087
Max. virtual memory (cumulated for all children) (KiB): 238148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.62
system time used= 124.594
maximum resident set size= 194112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40176086
page faults= 0
swaps= 0
block input operations= 8
block output operations= 25381208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 904862
involuntary context switches= 25876

runsolver used 2.81057 second user time and 7.16291 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 07:41:58
IDJOB=3715681
IDBENCH=78717
IDSOLVER=2297
FILE ID=node121/3715681-1338183718
RUNJOBID= node121-1338174706-27556
PBS_JOBID= 14624535
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 6d906c6a0b5d527a5b0feb820bb742c0
RANDOM SEED=1196020536

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
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:       32873624 kB
MemFree:        28594516 kB
Buffers:          527140 kB
Cached:          2878900 kB
SwapCached:            0 kB
Active:           871400 kB
Inactive:        2548308 kB
Active(anon):      13908 kB
Inactive(anon):        0 kB
Active(file):     857492 kB
Inactive(file):  2548308 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16636 kB
Writeback:             0 kB
AnonPages:         23012 kB
Mapped:            14516 kB
Shmem:               200 kB
Slab:             719800 kB
SReclaimable:     163012 kB
SUnreclaim:       556788 kB
KernelStack:        1504 kB
PageTables:         4664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     104268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71640 MiB
End job on node121 at 2012-05-28 08:12:08