Trace number 3715975

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.12 1799.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo
MD5SUM19fe712a4f6ee0b978bb364f3985a5e4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.06299
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints81
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 4603
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4602
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.12	c run usual solver
1.92/2.15	o 825
1.92/2.15	c starting approximation
1.92/2.15	c factor = 2
1.92/2.15	c current bound: 412
2.91/3.18	c current bound: 412
3.95/4.21	c current bound: 412
4.95/5.23	c current bound: 412
5.99/6.26	c current bound: 412
7.00/7.27	c current bound: 412
8.00/8.27	c current bound: 412
9.05/9.32	c current bound: 412
10.08/10.35	c current bound: 412
11.08/11.35	c current bound: 412
12.09/12.37	c current bound: 412
13.10/13.37	c current bound: 412
14.10/14.36	c current bound: 412
15.13/15.37	c current bound: 412
16.11/16.38	c current bound: 412
17.13/17.41	c current bound: 412
18.14/18.41	c current bound: 412
19.13/19.41	c current bound: 412
20.18/20.45	c current bound: 412
21.17/21.44	c current bound: 412
22.18/22.45	c current bound: 412
23.21/23.48	c current bound: 412
24.25/24.51	c current bound: 412
25.25/25.52	c current bound: 412
26.28/26.55	c current bound: 412
27.31/27.58	c current bound: 412
28.44/28.61	c current bound: 412
29.43/29.64	c current bound: 412
30.40/30.66	c current bound: 412
31.40/31.67	c current bound: 412
32.54/32.70	c current bound: 412
33.47/33.73	c current bound: 412
34.48/34.75	c current bound: 412
35.51/35.78	c current bound: 412
36.54/36.80	c current bound: 412
37.55/37.82	c current bound: 412
38.56/38.82	c current bound: 412
39.57/39.83	c current bound: 412
40.59/40.87	c current bound: 412
41.61/41.87	c current bound: 412
42.75/42.91	c current bound: 412
43.75/43.94	c current bound: 412
44.70/44.97	c current bound: 412
45.71/45.97	c current bound: 412
46.71/46.97	c current bound: 412
47.74/48.00	c current bound: 412
48.77/49.04	c current bound: 412
49.80/50.06	c current bound: 412
50.83/51.09	c current bound: 412
51.84/52.10	c current bound: 412
52.87/53.14	c current bound: 412
53.90/54.16	c current bound: 412
54.91/55.16	c current bound: 412
55.93/56.19	c current bound: 412
56.94/57.21	c current bound: 412
58.05/58.24	c current bound: 412
58.99/59.25	c current bound: 412
60.02/60.28	c current bound: 412
61.05/61.30	c current bound: 412
62.08/62.34	c current bound: 412
63.10/63.37	c current bound: 412
64.12/64.38	c current bound: 412
65.15/65.41	c current bound: 412
66.18/66.43	c current bound: 412
67.17/67.44	c current bound: 412
68.18/68.44	c current bound: 412
69.22/69.48	c current bound: 412
70.25/70.51	c current bound: 412
71.25/71.51	c current bound: 412
72.35/72.51	c current bound: 412
73.29/73.54	c current bound: 412
74.32/74.57	c current bound: 412
75.32/75.58	c current bound: 412
76.46/76.60	c current bound: 412
77.38/77.64	c current bound: 412
78.40/78.66	c current bound: 412
79.44/79.69	c current bound: 412
80.45/80.69	c current bound: 412
81.45/81.69	c current bound: 412
82.47/82.70	c current bound: 412
83.49/83.74	c current bound: 412
84.49/84.74	c current bound: 412
85.57/85.74	c current bound: 412
86.54/86.77	c current bound: 412
87.53/87.77	c current bound: 412
88.56/88.80	c current bound: 412
89.59/89.84	c current bound: 412
90.62/90.86	c current bound: 412
91.66/91.89	c current bound: 412
92.67/92.92	c current bound: 412
93.69/93.94	c current bound: 412
94.73/94.97	c current bound: 412
95.75/95.99	c current bound: 412
96.75/97.00	c current bound: 412
97.76/98.00	c current bound: 412
98.78/99.03	c current bound: 412
99.85/100.03	c current bound: 412
100.83/101.06	c current bound: 412
101.86/102.09	c current bound: 412
102.86/103.11	c current bound: 412
103.90/104.15	c current bound: 412
104.95/105.19	c current bound: 412
105.96/106.20	c current bound: 412
106.98/107.23	c current bound: 412
108.01/108.26	c current bound: 412
109.04/109.29	c current bound: 412
110.16/110.30	c current bound: 412
111.07/111.31	c current bound: 412
112.09/112.33	c current bound: 412
113.11/113.35	c current bound: 412
114.15/114.34	c current bound: 412
115.13/115.37	c current bound: 412
116.14/116.38	c current bound: 412
117.17/117.41	c current bound: 412
118.18/118.44	c current bound: 412
119.21/119.45	c current bound: 412
120.23/120.48	c current bound: 412
121.27/121.51	c current bound: 412
122.29/122.54	c current bound: 412
123.32/123.57	c current bound: 412
124.32/124.58	c current bound: 412
125.35/125.60	c current bound: 412
126.38/126.63	c current bound: 412
127.41/127.66	c current bound: 412
128.46/128.69	c current bound: 412
129.54/129.71	c current bound: 412
130.49/130.74	c current bound: 412
131.54/131.77	c current bound: 412
132.55/132.80	c current bound: 412
133.56/133.81	c current bound: 412
134.54/134.80	c current bound: 412
135.57/135.82	c current bound: 412
136.60/136.85	c current bound: 412
137.62/137.89	c current bound: 412
138.75/138.90	c current bound: 412
139.68/139.92	c current bound: 412
140.67/140.93	c current bound: 412
141.68/141.93	c current bound: 412
142.74/142.94	c current bound: 412
143.73/143.97	c current bound: 412
144.85/145.00	c current bound: 412
145.76/146.01	c current bound: 412
146.79/147.04	c current bound: 412
147.82/148.06	c current bound: 412
148.86/149.10	c current bound: 412
149.85/150.11	c current bound: 412
150.87/151.11	c current bound: 412
151.91/152.14	c current bound: 412
152.91/153.15	c current bound: 412
153.92/154.17	c current bound: 412
154.92/155.17	c current bound: 412
155.95/156.19	c current bound: 412
157.04/157.21	c current bound: 412
157.97/158.22	c current bound: 412
158.99/159.24	c current bound: 412
160.02/160.26	c current bound: 412
161.05/161.29	c current bound: 412
162.05/162.29	c current bound: 412
163.05/163.31	c current bound: 412
164.08/164.32	c current bound: 412
165.11/165.35	c current bound: 412
166.10/166.36	c current bound: 412
167.13/167.39	c current bound: 412
168.18/168.43	c current bound: 412
169.17/169.42	c current bound: 412
170.23/170.45	c current bound: 412
171.22/171.46	c current bound: 412
172.24/172.49	c current bound: 412
173.27/173.52	c current bound: 412
174.25/174.51	c current bound: 412
175.29/175.53	c current bound: 412
176.30/176.54	c current bound: 412
177.31/177.56	c current bound: 412
178.34/178.59	c current bound: 412
179.37/179.62	c current bound: 412
180.36/180.62	c current bound: 412
181.40/181.65	c current bound: 412
182.45/182.69	c current bound: 412
183.56/183.70	c current bound: 412
184.54/184.73	c current bound: 412
185.52/185.77	c current bound: 412
186.54/186.79	c current bound: 412
187.58/187.82	c current bound: 412
188.59/188.85	c current bound: 412
189.62/189.88	c current bound: 412
190.75/190.90	c current bound: 412
191.67/191.93	c current bound: 412
192.70/192.96	c current bound: 412
193.70/193.96	c current bound: 412
194.73/194.98	c current bound: 412
195.76/196.01	c current bound: 412
196.77/197.04	c current bound: 412
197.82/198.08	c current bound: 412
198.84/199.08	c current bound: 412
199.92/200.11	c current bound: 412
200.87/201.13	c current bound: 412
201.91/202.17	c current bound: 412
202.92/203.19	c current bound: 412
203.94/204.21	c current bound: 412
204.99/205.24	c current bound: 412
206.01/206.27	c current bound: 412
207.04/207.31	c current bound: 412
208.08/208.34	c current bound: 412
209.10/209.37	c current bound: 412
210.11/210.37	c current bound: 412
211.11/211.38	c current bound: 412
212.11/212.38	c current bound: 412
213.13/213.41	c current bound: 412
214.22/214.45	c current bound: 412
215.21/215.48	c current bound: 412
216.24/216.52	c current bound: 412
217.27/217.55	c current bound: 412
218.31/218.58	c current bound: 412
219.34/219.60	c current bound: 412
220.33/220.60	c current bound: 412
221.36/221.63	c current bound: 412
222.38/222.65	c current bound: 412
223.38/223.65	c current bound: 412
224.40/224.68	c current bound: 412
225.42/225.69	c current bound: 412
226.45/226.71	c current bound: 412
227.47/227.75	c current bound: 412
228.52/228.77	c current bound: 412
229.54/229.80	c current bound: 412
230.55/230.82	c current bound: 412
231.59/231.85	c current bound: 412
232.58/232.85	c current bound: 412
233.61/233.88	c current bound: 412
234.62/234.89	c current bound: 412
235.62/235.89	c current bound: 412
236.65/236.92	c current bound: 412
237.65/237.92	c current bound: 412
238.68/238.95	c current bound: 412
239.68/239.95	c current bound: 412
240.72/240.98	c current bound: 412
241.73/242.01	c current bound: 412
242.82/243.03	c current bound: 412
243.78/244.05	c current bound: 412
244.81/245.08	c current bound: 412
245.84/246.11	c current bound: 412
246.87/247.13	c current bound: 412
247.86/248.14	c current bound: 412
248.89/249.16	c current bound: 412
249.94/250.19	c current bound: 412
250.96/251.23	c current bound: 412
251.99/252.26	c current bound: 412
253.03/253.29	c current bound: 412
254.04/254.30	c current bound: 412
255.05/255.32	c current bound: 412
256.09/256.34	c current bound: 412
257.12/257.35	c current bound: 412
258.12/258.38	c current bound: 412
259.24/259.40	c current bound: 412
260.14/260.41	c current bound: 412
261.19/261.45	c current bound: 412
262.21/262.47	c current bound: 412
263.24/263.49	c current bound: 412
264.25/264.50	c current bound: 412
265.24/265.50	c current bound: 412
266.27/266.53	c current bound: 412
267.28/267.53	c current bound: 412
268.29/268.56	c current bound: 412
269.33/269.59	c current bound: 412
270.34/270.59	c current bound: 412
271.43/271.62	c current bound: 412
272.36/272.63	c current bound: 412
273.39/273.65	c current bound: 412
274.39/274.66	c current bound: 412
275.43/275.69	c current bound: 412
276.45/276.72	c current bound: 412
277.48/277.75	c current bound: 412
278.52/278.78	c current bound: 412
279.55/279.81	c current bound: 412
280.57/280.84	c current bound: 412
281.62/281.87	c current bound: 412
282.75/282.90	c current bound: 412
283.65/283.91	c current bound: 412
284.69/284.94	c current bound: 412
285.74/285.97	c current bound: 412
286.71/286.98	c current bound: 412
287.73/287.99	c current bound: 412
288.75/289.01	c current bound: 412
289.75/290.02	c current bound: 412
290.75/291.01	c current bound: 412
291.78/292.04	c current bound: 412
292.78/293.04	c current bound: 412
293.79/294.05	c current bound: 412
294.83/295.09	c current bound: 412
295.85/296.12	c current bound: 412
296.87/297.13	c current bound: 412
297.86/298.13	c current bound: 412
298.93/299.15	c current bound: 412
299.92/300.18	c current bound: 412
300.96/301.22	c current bound: 412
301.99/302.25	c current bound: 412
302.99/303.26	c current bound: 412
304.01/304.28	c current bound: 412
305.05/305.31	c current bound: 412
306.06/306.34	c current bound: 412
307.10/307.36	c current bound: 412
308.13/308.39	c current bound: 412
309.24/309.40	c current bound: 412
310.16/310.43	c current bound: 412
311.16/311.43	c current bound: 412
312.16/312.43	c current bound: 412
313.23/313.45	c current bound: 412
314.20/314.46	c current bound: 412
315.19/315.45	c current bound: 412
316.22/316.49	c current bound: 412
317.26/317.52	c current bound: 412
318.25/318.52	c current bound: 412
319.28/319.55	c current bound: 412
320.31/320.58	c current bound: 412
321.34/321.61	c current bound: 412
322.37/322.64	c current bound: 412
323.39/323.66	c current bound: 412
324.43/324.69	c current bound: 412
325.45/325.72	c current bound: 412
326.47/326.75	c current bound: 412
327.54/327.78	c current bound: 412
328.63/328.81	c current bound: 412
329.56/329.84	c current bound: 412
330.59/330.87	c current bound: 412
331.72/331.90	c current bound: 412
332.64/332.92	c current bound: 412
333.65/333.93	c current bound: 412
334.69/334.96	c current bound: 412
335.70/335.99	c current bound: 412
336.71/336.99	c current bound: 412
337.72/338.00	c current bound: 412
338.74/339.03	c current bound: 412
339.79/340.06	c current bound: 412
340.80/341.09	c current bound: 412
341.82/342.09	c current bound: 412
342.81/343.09	c current bound: 412
343.93/344.10	c current bound: 412
344.85/345.13	c current bound: 412
345.85/346.13	c current bound: 412
346.87/347.16	c current bound: 412
347.90/348.18	c current bound: 412
348.93/349.21	c current bound: 412
349.94/350.24	c current bound: 412
350.99/351.27	c current bound: 412
351.99/352.28	c current bound: 412
353.01/353.31	c current bound: 412
354.05/354.33	c current bound: 412
355.07/355.35	c current bound: 412
356.12/356.38	c current bound: 412
357.09/357.38	c current bound: 412
358.10/358.39	c current bound: 412
359.13/359.42	c current bound: 412
360.14/360.44	c current bound: 412
361.17/361.47	c current bound: 412
362.21/362.49	c current bound: 412
363.23/363.52	c current bound: 412
364.25/364.54	c current bound: 412
365.27/365.57	c current bound: 412
366.30/366.59	c current bound: 412
367.32/367.62	c current bound: 412
368.35/368.65	c current bound: 412
369.38/369.67	c current bound: 412
370.40/370.70	c current bound: 412
371.50/371.73	c current bound: 412
372.47/372.76	c current bound: 412
373.48/373.78	c current bound: 412
374.53/374.81	c current bound: 412
375.53/375.82	c current bound: 412
376.55/376.84	c current bound: 412
377.59/377.87	c current bound: 412
378.60/378.88	c current bound: 412
379.63/379.91	c current bound: 412
380.65/380.94	c current bound: 412
381.70/381.98	c current bound: 412
382.72/383.01	c current bound: 412
383.82/384.00	c current bound: 412
384.75/385.03	c current bound: 412
385.81/386.04	c current bound: 412
386.77/387.06	c current bound: 412
387.81/388.09	c current bound: 412
388.83/389.11	c current bound: 412
389.83/390.12	c current bound: 412
390.86/391.15	c current bound: 412
391.89/392.17	c current bound: 412
392.88/393.18	c current bound: 412
394.01/394.20	c current bound: 412
394.95/395.23	c current bound: 412
395.97/396.26	c current bound: 412
396.99/397.28	c current bound: 412
398.02/398.31	c current bound: 412
399.01/399.31	c current bound: 412
400.11/400.34	c current bound: 412
401.08/401.37	c current bound: 412
402.10/402.39	c current bound: 412
403.12/403.41	c current bound: 412
404.14/404.43	c current bound: 412
405.17/405.46	c current bound: 412
406.21/406.49	c current bound: 412
407.24/407.52	c current bound: 412
408.24/408.53	c current bound: 412
409.26/409.55	c current bound: 412
410.27/410.55	c current bound: 412
411.29/411.57	c current bound: 412
412.30/412.58	c current bound: 412
413.34/413.61	c current bound: 412
414.41/414.64	c current bound: 412
415.39/415.67	c current bound: 412
416.41/416.69	c current bound: 412
417.41/417.69	c current bound: 412
418.44/418.71	c current bound: 412
419.46/419.74	c current bound: 412
420.46/420.74	c current bound: 412
421.46/421.74	c current bound: 412
422.49/422.76	c current bound: 412
423.50/423.79	c current bound: 412
424.51/424.80	c current bound: 412
425.55/425.82	c current bound: 412
426.57/426.85	c current bound: 412
427.61/427.88	c current bound: 412
428.63/428.90	c current bound: 412
429.64/429.93	c current bound: 412
430.68/430.96	c current bound: 412
431.70/431.97	c current bound: 412
432.69/432.98	c current bound: 412
433.70/433.98	c current bound: 412
434.72/435.00	c current bound: 412
435.76/436.03	c current bound: 412
436.76/437.04	c current bound: 412
437.77/438.06	c current bound: 412
438.81/439.09	c current bound: 412
439.92/440.10	c current bound: 412
440.85/441.13	c current bound: 412
441.92/442.16	c current bound: 412
442.89/443.16	c current bound: 412
443.90/444.19	c current bound: 412
444.91/445.19	c current bound: 412
445.93/446.21	c current bound: 412
446.95/447.24	c current bound: 412
447.98/448.27	c current bound: 412
449.13/449.30	c current bound: 412
450.05/450.33	c current bound: 412
451.09/451.36	c current bound: 412
452.11/452.39	c current bound: 412
453.14/453.41	c current bound: 412
454.15/454.43	c current bound: 412
455.18/455.46	c current bound: 412
456.21/456.48	c current bound: 412
457.34/457.51	c current bound: 412
458.27/458.54	c current bound: 412
459.29/459.57	c current bound: 412
460.30/460.57	c current bound: 412
461.33/461.60	c current bound: 412
462.34/462.61	c current bound: 412
463.43/463.60	c current bound: 412
464.34/464.61	c current bound: 412
465.34/465.61	c current bound: 412
466.36/466.63	c current bound: 412
467.39/467.66	c current bound: 412
468.41/468.70	c current bound: 412
469.45/469.73	c current bound: 412
470.52/470.75	c current bound: 412
471.50/471.78	c current bound: 412
472.54/472.81	c current bound: 412
473.57/473.85	c current bound: 412
474.58/474.86	c current bound: 412
475.63/475.89	c current bound: 412
476.65/476.92	c current bound: 412
477.67/477.94	c current bound: 412
478.69/478.97	c current bound: 412
479.74/480.01	c current bound: 412
480.77/481.04	c current bound: 412
481.80/482.07	c current bound: 412
482.93/483.10	c current bound: 412
483.84/484.13	c current bound: 412
484.89/485.16	c current bound: 412
485.92/486.19	c current bound: 412
486.91/487.19	c current bound: 412
487.93/488.21	c current bound: 412
488.94/489.22	c current bound: 412
489.95/490.23	c current bound: 412
490.98/491.26	c current bound: 412
491.99/492.27	c current bound: 412
493.12/493.30	c current bound: 412
494.05/494.33	c current bound: 412
495.06/495.35	c current bound: 412
496.08/496.36	c current bound: 412
497.08/497.36	c current bound: 412
498.11/498.39	c current bound: 412
499.12/499.39	c current bound: 412
500.11/500.39	c current bound: 412
501.15/501.42	c current bound: 412
502.16/502.45	c current bound: 412
503.20/503.48	c current bound: 412
504.20/504.47	c current bound: 412
505.23/505.51	c current bound: 412
506.23/506.51	c current bound: 412
507.27/507.54	c current bound: 412
508.30/508.58	c current bound: 412
509.32/509.60	c current bound: 412
510.34/510.62	c current bound: 412
511.37/511.65	c current bound: 412
512.39/512.67	c current bound: 412
513.53/513.70	c current bound: 412
514.54/514.71	c current bound: 412
515.43/515.71	c current bound: 412
516.44/516.72	c current bound: 412
517.47/517.75	c current bound: 412
518.51/518.78	c current bound: 412
519.53/519.81	c current bound: 412
520.52/520.81	c current bound: 412
521.54/521.81	c current bound: 412
522.57/522.85	c current bound: 412
523.60/523.88	c current bound: 412
524.63/524.91	c current bound: 412
525.67/525.94	c current bound: 412
526.67/526.94	c current bound: 412
527.70/527.95	c current bound: 412
528.69/528.97	c current bound: 412
529.69/529.98	c current bound: 412
530.73/531.01	c current bound: 412
531.75/532.04	c current bound: 412
532.79/533.07	c current bound: 412
533.92/534.10	c current bound: 412
534.84/535.13	c current bound: 412
535.86/536.15	c current bound: 412
536.89/537.18	c current bound: 412
537.93/538.21	c current bound: 412
538.93/539.23	c current bound: 412
539.94/540.23	c current bound: 412
540.97/541.26	c current bound: 412
542.00/542.29	c current bound: 412
543.09/543.32	c current bound: 412
544.01/544.31	c current bound: 412
545.05/545.34	c current bound: 412
546.07/546.38	c current bound: 412
547.10/547.40	c current bound: 412
548.11/548.41	c current bound: 412
549.12/549.42	c current bound: 412
550.15/550.45	c current bound: 412
551.17/551.47	c current bound: 412
552.32/552.50	c current bound: 412
553.23/553.53	c current bound: 412
554.25/554.55	c current bound: 412
555.27/555.58	c current bound: 412
556.31/556.59	c current bound: 412
557.40/557.62	c current bound: 412
558.34/558.64	c current bound: 412
559.35/559.66	c current bound: 412
560.40/560.69	c current bound: 412
561.39/561.69	c current bound: 412
562.43/562.73	c current bound: 412
563.44/563.74	c current bound: 412
564.46/564.75	c current bound: 412
565.48/565.78	c current bound: 412
566.49/566.79	c current bound: 412
567.51/567.80	c current bound: 412
568.52/568.83	c current bound: 412
569.54/569.84	c current bound: 412
570.59/570.85	c current bound: 412
571.56/571.87	c current bound: 412
572.57/572.87	c current bound: 412
573.71/573.90	c current bound: 412
574.61/574.91	c current bound: 412
575.61/575.91	c current bound: 412
576.64/576.93	c current bound: 412
577.65/577.93	c current bound: 412
578.63/578.93	c current bound: 412
579.67/579.96	c current bound: 412
580.67/580.97	c current bound: 412
581.68/581.98	c current bound: 412
582.69/582.99	c current bound: 412
583.80/584.01	c current bound: 412
584.75/585.05	c current bound: 412
585.77/586.07	c current bound: 412
586.80/587.09	c current bound: 412
587.80/588.09	c current bound: 412
588.82/589.12	c current bound: 412
589.85/590.14	c current bound: 412
590.86/591.15	c current bound: 412
591.89/592.18	c current bound: 412
592.88/593.18	c current bound: 412
593.91/594.21	c current bound: 412
594.95/595.24	c current bound: 412
595.97/596.25	c current bound: 412
597.00/597.25	c current bound: 412
597.99/598.28	c current bound: 412
599.01/599.30	c current bound: 412
600.04/600.33	c current bound: 412
601.03/601.34	c current bound: 412
602.08/602.37	c current bound: 412
603.21/603.40	c current bound: 412
604.12/604.41	c current bound: 412
605.12/605.41	c current bound: 412
606.12/606.41	c current bound: 412
607.14/607.43	c current bound: 412
608.18/608.46	c current bound: 412
609.20/609.49	c current bound: 412
610.23/610.52	c current bound: 412
611.30/611.55	c current bound: 412
612.28/612.56	c current bound: 412
613.31/613.59	c current bound: 412
614.29/614.58	c current bound: 412
615.33/615.61	c current bound: 412
616.34/616.64	c current bound: 412
617.35/617.64	c current bound: 412
618.36/618.65	c current bound: 412
619.38/619.67	c current bound: 412
620.39/620.68	c current bound: 412
621.41/621.69	c current bound: 412
622.52/622.70	c current bound: 412
623.44/623.72	c current bound: 412
624.51/624.75	c current bound: 412
625.48/625.76	c current bound: 412
626.50/626.79	c current bound: 412
627.54/627.82	c current bound: 412
628.55/628.83	c current bound: 412
629.55/629.84	c current bound: 412
630.55/630.84	c current bound: 412
631.57/631.87	c current bound: 412
632.62/632.90	c current bound: 412
633.64/633.93	c current bound: 412
634.66/634.96	c current bound: 412
635.70/635.99	c current bound: 412
636.70/637.00	c current bound: 412
637.74/638.03	c current bound: 412
638.81/639.03	c current bound: 412
639.77/640.06	c current bound: 412
640.78/641.07	c current bound: 412
641.81/642.10	c current bound: 412
642.84/643.13	c current bound: 412
643.86/644.15	c current bound: 412
644.89/645.18	c current bound: 412
645.92/646.21	c current bound: 412
646.94/647.23	c current bound: 412
647.94/648.23	c current bound: 412
648.97/649.26	c current bound: 412
650.00/650.29	c current bound: 412
651.02/651.32	c current bound: 412
652.03/652.31	c current bound: 412
653.09/653.34	c current bound: 412
654.08/654.37	c current bound: 412
655.20/655.40	c current bound: 412
656.12/656.42	c current bound: 412
657.15/657.45	c current bound: 412
658.19/658.48	c current bound: 412
659.22/659.51	c current bound: 412
660.23/660.53	c current bound: 412
661.26/661.56	c current bound: 412
662.30/662.59	c current bound: 412
663.32/663.62	c current bound: 412
664.33/664.64	c current bound: 412
665.37/665.67	c current bound: 412
666.39/666.69	c current bound: 412
667.40/667.70	c current bound: 412
668.50/668.72	c current bound: 412
669.44/669.74	c current bound: 412
670.48/670.78	c current bound: 412
671.51/671.81	c current bound: 412
672.51/672.81	c current bound: 412
673.55/673.84	c current bound: 412
674.58/674.87	c current bound: 412
675.60/675.89	c current bound: 412
676.60/676.89	c current bound: 412
677.62/677.92	c current bound: 412
678.64/678.94	c current bound: 412
679.66/679.95	c current bound: 412
680.65/680.95	c current bound: 412
681.70/681.95	c current bound: 412
682.68/682.98	c current bound: 412
683.67/683.98	c current bound: 412
684.71/685.01	c current bound: 412
685.75/686.04	c current bound: 412
686.76/687.06	c current bound: 412
687.78/688.09	c current bound: 412
688.79/689.08	c current bound: 412
689.81/690.11	c current bound: 412
690.83/691.13	c current bound: 412
691.86/692.15	c current bound: 412
692.89/693.18	c current bound: 412
693.90/694.21	c current bound: 412
694.93/695.23	c current bound: 412
696.00/696.24	c current bound: 412
696.93/697.24	c current bound: 412
697.97/698.27	c current bound: 412
699.01/699.30	c current bound: 412
700.03/700.33	c current bound: 412
701.06/701.36	c current bound: 412
702.10/702.39	c current bound: 412
703.21/703.40	c current bound: 412
704.11/704.41	c current bound: 412
705.13/705.42	c current bound: 412
706.12/706.43	c current bound: 412
707.16/707.46	c current bound: 412
708.16/708.46	c current bound: 412
709.20/709.49	c current bound: 412
710.29/710.52	c current bound: 412
711.25/711.55	c current bound: 412
712.27/712.58	c current bound: 412
713.31/713.61	c current bound: 412
714.31/714.61	c current bound: 412
715.33/715.63	c current bound: 412
716.37/716.66	c current bound: 412
717.37/717.67	c current bound: 412
718.39/718.69	c current bound: 412
719.42/719.72	c current bound: 412
720.43/720.73	c current bound: 412
721.47/721.76	c current bound: 412
722.59/722.80	c current bound: 412
723.53/723.83	c current bound: 412
724.60/724.84	c current bound: 412
725.55/725.84	c current bound: 412
726.54/726.85	c current bound: 412
727.58/727.88	c current bound: 412
728.62/728.92	c current bound: 412
729.63/729.94	c current bound: 412
730.67/730.97	c current bound: 412
731.80/732.00	c current bound: 412
732.72/733.02	c current bound: 412
733.75/734.05	c current bound: 412
734.77/735.08	c current bound: 412
735.77/736.08	c current bound: 412
736.80/737.11	c current bound: 412
737.84/738.14	c current bound: 412
738.90/739.15	c current bound: 412
739.87/740.17	c current bound: 412
740.90/741.20	c current bound: 412
741.89/742.21	c current bound: 412
742.92/743.22	c current bound: 412
743.95/744.24	c current bound: 412
744.96/745.27	c current bound: 412
745.98/746.28	c current bound: 412
747.01/747.31	c current bound: 412
748.04/748.34	c current bound: 412
749.05/749.35	c current bound: 412
750.06/750.36	c current bound: 412
751.09/751.39	c current bound: 412
752.09/752.39	c current bound: 412
753.08/753.39	c current bound: 412
754.12/754.42	c current bound: 412
755.13/755.43	c current bound: 412
756.14/756.46	c current bound: 412
757.18/757.49	c current bound: 412
758.23/758.52	c current bound: 412
759.25/759.55	c current bound: 412
760.28/760.58	c current bound: 412
761.27/761.59	c current bound: 412
762.31/762.61	c current bound: 412
763.35/763.64	c current bound: 412
764.33/764.64	c current bound: 412
765.34/765.65	c current bound: 412
766.40/766.68	c current bound: 412
767.49/767.71	c current bound: 412
768.43/768.73	c current bound: 412
769.46/769.76	c current bound: 412
770.46/770.77	c current bound: 412
771.49/771.79	c current bound: 412
772.50/772.81	c current bound: 412
773.52/773.81	c current bound: 412
774.54/774.85	c current bound: 412
775.54/775.85	c current bound: 412
776.55/776.87	c current bound: 412
777.70/777.90	c current bound: 412
778.60/778.91	c current bound: 412
779.63/779.94	c current bound: 412
780.70/780.97	c current bound: 412
781.68/781.98	c current bound: 412
782.79/783.00	c current bound: 412
783.72/784.03	c current bound: 412
784.73/785.03	c current bound: 412
785.74/786.05	c current bound: 412
786.78/787.08	c current bound: 412
787.80/788.10	c current bound: 412
788.80/789.10	c current bound: 412
789.80/790.11	c current bound: 412
790.81/791.12	c current bound: 412
791.83/792.15	c current bound: 412
792.86/793.16	c current bound: 412
793.89/794.18	c current bound: 412
794.98/795.21	c current bound: 412
795.92/796.24	c current bound: 412
796.97/797.27	c current bound: 412
798.00/798.30	c current bound: 412
799.00/799.31	c current bound: 412
800.01/800.32	c current bound: 412
801.03/801.33	c current bound: 412
802.05/802.36	c current bound: 412
803.09/803.39	c current bound: 412
804.10/804.41	c current bound: 412
805.13/805.45	c current bound: 412
806.15/806.45	c current bound: 412
807.16/807.48	c current bound: 412
808.21/808.51	c current bound: 412
809.28/809.52	c current bound: 412
810.22/810.53	c current bound: 412
811.24/811.55	c current bound: 412
812.26/812.57	c current bound: 412
813.39/813.60	c current bound: 412
814.28/814.59	c current bound: 412
815.31/815.61	c current bound: 412
816.30/816.62	c current bound: 412
817.32/817.62	c current bound: 412
818.32/818.63	c current bound: 412
819.34/819.66	c current bound: 412
820.38/820.69	c current bound: 412
821.42/821.72	c current bound: 412
822.47/822.73	c current bound: 412
823.44/823.76	c current bound: 412
824.48/824.79	c current bound: 412
825.51/825.82	c current bound: 412
826.53/826.85	c current bound: 412
827.54/827.86	c current bound: 412
828.56/828.87	c current bound: 412
829.57/829.89	c current bound: 412
830.60/830.91	c current bound: 412
831.62/831.94	c current bound: 412
832.65/832.97	c current bound: 412
833.78/834.00	c current bound: 412
834.69/835.01	c current bound: 412
835.72/836.04	c current bound: 412
836.78/837.07	c current bound: 412
837.77/838.09	c current bound: 412
838.78/839.09	c current bound: 412
839.81/840.12	c current bound: 412
840.85/841.15	c current bound: 412
841.87/842.18	c current bound: 412
842.87/843.19	c current bound: 412
843.89/844.20	c current bound: 412
844.92/845.24	c current bound: 412
845.94/846.24	c current bound: 412
846.94/847.25	c current bound: 412
847.93/848.25	c current bound: 412
848.95/849.27	c current bound: 412
849.99/850.27	c current bound: 412
850.98/851.29	c current bound: 412
851.99/852.31	c current bound: 412
853.03/853.34	c current bound: 412
854.03/854.34	c current bound: 412
855.03/855.34	c current bound: 412
856.06/856.38	c current bound: 412
857.10/857.41	c current bound: 412
858.12/858.43	c current bound: 412
859.15/859.46	c current bound: 412
860.17/860.49	c current bound: 412
861.22/861.52	c current bound: 412
862.26/862.55	c current bound: 412
863.27/863.58	c current bound: 412
864.28/864.57	c current bound: 412
865.27/865.59	c current bound: 412
866.30/866.62	c current bound: 412
867.33/867.65	c current bound: 412
868.36/868.67	c current bound: 412
869.49/869.70	c current bound: 412
870.40/870.71	c current bound: 412
871.42/871.74	c current bound: 412
872.42/872.74	c current bound: 412
873.43/873.75	c current bound: 412
874.45/874.77	c current bound: 412
875.49/875.80	c current bound: 412
876.52/876.83	c current bound: 412
877.53/877.85	c current bound: 412
878.59/878.87	c current bound: 412
879.56/879.87	c current bound: 412
880.69/880.90	c current bound: 412
881.70/881.90	c current bound: 412
882.61/882.91	c current bound: 412
883.63/883.94	c current bound: 412
884.66/884.97	c current bound: 412
885.66/885.97	c current bound: 412
886.69/886.99	c current bound: 412
887.69/887.99	c current bound: 412
888.79/889.00	c current bound: 412
889.72/890.03	c current bound: 412
890.75/891.06	c current bound: 412
891.80/892.09	c current bound: 412
892.88/893.12	c current bound: 412
893.84/894.15	c current bound: 412
894.87/895.18	c current bound: 412
895.90/896.20	c current bound: 412
896.93/897.24	c current bound: 412
897.95/898.27	c current bound: 412
899.09/899.30	c current bound: 412
900.01/900.30	c current bound: 412
901.01/901.31	c current bound: 412
902.04/902.34	c current bound: 412
903.07/903.37	c current bound: 412
904.08/904.39	c current bound: 412
905.12/905.43	c current bound: 412
906.11/906.43	c current bound: 412
907.18/907.43	c current bound: 412
908.13/908.44	c current bound: 412
909.16/909.46	c current bound: 412
910.19/910.49	c current bound: 412
911.20/911.51	c current bound: 412
912.20/912.51	c current bound: 412
913.22/913.53	c current bound: 412
914.26/914.57	c current bound: 412
915.28/915.59	c current bound: 412
916.32/916.63	c current bound: 412
917.36/917.66	c current bound: 412
918.38/918.69	c current bound: 412
919.50/919.70	c current bound: 412
920.43/920.73	c current bound: 412
921.48/921.76	c current bound: 412
922.48/922.78	c current bound: 412
923.50/923.81	c current bound: 412
924.51/924.81	c current bound: 412
925.52/925.82	c current bound: 412
926.55/926.86	c current bound: 412
927.59/927.89	c current bound: 412
928.57/928.89	c current bound: 412
929.69/929.90	c current bound: 412
930.63/930.93	c current bound: 412
931.62/931.94	c current bound: 412
932.66/932.97	c current bound: 412
933.80/934.00	c current bound: 412
934.72/935.03	c current bound: 412
935.81/936.03	c current bound: 412
936.75/937.06	c current bound: 412
937.79/938.09	c current bound: 412
938.81/939.12	c current bound: 412
939.85/940.15	c current bound: 412
940.85/941.16	c current bound: 412
941.87/942.17	c current bound: 412
942.87/943.16	c current bound: 412
943.86/944.17	c current bound: 412
944.87/945.18	c current bound: 412
945.91/946.21	c current bound: 412
946.94/947.24	c current bound: 412
947.96/948.27	c current bound: 412
949.11/949.31	c current bound: 412
950.10/950.34	c current bound: 412
951.04/951.34	c current bound: 412
952.06/952.37	c current bound: 412
953.07/953.38	c current bound: 412
954.07/954.37	c current bound: 412
955.10/955.40	c current bound: 412
956.11/956.42	c current bound: 412
957.13/957.44	c current bound: 412
958.14/958.44	c current bound: 412
959.13/959.44	c current bound: 412
960.17/960.48	c current bound: 412
961.21/961.51	c current bound: 412
962.22/962.52	c current bound: 412
963.28/963.55	c current bound: 412
964.26/964.57	c current bound: 412
965.40/965.60	c current bound: 412
966.33/966.62	c current bound: 412
967.32/967.63	c current bound: 412
968.33/968.64	c current bound: 412
969.35/969.64	c current bound: 412
970.36/970.67	c current bound: 412
971.49/971.70	c current bound: 412
972.42/972.73	c current bound: 412
973.46/973.76	c current bound: 412
974.44/974.75	c current bound: 412
975.47/975.78	c current bound: 412
976.50/976.81	c current bound: 412
977.58/977.84	c current bound: 412
978.56/978.87	c current bound: 412
979.58/979.88	c current bound: 412
980.60/980.92	c current bound: 412
981.63/981.93	c current bound: 412
982.64/982.96	c current bound: 412
983.67/983.99	c current bound: 412
984.71/985.02	c current bound: 412
985.70/986.02	c current bound: 412
986.73/987.04	c current bound: 412
987.76/988.07	c current bound: 412
988.78/989.10	c current bound: 412
989.79/990.11	c current bound: 412
990.81/991.13	c current bound: 412
991.89/992.14	c current bound: 412
992.84/993.16	c current bound: 412
993.87/994.19	c current bound: 412
994.90/995.22	c current bound: 412
995.91/996.23	c current bound: 412
996.93/997.25	c current bound: 412
997.97/998.28	c current bound: 412
999.01/999.33	c current bound: 412
1000.02/1000.34	c current bound: 412
1001.04/1001.36	c current bound: 412
1002.18/1002.40	c current bound: 412
1003.11/1003.43	c current bound: 412
1004.13/1004.46	c current bound: 412
1005.29/1005.50	c current bound: 412
1006.22/1006.53	c current bound: 412
1007.28/1007.56	c current bound: 412
1008.28/1008.59	c current bound: 412
1009.27/1009.59	c current bound: 412
1010.30/1010.62	c current bound: 412
1011.31/1011.62	c current bound: 412
1012.31/1012.63	c current bound: 412
1013.33/1013.65	c current bound: 412
1014.35/1014.66	c current bound: 412
1015.35/1015.67	c current bound: 412
1016.49/1016.70	c current bound: 412
1017.41/1017.74	c current bound: 412
1018.44/1018.76	c current bound: 412
1019.47/1019.79	c current bound: 412
1020.49/1020.82	c current bound: 412
1021.58/1021.82	c current bound: 412
1022.52/1022.84	c current bound: 412
1023.54/1023.86	c current bound: 412
1024.55/1024.87	c current bound: 412
1025.58/1025.90	c current bound: 412
1026.61/1026.94	c current bound: 412
1027.64/1027.97	c current bound: 412
1028.66/1028.98	c current bound: 412
1029.68/1030.01	c current bound: 412
1030.71/1031.04	c current bound: 412
1031.74/1032.07	c current bound: 412
1032.78/1033.10	c current bound: 412
1033.79/1034.11	c current bound: 412
1034.82/1035.15	c current bound: 412
1035.87/1036.17	c current bound: 412
1036.88/1037.21	c current bound: 412
1037.88/1038.22	c current bound: 412
1038.94/1039.26	c current bound: 412
1039.96/1040.28	c current bound: 412
1040.98/1041.30	c current bound: 412
1042.00/1042.33	c current bound: 412
1043.04/1043.36	c current bound: 412
1044.06/1044.39	c current bound: 412
1045.09/1045.42	c current bound: 412
1046.10/1046.44	c current bound: 412
1047.11/1047.44	c current bound: 412
1048.14/1048.47	c current bound: 412
1049.16/1049.49	c current bound: 412
1050.19/1050.52	c current bound: 412
1051.26/1051.52	c current bound: 412
1052.22/1052.56	c current bound: 412
1053.24/1053.57	c current bound: 412
1054.25/1054.57	c current bound: 412
1055.23/1055.58	c current bound: 412
1056.24/1056.58	c current bound: 412
1057.25/1057.58	c current bound: 412
1058.27/1058.60	c current bound: 412
1059.30/1059.63	c current bound: 412
1060.32/1060.64	c current bound: 412
1061.31/1061.65	c current bound: 412
1062.34/1062.68	c current bound: 412
1063.38/1063.71	c current bound: 412
1064.47/1064.74	c current bound: 412
1065.44/1065.77	c current bound: 412
1066.57/1066.80	c current bound: 412
1067.50/1067.83	c current bound: 412
1068.53/1068.86	c current bound: 412
1069.56/1069.89	c current bound: 412
1070.67/1070.90	c current bound: 412
1071.59/1071.93	c current bound: 412
1072.63/1072.96	c current bound: 412
1073.64/1073.97	c current bound: 412
1074.65/1074.99	c current bound: 412
1075.69/1076.02	c current bound: 412
1076.71/1077.04	c current bound: 412
1077.73/1078.07	c current bound: 412
1078.77/1079.10	c current bound: 412
1079.86/1080.13	c current bound: 412
1080.79/1081.13	c current bound: 412
1081.82/1082.16	c current bound: 412
1082.82/1083.16	c current bound: 412
1083.85/1084.19	c current bound: 412
1084.87/1085.22	c current bound: 412
1085.87/1086.21	c current bound: 412
1086.88/1087.21	c current bound: 412
1087.89/1088.23	c current bound: 412
1088.91/1089.25	c current bound: 412
1089.93/1090.28	c current bound: 412
1090.96/1091.29	c current bound: 412
1091.98/1092.32	c current bound: 412
1093.04/1093.35	c current bound: 412
1094.04/1094.38	c current bound: 412
1095.08/1095.41	c current bound: 412
1096.10/1096.44	c current bound: 412
1097.13/1097.47	c current bound: 412
1098.16/1098.51	c current bound: 412
1099.19/1099.53	c current bound: 412
1100.19/1100.54	c current bound: 412
1101.20/1101.54	c current bound: 412
1102.24/1102.58	c current bound: 412
1103.26/1103.60	c current bound: 412
1104.28/1104.61	c current bound: 412
1105.30/1105.65	c current bound: 412
1106.33/1106.68	c current bound: 412
1107.47/1107.71	c current bound: 412
1108.44/1108.73	c current bound: 412
1109.41/1109.76	c current bound: 412
1110.45/1110.79	c current bound: 412
1111.48/1111.82	c current bound: 412
1112.51/1112.85	c current bound: 412
1113.53/1113.87	c current bound: 412
1114.55/1114.89	c current bound: 412
1115.58/1115.92	c current bound: 412
1116.60/1116.94	c current bound: 412
1117.64/1117.98	c current bound: 412
1118.64/1118.98	c current bound: 412
1119.65/1119.99	c current bound: 412
1120.68/1121.02	c current bound: 412
1121.71/1122.05	c current bound: 412
1122.76/1123.07	c current bound: 412
1123.85/1124.11	c current bound: 412
1124.79/1125.13	c current bound: 412
1125.83/1126.16	c current bound: 412
1126.85/1127.19	c current bound: 412
1127.88/1128.22	c current bound: 412
1128.89/1129.23	c current bound: 412
1129.91/1130.26	c current bound: 412
1130.95/1131.29	c current bound: 412
1131.95/1132.29	c current bound: 412
1132.95/1133.31	c current bound: 412
1133.96/1134.31	c current bound: 412
1135.00/1135.34	c current bound: 412
1136.03/1136.37	c current bound: 412
1137.05/1137.39	c current bound: 412
1138.05/1138.40	c current bound: 412
1139.08/1139.43	c current bound: 412
1140.10/1140.45	c current bound: 412
1141.13/1141.48	c current bound: 412
1142.15/1142.51	c current bound: 412
1143.18/1143.53	c current bound: 412
1144.17/1144.52	c current bound: 412
1145.19/1145.53	c current bound: 412
1146.20/1146.56	c current bound: 412
1147.20/1147.55	c current bound: 412
1148.20/1148.56	c current bound: 412
1149.23/1149.59	c current bound: 412
1150.26/1150.61	c current bound: 412
1151.35/1151.64	c current bound: 412
1152.33/1152.68	c current bound: 412
1153.35/1153.71	c current bound: 412
1154.38/1154.72	c current bound: 412
1155.40/1155.75	c current bound: 412
1156.42/1156.78	c current bound: 412
1157.44/1157.79	c current bound: 412
1158.47/1158.82	c current bound: 412
1159.50/1159.84	c current bound: 412
1160.51/1160.84	c current bound: 412
1161.53/1161.86	c current bound: 412
1162.66/1162.90	c current bound: 412
1163.58/1163.93	c current bound: 412
1164.60/1164.95	c current bound: 412
1165.65/1165.95	c current bound: 412
1166.64/1166.98	c current bound: 412
1167.67/1168.01	c current bound: 412
1168.70/1169.04	c current bound: 412
1169.70/1170.05	c current bound: 412
1170.73/1171.07	c current bound: 412
1171.86/1172.10	c current bound: 412
1172.79/1173.14	c current bound: 412
1173.83/1174.17	c current bound: 412
1174.85/1175.19	c current bound: 412
1175.88/1176.22	c current bound: 412
1176.91/1177.26	c current bound: 412
1177.94/1178.29	c current bound: 412
1178.94/1179.29	c current bound: 412
1179.99/1180.33	c current bound: 412
1181.05/1181.36	c current bound: 412
1182.03/1182.38	c current bound: 412
1183.06/1183.41	c current bound: 412
1184.10/1184.44	c current bound: 412
1185.11/1185.45	c current bound: 412
1186.13/1186.48	c current bound: 412
1187.17/1187.51	c current bound: 412
1188.17/1188.51	c current bound: 412
1189.18/1189.53	c current bound: 412
1190.18/1190.53	c current bound: 412
1191.20/1191.54	c current bound: 412
1192.22/1192.57	c current bound: 412
1193.25/1193.59	c current bound: 412
1194.37/1194.60	c current bound: 412
1195.36/1195.64	c current bound: 412
1196.33/1196.67	c current bound: 412
1197.46/1197.70	c current bound: 412
1198.39/1198.73	c current bound: 412
1199.39/1199.73	c current bound: 412
1200.43/1200.76	c current bound: 412
1201.46/1201.79	c current bound: 412
1202.49/1202.82	c current bound: 412
1203.52/1203.85	c current bound: 412
1204.53/1204.86	c current bound: 412
1205.55/1205.89	c current bound: 412
1206.59/1206.92	c current bound: 412
1207.61/1207.96	c current bound: 412
1208.66/1208.99	c current bound: 412
1209.68/1210.02	c current bound: 412
1210.76/1211.05	c current bound: 412
1211.73/1212.06	c current bound: 412
1212.77/1213.10	c current bound: 412
1213.80/1214.13	c current bound: 412
1214.84/1215.16	c current bound: 412
1215.86/1216.18	c current bound: 412
1216.90/1217.21	c current bound: 412
1217.89/1218.22	c current bound: 412
1218.91/1219.22	c current bound: 412
1219.93/1220.26	c current bound: 412
1220.94/1221.26	c current bound: 412
1221.97/1222.29	c current bound: 412
1223.00/1223.32	c current bound: 412
1224.03/1224.34	c current bound: 412
1225.08/1225.37	c current bound: 412
1226.19/1226.41	c current bound: 412
1227.09/1227.41	c current bound: 412
1228.10/1228.42	c current bound: 412
1229.10/1229.42	c current bound: 412
1230.13/1230.44	c current bound: 412
1231.16/1231.48	c current bound: 412
1232.20/1232.51	c current bound: 412
1233.22/1233.54	c current bound: 412
1234.23/1234.55	c current bound: 412
1235.24/1235.56	c current bound: 412
1236.25/1236.56	c current bound: 412
1237.26/1237.59	c current bound: 412
1238.31/1238.62	c current bound: 412
1239.38/1239.65	c current bound: 412
1240.35/1240.69	c current bound: 412
1241.38/1241.72	c current bound: 412
1242.41/1242.72	c current bound: 412
1243.42/1243.75	c current bound: 412
1244.41/1244.74	c current bound: 412
1245.45/1245.77	c current bound: 412
1246.58/1246.80	c current bound: 412
1247.58/1247.80	c current bound: 412
1248.50/1248.83	c current bound: 412
1249.51/1249.83	c current bound: 412
1250.56/1250.86	c current bound: 412
1251.57/1251.89	c current bound: 412
1252.60/1252.92	c current bound: 412
1253.67/1253.95	c current bound: 412
1254.67/1254.99	c current bound: 412
1255.67/1255.99	c current bound: 412
1256.71/1257.03	c current bound: 412
1257.72/1258.05	c current bound: 412
1258.74/1259.06	c current bound: 412
1259.77/1260.09	c current bound: 412
1260.79/1261.11	c current bound: 412
1261.81/1262.14	c current bound: 412
1262.83/1263.15	c current bound: 412
1263.85/1264.17	c current bound: 412
1264.86/1265.18	c current bound: 412
1265.89/1266.21	c current bound: 412
1266.90/1267.22	c current bound: 412
1267.98/1268.25	c current bound: 412
1268.93/1269.25	c current bound: 412
1269.95/1270.26	c current bound: 412
1270.95/1271.26	c current bound: 412
1271.96/1272.27	c current bound: 412
1273.09/1273.30	c current bound: 412
1274.02/1274.33	c current bound: 412
1275.04/1275.35	c current bound: 412
1276.04/1276.35	c current bound: 412
1277.06/1277.37	c current bound: 412
1278.10/1278.40	c current bound: 412
1279.12/1279.42	c current bound: 412
1280.14/1280.44	c current bound: 412
1281.19/1281.47	c current bound: 412
1282.20/1282.50	c current bound: 412
1283.30/1283.50	c current bound: 412
1284.22/1284.53	c current bound: 412
1285.25/1285.56	c current bound: 412
1286.27/1286.58	c current bound: 412
1287.31/1287.62	c current bound: 412
1288.33/1288.62	c current bound: 412
1289.34/1289.65	c current bound: 412
1290.36/1290.66	c current bound: 412
1291.39/1291.69	c current bound: 412
1292.41/1292.71	c current bound: 412
1293.42/1293.72	c current bound: 412
1294.43/1294.73	c current bound: 412
1295.49/1295.76	c current bound: 412
1296.46/1296.76	c current bound: 412
1297.49/1297.78	c current bound: 412
1298.53/1298.82	c current bound: 412
1299.55/1299.85	c current bound: 412
1300.58/1300.88	c current bound: 412
1301.61/1301.91	c current bound: 412
1302.62/1302.92	c current bound: 412
1303.65/1303.94	c current bound: 412
1304.67/1304.97	c current bound: 412
1305.80/1306.00	c current bound: 412
1306.74/1307.03	c current bound: 412
1307.73/1308.03	c current bound: 412
1308.76/1309.06	c current bound: 412
1309.79/1310.08	c current bound: 412
1310.91/1311.10	c current bound: 412
1311.83/1312.13	c current bound: 412
1312.86/1313.15	c current bound: 412
1313.85/1314.16	c current bound: 412
1314.90/1315.19	c current bound: 412
1315.92/1316.22	c current bound: 412
1316.94/1317.24	c current bound: 412
1317.97/1318.27	c current bound: 412
1319.10/1319.30	c current bound: 412
1320.03/1320.33	c current bound: 412
1321.04/1321.34	c current bound: 412
1322.06/1322.37	c current bound: 412
1323.09/1323.39	c current bound: 412
1324.21/1324.41	c current bound: 412
1325.20/1325.44	c current bound: 412
1326.14/1326.44	c current bound: 412
1327.17/1327.47	c current bound: 412
1328.31/1328.50	c current bound: 412
1329.21/1329.51	c current bound: 412
1330.22/1330.52	c current bound: 412
1331.24/1331.54	c current bound: 412
1332.27/1332.57	c current bound: 412
1333.41/1333.60	c current bound: 412
1334.30/1334.61	c current bound: 412
1335.33/1335.64	c current bound: 412
1336.36/1336.65	c current bound: 412
1337.35/1337.65	c current bound: 412
1338.41/1338.68	c current bound: 412
1339.39/1339.68	c current bound: 412
1340.40/1340.69	c current bound: 412
1341.43/1341.73	c current bound: 412
1342.46/1342.75	c current bound: 412
1343.49/1343.78	c current bound: 412
1344.51/1344.80	c current bound: 412
1345.53/1345.83	c current bound: 412
1346.54/1346.84	c current bound: 412
1347.58/1347.87	c current bound: 412
1348.59/1348.88	c current bound: 412
1349.62/1349.91	c current bound: 412
1350.65/1350.94	c current bound: 412
1351.68/1351.97	c current bound: 412
1352.70/1353.00	c current bound: 412
1353.71/1354.00	c current bound: 412
1354.74/1355.03	c current bound: 412
1355.74/1356.03	c current bound: 412
1356.75/1357.05	c current bound: 412
1357.78/1358.07	c current bound: 412
1358.82/1359.10	c current bound: 412
1359.82/1360.11	c current bound: 412
1360.85/1361.14	c current bound: 412
1361.86/1362.15	c current bound: 412
1362.85/1363.15	c current bound: 412
1363.89/1364.18	c current bound: 412
1364.90/1365.18	c current bound: 412
1365.91/1366.18	c current bound: 412
1367.01/1367.22	c current bound: 412
1367.95/1368.24	c current bound: 412
1368.99/1369.27	c current bound: 412
1370.11/1370.30	c current bound: 412
1371.05/1371.33	c current bound: 412
1372.05/1372.33	c current bound: 412
1373.05/1373.34	c current bound: 412
1374.06/1374.35	c current bound: 412
1375.09/1375.38	c current bound: 412
1376.13/1376.41	c current bound: 412
1377.13/1377.43	c current bound: 412
1378.17/1378.46	c current bound: 412
1379.21/1379.49	c current bound: 412
1380.21/1380.50	c current bound: 412
1381.30/1381.53	c current bound: 412
1382.26/1382.53	c current bound: 412
1383.26/1383.54	c current bound: 412
1384.25/1384.54	c current bound: 412
1385.29/1385.57	c current bound: 412
1386.29/1386.58	c current bound: 412
1387.31/1387.60	c current bound: 412
1388.34/1388.63	c current bound: 412
1389.36/1389.64	c current bound: 412
1390.38/1390.67	c current bound: 412
1391.52/1391.70	c current bound: 412
1392.45/1392.73	c current bound: 412
1393.46/1393.74	c current bound: 412
1394.50/1394.75	c current bound: 412
1395.47/1395.75	c current bound: 412
1396.49/1396.78	c current bound: 412
1397.53/1397.82	c current bound: 412
1398.56/1398.85	c current bound: 412
1399.56/1399.85	c current bound: 412
1400.59/1400.88	c current bound: 412
1401.72/1401.90	c current bound: 412
1402.64/1402.92	c current bound: 412
1403.65/1403.93	c current bound: 412
1404.67/1404.96	c current bound: 412
1405.71/1405.99	c current bound: 412
1406.75/1407.02	c current bound: 412
1407.76/1408.04	c current bound: 412
1408.81/1409.06	c current bound: 412
1409.82/1410.10	c current bound: 412
1410.83/1411.11	c current bound: 412
1411.85/1412.13	c current bound: 412
1412.90/1413.17	c current bound: 412
1413.91/1414.19	c current bound: 412
1414.92/1415.21	c current bound: 412
1415.93/1416.21	c current bound: 412
1416.96/1417.24	c current bound: 412
1418.00/1418.27	c current bound: 412
1419.12/1419.30	c current bound: 412
1420.05/1420.33	c current bound: 412
1421.06/1421.34	c current bound: 412
1422.09/1422.37	c current bound: 412
1423.12/1423.39	c current bound: 412
1424.23/1424.41	c current bound: 412
1425.16/1425.44	c current bound: 412
1426.16/1426.44	c current bound: 412
1427.18/1427.46	c current bound: 412
1428.21/1428.49	c current bound: 412
1429.23/1429.52	c current bound: 412
1430.27/1430.55	c current bound: 412
1431.27/1431.55	c current bound: 412
1432.28/1432.56	c current bound: 412
1433.32/1433.59	c current bound: 412
1434.33/1434.61	c current bound: 412
1435.33/1435.61	c current bound: 412
1436.33/1436.61	c current bound: 412
1437.42/1437.64	c current bound: 412
1438.37/1438.64	c current bound: 412
1439.39/1439.67	c current bound: 412
1440.54/1440.70	c current bound: 412
1441.45/1441.71	c current bound: 412
1442.45/1442.71	c current bound: 412
1443.47/1443.75	c current bound: 412
1444.50/1444.77	c current bound: 412
1445.50/1445.77	c current bound: 412
1446.62/1446.80	c current bound: 412
1447.55/1447.83	c current bound: 412
1448.55/1448.83	c current bound: 412
1449.57/1449.84	c current bound: 412
1450.63/1450.85	c current bound: 412
1451.60/1451.87	c current bound: 412
1452.62/1452.88	c current bound: 412
1453.73/1453.90	c current bound: 412
1454.74/1454.90	c current bound: 412
1455.67/1455.93	c current bound: 412
1456.69/1456.96	c current bound: 412
1457.72/1457.98	c current bound: 412
1458.73/1459.00	c current bound: 412
1459.76/1460.03	c current bound: 412
1460.76/1461.03	c current bound: 412
1461.80/1462.07	c current bound: 412
1462.81/1463.08	c current bound: 412
1463.93/1464.11	c current bound: 412
1464.92/1465.13	c current bound: 412
1465.85/1466.13	c current bound: 412
1466.88/1467.16	c current bound: 412
1467.92/1468.19	c current bound: 412
1469.03/1469.20	c current bound: 412
1469.95/1470.23	c current bound: 412
1470.95/1471.22	c current bound: 412
1471.98/1472.25	c current bound: 412
1472.99/1473.28	c current bound: 412
1473.99/1474.28	c current bound: 412
1475.00/1475.28	c current bound: 412
1476.02/1476.31	c current bound: 412
1477.00/1477.30	c current bound: 412
1478.10/1478.33	c current bound: 412
1479.08/1479.36	c current bound: 412
1480.07/1480.35	c current bound: 412
1481.10/1481.39	c current bound: 412
1482.13/1482.41	c current bound: 412
1483.16/1483.44	c current bound: 412
1484.18/1484.46	c current bound: 412
1485.33/1485.50	c current bound: 412
1486.24/1486.52	c current bound: 412
1487.28/1487.55	c current bound: 412
1488.31/1488.59	c current bound: 412
1489.30/1489.59	c current bound: 412
1490.31/1490.59	c current bound: 412
1491.32/1491.59	c current bound: 412
1492.42/1492.62	c current bound: 412
1493.37/1493.66	c current bound: 412
1494.40/1494.68	c current bound: 412
1495.39/1495.68	c current bound: 412
1496.43/1496.71	c current bound: 412
1497.43/1497.71	c current bound: 412
1498.44/1498.73	c current bound: 412
1499.49/1499.76	c current bound: 412
1500.51/1500.78	c current bound: 412
1501.53/1501.81	c current bound: 412
1502.53/1502.82	c current bound: 412
1503.55/1503.83	c current bound: 412
1504.58/1504.85	c current bound: 412
1505.61/1505.88	c current bound: 412
1506.62/1506.90	c current bound: 412
1507.65/1507.93	c current bound: 412
1508.66/1508.94	c current bound: 412
1509.66/1509.95	c current bound: 412
1510.69/1510.97	c current bound: 412
1511.82/1512.00	c current bound: 412
1512.75/1513.03	c current bound: 412
1513.78/1514.05	c current bound: 412
1514.77/1515.06	c current bound: 412
1515.79/1516.07	c current bound: 412
1516.81/1517.09	c current bound: 412
1517.85/1518.13	c current bound: 412
1518.87/1519.17	c current bound: 412
1519.92/1520.19	c current bound: 412
1521.02/1521.21	c current bound: 412
1521.93/1522.21	c current bound: 412
1522.96/1523.24	c current bound: 412
1523.97/1524.26	c current bound: 412
1524.98/1525.26	c current bound: 412
1526.01/1526.29	c current bound: 412
1527.05/1527.32	c current bound: 412
1528.05/1528.33	c current bound: 412
1529.06/1529.33	c current bound: 412
1530.05/1530.33	c current bound: 412
1531.06/1531.34	c current bound: 412
1532.07/1532.34	c current bound: 412
1533.19/1533.41	c current bound: 412
1534.18/1534.44	c current bound: 412
1535.15/1535.47	c current bound: 412
1536.16/1536.48	c current bound: 412
1537.18/1537.49	c current bound: 412
1538.21/1538.80	c current bound: 412
1539.31/1539.80	c current bound: 412
1540.22/1540.81	c current bound: 412
1541.25/1541.83	c current bound: 412
1542.24/1542.83	c current bound: 412
1543.27/1543.87	c current bound: 412
1544.32/1544.89	c current bound: 412
1545.31/1545.91	c current bound: 412
1546.36/1546.94	c current bound: 412
1547.39/1547.97	c current bound: 412
1548.41/1548.99	c current bound: 412
1549.44/1550.02	c current bound: 412
1550.48/1551.06	c current bound: 412
1551.52/1552.08	c current bound: 412
1552.64/1553.11	c current bound: 412
1553.55/1554.13	c current bound: 412
1554.57/1555.16	c current bound: 412
1555.58/1556.18	c current bound: 412
1556.63/1557.21	c current bound: 412
1557.64/1558.22	c current bound: 412
1558.65/1559.25	c current bound: 412
1559.67/1560.25	c current bound: 412
1560.67/1561.26	c current bound: 412
1561.68/1562.27	c current bound: 412
1562.81/1563.30	c current bound: 412
1563.74/1564.32	c current bound: 412
1564.76/1565.35	c current bound: 412
1565.82/1566.39	c current bound: 412
1566.82/1567.39	c current bound: 412
1567.83/1568.41	c current bound: 412
1568.87/1569.44	c current bound: 412
1569.87/1570.44	c current bound: 412
1570.89/1571.47	c current bound: 412
1571.93/1572.50	c current bound: 412
1572.95/1573.51	c current bound: 412
1573.96/1574.54	c current bound: 412
1575.01/1575.58	c current bound: 412
1576.02/1576.59	c current bound: 412
1577.05/1577.63	c current bound: 412
1578.10/1578.66	c current bound: 412
1579.10/1579.67	c current bound: 412
1580.12/1580.70	c current bound: 412
1581.23/1581.71	c current bound: 412
1582.18/1582.74	c current bound: 412
1583.20/1583.78	c current bound: 412
1584.24/1584.80	c current bound: 412
1585.25/1585.81	c current bound: 412
1586.26/1586.84	c current bound: 412
1587.30/1587.87	c current bound: 412
1588.44/1588.90	c current bound: 412
1589.36/1589.93	c current bound: 412
1590.39/1590.96	c current bound: 412
1591.40/1591.97	c current bound: 412
1592.42/1592.99	c current bound: 412
1593.46/1594.02	c current bound: 412
1594.49/1595.05	c current bound: 412
1595.52/1596.06	c current bound: 412
1596.50/1597.06	c current bound: 412
1597.51/1598.07	c current bound: 412
1598.52/1599.08	c current bound: 412
1599.56/1600.11	c current bound: 412
1600.57/1601.14	c current bound: 412
1601.60/1602.17	c current bound: 412
1602.64/1603.21	c current bound: 412
1603.68/1604.24	c current bound: 412
1604.70/1605.26	c current bound: 412
1605.72/1606.28	c current bound: 412
1606.74/1607.31	c current bound: 412
1607.84/1608.30	c current bound: 412
1608.76/1609.33	c current bound: 412
1609.83/1610.36	c current bound: 412
1610.80/1611.36	c current bound: 412
1611.83/1612.40	c current bound: 412
1612.86/1613.42	c current bound: 412
1613.89/1614.45	c current bound: 412
1614.92/1615.49	c current bound: 412
1615.94/1616.49	c current bound: 412
1616.98/1617.53	c current bound: 412
1618.01/1618.56	c current bound: 412
1619.02/1619.58	c current bound: 412
1620.06/1620.61	c current bound: 412
1621.07/1621.62	c current bound: 412
1622.10/1622.65	c current bound: 412
1623.11/1623.67	c current bound: 412
1624.25/1624.71	c current bound: 412
1625.23/1625.71	c current bound: 412
1626.15/1626.71	c current bound: 412
1627.19/1627.73	c current bound: 412
1628.20/1628.76	c current bound: 412
1629.20/1629.76	c current bound: 412
1630.23/1630.78	c current bound: 412
1631.24/1631.78	c current bound: 412
1632.26/1632.81	c current bound: 412
1633.29/1633.84	c current bound: 412
1634.32/1634.87	c current bound: 412
1635.33/1635.87	c current bound: 412
1636.36/1636.91	c current bound: 412
1637.40/1637.94	c current bound: 412
1638.45/1638.98	c current bound: 412
1639.54/1640.01	c current bound: 412
1640.47/1641.01	c current bound: 412
1641.50/1642.04	c current bound: 412
1642.51/1643.05	c current bound: 412
1643.54/1644.08	c current bound: 412
1644.58/1645.12	c current bound: 412
1645.60/1646.14	c current bound: 412
1646.62/1647.17	c current bound: 412
1647.65/1648.19	c current bound: 412
1648.66/1649.19	c current bound: 412
1649.67/1650.22	c current bound: 412
1650.67/1651.22	c current bound: 412
1651.72/1652.26	c current bound: 412
1652.74/1653.27	c current bound: 412
1653.75/1654.30	c current bound: 412
1654.78/1655.33	c current bound: 412
1655.79/1656.34	c current bound: 412
1656.82/1657.37	c current bound: 412
1657.84/1658.39	c current bound: 412
1658.95/1659.40	c current bound: 412
1659.86/1660.40	c current bound: 412
1660.85/1661.41	c current bound: 412
1661.85/1662.41	c current bound: 412
1662.90/1663.44	c current bound: 412
1663.93/1664.47	c current bound: 412
1665.04/1665.50	c current bound: 412
1665.95/1666.51	c current bound: 412
1667.04/1667.53	c current bound: 412
1667.98/1668.53	c current bound: 412
1668.99/1669.54	c current bound: 412
1670.01/1670.57	c current bound: 412
1671.04/1671.59	c current bound: 412
1672.07/1672.62	c current bound: 412
1673.11/1673.65	c current bound: 412
1674.11/1674.67	c current bound: 412
1675.15/1675.70	c current bound: 412
1676.15/1676.71	c current bound: 412
1677.19/1677.74	c current bound: 412
1678.22/1678.77	c current bound: 412
1679.35/1679.80	c current bound: 412
1680.36/1680.80	c current bound: 412
1681.35/1681.83	c current bound: 412
1682.30/1682.85	c current bound: 412
1683.30/1683.86	c current bound: 412
1684.33/1684.88	c current bound: 412
1685.33/1685.88	c current bound: 412
1686.36/1686.91	c current bound: 412
1687.40/1687.94	c current bound: 412
1688.42/1688.98	c current bound: 412
1689.46/1690.01	c current bound: 412
1690.49/1691.04	c current bound: 412
1691.52/1692.07	c current bound: 412
1692.64/1693.10	c current bound: 412
1693.57/1694.13	c current bound: 412
1694.61/1695.16	c current bound: 412
1695.64/1696.18	c current bound: 412
1696.75/1697.20	c current bound: 412
1697.68/1698.23	c current bound: 412
1698.70/1699.26	c current bound: 412
1699.73/1700.29	c current bound: 412
1700.76/1701.32	c current bound: 412
1701.80/1702.37	c current bound: 412
1702.92/1703.40	c current bound: 412
1703.83/1704.41	c current bound: 412
1704.86/1705.43	c current bound: 412
1705.88/1706.46	c current bound: 412
1706.91/1707.48	c current bound: 412
1708.03/1708.50	c current bound: 412
1709.02/1709.50	c current bound: 412
1709.93/1710.50	c current bound: 412
1710.93/1711.50	c current bound: 412
1711.95/1712.53	c current bound: 412
1712.99/1713.56	c current bound: 412
1714.02/1714.58	c current bound: 412
1715.01/1715.59	c current bound: 412
1716.01/1716.58	c current bound: 412
1717.04/1717.62	c current bound: 412
1718.08/1718.64	c current bound: 412
1719.09/1719.65	c current bound: 412
1720.10/1720.67	c current bound: 412
1721.24/1721.70	c current bound: 412
1722.15/1722.73	c current bound: 412
1723.19/1723.76	c current bound: 412
1724.22/1724.76	c current bound: 412
1725.21/1725.78	c current bound: 412
1726.25/1726.81	c current bound: 412
1727.28/1727.84	c current bound: 412
1728.29/1728.86	c current bound: 412
1729.29/1729.86	c current bound: 412
1730.34/1730.89	c current bound: 412
1731.33/1731.90	c current bound: 412
1732.32/1732.89	c current bound: 412
1733.37/1733.93	c current bound: 412
1734.40/1734.96	c current bound: 412
1735.44/1736.00	c current bound: 412
1736.46/1737.03	c current bound: 412
1737.49/1738.05	c current bound: 412
1738.54/1739.07	c current bound: 412
1739.52/1740.08	c current bound: 412
1740.55/1741.11	c current bound: 412
1741.56/1742.12	c current bound: 412
1742.57/1743.13	c current bound: 412
1743.60/1744.16	c current bound: 412
1744.62/1745.17	c current bound: 412
1745.62/1746.17	c current bound: 412
1746.63/1747.18	c current bound: 412
1747.64/1748.18	c current bound: 412
1748.75/1749.20	c current bound: 412
1749.76/1750.20	c current bound: 412
1750.66/1751.21	c current bound: 412
1751.74/1752.24	c current bound: 412
1752.70/1753.26	c current bound: 412
1753.70/1754.25	c current bound: 412
1754.71/1755.26	c current bound: 412
1755.70/1756.26	c current bound: 412
1756.74/1757.29	c current bound: 412
1757.75/1758.30	c current bound: 412
1758.78/1759.34	c current bound: 412
1759.80/1760.36	c current bound: 412
1760.83/1761.39	c current bound: 412
1761.94/1762.40	c current bound: 412
1762.96/1763.40	c current bound: 412
1763.86/1764.41	c current bound: 412
1764.95/1765.42	c current bound: 412
1765.87/1766.43	c current bound: 412
1766.90/1767.46	c current bound: 412
1767.91/1768.47	c current bound: 412
1769.05/1769.50	c current bound: 412
1769.98/1770.54	c current bound: 412
1771.00/1771.54	c current bound: 412
1772.01/1772.57	c current bound: 412
1773.15/1773.60	c current bound: 412
1774.06/1774.62	c current bound: 412
1775.08/1775.65	c current bound: 412
1776.10/1776.66	c current bound: 412
1777.10/1777.66	c current bound: 412
1778.13/1778.67	c current bound: 412
1779.24/1779.70	c current bound: 412
1780.18/1780.73	c current bound: 412
1781.21/1781.76	c current bound: 412
1782.24/1782.79	c current bound: 412
1783.35/1783.80	c current bound: 412
1784.26/1784.83	c current bound: 412
1785.29/1785.83	c current bound: 412
1786.31/1786.86	c current bound: 412
1787.32/1787.87	c current bound: 412
1788.34/1788.94	c current bound: 412
1789.37/1789.96	c current bound: 412
1790.39/1790.98	c current bound: 412
1791.41/1792.00	c current bound: 412
1792.44/1793.03	c current bound: 412
1793.50/1794.06	c current bound: 412
1794.51/1795.09	c current bound: 412
1795.53/1796.12	c current bound: 412
1796.55/1797.15	c current bound: 412
1797.60/1798.18	c current bound: 412
1798.52/1799.01	./satsolver.sh: line 5: 21048 Terminated              ./glucose $1 > $2 2> /dev/null
1798.52/1799.01	c error: unexpected solver exit code
1798.52/1799.01	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-3715975-1338221218/watcher-3715975-1338221218 -o /tmp/evaluation-result-3715975-1338221218/solver-3715975-1338221218 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715975-1338221218.wbo 1488834832 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 7288
/proc/meminfo: memFree=29607540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0

[startup+0.0804991 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 7288
/proc/meminfo: memFree=29607540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100297 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 7288
/proc/meminfo: memFree=29607540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300309 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 7288
/proc/meminfo: memFree=29607540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700231 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 7288
/proc/meminfo: memFree=29607540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.02 2.02 1.96 3/181 7292
/proc/meminfo: memFree=29564396/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=6308 CPUtime=1.04 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 2608 10037 0 0 12 0 78 14 20 0 1 0 288247229 6459392 926 33554432000 4194304 5990268 140734563015136 140734563009376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 1577 926 157 439 0 1134 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 15456

[startup+3.1003 s]
/proc/loadavg: 2.02 2.02 1.96 2/181 7299
/proc/meminfo: memFree=29599044/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=2.91 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 3773 24323 0 0 14 4 256 17 20 0 1 0 288247229 10293248 1848 33554432000 4194304 5990268 140734563015136 140734563006032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1848 179 439 0 2070 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 19200

[startup+6.3003 s]
/proc/loadavg: 2.02 2.02 1.96 3/181 7330
/proc/meminfo: memFree=29585248/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=6.12 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 8490 62868 0 0 21 5 549 37 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 19200

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.96 3/181 7372
/proc/meminfo: memFree=29578692/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=12.21 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 15576 126588 0 0 31 6 1119 65 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 19200

[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 1.97 3/181 7477
/proc/meminfo: memFree=29579792/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=25.25 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 29756 257852 0 0 50 10 2340 125 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 19200

[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 1.97 3/181 7673
/proc/meminfo: memFree=29579652/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=50.95 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) R 7288 7288 20162 0 -1 4202496 59892 534458 0 0 93 17 4736 249 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563007120 5042529 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 19200

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.97 3/181 8080
/proc/meminfo: memFree=29584352/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=101.97 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 119504 1079917 0 0 177 30 9489 501 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=8079] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8079/stat : 8079 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288257440 9367552 267 33554432000 4194304 5064252 140733195308656 140733195307568 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8079/statm: 2287 267 226 213 0 72 0
[pid=8080] ppid=8079 vsize=20208 CPUtime=0.19 cores=1,3,5,7
/proc/8080/stat : 8080 (glucose) R 8079 7288 20162 0 -1 4202496 4040 0 0 0 18 1 0 0 20 0 1 0 288257440 20692992 4295 33554432000 4194304 5208918 140734283272272 140733195307592 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8080/statm: 5052 4295 95 248 0 4801 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 48556

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/181 8535
/proc/meminfo: memFree=29579540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=162.15 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) R 7288 7288 20162 0 -1 4202496 188523 1720522 0 0 274 47 15108 786 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563007120 5042551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 19200

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/182 9002
/proc/meminfo: memFree=29577456/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=221.48 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 257681 2359195 0 0 371 64 20641 1072 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=9001] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9001/stat : 9001 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288269394 9367552 266 33554432000 4194304 5064252 140735698362464 140735698361376 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9001/statm: 2287 266 226 213 0 72 0
[pid=9002] ppid=9001 vsize=20776 CPUtime=0.64 cores=1,3,5,7
/proc/9002/stat : 9002 (glucose) R 9001 7288 20162 0 -1 4202496 4181 0 0 0 63 1 0 0 20 0 1 0 288269394 21274624 4274 33554432000 4194304 5208918 140733623127488 140735698361400 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9002/statm: 5194 4274 104 248 0 4943 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 49124

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 9464
/proc/meminfo: memFree=29582140/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=281.75 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 327360 3003878 0 0 469 81 26253 1372 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 281.75
Current children cumulated vsize (KiB) 19200

[startup+342.3 s]
/proc/loadavg: 1.96 2.00 1.97 3/182 9929
/proc/meminfo: memFree=29587856/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1344.7 s]
/proc/loadavg: 1.98 1.97 1.96 3/181 17682
/proc/meminfo: memFree=29574788/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1343.62 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) R 7288 7288 20162 0 -1 4202496 1555600 14339845 0 0 2200 373 125324 6465 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 0 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 1343.62
Current children cumulated vsize (KiB) 19200
#
############


[startup+1362.3 s]
/proc/loadavg: 1.91 1.95 1.96 3/181 17815
/proc/meminfo: memFree=29569880/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1361.98 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1576858 14536661 0 0 2230 378 127040 6550 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 19200

[startup+1422.31 s]
/proc/loadavg: 1.97 1.96 1.96 3/182 18287
/proc/meminfo: memFree=29575236/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1422.09 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1645364 15175722 0 0 2327 395 132649 6838 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006032 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 19200

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/181 18756
/proc/meminfo: memFree=29575832/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1481.23 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1715035 15805327 0 0 2425 411 138158 7129 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=18755] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18755/stat : 18755 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288395370 9367552 266 33554432000 4194304 5064252 140733635165904 140733635164816 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18755/statm: 2287 266 226 213 0 72 0
[pid=18756] ppid=18755 vsize=23864 CPUtime=0.87 cores=1,3,5,7
/proc/18756/stat : 18756 (glucose) R 18755 7288 20162 0 -1 4202496 5708 0 0 0 86 1 0 0 20 0 1 0 288395370 24436736 5295 33554432000 4194304 5208918 140735263151872 140735262101560 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18756/statm: 5966 5295 106 248 0 5715 0
Current children cumulated CPU time (s) 1482.1
Current children cumulated vsize (KiB) 52212

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/182 19264
/proc/meminfo: memFree=29455352/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1541.36 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1784714 16447007 0 0 2523 428 143771 7414 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=19263] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19263/stat : 19263 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288401414 9367552 267 33554432000 4194304 5064252 140735233463744 140735233462656 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19263/statm: 2287 267 226 213 0 72 0
[pid=19264] ppid=19263 vsize=18800 CPUtime=0.43 cores=1,3,5,7
/proc/19264/stat : 19264 (glucose) R 19263 7288 20162 0 -1 4202496 3773 0 0 0 43 0 0 0 20 0 1 0 288401414 19251200 4031 33554432000 4194304 5208918 140735589346352 140735233462680 4229347 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19264/statm: 4700 4031 104 248 0 4449 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 47148

[startup+1602.3 s]
/proc/loadavg: 2.05 1.99 1.96 3/181 19670
/proc/meminfo: memFree=29416300/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1601.72 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1854393 17089175 0 0 2621 445 149408 7698 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 19200

[startup+1662.3 s]
/proc/loadavg: 2.02 1.99 1.96 3/181 20091
/proc/meminfo: memFree=29430540/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1660.98 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1922891 17721866 0 0 2718 461 154938 7981 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=20090] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20090/stat : 20090 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288413371 9367552 266 33554432000 4194304 5064252 140733704756032 140733704754944 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20090/statm: 2287 266 226 213 0 72 0
[pid=20091] ppid=20090 vsize=23860 CPUtime=0.86 cores=1,3,5,7
/proc/20091/stat : 20091 (glucose) R 20090 7288 20162 0 -1 4202496 5192 0 0 0 85 1 0 0 20 0 1 0 288413371 24432640 5063 33554432000 4194304 5208918 140735820250096 140735820249496 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20091/statm: 5965 5063 106 248 0 5714 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 52208

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/181 20509
/proc/meminfo: memFree=29434436/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1721.25 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 1992570 18369220 0 0 2815 480 160560 8270 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 19200

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/181 20929
/proc/meminfo: memFree=29411140/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1781.33 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 2062249 19007594 0 0 2914 498 166171 8550 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=20928] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20928/stat : 20928 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288425407 9367552 266 33554432000 4194304 5064252 140734641441856 140734641440768 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20928/statm: 2287 266 226 213 0 72 0
[pid=20929] ppid=20928 vsize=18796 CPUtime=0.51 cores=1,3,5,7
/proc/20929/stat : 20929 (glucose) R 20928 7288 20162 0 -1 4202496 4693 0 0 0 50 1 0 0 20 0 1 0 288425407 19247104 4071 33554432000 4194304 5208918 140736012223248 140734641440792 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20929/statm: 4699 4071 104 248 0 4448 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 47144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799 s]
/proc/loadavg: 2.00 1.99 1.96 4/181 21048
/proc/meminfo: memFree=29434976/32873852 swapFree=7624/7624
[pid=7288] ppid=7286 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7288/stat : 7288 (npSolver-wbo-It) S 7286 7288 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288247228 9367552 274 33554432000 4194304 5064252 140734513945664 140734513944576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7288/statm: 2287 274 233 213 0 72 0
[pid=7289] ppid=7288 vsize=10052 CPUtime=1797.73 cores=1,3,5,7
/proc/7289/stat : 7289 (npSolver-wbo) S 7288 7288 20162 0 -1 4202496 2081145 19185627 0 0 2941 502 167702 8628 20 0 1 0 288247229 10293248 1849 33554432000 4194304 5990268 140734563015136 140734563006544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7289/statm: 2513 1849 180 439 0 2070 0
[pid=21047] ppid=7289 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21047/stat : 21047 (satsolver.sh) S 7289 7288 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288427049 9367552 267 33554432000 4194304 5064252 140734466533184 140734466532096 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21047/statm: 2287 267 226 213 0 72 0
[pid=21048] ppid=21047 vsize=19436 CPUtime=0.79 cores=1,3,5,7
/proc/21048/stat : 21048 (glucose) R 21047 7288 20162 0 -1 4202496 4300 0 0 0 79 0 0 0 20 0 1 0 288427049 19902464 4327 33554432000 4194304 5208918 140734589636192 140734589634040 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21048/statm: 4859 4327 104 248 0 4608 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (KiB) 47784

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1799.01
CPU time (s): 1800.12
CPU user time (s): 1708.79
CPU system time (s): 91.3321
CPU usage (%): 100.062
Max. virtual memory (cumulated for all children) (KiB): 65500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.23
system time used= 91.3221
maximum resident set size= 39772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21272063
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8160240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214998
involuntary context switches= 19939

runsolver used 2.72358 second user time and 7.29989 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-28 18:06:58
IDJOB=3715975
IDBENCH=79169
IDSOLVER=2297
FILE ID=node131/3715975-1338221218
RUNJOBID= node131-1338189901-20180
PBS_JOBID= 14624570
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 19fe712a4f6ee0b978bb364f3985a5e4
RANDOM SEED=1488834832

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29608540 kB
Buffers:          511892 kB
Cached:          1879184 kB
SwapCached:         2328 kB
Active:           774032 kB
Inactive:        1644704 kB
Active(anon):      25820 kB
Inactive(anon):      976 kB
Active(file):     748212 kB
Inactive(file):  1643728 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099048 kB
Dirty:              8988 kB
Writeback:             0 kB
AnonPages:         51924 kB
Mapped:            15268 kB
Shmem:                 0 kB
Slab:             708492 kB
SReclaimable:     150240 kB
SUnreclaim:       558252 kB
KernelStack:        1512 kB
PageTables:         3804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     148228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node131 at 2012-05-28 18:36:57