Trace number 3715958

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.48 1803.91

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
MD5SUMf742a865179589dbb1861a007b830f45
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.603907
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
Number of bits of the biggest sum of numbers11
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.05	c run usual solver
0.00/0.38	o 660
0.00/0.38	c starting approximation
0.00/0.38	c factor = 2
0.00/0.38	c current bound: 330
1.24/1.31	c current bound: 330
2.17/2.26	c current bound: 330
2.24/3.17	c current bound: 330
4.06/4.12	c current bound: 330
4.95/5.07	c current bound: 330
5.94/6.01	c current bound: 330
6.87/6.95	c current bound: 330
7.76/7.87	c current bound: 330
8.66/8.80	c current bound: 330
9.66/9.73	c current bound: 330
10.56/10.68	c current bound: 330
11.56/11.63	c current bound: 330
12.46/12.55	c current bound: 330
13.36/13.49	c current bound: 330
14.37/14.44	c current bound: 330
15.28/15.38	c current bound: 330
16.26/16.33	c current bound: 330
17.15/17.27	c current bound: 330
18.15/18.22	c current bound: 330
19.06/19.17	c current bound: 330
20.05/20.12	c current bound: 330
20.96/21.07	c current bound: 330
21.95/22.02	c current bound: 330
22.02/22.97	c current bound: 330
23.76/23.89	c current bound: 330
24.78/24.84	c current bound: 330
25.66/25.76	c current bound: 330
26.64/26.70	c current bound: 330
27.56/27.63	c current bound: 330
28.47/28.58	c current bound: 330
28.57/29.49	c current bound: 330
30.34/30.41	c current bound: 330
31.26/31.33	c current bound: 330
32.15/32.28	c current bound: 330
33.17/33.23	c current bound: 330
34.08/34.15	c current bound: 330
34.15/35.07	c current bound: 330
35.93/36.01	c current bound: 330
36.85/36.95	c current bound: 330
37.77/37.87	c current bound: 330
38.65/38.79	c current bound: 330
39.65/39.72	c current bound: 330
40.56/40.64	c current bound: 330
40.63/41.56	c current bound: 330
42.42/42.51	c current bound: 330
43.36/43.43	c current bound: 330
44.26/44.36	c current bound: 330
45.22/45.30	c current bound: 330
46.15/46.22	c current bound: 330
46.22/47.15	c current bound: 330
47.96/48.08	c current bound: 330
48.93/49.00	c current bound: 330
49.85/49.95	c current bound: 330
50.87/50.90	c current bound: 330
51.76/51.84	c current bound: 330
52.66/52.76	c current bound: 330
52.74/53.67	c current bound: 330
54.45/54.59	c current bound: 330
55.47/55.54	c current bound: 330
56.36/56.48	c current bound: 330
57.33/57.41	c current bound: 330
58.28/58.35	c current bound: 330
58.33/59.26	c current bound: 330
60.15/60.21	c current bound: 330
61.07/61.16	c current bound: 330
61.97/62.09	c current bound: 330
62.96/63.04	c current bound: 330
63.87/63.96	c current bound: 330
64.88/64.90	c current bound: 330
64.89/65.84	c current bound: 330
66.66/66.79	c current bound: 330
67.64/67.71	c current bound: 330
68.57/68.65	c current bound: 330
69.48/69.59	c current bound: 330
70.47/70.53	c current bound: 330
71.37/71.45	c current bound: 330
71.44/72.39	c current bound: 330
73.27/73.34	c current bound: 330
74.16/74.28	c current bound: 330
75.15/75.27	c current bound: 330
76.09/76.22	c current bound: 330
77.00/77.15	c current bound: 330
77.90/78.07	c current bound: 330
78.92/79.00	c current bound: 330
79.79/79.92	c current bound: 330
80.71/80.84	c current bound: 330
81.60/81.77	c current bound: 330
82.58/82.71	c current bound: 330
83.50/83.63	c current bound: 330
83.56/84.56	c current bound: 330
85.37/85.50	c current bound: 330
86.31/86.44	c current bound: 330
87.20/87.36	c current bound: 330
88.17/88.30	c current bound: 330
89.12/89.24	c current bound: 330
90.00/90.16	c current bound: 330
90.97/91.10	c current bound: 330
91.89/92.05	c current bound: 330
92.79/92.99	c current bound: 330
93.80/93.94	c current bound: 330
94.71/94.88	c current bound: 330
95.70/95.83	c current bound: 330
96.60/96.77	c current bound: 330
97.61/97.70	c current bound: 330
98.49/98.65	c current bound: 330
99.39/99.56	c current bound: 330
100.37/100.51	c current bound: 330
101.30/101.45	c current bound: 330
102.20/102.37	c current bound: 330
103.19/103.31	c current bound: 330
104.10/104.24	c current bound: 330
104.99/105.16	c current bound: 330
105.96/106.10	c current bound: 330
106.90/107.05	c current bound: 330
107.79/107.97	c current bound: 330
108.78/108.92	c current bound: 330
108.83/109.84	c current bound: 330
110.58/110.76	c current bound: 330
111.56/111.70	c current bound: 330
112.49/112.65	c current bound: 330
113.38/113.56	c current bound: 330
114.37/114.51	c current bound: 330
115.30/115.46	c current bound: 330
115.37/116.38	c current bound: 330
117.20/117.30	c current bound: 330
118.09/118.25	c current bound: 330
118.98/119.19	c current bound: 330
119.99/120.13	c current bound: 330
120.90/121.08	c current bound: 330
121.89/122.04	c current bound: 330
121.95/122.98	c current bound: 330
123.80/123.90	c current bound: 330
124.69/124.85	c current bound: 330
125.69/125.81	c current bound: 330
126.56/126.73	c current bound: 330
127.47/127.67	c current bound: 330
128.47/128.61	c current bound: 330
129.35/129.53	c current bound: 330
130.26/130.47	c current bound: 330
131.23/131.41	c current bound: 330
132.16/132.32	c current bound: 330
133.06/133.27	c current bound: 330
133.96/134.20	c current bound: 330
134.09/135.15	c current bound: 330
135.87/136.07	c current bound: 330
136.85/137.02	c current bound: 330
137.76/137.96	c current bound: 330
138.66/138.88	c current bound: 330
139.57/139.79	c current bound: 330
140.57/140.71	c current bound: 330
140.61/141.65	c current bound: 330
142.35/142.58	c current bound: 330
143.35/143.53	c current bound: 330
144.26/144.47	c current bound: 330
145.23/145.41	c current bound: 330
146.17/146.35	c current bound: 330
146.24/147.30	c current bound: 330
147.19/148.25	c current bound: 330
149.07/149.20	c current bound: 330
149.94/150.12	c current bound: 330
150.86/151.04	c current bound: 330
151.75/151.96	c current bound: 330
152.67/152.87	c current bound: 330
153.64/153.82	c current bound: 330
154.56/154.76	c current bound: 330
155.52/155.71	c current bound: 330
156.45/156.65	c current bound: 330
157.36/157.59	c current bound: 330
158.35/158.53	c current bound: 330
159.26/159.48	c current bound: 330
160.24/160.43	c current bound: 330
161.16/161.39	c current bound: 330
162.12/162.31	c current bound: 330
163.04/163.23	c current bound: 330
163.95/164.17	c current bound: 330
164.93/165.11	c current bound: 330
165.86/166.05	c current bound: 330
166.82/167.00	c current bound: 330
167.75/167.94	c current bound: 330
168.65/168.89	c current bound: 330
169.61/169.80	c current bound: 330
170.53/170.72	c current bound: 330
171.46/171.66	c current bound: 330
172.44/172.60	c current bound: 330
173.30/173.52	c current bound: 330
174.22/174.44	c current bound: 330
175.12/175.36	c current bound: 330
176.02/176.28	c current bound: 330
177.01/177.23	c current bound: 330
177.92/178.17	c current bound: 330
178.02/179.09	c current bound: 330
179.82/180.04	c current bound: 330
180.71/180.99	c current bound: 330
181.70/181.93	c current bound: 330
182.61/182.87	c current bound: 330
183.60/183.82	c current bound: 330
184.52/184.75	c current bound: 330
185.48/185.70	c current bound: 330
186.41/186.65	c current bound: 330
187.39/187.60	c current bound: 330
188.32/188.55	c current bound: 330
189.20/189.49	c current bound: 330
190.20/190.43	c current bound: 330
191.12/191.35	c current bound: 330
192.08/192.30	c current bound: 330
193.01/193.25	c current bound: 330
193.90/194.17	c current bound: 330
194.89/195.12	c current bound: 330
195.82/196.06	c current bound: 330
196.72/196.98	c current bound: 330
197.72/197.94	c current bound: 330
197.77/198.86	c current bound: 330
199.51/199.78	c current bound: 330
200.50/200.73	c current bound: 330
201.41/201.67	c current bound: 330
202.40/202.62	c current bound: 330
203.31/203.56	c current bound: 330
203.40/204.48	c current bound: 330
205.21/205.40	c current bound: 330
206.07/206.31	c current bound: 330
207.00/207.23	c current bound: 330
207.89/208.18	c current bound: 330
208.91/209.14	c current bound: 330
209.79/210.07	c current bound: 330
210.79/211.02	c current bound: 330
211.70/211.94	c current bound: 330
212.60/212.86	c current bound: 330
213.49/213.78	c current bound: 330
214.48/214.73	c current bound: 330
215.40/215.64	c current bound: 330
215.46/216.57	c current bound: 330
217.29/217.50	c current bound: 330
218.17/218.42	c current bound: 330
219.09/219.36	c current bound: 330
219.99/220.28	c current bound: 330
220.98/221.22	c current bound: 330
221.90/222.14	c current bound: 330
221.96/223.09	c current bound: 330
223.79/224.03	c current bound: 330
224.70/224.97	c current bound: 330
225.58/225.89	c current bound: 330
226.59/226.84	c current bound: 330
227.50/227.75	c current bound: 330
228.50/228.71	c current bound: 330
228.52/229.65	c current bound: 330
230.28/230.59	c current bound: 330
231.30/231.54	c current bound: 330
232.18/232.49	c current bound: 330
233.16/233.41	c current bound: 330
234.10/234.36	c current bound: 330
235.10/235.31	c current bound: 330
235.13/236.26	c current bound: 330
236.87/237.17	c current bound: 330
237.78/238.09	c current bound: 330
238.79/239.04	c current bound: 330
239.68/239.98	c current bound: 330
240.69/240.94	c current bound: 330
240.75/241.89	c current bound: 330
242.58/242.83	c current bound: 330
243.49/243.76	c current bound: 330
244.37/244.69	c current bound: 330
245.39/245.64	c current bound: 330
246.29/246.59	c current bound: 330
247.25/247.51	c current bound: 330
247.32/248.45	c current bound: 330
249.08/249.38	c current bound: 330
250.10/250.30	c current bound: 330
251.00/251.24	c current bound: 330
251.88/252.18	c current bound: 330
252.88/253.13	c current bound: 330
253.78/254.07	c current bound: 330
253.88/254.99	c current bound: 330
255.65/255.91	c current bound: 330
256.57/256.83	c current bound: 330
257.48/257.76	c current bound: 330
258.45/258.70	c current bound: 330
259.38/259.64	c current bound: 330
259.45/260.58	c current bound: 330
261.29/261.53	c current bound: 330
262.19/262.47	c current bound: 330
263.16/263.41	c current bound: 330
264.10/264.34	c current bound: 330
264.98/265.26	c current bound: 330
265.87/266.18	c current bound: 330
266.85/267.11	c current bound: 330
267.77/268.03	c current bound: 330
268.68/268.95	c current bound: 330
269.57/269.87	c current bound: 330
270.58/270.80	c current bound: 330
271.47/271.74	c current bound: 330
271.54/272.68	c current bound: 330
273.34/273.63	c current bound: 330
274.24/274.57	c current bound: 330
275.25/275.50	c current bound: 330
276.15/276.44	c current bound: 330
277.05/277.36	c current bound: 330
277.95/278.29	c current bound: 330
278.94/279.23	c current bound: 330
279.84/280.18	c current bound: 330
280.83/281.12	c current bound: 330
281.74/282.07	c current bound: 330
282.73/283.02	c current bound: 330
283.64/283.97	c current bound: 330
284.54/284.88	c current bound: 330
285.54/285.82	c current bound: 330
286.45/286.75	c current bound: 330
287.34/287.67	c current bound: 330
288.26/288.68	c current bound: 330
289.24/289.62	c current bound: 330
290.17/290.54	c current bound: 330
291.07/291.45	c current bound: 330
292.07/292.40	c current bound: 330
292.95/293.35	c current bound: 330
293.93/294.30	c current bound: 330
294.84/295.21	c current bound: 330
295.77/296.16	c current bound: 330
296.66/297.08	c current bound: 330
297.67/298.04	c current bound: 330
297.73/298.97	c current bound: 330
299.54/299.92	c current bound: 330
300.46/300.86	c current bound: 330
301.44/301.81	c current bound: 330
302.35/302.75	c current bound: 330
303.28/303.67	c current bound: 330
304.28/304.62	c current bound: 330
304.30/305.56	c current bound: 330
306.06/306.49	c current bound: 330
307.06/307.43	c current bound: 330
307.97/308.34	c current bound: 330
308.85/309.29	c current bound: 330
309.87/310.24	c current bound: 330
309.93/311.16	c current bound: 330
311.77/312.10	c current bound: 330
312.66/313.04	c current bound: 330
313.56/313.95	c current bound: 330
314.53/314.91	c current bound: 330
315.46/315.86	c current bound: 330
316.44/316.81	c current bound: 330
316.50/317.75	c current bound: 330
318.25/318.67	c current bound: 330
319.16/319.59	c current bound: 330
320.23/320.61	c current bound: 330
321.15/321.57	c current bound: 330
322.04/322.49	c current bound: 330
323.03/323.42	c current bound: 330
323.10/324.35	c current bound: 330
324.83/325.29	c current bound: 330
325.82/326.21	c current bound: 330
326.73/327.16	c current bound: 330
327.64/328.09	c current bound: 330
328.61/329.01	c current bound: 330
329.54/329.93	c current bound: 330
329.60/330.85	c current bound: 330
331.45/331.80	c current bound: 330
332.33/332.73	c current bound: 330
333.24/333.67	c current bound: 330
334.22/334.62	c current bound: 330
335.16/335.54	c current bound: 330
335.21/336.49	c current bound: 330
337.04/337.43	c current bound: 330
337.94/338.38	c current bound: 330
338.93/339.33	c current bound: 330
339.83/340.25	c current bound: 330
340.84/341.20	c current bound: 330
341.74/342.14	c current bound: 330
341.80/343.08	c current bound: 330
343.52/343.99	c current bound: 330
344.52/344.92	c current bound: 330
345.43/345.87	c current bound: 330
346.41/346.82	c current bound: 330
347.34/347.76	c current bound: 330
348.24/348.68	c current bound: 330
349.23/349.63	c current bound: 330
350.13/350.57	c current bound: 330
351.12/351.51	c current bound: 330
352.03/352.45	c current bound: 330
352.93/353.38	c current bound: 330
353.91/354.31	c current bound: 330
354.83/355.23	c current bound: 330
354.89/356.17	c current bound: 330
356.63/357.09	c current bound: 330
357.63/358.04	c current bound: 330
358.53/358.98	c current bound: 330
359.52/359.92	c current bound: 330
360.42/360.87	c current bound: 330
361.43/361.81	c current bound: 330
361.47/362.75	c current bound: 330
363.22/363.67	c current bound: 330
364.21/364.62	c current bound: 330
365.12/365.56	c current bound: 330
366.03/366.48	c current bound: 330
367.02/367.42	c current bound: 330
367.08/368.35	c current bound: 330
368.82/369.29	c current bound: 330
369.85/370.24	c current bound: 330
370.73/371.18	c current bound: 330
371.70/372.11	c current bound: 330
372.62/373.06	c current bound: 330
373.53/374.00	c current bound: 330
374.54/374.94	c current bound: 330
375.43/375.89	c current bound: 330
376.43/376.84	c current bound: 330
377.32/377.79	c current bound: 330
378.35/378.74	c current bound: 330
379.23/379.69	c current bound: 330
380.20/380.61	c current bound: 330
381.12/381.52	c current bound: 330
382.04/382.46	c current bound: 330
382.93/383.38	c current bound: 330
383.95/384.30	c current bound: 330
384.84/385.24	c current bound: 330
385.74/386.19	c current bound: 330
386.74/387.14	c current bound: 330
386.80/388.09	c current bound: 330
388.60/389.01	c current bound: 330
389.52/389.93	c current bound: 330
390.43/390.85	c current bound: 330
391.32/391.76	c current bound: 330
392.30/392.71	c current bound: 330
393.21/393.63	c current bound: 330
394.11/394.57	c current bound: 330
395.11/395.52	c current bound: 330
396.02/396.47	c current bound: 330
396.90/397.39	c current bound: 330
397.92/398.35	c current bound: 330
398.82/399.30	c current bound: 330
399.80/400.22	c current bound: 330
400.72/401.17	c current bound: 330
401.61/402.09	c current bound: 330
402.61/403.02	c current bound: 330
403.51/403.97	c current bound: 330
404.48/404.91	c current bound: 330
405.49/405.91	c current bound: 330
406.41/406.82	c current bound: 330
407.30/407.77	c current bound: 330
408.32/408.70	c current bound: 330
409.22/409.64	c current bound: 330
410.17/410.60	c current bound: 330
411.11/411.55	c current bound: 330
412.02/412.47	c current bound: 330
412.99/413.42	c current bound: 330
413.91/414.36	c current bound: 330
414.89/415.31	c current bound: 330
415.81/416.23	c current bound: 330
416.71/417.15	c current bound: 330
417.62/418.07	c current bound: 330
417.72/418.99	c current bound: 330
419.50/419.92	c current bound: 330
420.41/420.84	c current bound: 330
421.31/421.79	c current bound: 330
422.31/422.74	c current bound: 330
423.21/423.66	c current bound: 330
424.22/424.60	c current bound: 330
424.24/425.56	c current bound: 330
426.12/426.50	c current bound: 330
426.98/427.42	c current bound: 330
427.91/428.37	c current bound: 330
428.88/429.30	c current bound: 330
429.82/430.26	c current bound: 330
430.71/431.18	c current bound: 330
431.70/432.13	c current bound: 330
432.61/433.09	c current bound: 330
433.60/434.04	c current bound: 330
434.50/434.97	c current bound: 330
435.49/435.93	c current bound: 330
436.41/436.87	c current bound: 330
437.41/437.83	c current bound: 330
437.47/438.75	c current bound: 330
439.28/439.71	c current bound: 330
440.21/440.64	c current bound: 330
441.10/441.59	c current bound: 330
442.08/442.51	c current bound: 330
443.01/443.44	c current bound: 330
443.92/444.37	c current bound: 330
444.87/445.30	c current bound: 330
445.80/446.23	c current bound: 330
446.71/447.18	c current bound: 330
447.70/448.13	c current bound: 330
448.60/449.08	c current bound: 330
449.59/450.03	c current bound: 330
450.52/450.95	c current bound: 330
450.58/451.89	c current bound: 330
452.40/452.84	c current bound: 330
453.42/453.80	c current bound: 330
454.30/454.75	c current bound: 330
455.27/455.70	c current bound: 330
456.20/456.66	c current bound: 330
457.22/457.60	c current bound: 330
457.23/458.55	c current bound: 330
459.06/459.51	c current bound: 330
460.00/460.46	c current bound: 330
460.96/461.40	c current bound: 330
461.90/462.35	c current bound: 330
462.86/463.31	c current bound: 330
463.81/464.26	c current bound: 330
464.80/465.21	c current bound: 330
465.71/466.15	c current bound: 330
466.60/467.07	c current bound: 330
467.62/468.00	c current bound: 330
468.50/468.93	c current bound: 330
469.40/469.86	c current bound: 330
470.36/470.81	c current bound: 330
470.42/471.75	c current bound: 330
472.21/472.68	c current bound: 330
473.18/473.62	c current bound: 330
474.10/474.58	c current bound: 330
475.07/475.52	c current bound: 330
475.99/476.46	c current bound: 330
476.91/477.40	c current bound: 330
477.87/478.32	c current bound: 330
478.78/479.27	c current bound: 330
479.78/480.22	c current bound: 330
480.69/481.17	c current bound: 330
481.65/482.10	c current bound: 330
482.59/483.06	c current bound: 330
483.50/483.99	c current bound: 330
484.49/484.93	c current bound: 330
485.40/485.86	c current bound: 330
486.36/486.81	c current bound: 330
487.27/487.76	c current bound: 330
488.25/488.70	c current bound: 330
489.21/489.65	c current bound: 330
490.10/490.60	c current bound: 330
491.10/491.55	c current bound: 330
491.99/492.47	c current bound: 330
492.98/493.42	c current bound: 330
493.90/494.37	c current bound: 330
494.86/495.31	c current bound: 330
495.81/496.26	c current bound: 330
496.77/497.22	c current bound: 330
496.85/498.15	c current bound: 330
498.61/499.07	c current bound: 330
499.57/500.02	c current bound: 330
500.50/500.97	c current bound: 330
501.39/501.89	c current bound: 330
502.41/502.85	c current bound: 330
503.31/503.79	c current bound: 330
504.30/504.73	c current bound: 330
505.20/505.69	c current bound: 330
506.19/506.64	c current bound: 330
507.10/507.59	c current bound: 330
508.09/508.54	c current bound: 330
509.01/509.48	c current bound: 330
510.00/510.43	c current bound: 330
510.06/511.39	c current bound: 330
511.96/512.40	c current bound: 330
512.91/513.36	c current bound: 330
513.81/514.28	c current bound: 330
514.79/515.24	c current bound: 330
515.74/516.21	c current bound: 330
516.68/517.15	c current bound: 330
517.67/518.11	c current bound: 330
517.73/519.06	c current bound: 330
519.55/520.01	c current bound: 330
520.49/520.96	c current bound: 330
521.47/521.92	c current bound: 330
522.39/522.87	c current bound: 330
523.36/523.82	c current bound: 330
524.30/524.76	c current bound: 330
525.29/525.71	c current bound: 330
526.18/526.63	c current bound: 330
527.09/527.55	c current bound: 330
528.05/528.50	c current bound: 330
528.98/529.43	c current bound: 330
529.89/530.38	c current bound: 330
530.87/531.32	c current bound: 330
530.95/532.27	c current bound: 330
532.77/533.22	c current bound: 330
533.70/534.15	c current bound: 330
534.58/535.08	c current bound: 330
535.57/536.03	c current bound: 330
536.50/536.98	c current bound: 330
537.49/537.93	c current bound: 330
537.55/538.89	c current bound: 330
539.46/539.92	c current bound: 330
540.37/540.87	c current bound: 330
541.35/541.82	c current bound: 330
542.30/542.75	c current bound: 330
543.19/543.66	c current bound: 330
544.09/544.59	c current bound: 330
545.09/545.55	c current bound: 330
545.16/546.49	c current bound: 330
546.96/547.42	c current bound: 330
547.87/548.34	c current bound: 330
548.80/549.28	c current bound: 330
549.76/550.21	c current bound: 330
550.70/551.16	c current bound: 330
550.77/552.08	c current bound: 330
551.69/553.09	c current bound: 330
553.56/554.02	c current bound: 330
554.47/554.97	c current bound: 330
555.45/555.91	c current bound: 330
556.38/556.87	c current bound: 330
557.37/557.82	c current bound: 330
558.29/558.78	c current bound: 330
559.27/559.73	c current bound: 330
560.17/560.66	c current bound: 330
561.13/561.64	c current bound: 330
562.04/562.57	c current bound: 330
562.94/563.49	c current bound: 330
563.94/564.44	c current bound: 330
564.84/565.37	c current bound: 330
564.93/566.29	c current bound: 330
566.73/567.24	c current bound: 330
567.63/568.19	c current bound: 330
568.63/569.14	c current bound: 330
569.53/570.07	c current bound: 330
570.43/570.99	c current bound: 330
571.45/571.95	c current bound: 330
571.51/572.88	c current bound: 330
573.32/573.83	c current bound: 330
574.22/574.77	c current bound: 330
575.18/575.71	c current bound: 330
576.13/576.64	c current bound: 330
577.03/577.59	c current bound: 330
578.02/578.51	c current bound: 330
578.05/579.46	c current bound: 330
579.88/580.41	c current bound: 330
580.83/581.37	c current bound: 330
581.79/582.31	c current bound: 330
582.70/583.23	c current bound: 330
583.63/584.15	c current bound: 330
583.69/585.08	c current bound: 330
585.50/586.03	c current bound: 330
586.42/586.97	c current bound: 330
587.31/587.89	c current bound: 330
588.32/588.84	c current bound: 330
589.21/589.77	c current bound: 330
590.21/590.73	c current bound: 330
590.27/591.67	c current bound: 330
592.08/592.61	c current bound: 330
593.00/593.56	c current bound: 330
593.98/594.51	c current bound: 330
594.90/595.43	c current bound: 330
595.82/596.37	c current bound: 330
596.73/597.30	c current bound: 330
596.85/598.25	c current bound: 330
598.61/599.17	c current bound: 330
599.58/600.10	c current bound: 330
600.52/601.05	c current bound: 330
601.41/601.98	c current bound: 330
602.38/602.91	c current bound: 330
603.32/603.85	c current bound: 330
603.40/604.77	c current bound: 330
605.18/605.70	c current bound: 330
606.12/606.65	c current bound: 330
607.02/607.59	c current bound: 330
607.99/608.51	c current bound: 330
608.92/609.46	c current bound: 330
609.00/610.39	c current bound: 330
610.81/611.34	c current bound: 330
611.71/612.27	c current bound: 330
612.73/613.20	c current bound: 330
613.63/614.15	c current bound: 330
614.52/615.08	c current bound: 330
615.50/616.02	c current bound: 330
615.57/616.95	c current bound: 330
617.31/617.89	c current bound: 330
618.31/618.84	c current bound: 330
619.22/619.76	c current bound: 330
620.10/620.68	c current bound: 330
621.07/621.61	c current bound: 330
622.02/622.55	c current bound: 330
622.96/623.50	c current bound: 330
623.91/624.45	c current bound: 330
624.80/625.37	c current bound: 330
625.79/626.32	c current bound: 330
626.71/627.24	c current bound: 330
627.61/628.17	c current bound: 330
627.71/629.09	c current bound: 330
629.51/630.04	c current bound: 330
630.52/631.00	c current bound: 330
631.40/631.95	c current bound: 330
632.38/632.91	c current bound: 330
633.31/633.84	c current bound: 330
634.22/634.79	c current bound: 330
635.22/635.71	c current bound: 330
635.26/636.65	c current bound: 330
637.08/637.60	c current bound: 330
638.01/638.56	c current bound: 330
639.00/639.51	c current bound: 330
639.92/640.46	c current bound: 330
640.88/641.41	c current bound: 330
641.83/642.35	c current bound: 330
642.77/643.31	c current bound: 330
643.70/644.23	c current bound: 330
644.60/645.15	c current bound: 330
645.57/646.10	c current bound: 330
646.52/647.05	c current bound: 330
647.42/647.98	c current bound: 330
648.42/648.92	c current bound: 330
648.46/649.88	c current bound: 330
650.29/650.81	c current bound: 330
651.21/651.76	c current bound: 330
652.23/652.70	c current bound: 330
653.12/653.65	c current bound: 330
654.07/654.61	c current bound: 330
655.03/655.55	c current bound: 330
655.09/656.47	c current bound: 330
656.90/657.42	c current bound: 330
657.81/658.34	c current bound: 330
658.71/659.26	c current bound: 330
659.62/660.19	c current bound: 330
660.59/661.12	c current bound: 330
661.52/662.04	c current bound: 330
662.47/663.00	c current bound: 330
663.40/663.93	c current bound: 330
664.31/664.86	c current bound: 330
665.23/665.78	c current bound: 330
666.21/666.74	c current bound: 330
667.12/667.66	c current bound: 330
667.21/668.59	c current bound: 330
669.01/669.54	c current bound: 330
669.91/670.49	c current bound: 330
670.90/671.44	c current bound: 330
671.81/672.36	c current bound: 330
672.79/673.31	c current bound: 330
673.71/674.23	c current bound: 330
673.77/675.16	c current bound: 330
675.50/676.08	c current bound: 330
676.49/677.02	c current bound: 330
677.40/677.97	c current bound: 330
678.37/678.92	c current bound: 330
679.30/679.87	c current bound: 330
680.31/680.82	c current bound: 330
680.35/681.76	c current bound: 330
682.18/682.71	c current bound: 330
683.10/683.63	c current bound: 330
683.99/684.58	c current bound: 330
685.00/685.50	c current bound: 330
685.89/686.43	c current bound: 330
686.82/687.35	c current bound: 330
687.82/688.30	c current bound: 330
688.70/689.24	c current bound: 330
689.60/690.16	c current bound: 330
690.50/691.09	c current bound: 330
691.49/692.02	c current bound: 330
692.41/692.94	c current bound: 330
692.48/693.87	c current bound: 330
694.21/694.79	c current bound: 330
695.18/695.72	c current bound: 330
696.09/696.66	c current bound: 330
697.07/697.61	c current bound: 330
698.00/698.54	c current bound: 330
698.08/699.49	c current bound: 330
699.99/700.52	c current bound: 330
700.91/701.45	c current bound: 330
701.79/702.37	c current bound: 330
702.81/703.30	c current bound: 330
703.69/704.23	c current bound: 330
704.61/705.17	c current bound: 330
705.60/706.13	c current bound: 330
705.66/707.08	c current bound: 330
707.50/708.03	c current bound: 330
708.40/708.98	c current bound: 330
709.37/709.91	c current bound: 330
710.28/710.83	c current bound: 330
711.20/711.76	c current bound: 330
712.21/712.71	c current bound: 330
712.24/713.66	c current bound: 330
714.00/714.58	c current bound: 330
715.01/715.54	c current bound: 330
715.90/716.49	c current bound: 330
716.90/717.44	c current bound: 330
717.81/718.37	c current bound: 330
718.80/719.32	c current bound: 330
718.86/720.27	c current bound: 330
720.60/721.19	c current bound: 330
721.61/722.15	c current bound: 330
722.51/723.09	c current bound: 330
723.47/724.02	c current bound: 330
724.41/724.97	c current bound: 330
724.50/725.89	c current bound: 330
726.29/726.82	c current bound: 330
727.21/727.74	c current bound: 330
728.11/728.68	c current bound: 330
729.11/729.64	c current bound: 330
730.01/730.56	c current bound: 330
730.97/731.52	c current bound: 330
731.91/732.45	c current bound: 330
732.92/733.40	c current bound: 330
733.81/734.34	c current bound: 330
734.70/735.29	c current bound: 330
735.70/736.24	c current bound: 330
736.61/737.19	c current bound: 330
737.59/738.12	c current bound: 330
738.51/739.04	c current bound: 330
739.40/739.97	c current bound: 330
740.35/740.90	c current bound: 330
741.30/741.84	c current bound: 330
742.27/742.81	c current bound: 330
743.19/743.76	c current bound: 330
744.11/744.69	c current bound: 330
745.09/745.63	c current bound: 330
746.01/746.55	c current bound: 330
746.90/747.48	c current bound: 330
747.90/748.43	c current bound: 330
748.81/749.38	c current bound: 330
749.79/750.33	c current bound: 330
750.71/751.27	c current bound: 330
750.79/752.19	c current bound: 330
752.60/753.14	c current bound: 330
753.50/754.09	c current bound: 330
754.50/755.04	c current bound: 330
755.51/756.00	c current bound: 330
756.42/756.95	c current bound: 330
757.31/757.90	c current bound: 330
758.30/758.84	c current bound: 330
759.31/759.80	c current bound: 330
760.21/760.75	c current bound: 330
761.11/761.68	c current bound: 330
762.09/762.63	c current bound: 330
762.99/763.58	c current bound: 330
764.01/764.50	c current bound: 330
764.04/765.46	c current bound: 330
765.88/766.41	c current bound: 330
766.81/767.36	c current bound: 330
767.77/768.31	c current bound: 330
768.69/769.24	c current bound: 330
769.61/770.18	c current bound: 330
770.59/771.12	c current bound: 330
771.50/772.04	c current bound: 330
772.40/772.97	c current bound: 330
773.41/773.90	c current bound: 330
774.30/774.83	c current bound: 330
774.37/775.75	c current bound: 330
776.17/776.71	c current bound: 330
777.11/777.66	c current bound: 330
778.06/778.61	c current bound: 330
779.00/779.56	c current bound: 330
779.90/780.48	c current bound: 330
780.88/781.42	c current bound: 330
781.81/782.35	c current bound: 330
782.70/783.29	c current bound: 330
783.70/784.21	c current bound: 330
784.68/785.23	c current bound: 330
785.54/786.16	c current bound: 330
786.44/787.09	c current bound: 330
787.44/788.04	c current bound: 330
788.35/788.99	c current bound: 330
789.31/789.91	c current bound: 330
790.25/790.84	c current bound: 330
790.31/791.76	c current bound: 330
792.13/792.76	c current bound: 330
793.10/793.71	c current bound: 330
794.03/794.63	c current bound: 330
794.94/795.56	c current bound: 330
795.83/796.48	c current bound: 330
795.94/797.40	c current bound: 330
797.73/798.34	c current bound: 330
798.63/799.29	c current bound: 330
799.61/800.26	c current bound: 330
800.48/801.18	c current bound: 330
801.45/802.11	c current bound: 330
802.39/803.06	c current bound: 330
802.47/803.97	c current bound: 330
804.30/804.90	c current bound: 330
805.18/805.83	c current bound: 330
806.09/806.76	c current bound: 330
807.06/807.71	c current bound: 330
807.98/808.64	c current bound: 330
808.89/809.57	c current bound: 330
809.85/810.51	c current bound: 330
810.79/811.46	c current bound: 330
811.77/812.42	c current bound: 330
812.68/813.37	c current bound: 330
813.58/814.29	c current bound: 330
814.56/815.21	c current bound: 330
815.50/816.15	c current bound: 330
815.56/817.09	c current bound: 330
817.37/818.03	c current bound: 330
818.29/818.99	c current bound: 330
819.29/819.94	c current bound: 330
820.19/820.86	c current bound: 330
821.09/821.79	c current bound: 330
822.10/822.72	c current bound: 330
822.14/823.67	c current bound: 330
823.94/824.60	c current bound: 330
824.88/825.55	c current bound: 330
825.78/826.48	c current bound: 330
826.74/827.40	c current bound: 330
827.68/828.35	c current bound: 330
827.76/829.28	c current bound: 330
829.57/830.22	c current bound: 330
830.49/831.15	c current bound: 330
831.37/832.07	c current bound: 330
832.37/833.03	c current bound: 330
833.28/833.94	c current bound: 330
834.19/834.89	c current bound: 330
835.18/835.83	c current bound: 330
836.08/836.76	c current bound: 330
836.98/837.69	c current bound: 330
837.96/838.62	c current bound: 330
838.88/839.57	c current bound: 330
839.87/840.52	c current bound: 330
840.79/841.45	c current bound: 330
840.86/842.37	c current bound: 330
842.65/843.31	c current bound: 330
843.59/844.25	c current bound: 330
844.49/845.18	c current bound: 330
845.44/846.10	c current bound: 330
846.37/847.03	c current bound: 330
846.45/847.99	c current bound: 330
848.28/848.95	c current bound: 330
849.25/849.90	c current bound: 330
850.16/850.83	c current bound: 330
851.08/851.77	c current bound: 330
852.07/852.72	c current bound: 330
852.98/853.67	c current bound: 330
853.99/854.62	c current bound: 330
854.02/855.58	c current bound: 330
855.85/856.52	c current bound: 330
856.77/857.47	c current bound: 330
857.75/858.42	c current bound: 330
858.67/859.37	c current bound: 330
859.65/860.32	c current bound: 330
860.58/861.26	c current bound: 330
860.67/862.19	c current bound: 330
862.44/863.11	c current bound: 330
863.38/864.05	c current bound: 330
864.35/865.01	c current bound: 330
865.27/865.95	c current bound: 330
866.24/866.94	c current bound: 330
867.14/867.89	c current bound: 330
868.15/868.85	c current bound: 330
869.14/869.80	c current bound: 330
870.02/870.72	c current bound: 330
870.94/871.68	c current bound: 330
871.90/872.61	c current bound: 330
872.84/873.54	c current bound: 330
872.90/874.45	c current bound: 330
874.70/875.40	c current bound: 330
875.63/876.34	c current bound: 330
876.53/877.27	c current bound: 330
877.52/878.22	c current bound: 330
878.45/879.15	c current bound: 330
879.40/880.11	c current bound: 330
880.40/881.20	c current bound: 330
881.29/882.12	c current bound: 330
881.34/883.06	c current bound: 330
883.16/884.00	c current bound: 330
884.10/884.96	c current bound: 330
885.08/885.91	c current bound: 330
886.00/886.84	c current bound: 330
886.89/887.79	c current bound: 330
887.91/888.73	c current bound: 330
887.95/889.66	c current bound: 330
889.70/890.59	c current bound: 330
890.70/891.54	c current bound: 330
891.60/892.46	c current bound: 330
892.56/893.41	c current bound: 330
893.51/894.35	c current bound: 330
893.57/895.30	c current bound: 330
895.41/896.24	c current bound: 330
896.28/897.17	c current bound: 330
897.28/898.13	c current bound: 330
898.20/899.04	c current bound: 330
899.09/899.98	c current bound: 330
900.06/900.91	c current bound: 330
900.13/901.86	c current bound: 330
901.88/902.78	c current bound: 330
902.87/903.71	c current bound: 330
903.79/904.66	c current bound: 330
904.77/905.61	c current bound: 330
905.70/906.56	c current bound: 330
906.66/907.56	c current bound: 330
907.66/908.50	c current bound: 330
907.68/909.45	c current bound: 330
909.51/910.41	c current bound: 330
910.42/911.33	c current bound: 330
911.35/912.28	c current bound: 330
912.29/913.20	c current bound: 330
913.24/914.16	c current bound: 330
914.24/915.11	c current bound: 330
914.27/916.05	c current bound: 330
916.15/917.00	c current bound: 330
917.01/917.92	c current bound: 330
917.94/918.87	c current bound: 330
918.83/919.79	c current bound: 330
919.84/920.75	c current bound: 330
919.92/921.67	c current bound: 330
921.70/922.62	c current bound: 330
922.63/923.57	c current bound: 330
923.61/924.50	c current bound: 330
924.53/925.45	c current bound: 330
925.50/926.41	c current bound: 330
926.43/927.34	c current bound: 330
926.50/928.28	c current bound: 330
928.45/929.30	c current bound: 330
929.33/930.23	c current bound: 330
930.23/931.18	c current bound: 330
931.22/932.13	c current bound: 330
932.13/933.04	c current bound: 330
933.03/933.99	c current bound: 330
934.04/934.93	c current bound: 330
934.11/935.86	c current bound: 330
935.90/936.80	c current bound: 330
936.85/937.75	c current bound: 330
937.72/938.69	c current bound: 330
938.71/939.62	c current bound: 330
939.65/940.56	c current bound: 330
940.63/941.51	c current bound: 330
940.68/942.46	c current bound: 330
942.44/943.39	c current bound: 330
943.40/944.32	c current bound: 330
944.33/945.24	c current bound: 330
945.23/946.19	c current bound: 330
946.22/947.14	c current bound: 330
946.30/948.09	c current bound: 330
948.13/949.04	c current bound: 330
949.03/949.95	c current bound: 330
949.92/950.89	c current bound: 330
950.92/951.83	c current bound: 330
951.94/952.85	c current bound: 330
952.84/953.77	c current bound: 330
953.84/954.72	c current bound: 330
954.73/955.65	c current bound: 330
955.63/956.58	c current bound: 330
956.59/957.50	c current bound: 330
957.52/958.46	c current bound: 330
958.50/959.41	c current bound: 330
958.57/960.36	c current bound: 330
959.52/961.28	c current bound: 330
961.42/962.33	c current bound: 330
962.29/963.27	c current bound: 330
963.26/964.22	c current bound: 330
964.20/965.18	c current bound: 330
965.18/966.13	c current bound: 330
966.08/967.07	c current bound: 330
967.06/968.02	c current bound: 330
967.14/968.98	c current bound: 330
968.95/969.90	c current bound: 330
969.88/970.83	c current bound: 330
970.79/971.78	c current bound: 330
971.78/972.73	c current bound: 330
972.68/973.68	c current bound: 330
973.67/974.64	c current bound: 330
973.74/975.57	c current bound: 330
975.48/976.49	c current bound: 330
976.46/977.45	c current bound: 330
977.36/978.37	c current bound: 330
978.35/979.32	c current bound: 330
979.27/980.27	c current bound: 330
980.24/981.21	c current bound: 330
980.31/982.15	c current bound: 330
982.06/983.09	c current bound: 330
983.03/984.01	c current bound: 330
983.96/984.94	c current bound: 330
984.85/985.87	c current bound: 330
985.84/986.82	c current bound: 330
986.77/987.77	c current bound: 330
986.85/988.69	c current bound: 330
988.64/989.62	c current bound: 330
989.55/990.55	c current bound: 330
990.52/991.51	c current bound: 330
991.45/992.43	c current bound: 330
992.35/993.38	c current bound: 330
993.37/994.33	c current bound: 330
993.43/995.25	c current bound: 330
995.17/996.18	c current bound: 330
996.15/997.13	c current bound: 330
997.07/998.05	c current bound: 330
997.96/998.98	c current bound: 330
998.95/999.93	c current bound: 330
999.01/1000.88	c current bound: 330
1000.92/1001.90	c current bound: 330
1001.87/1002.86	c current bound: 330
1002.81/1003.80	c current bound: 330
1003.75/1004.75	c current bound: 330
1004.70/1005.70	c current bound: 330
1005.64/1006.64	c current bound: 330
1006.55/1007.59	c current bound: 330
1007.55/1008.54	c current bound: 330
1008.45/1009.46	c current bound: 330
1009.34/1010.38	c current bound: 330
1010.32/1011.33	c current bound: 330
1011.24/1012.27	c current bound: 330
1012.23/1013.23	c current bound: 330
1013.16/1014.14	c current bound: 330
1014.11/1015.10	c current bound: 330
1015.04/1016.04	c current bound: 330
1016.06/1017.00	c current bound: 330
1016.96/1017.95	c current bound: 330
1017.91/1018.90	c current bound: 330
1018.83/1019.83	c current bound: 330
1019.76/1020.78	c current bound: 330
1020.71/1021.71	c current bound: 330
1021.64/1022.66	c current bound: 330
1022.54/1023.59	c current bound: 330
1023.54/1024.54	c current bound: 330
1024.44/1025.47	c current bound: 330
1025.44/1026.43	c current bound: 330
1026.35/1027.37	c current bound: 330
1027.31/1028.36	c current bound: 330
1028.29/1029.30	c current bound: 330
1029.17/1030.22	c current bound: 330
1030.08/1031.17	c current bound: 330
1031.04/1032.10	c current bound: 330
1031.96/1033.03	c current bound: 330
1032.89/1033.98	c current bound: 330
1033.88/1034.93	c current bound: 330
1034.79/1035.89	c current bound: 330
1035.77/1036.84	c current bound: 330
1036.67/1037.79	c current bound: 330
1037.65/1038.72	c current bound: 330
1038.57/1039.64	c current bound: 330
1039.46/1040.58	c current bound: 330
1040.43/1041.51	c current bound: 330
1041.38/1042.46	c current bound: 330
1042.33/1043.41	c current bound: 330
1043.26/1044.36	c current bound: 330
1044.23/1045.32	c current bound: 330
1045.16/1046.26	c current bound: 330
1046.07/1047.20	c current bound: 330
1047.06/1048.12	c current bound: 330
1047.97/1049.04	c current bound: 330
1048.87/1049.97	c current bound: 330
1049.85/1050.92	c current bound: 330
1050.77/1051.88	c current bound: 330
1051.76/1052.82	c current bound: 330
1052.75/1053.81	c current bound: 330
1052.77/1054.77	c current bound: 330
1054.61/1055.72	c current bound: 330
1055.52/1056.67	c current bound: 330
1056.50/1057.61	c current bound: 330
1057.43/1058.57	c current bound: 330
1058.41/1059.51	c current bound: 330
1059.34/1060.45	c current bound: 330
1060.32/1061.41	c current bound: 330
1061.21/1062.33	c current bound: 330
1062.14/1063.25	c current bound: 330
1063.14/1064.20	c current bound: 330
1064.01/1065.13	c current bound: 330
1064.92/1066.08	c current bound: 330
1065.94/1067.00	c current bound: 330
1066.83/1067.94	c current bound: 330
1067.74/1068.87	c current bound: 330
1068.70/1069.81	c current bound: 330
1069.63/1070.76	c current bound: 330
1070.53/1071.69	c current bound: 330
1071.53/1072.65	c current bound: 330
1072.44/1073.57	c current bound: 330
1073.40/1074.52	c current bound: 330
1074.32/1075.44	c current bound: 330
1075.22/1076.39	c current bound: 330
1076.22/1077.33	c current bound: 330
1077.12/1078.25	c current bound: 330
1078.02/1079.19	c current bound: 330
1079.01/1080.14	c current bound: 330
1079.07/1081.08	c current bound: 330
1080.90/1082.03	c current bound: 330
1081.80/1082.98	c current bound: 330
1082.77/1083.91	c current bound: 330
1083.70/1084.83	c current bound: 330
1084.61/1085.76	c current bound: 330
1084.68/1086.69	c current bound: 330
1086.48/1087.62	c current bound: 330
1087.40/1088.55	c current bound: 330
1088.37/1089.50	c current bound: 330
1089.31/1090.45	c current bound: 330
1090.26/1091.40	c current bound: 330
1091.21/1092.35	c current bound: 330
1091.27/1093.28	c current bound: 330
1093.00/1094.19	c current bound: 330
1093.99/1095.13	c current bound: 330
1094.90/1096.08	c current bound: 330
1095.86/1097.01	c current bound: 330
1096.78/1097.93	c current bound: 330
1097.69/1098.88	c current bound: 330
1098.65/1099.80	c current bound: 330
1099.59/1100.74	c current bound: 330
1100.48/1101.69	c current bound: 330
1101.51/1102.64	c current bound: 330
1102.40/1103.59	c current bound: 330
1103.39/1104.54	c current bound: 330
1104.29/1105.46	c current bound: 330
1105.27/1106.41	c current bound: 330
1106.19/1107.35	c current bound: 330
1107.14/1108.30	c current bound: 330
1108.06/1109.22	c current bound: 330
1108.99/1110.17	c current bound: 330
1109.97/1111.12	c current bound: 330
1110.91/1112.05	c current bound: 330
1111.91/1113.00	c current bound: 330
1112.79/1113.94	c current bound: 330
1113.74/1114.90	c current bound: 330
1114.68/1115.84	c current bound: 330
1115.58/1116.77	c current bound: 330
1116.54/1117.71	c current bound: 330
1117.48/1118.64	c current bound: 330
1117.55/1119.59	c current bound: 330
1119.38/1120.55	c current bound: 330
1120.27/1121.47	c current bound: 330
1121.17/1122.39	c current bound: 330
1122.17/1123.34	c current bound: 330
1123.07/1124.29	c current bound: 330
1124.08/1125.25	c current bound: 330
1125.03/1126.20	c current bound: 330
1125.96/1127.13	c current bound: 330
1126.86/1128.08	c current bound: 330
1127.86/1129.03	c current bound: 330
1128.78/1129.99	c current bound: 330
1129.78/1130.95	c current bound: 330
1130.67/1131.90	c current bound: 330
1131.64/1132.82	c current bound: 330
1132.55/1133.77	c current bound: 330
1133.55/1134.71	c current bound: 330
1134.47/1135.66	c current bound: 330
1135.45/1136.61	c current bound: 330
1136.38/1137.56	c current bound: 330
1137.34/1138.52	c current bound: 330
1138.27/1139.44	c current bound: 330
1139.16/1140.37	c current bound: 330
1140.15/1141.32	c current bound: 330
1141.08/1142.25	c current bound: 330
1141.98/1143.18	c current bound: 330
1142.97/1144.13	c current bound: 330
1143.87/1145.08	c current bound: 330
1144.86/1146.04	c current bound: 330
1145.76/1146.98	c current bound: 330
1146.76/1147.93	c current bound: 330
1147.66/1148.89	c current bound: 330
1148.63/1149.81	c current bound: 330
1149.55/1150.74	c current bound: 330
1150.47/1151.70	c current bound: 330
1151.45/1152.63	c current bound: 330
1152.37/1153.55	c current bound: 330
1153.32/1154.50	c current bound: 330
1154.27/1155.45	c current bound: 330
1155.16/1156.38	c current bound: 330
1156.16/1157.33	c current bound: 330
1157.06/1158.29	c current bound: 330
1158.04/1159.22	c current bound: 330
1158.98/1160.17	c current bound: 330
1159.87/1161.09	c current bound: 330
1160.85/1162.02	c current bound: 330
1161.78/1162.95	c current bound: 330
1162.67/1163.89	c current bound: 330
1163.74/1164.91	c current bound: 330
1164.67/1165.84	c current bound: 330
1165.67/1166.83	c current bound: 330
1166.67/1167.84	c current bound: 330
1167.55/1168.77	c current bound: 330
1168.54/1169.74	c current bound: 330
1169.51/1170.71	c current bound: 330
1170.43/1171.66	c current bound: 330
1171.39/1172.61	c current bound: 330
1171.46/1173.55	c current bound: 330
1173.30/1174.53	c current bound: 330
1174.30/1175.53	c current bound: 330
1175.27/1176.52	c current bound: 330
1176.18/1177.47	c current bound: 330
1177.17/1178.43	c current bound: 330
1178.06/1179.39	c current bound: 330
1179.06/1180.34	c current bound: 330
1179.12/1181.25	c current bound: 330
1180.95/1182.25	c current bound: 330
1181.92/1183.22	c current bound: 330
1182.84/1184.16	c current bound: 330
1183.83/1185.14	c current bound: 330
1184.80/1186.11	c current bound: 330
1185.71/1187.07	c current bound: 330
1186.60/1188.00	c current bound: 330
1186.72/1188.95	c current bound: 330
1188.50/1189.89	c current bound: 330
1189.50/1190.87	c current bound: 330
1190.47/1191.82	c current bound: 330
1191.46/1192.80	c current bound: 330
1192.38/1193.78	c current bound: 330
1193.37/1194.74	c current bound: 330
1194.27/1195.69	c current bound: 330
1195.24/1196.63	c current bound: 330
1196.26/1197.64	c current bound: 330
1197.13/1198.59	c current bound: 330
1198.11/1199.59	c current bound: 330
1199.11/1200.58	c current bound: 330
1200.09/1201.52	c current bound: 330
1201.01/1202.48	c current bound: 330
1201.99/1203.43	c current bound: 330
1202.05/1204.38	c current bound: 330
1204.00/1205.40	c current bound: 330
1204.88/1206.40	c current bound: 330
1205.88/1207.36	c current bound: 330
1206.87/1208.36	c current bound: 330
1207.87/1209.34	c current bound: 330
1208.76/1210.28	c current bound: 330
1209.74/1211.22	c current bound: 330
1210.64/1212.16	c current bound: 330
1210.74/1213.08	c current bound: 330
1212.54/1214.03	c current bound: 330
1213.44/1214.97	c current bound: 330
1214.42/1215.95	c current bound: 330
1215.31/1216.88	c current bound: 330
1216.31/1217.84	c current bound: 330
1217.19/1218.79	c current bound: 330
1218.19/1219.73	c current bound: 330
1219.19/1220.74	c current bound: 330
1220.17/1221.72	c current bound: 330
1221.07/1222.69	c current bound: 330
1222.06/1223.69	c current bound: 330
1223.07/1224.66	c current bound: 330
1224.05/1225.62	c current bound: 330
1224.96/1226.55	c current bound: 330
1225.03/1227.48	c current bound: 330
1226.79/1228.40	c current bound: 330
1227.72/1229.39	c current bound: 330
1228.70/1230.31	c current bound: 330
1229.62/1231.29	c current bound: 330
1230.62/1232.23	c current bound: 330
1231.51/1233.18	c current bound: 330
1232.49/1234.13	c current bound: 330
1232.55/1235.05	c current bound: 330
1234.38/1236.03	c current bound: 330
1235.28/1236.99	c current bound: 330
1236.28/1237.99	c current bound: 330
1237.27/1238.96	c current bound: 330
1238.24/1239.92	c current bound: 330
1239.15/1240.86	c current bound: 330
1240.13/1241.87	c current bound: 330
1240.19/1242.79	c current bound: 330
1241.98/1243.77	c current bound: 330
1242.97/1244.77	c current bound: 330
1243.96/1245.77	c current bound: 330
1244.95/1246.75	c current bound: 330
1245.85/1247.68	c current bound: 330
1246.83/1248.61	c current bound: 330
1247.73/1249.57	c current bound: 330
1248.74/1250.50	c current bound: 330
1249.63/1251.45	c current bound: 330
1250.62/1252.45	c current bound: 330
1251.61/1253.43	c current bound: 330
1252.58/1254.40	c current bound: 330
1253.50/1255.38	c current bound: 330
1254.51/1256.34	c current bound: 330
1255.39/1257.29	c current bound: 330
1256.37/1258.23	c current bound: 330
1257.27/1259.17	c current bound: 330
1258.26/1260.13	c current bound: 330
1259.24/1261.12	c current bound: 330
1260.22/1262.10	c current bound: 330
1261.14/1263.08	c current bound: 330
1262.11/1264.01	c current bound: 330
1263.03/1264.96	c current bound: 330
1263.11/1265.89	c current bound: 330
1264.92/1266.89	c current bound: 330
1265.91/1267.88	c current bound: 330
1266.91/1268.85	c current bound: 330
1267.91/1269.80	c current bound: 330
1268.80/1270.76	c current bound: 330
1269.78/1271.72	c current bound: 330
1270.70/1272.65	c current bound: 330
1270.76/1273.58	c current bound: 330
1272.57/1274.58	c current bound: 330
1273.56/1275.53	c current bound: 330
1274.54/1276.52	c current bound: 330
1275.46/1277.49	c current bound: 330
1276.43/1278.47	c current bound: 330
1277.43/1279.43	c current bound: 330
1278.33/1280.37	c current bound: 330
1279.29/1281.31	c current bound: 330
1280.22/1282.24	c current bound: 330
1281.20/1283.23	c current bound: 330
1282.10/1284.18	c current bound: 330
1283.11/1285.16	c current bound: 330
1284.09/1286.13	c current bound: 330
1284.98/1287.06	c current bound: 330
1285.06/1287.97	c current bound: 330
1286.88/1288.95	c current bound: 330
1287.87/1289.96	c current bound: 330
1288.86/1290.96	c current bound: 330
1289.85/1291.92	c current bound: 330
1290.76/1292.86	c current bound: 330
1291.65/1293.78	c current bound: 330
1292.65/1294.74	c current bound: 330
1292.71/1295.68	c current bound: 330
1294.53/1296.67	c current bound: 330
1295.52/1297.65	c current bound: 330
1296.52/1298.65	c current bound: 330
1297.50/1299.61	c current bound: 330
1298.41/1300.58	c current bound: 330
1299.40/1301.55	c current bound: 330
1300.38/1302.51	c current bound: 330
1301.29/1303.44	c current bound: 330
1301.36/1304.36	c current bound: 330
1303.17/1305.34	c current bound: 330
1304.16/1306.32	c current bound: 330
1305.08/1307.26	c current bound: 330
1306.07/1308.23	c current bound: 330
1306.96/1309.17	c current bound: 330
1307.85/1310.08	c current bound: 330
1308.84/1311.03	c current bound: 330
1309.74/1311.95	c current bound: 330
1310.72/1312.93	c current bound: 330
1311.71/1313.92	c current bound: 330
1312.63/1314.89	c current bound: 330
1313.61/1315.84	c current bound: 330
1314.57/1316.80	c current bound: 330
1315.50/1317.75	c current bound: 330
1315.56/1318.67	c current bound: 330
1317.38/1319.66	c current bound: 330
1318.36/1320.66	c current bound: 330
1319.37/1321.64	c current bound: 330
1320.34/1322.62	c current bound: 330
1321.25/1323.57	c current bound: 330
1322.25/1324.54	c current bound: 330
1323.14/1325.48	c current bound: 330
1324.14/1326.40	c current bound: 330
1325.10/1327.41	c current bound: 330
1326.09/1328.40	c current bound: 330
1327.09/1329.40	c current bound: 330
1328.02/1330.34	c current bound: 330
1328.91/1331.29	c current bound: 330
1329.89/1332.25	c current bound: 330
1330.79/1333.17	c current bound: 330
1331.75/1334.12	c current bound: 330
1332.73/1335.10	c current bound: 330
1333.77/1336.10	c current bound: 330
1334.66/1337.09	c current bound: 330
1335.66/1338.04	c current bound: 330
1336.62/1339.02	c current bound: 330
1337.54/1339.95	c current bound: 330
1338.55/1340.90	c current bound: 330
1338.56/1341.85	c current bound: 330
1340.42/1342.83	c current bound: 330
1341.40/1343.82	c current bound: 330
1342.30/1344.79	c current bound: 330
1343.30/1345.75	c current bound: 330
1344.20/1346.69	c current bound: 330
1345.20/1347.63	c current bound: 330
1346.10/1348.59	c current bound: 330
1347.01/1349.52	c current bound: 330
1348.00/1350.50	c current bound: 330
1348.99/1351.51	c current bound: 330
1349.92/1352.46	c current bound: 330
1350.91/1353.44	c current bound: 330
1351.87/1354.40	c current bound: 330
1352.79/1355.36	c current bound: 330
1353.75/1356.31	c current bound: 330
1353.82/1357.25	c current bound: 330
1355.66/1358.27	c current bound: 330
1356.67/1359.25	c current bound: 330
1357.65/1360.22	c current bound: 330
1358.63/1361.20	c current bound: 330
1359.56/1362.15	c current bound: 330
1360.52/1363.12	c current bound: 330
1361.45/1364.07	c current bound: 330
1361.54/1365.00	c current bound: 330
1362.46/1365.95	c current bound: 330
1364.32/1366.93	c current bound: 330
1365.23/1367.88	c current bound: 330
1366.12/1368.79	c current bound: 330
1367.11/1369.76	c current bound: 330
1368.08/1370.71	c current bound: 330
1369.00/1371.63	c current bound: 330
1369.05/1372.58	c current bound: 330
1370.88/1373.58	c current bound: 330
1371.88/1374.58	c current bound: 330
1372.88/1375.54	c current bound: 330
1373.86/1376.53	c current bound: 330
1374.82/1377.50	c current bound: 330
1375.74/1378.46	c current bound: 330
1376.71/1379.41	c current bound: 330
1376.78/1380.36	c current bound: 330
1378.63/1381.37	c current bound: 330
1379.62/1382.37	c current bound: 330
1380.62/1383.35	c current bound: 330
1381.64/1384.40	c current bound: 330
1382.51/1385.39	c current bound: 330
1383.50/1386.33	c current bound: 330
1384.50/1387.30	c current bound: 330
1385.38/1388.22	c current bound: 330
1385.44/1389.17	c current bound: 330
1387.25/1390.11	c current bound: 330
1388.18/1391.05	c current bound: 330
1389.16/1392.05	c current bound: 330
1390.12/1393.00	c current bound: 330
1391.04/1393.96	c current bound: 330
1392.00/1394.91	c current bound: 330
1392.94/1395.83	c current bound: 330
1392.99/1396.77	c current bound: 330
1394.82/1397.76	c current bound: 330
1395.79/1398.71	c current bound: 330
1396.71/1399.69	c current bound: 330
1397.71/1400.67	c current bound: 330
1398.68/1401.62	c current bound: 330
1399.59/1402.56	c current bound: 330
1399.66/1403.49	c current bound: 330
1401.46/1404.43	c current bound: 330
1402.48/1405.40	c current bound: 330
1403.37/1406.33	c current bound: 330
1404.26/1407.29	c current bound: 330
1405.25/1408.24	c current bound: 330
1406.14/1409.19	c current bound: 330
1407.15/1410.13	c current bound: 330
1407.20/1411.05	c current bound: 330
1409.01/1412.02	c current bound: 330
1409.93/1412.99	c current bound: 330
1410.91/1413.93	c current bound: 330
1411.88/1414.91	c current bound: 330
1412.81/1415.84	c current bound: 330
1413.70/1416.76	c current bound: 330
1413.78/1417.68	c current bound: 330
1415.58/1418.60	c current bound: 330
1416.51/1419.54	c current bound: 330
1417.40/1420.49	c current bound: 330
1418.41/1421.44	c current bound: 330
1419.31/1422.39	c current bound: 330
1420.32/1423.30	c current bound: 330
1420.33/1424.25	c current bound: 330
1422.22/1425.20	c current bound: 330
1423.10/1426.15	c current bound: 330
1424.00/1427.08	c current bound: 330
1425.00/1428.02	c current bound: 330
1425.91/1428.97	c current bound: 330
1426.90/1429.92	c current bound: 330
1426.96/1430.86	c current bound: 330
1428.78/1431.80	c current bound: 330
1429.71/1432.73	c current bound: 330
1430.61/1433.68	c current bound: 330
1431.59/1434.62	c current bound: 330
1432.52/1435.55	c current bound: 330
1432.58/1436.47	c current bound: 330
1434.37/1437.41	c current bound: 330
1435.31/1438.36	c current bound: 330
1436.21/1439.28	c current bound: 330
1437.17/1440.21	c current bound: 330
1438.09/1441.16	c current bound: 330
1439.01/1442.07	c current bound: 330
1440.01/1443.00	c current bound: 330
1440.91/1443.94	c current bound: 330
1441.80/1444.86	c current bound: 330
1442.78/1445.81	c current bound: 330
1443.69/1446.75	c current bound: 330
1444.71/1447.70	c current bound: 330
1445.60/1448.65	c current bound: 330
1445.68/1449.59	c current bound: 330
1447.51/1450.54	c current bound: 330
1448.41/1451.49	c current bound: 330
1449.38/1452.43	c current bound: 330
1450.31/1453.35	c current bound: 330
1451.21/1454.26	c current bound: 330
1452.20/1455.22	c current bound: 330
1453.10/1456.14	c current bound: 330
1453.99/1457.09	c current bound: 330
1455.00/1458.04	c current bound: 330
1455.89/1458.96	c current bound: 330
1456.79/1459.87	c current bound: 330
1457.78/1460.82	c current bound: 330
1458.69/1461.74	c current bound: 330
1459.59/1462.69	c current bound: 330
1460.60/1463.64	c current bound: 330
1461.48/1464.56	c current bound: 330
1462.45/1465.50	c current bound: 330
1463.40/1466.44	c current bound: 330
1464.30/1467.39	c current bound: 330
1465.27/1468.31	c current bound: 330
1466.17/1469.26	c current bound: 330
1467.16/1470.20	c current bound: 330
1468.10/1471.15	c current bound: 330
1468.99/1472.08	c current bound: 330
1469.98/1473.03	c current bound: 330
1470.90/1473.95	c current bound: 330
1470.97/1474.89	c current bound: 330
1472.79/1475.83	c current bound: 330
1473.70/1476.75	c current bound: 330
1474.70/1477.70	c current bound: 330
1475.60/1478.64	c current bound: 330
1476.50/1479.59	c current bound: 330
1477.49/1480.53	c current bound: 330
1477.55/1481.48	c current bound: 330
1479.39/1482.42	c current bound: 330
1480.29/1483.35	c current bound: 330
1481.18/1484.29	c current bound: 330
1482.19/1485.23	c current bound: 330
1483.10/1486.18	c current bound: 330
1484.10/1487.12	c current bound: 330
1484.16/1488.07	c current bound: 330
1485.97/1489.01	c current bound: 330
1486.91/1489.96	c current bound: 330
1487.87/1490.90	c current bound: 330
1488.80/1491.84	c current bound: 330
1489.69/1492.78	c current bound: 330
1490.70/1493.71	c current bound: 330
1490.74/1494.65	c current bound: 330
1492.49/1495.59	c current bound: 330
1493.49/1496.54	c current bound: 330
1494.39/1497.48	c current bound: 330
1495.36/1498.40	c current bound: 330
1496.30/1499.34	c current bound: 330
1496.37/1500.29	c current bound: 330
1498.19/1501.24	c current bound: 330
1499.09/1502.16	c current bound: 330
1500.06/1503.11	c current bound: 330
1500.99/1504.06	c current bound: 330
1501.88/1504.99	c current bound: 330
1502.89/1505.93	c current bound: 330
1502.95/1506.87	c current bound: 330
1504.79/1507.80	c current bound: 330
1505.69/1508.74	c current bound: 330
1506.58/1509.68	c current bound: 330
1507.55/1510.60	c current bound: 330
1508.47/1511.52	c current bound: 330
1509.40/1512.47	c current bound: 330
1510.39/1513.40	c current bound: 330
1511.29/1514.34	c current bound: 330
1512.18/1515.27	c current bound: 330
1513.16/1516.26	c current bound: 330
1514.11/1517.20	c current bound: 330
1515.05/1518.13	c current bound: 330
1515.11/1519.05	c current bound: 330
1516.04/1519.97	c current bound: 330
1517.75/1520.89	c current bound: 330
1518.75/1521.84	c current bound: 330
1519.66/1522.79	c current bound: 330
1520.66/1523.73	c current bound: 330
1521.55/1524.68	c current bound: 330
1522.56/1525.62	c current bound: 330
1522.60/1526.57	c current bound: 330
1524.34/1527.49	c current bound: 330
1525.36/1528.43	c current bound: 330
1526.24/1529.36	c current bound: 330
1527.13/1530.28	c current bound: 330
1528.12/1531.21	c current bound: 330
1529.04/1532.13	c current bound: 330
1529.93/1533.07	c current bound: 330
1530.93/1534.02	c current bound: 330
1531.84/1534.97	c current bound: 330
1532.83/1535.92	c current bound: 330
1533.72/1536.87	c current bound: 330
1534.63/1537.79	c current bound: 330
1535.61/1538.74	c current bound: 330
1536.52/1539.69	c current bound: 330
1537.50/1540.69	c current bound: 330
1538.49/1541.63	c current bound: 330
1539.38/1542.55	c current bound: 330
1540.35/1543.51	c current bound: 330
1541.27/1544.47	c current bound: 330
1542.27/1545.42	c current bound: 330
1543.24/1546.42	c current bound: 330
1544.25/1547.43	c current bound: 330
1545.25/1548.43	c current bound: 330
1546.24/1549.42	c current bound: 330
1547.20/1550.40	c current bound: 330
1548.14/1551.38	c current bound: 330
1549.12/1552.35	c current bound: 330
1550.10/1553.31	c current bound: 330
1551.01/1554.27	c current bound: 330
1551.10/1555.19	c current bound: 330
1552.89/1556.16	c current bound: 330
1553.89/1557.17	c current bound: 330
1554.90/1558.14	c current bound: 330
1555.87/1559.12	c current bound: 330
1556.77/1560.08	c current bound: 330
1557.75/1561.02	c current bound: 330
1558.67/1561.95	c current bound: 330
1558.73/1562.86	c current bound: 330
1560.53/1563.87	c current bound: 330
1561.54/1564.87	c current bound: 330
1562.54/1565.84	c current bound: 330
1563.51/1566.82	c current bound: 330
1564.41/1567.78	c current bound: 330
1565.39/1568.73	c current bound: 330
1566.32/1569.65	c current bound: 330
1566.39/1570.59	c current bound: 330
1568.19/1571.55	c current bound: 330
1569.18/1572.53	c current bound: 330
1570.18/1573.50	c current bound: 330
1571.08/1574.47	c current bound: 330
1572.06/1575.43	c current bound: 330
1572.95/1576.37	c current bound: 330
1573.95/1577.32	c current bound: 330
1573.99/1578.25	c current bound: 330
1575.80/1579.21	c current bound: 330
1576.72/1580.16	c current bound: 330
1577.70/1581.12	c current bound: 330
1578.62/1582.05	c current bound: 330
1579.51/1582.99	c current bound: 330
1580.51/1583.94	c current bound: 330
1580.56/1584.87	c current bound: 330
1582.39/1585.85	c current bound: 330
1583.39/1586.84	c current bound: 330
1584.36/1587.81	c current bound: 330
1585.27/1588.79	c current bound: 330
1586.27/1589.73	c current bound: 330
1587.16/1590.66	c current bound: 330
1587.24/1591.59	c current bound: 330
1589.05/1592.61	c current bound: 330
1589.97/1593.56	c current bound: 330
1590.95/1594.57	c current bound: 330
1591.96/1595.56	c current bound: 330
1592.94/1596.53	c current bound: 330
1593.85/1597.49	c current bound: 330
1594.82/1598.43	c current bound: 330
1595.74/1599.35	c current bound: 330
1595.80/1600.29	c current bound: 330
1597.73/1601.30	c current bound: 330
1598.62/1602.24	c current bound: 330
1599.58/1603.22	c current bound: 330
1600.56/1604.20	c current bound: 330
1601.47/1605.16	c current bound: 330
1602.39/1606.08	c current bound: 330
1603.38/1607.07	c current bound: 330
1604.35/1608.02	c current bound: 330
1605.37/1609.03	c current bound: 330
1606.34/1610.00	c current bound: 330
1607.25/1610.97	c current bound: 330
1608.24/1611.93	c current bound: 330
1609.24/1612.90	c current bound: 330
1610.13/1613.86	c current bound: 330
1611.01/1614.80	c current bound: 330
1611.99/1615.72	c current bound: 330
1612.98/1616.72	c current bound: 330
1613.98/1617.78	c current bound: 330
1614.95/1618.75	c current bound: 330
1615.96/1619.70	c current bound: 330
1616.83/1620.67	c current bound: 330
1617.81/1621.61	c current bound: 330
1618.74/1622.56	c current bound: 330
1619.73/1623.50	c current bound: 330
1620.61/1624.44	c current bound: 330
1621.59/1625.42	c current bound: 330
1622.58/1626.42	c current bound: 330
1623.49/1627.39	c current bound: 330
1624.49/1628.34	c current bound: 330
1625.44/1629.31	c current bound: 330
1626.36/1630.27	c current bound: 330
1627.32/1631.20	c current bound: 330
1627.38/1632.15	c current bound: 330
1629.25/1633.15	c current bound: 330
1630.21/1634.11	c current bound: 330
1631.12/1635.09	c current bound: 330
1632.11/1636.07	c current bound: 330
1633.12/1637.04	c current bound: 330
1634.11/1638.00	c current bound: 330
1635.00/1638.95	c current bound: 330
1635.06/1639.87	c current bound: 330
1636.87/1640.85	c current bound: 330
1637.77/1641.76	c current bound: 330
1638.79/1642.74	c current bound: 330
1639.77/1643.70	c current bound: 330
1640.65/1644.64	c current bound: 330
1641.54/1645.56	c current bound: 330
1642.51/1646.51	c current bound: 330
1643.43/1647.46	c current bound: 330
1644.42/1648.45	c current bound: 330
1645.41/1649.42	c current bound: 330
1646.32/1650.39	c current bound: 330
1647.32/1651.35	c current bound: 330
1648.28/1652.30	c current bound: 330
1649.21/1653.24	c current bound: 330
1649.28/1654.19	c current bound: 330
1651.10/1655.18	c current bound: 330
1652.09/1656.13	c current bound: 330
1653.05/1657.11	c current bound: 330
1653.97/1658.04	c current bound: 330
1654.87/1658.97	c current bound: 330
1655.85/1659.93	c current bound: 330
1655.91/1660.88	c current bound: 330
1657.74/1661.89	c current bound: 330
1658.82/1662.90	c current bound: 330
1659.81/1663.91	c current bound: 330
1660.74/1664.89	c current bound: 330
1661.81/1665.90	c current bound: 330
1662.74/1666.84	c current bound: 330
1663.63/1667.78	c current bound: 330
1664.62/1668.73	c current bound: 330
1664.69/1669.68	c current bound: 330
1666.53/1670.63	c current bound: 330
1667.42/1671.56	c current bound: 330
1668.40/1672.51	c current bound: 330
1669.34/1673.46	c current bound: 330
1670.30/1674.41	c current bound: 330
1671.23/1675.36	c current bound: 330
1671.32/1676.30	c current bound: 330
1673.15/1677.25	c current bound: 330
1674.04/1678.19	c current bound: 330
1675.05/1679.15	c current bound: 330
1675.93/1680.09	c current bound: 330
1676.93/1681.04	c current bound: 330
1677.84/1681.99	c current bound: 330
1678.85/1682.92	c current bound: 330
1679.81/1683.93	c current bound: 330
1680.67/1684.87	c current bound: 330
1681.67/1685.88	c current bound: 330
1682.67/1686.86	c current bound: 330
1683.67/1687.84	c current bound: 330
1684.64/1688.81	c current bound: 330
1685.54/1689.75	c current bound: 330
1686.45/1690.70	c current bound: 330
1687.45/1691.64	c current bound: 330
1688.43/1692.65	c current bound: 330
1689.33/1693.57	c current bound: 330
1690.32/1694.55	c current bound: 330
1691.32/1695.53	c current bound: 330
1692.29/1696.51	c current bound: 330
1693.21/1697.44	c current bound: 330
1694.10/1698.39	c current bound: 330
1695.09/1699.35	c current bound: 330
1696.09/1700.36	c current bound: 330
1697.08/1701.36	c current bound: 330
1698.08/1702.35	c current bound: 330
1699.05/1703.32	c current bound: 330
1699.96/1704.25	c current bound: 330
1700.85/1705.18	c current bound: 330
1701.84/1706.13	c current bound: 330
1701.90/1707.07	c current bound: 330
1703.73/1708.08	c current bound: 330
1704.72/1709.09	c current bound: 330
1705.73/1710.06	c current bound: 330
1706.73/1711.04	c current bound: 330
1707.61/1711.96	c current bound: 330
1708.61/1712.93	c current bound: 330
1709.49/1713.89	c current bound: 330
1710.51/1714.83	c current bound: 330
1710.55/1715.78	c current bound: 330
1712.38/1716.77	c current bound: 330
1713.28/1717.69	c current bound: 330
1714.27/1718.66	c current bound: 330
1715.27/1719.64	c current bound: 330
1716.16/1720.58	c current bound: 330
1717.14/1721.53	c current bound: 330
1717.20/1722.48	c current bound: 330
1719.15/1723.50	c current bound: 330
1720.04/1724.44	c current bound: 330
1721.03/1725.44	c current bound: 330
1722.01/1726.43	c current bound: 330
1722.99/1727.41	c current bound: 330
1723.90/1728.37	c current bound: 330
1724.87/1729.32	c current bound: 330
1725.78/1730.27	c current bound: 330
1725.87/1731.18	c current bound: 330
1727.69/1732.19	c current bound: 330
1728.67/1733.16	c current bound: 330
1729.66/1734.15	c current bound: 330
1730.55/1735.09	c current bound: 330
1731.55/1736.05	c current bound: 330
1732.52/1737.01	c current bound: 330
1733.43/1737.96	c current bound: 330
1734.40/1738.91	c current bound: 330
1735.31/1739.89	c current bound: 330
1736.29/1740.82	c current bound: 330
1737.29/1741.81	c current bound: 330
1738.20/1742.79	c current bound: 330
1739.28/1743.81	c current bound: 330
1740.17/1744.75	c current bound: 330
1741.19/1745.70	c current bound: 330
1742.06/1746.62	c current bound: 330
1742.96/1747.59	c current bound: 330
1743.96/1748.59	c current bound: 330
1744.95/1749.58	c current bound: 330
1745.93/1750.56	c current bound: 330
1746.91/1751.51	c current bound: 330
1747.82/1752.47	c current bound: 330
1748.71/1753.39	c current bound: 330
1749.70/1754.32	c current bound: 330
1750.61/1755.29	c current bound: 330
1751.61/1756.25	c current bound: 330
1752.50/1757.19	c current bound: 330
1753.50/1758.13	c current bound: 330
1754.39/1759.10	c current bound: 330
1755.40/1760.05	c current bound: 330
1755.47/1760.97	c current bound: 330
1757.27/1761.99	c current bound: 330
1758.34/1763.01	c current bound: 330
1759.26/1763.98	c current bound: 330
1760.26/1764.94	c current bound: 330
1761.23/1765.92	c current bound: 330
1762.16/1766.87	c current bound: 330
1763.15/1767.83	c current bound: 330
1764.03/1768.78	c current bound: 330
1765.02/1769.73	c current bound: 330
1765.93/1770.65	c current bound: 330
1766.83/1771.58	c current bound: 330
1767.82/1772.56	c current bound: 330
1768.78/1773.51	c current bound: 330
1769.69/1774.47	c current bound: 330
1770.60/1775.40	c current bound: 330
1771.58/1776.34	c current bound: 330
1772.47/1777.26	c current bound: 330
1773.46/1778.25	c current bound: 330
1774.45/1779.22	c current bound: 330
1775.36/1780.19	c current bound: 330
1776.37/1781.14	c current bound: 330
1777.32/1782.11	c current bound: 330
1778.24/1783.03	c current bound: 330
1778.28/1783.97	c current bound: 330
1780.13/1784.99	c current bound: 330
1781.12/1785.93	c current bound: 330
1782.01/1786.89	c current bound: 330
1783.01/1787.87	c current bound: 330
1783.99/1788.81	c current bound: 330
1784.92/1789.75	c current bound: 330
1784.98/1790.67	c current bound: 330
1786.79/1791.69	c current bound: 330
1787.78/1792.69	c current bound: 330
1788.85/1793.70	c current bound: 330
1789.77/1794.66	c current bound: 330
1790.76/1795.72	c current bound: 330
1791.66/1796.70	c current bound: 330
1792.68/1797.67	c current bound: 330
1793.65/1798.62	c current bound: 330
1794.56/1799.57	c current bound: 330
1795.55/1800.50	c current bound: 330
1796.56/1801.50	c current bound: 330
1797.44/1802.47	c current bound: 330
1798.43/1803.43	c current bound: 330
1798.92/1803.91	./satsolver.sh: line 5: 17335 Terminated              ./glucose $1 > $2 2> /dev/null
1798.92/1803.91	c error: unexpected solver exit code
1798.92/1803.91	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-3715958-1338226264/watcher-3715958-1338226264 -o /tmp/evaluation-result-3715958-1338226264/solver-3715958-1338226264 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715958-1338226264.wbo 1395678503 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: 1.81 1.88 1.90 3/179 6779
/proc/meminfo: memFree=29702168/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0

[startup+0.0734899 s]
/proc/loadavg: 1.81 1.88 1.90 3/179 6779
/proc/meminfo: memFree=29702168/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100255 s]
/proc/loadavg: 1.81 1.88 1.90 3/179 6779
/proc/meminfo: memFree=29702168/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300225 s]
/proc/loadavg: 1.81 1.88 1.90 3/179 6779
/proc/meminfo: memFree=29702168/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700223 s]
/proc/loadavg: 1.81 1.88 1.90 3/179 6779
/proc/meminfo: memFree=29702168/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 1.81 1.88 1.90 3/183 6817
/proc/meminfo: memFree=29692060/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1.31 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 2260 13542 0 0 9 2 114 6 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 15020

[startup+3.10026 s]
/proc/loadavg: 1.81 1.88 1.90 3/183 6852
/proc/meminfo: memFree=29691440/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=2.24 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 2824 20017 0 0 10 2 204 8 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 15020
heavy processes:

[startup+6.30026 s]
/proc/loadavg: 1.83 1.89 1.90 3/183 6957
/proc/meminfo: memFree=29691056/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=6.01 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 5080 46262 0 0 15 4 562 20 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 15020

[startup+12.7003 s]
/proc/loadavg: 1.84 1.89 1.90 3/181 7176
/proc/meminfo: memFree=29701668/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=12.54 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 9028 92764 0 0 24 5 1185 40 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 15020

[startup+25.5004 s]
/proc/loadavg: 1.87 1.89 1.90 3/183 7612
/proc/meminfo: memFree=29680740/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=24.83 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 16360 181869 0 0 41 8 2351 83 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=7600] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7600/stat : 7600 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288752963 9367552 266 33554432000 4194304 5064252 140733744496992 140733744495904 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7600/statm: 2287 266 226 213 0 72 0
[pid=7601] ppid=7600 vsize=12624 CPUtime=0.63 cores=0,2,4,6
/proc/7601/stat : 7601 (glucose) R 7600 6779 7669 0 -1 4202496 2832 0 0 0 63 0 0 0 20 0 1 0 288752963 12926976 2505 33554432000 4194304 5208918 140733955076352 140733955074024 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7601/statm: 3156 2505 96 248 0 2905 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 36792

[startup+51.1003 s]
/proc/loadavg: 1.92 1.90 1.90 3/183 8453
/proc/meminfo: memFree=29689756/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=50.88 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 32152 366507 0 0 78 14 4829 167 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 15020

[startup+102.307 s]
/proc/loadavg: 1.89 1.90 1.90 3/183 9748
/proc/meminfo: memFree=29670932/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=101.37 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 62608 726237 0 0 148 27 9633 329 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=9736] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9736/stat : 9736 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288760624 9367552 266 33554432000 4194304 5064252 140735904328832 140735904327744 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9736/statm: 2287 266 226 213 0 72 0
[pid=9737] ppid=9736 vsize=13024 CPUtime=0.83 cores=0,2,4,6
/proc/9737/stat : 9737 (glucose) R 9736 6779 7669 0 -1 4202496 2963 0 0 0 83 0 0 0 20 0 1 0 288760624 13336576 2704 33554432000 4194304 5208918 140736552646016 140736552643976 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9737/statm: 3256 2704 104 248 0 3005 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 37192

[startup+162.3 s]
/proc/loadavg: 1.96 1.91 1.91 3/183 11152
/proc/meminfo: memFree=29688300/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=162.12 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 98711 1150644 0 0 230 42 15414 526 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 15020

[startup+222.3 s]
/proc/loadavg: 1.98 1.93 1.91 3/184 12576
/proc/meminfo: memFree=29692852/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=221.96 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 135364 1578022 0 0 315 56 21106 719 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 221.96
Current children cumulated vsize (KiB) 15020

[startup+282.3 s]
/proc/loadavg: 2.10 1.95 1.92 3/183 13973
/proc/meminfo: memFree=29685104/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=281.84 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 171460 2001880 0 0 398 72 26805 909 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 281.84
Current children cumulated vsize (KiB) 15020

[startup+342.3 s]
/proc/loadavg: 2.04 1.96 1.92 3/183 15394
/proc/meminfo: memFree=29686432/32873648 swapFree=7368/7368

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

/proc/meminfo: memFree=29688496/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1359.63 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 816112 9599435 0 0 1700 319 129389 4555 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 1359.63
Current children cumulated vsize (KiB) 15020

[startup+1422.31 s]
/proc/loadavg: 1.96 1.87 1.86 3/183 8374
/proc/meminfo: memFree=29680124/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1418.48 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 851080 10012828 0 0 1770 334 135001 4743 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=8359] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8359/stat : 8359 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288892624 9367552 267 33554432000 4194304 5064252 140733973095824 140733973094736 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8359/statm: 2287 267 226 213 0 72 0
[pid=8360] ppid=8359 vsize=12624 CPUtime=0.83 cores=0,2,4,6
/proc/8360/stat : 8360 (glucose) R 8359 6779 7669 0 -1 4202496 3339 0 0 0 83 0 0 0 20 0 1 0 288892624 12926976 2605 33554432000 4194304 5208918 140734720523264 140734720521224 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8360/statm: 3156 2605 96 248 0 2905 0
Current children cumulated CPU time (s) 1419.31
Current children cumulated vsize (KiB) 36792

[startup+1482.3 s]
/proc/loadavg: 1.93 1.88 1.86 3/183 9780
/proc/meminfo: memFree=29662164/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1478.51 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 887176 10443580 0 0 1853 349 140714 4935 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=9779] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9779/stat : 9779 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288898628 9367552 266 33554432000 4194304 5064252 140737031622176 140737031621088 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9779/statm: 2287 266 226 213 0 72 0
[pid=9780] ppid=9779 vsize=12628 CPUtime=0.79 cores=0,2,4,6
/proc/9780/stat : 9780 (glucose) R 9779 6779 7669 0 -1 4202496 3116 0 0 0 79 0 0 0 20 0 1 0 288898628 12931072 2579 33554432000 4194304 5208918 140735891094624 140735891092584 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9780/statm: 3157 2579 96 248 0 2906 0
Current children cumulated CPU time (s) 1479.3
Current children cumulated vsize (KiB) 36796

[startup+1542.3 s]
/proc/loadavg: 1.88 1.87 1.86 3/183 11201
/proc/meminfo: memFree=29661080/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1538.55 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 923272 10871267 0 0 1936 363 146428 5128 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=11193] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11193/stat : 11193 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288904642 9367552 266 33554432000 4194304 5064252 140734846971328 140734846970240 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11193/statm: 2287 266 226 213 0 72 0
[pid=11194] ppid=11193 vsize=12628 CPUtime=0.63 cores=0,2,4,6
/proc/11194/stat : 11194 (glucose) R 11193 6779 7669 0 -1 4202496 2665 0 0 0 63 0 0 0 20 0 1 0 288904643 12931072 2509 33554432000 4194304 5208918 140733443124256 140733443122216 4211871 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11194/statm: 3157 2509 96 248 0 2906 0
Current children cumulated CPU time (s) 1539.18
Current children cumulated vsize (KiB) 36796

[startup+1602.3 s]
/proc/loadavg: 1.85 1.86 1.85 3/183 12594
/proc/meminfo: memFree=29685256/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1598.67 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 958804 11290299 0 0 2005 377 152167 5318 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 1598.67
Current children cumulated vsize (KiB) 15020

[startup+1662.3 s]
/proc/loadavg: 2.13 1.94 1.88 3/181 14007
/proc/meminfo: memFree=29693972/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1657.87 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 993772 11703521 0 0 2073 392 157813 5509 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=14004] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14004/stat : 14004 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288916668 9367552 267 33554432000 4194304 5064252 140735552882160 140735552881072 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14004/statm: 2287 267 226 213 0 72 0
[pid=14005] ppid=14004 vsize=14168 CPUtime=0.38 cores=0,2,4,6
/proc/14005/stat : 14005 (glucose) R 14004 6779 7669 0 -1 4202496 2639 0 0 0 38 0 0 0 20 0 1 0 288916669 14508032 2897 33554432000 4194304 5208918 140733481818688 140733481816360 4229688 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14005/statm: 3542 2897 95 248 0 3291 0
Current children cumulated CPU time (s) 1658.25
Current children cumulated vsize (KiB) 38336

[startup+1722.3 s]
/proc/loadavg: 1.85 1.90 1.87 3/183 15388
/proc/meminfo: memFree=29661532/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1717.2 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 1028740 12117892 0 0 2141 405 163472 5702 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 1717.2
Current children cumulated vsize (KiB) 15020

[startup+1782.3 s]
/proc/loadavg: 1.79 1.87 1.86 3/184 16805
/proc/meminfo: memFree=29660256/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1777.37 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 1064272 12538095 0 0 2210 419 169211 5897 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
Current children cumulated CPU time (s) 1777.37
Current children cumulated vsize (KiB) 15020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.9 s]
/proc/loadavg: 1.86 1.88 1.86 3/184 17342
/proc/meminfo: memFree=29674624/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1798.48 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 1076680 12683566 0 0 2234 424 171229 5961 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=17334] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17334/stat : 17334 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288930823 9367552 267 33554432000 4194304 5064252 140734489674192 140734489673104 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17334/statm: 2287 267 226 213 0 72 0
[pid=17335] ppid=17334 vsize=14168 CPUtime=0.44 cores=0,2,4,6
/proc/17335/stat : 17335 (glucose) R 17334 6779 7669 0 -1 4202496 2164 0 0 0 44 0 0 0 20 0 1 0 288930823 14508032 3075 33554432000 4194304 5208918 140737118309568 140737118307528 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17335/statm: 3542 3075 95 248 0 3291 0
Current children cumulated CPU time (s) 1798.92
Current children cumulated vsize (KiB) 38336

Sending SIGTERM to process tree (bottom up)

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

[startup+1803.9 s]
/proc/loadavg: 1.86 1.88 1.86 3/184 17342
/proc/meminfo: memFree=29674624/32873648 swapFree=7368/7368
[pid=6779] ppid=6777 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6779/stat : 6779 (npSolver-wbo-It) S 6777 6779 7669 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288750477 9367552 274 33554432000 4194304 5064252 140734583336960 140734583335872 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6779/statm: 2287 274 233 213 0 72 0
[pid=6780] ppid=6779 vsize=5872 CPUtime=1798.48 cores=0,2,4,6
/proc/6780/stat : 6780 (npSolver-wbo) S 6779 6779 7669 0 -1 4202496 1076680 12683566 0 0 2234 424 171229 5961 20 0 1 0 288750478 6012928 957 33554432000 4194304 5990268 140736066932176 140736066923584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/6780/statm: 1468 957 176 439 0 1025 0
[pid=17334] ppid=6780 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17334/stat : 17334 (satsolver.sh) S 6780 6779 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288930823 9367552 267 33554432000 4194304 5064252 140734489674192 140734489673104 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17334/statm: 2287 267 226 213 0 72 0
[pid=17335] ppid=17334 vsize=14168 CPUtime=0.44 cores=0,2,4,6
/proc/17335/stat : 17335 (glucose) R 17334 6779 7669 0 -1 4202496 2164 0 0 0 44 0 0 0 20 0 1 0 288930823 14508032 3075 33554432000 4194304 5208918 140737118309568 140737118307528 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17335/statm: 3542 3075 95 248 0 3291 0
Current children cumulated CPU time (s) 1798.92
Current children cumulated vsize (KiB) 38336

Child status: 0

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

Real time (s): 1803.91
CPU time (s): 1800.48
CPU user time (s): 1736.61
CPU system time (s): 63.8753
CPU usage (%): 99.8097
Max. virtual memory (cumulated for all children) (KiB): 39996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1735.1
system time used= 63.8753
maximum resident set size= 14080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13763399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5724128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83874
involuntary context switches= 24411

runsolver used 3.35049 second user time and 8.68268 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-28 19:31:04
IDJOB=3715958
IDBENCH=79224
IDSOLVER=2297
FILE ID=node149/3715958-1338226264
RUNJOBID= node149-1338217256-7685
PBS_JOBID= 14624618
Free space on /tmp= 71688 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715958-1338226264/watcher-3715958-1338226264 -o /tmp/evaluation-result-3715958-1338226264/solver-3715958-1338226264 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715958-1338226264.wbo 1395678503 HOME HOME

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

MD5SUM BENCH= f742a865179589dbb1861a007b830f45
RANDOM SEED=1395678503

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29710880 kB
Buffers:          532048 kB
Cached:          1764844 kB
SwapCached:         2476 kB
Active:          1035428 kB
Inactive:        1287620 kB
Active(anon):      14164 kB
Inactive(anon):     9368 kB
Active(file):    1021264 kB
Inactive(file):  1278252 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:             10604 kB
Writeback:             8 kB
AnonPages:         26828 kB
Mapped:            15416 kB
Shmem:                96 kB
Slab:             702524 kB
SReclaimable:     143980 kB
SUnreclaim:       558544 kB
KernelStack:        1472 kB
PageTables:         3744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     142112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71676 MiB
End job on node149 at 2012-05-28 20:01:08