Trace number 3753107

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data

0.00/0.02	c run usual solver
0.00/0.05	o 11227
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 57.2577
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 5613
0.97/1.05	c current bound: 5613
1.74/2.04	c current bound: 5613
2.75/3.03	c current bound: 5613
4.00/4.14	c current bound: 5613
4.72/5.14	c current bound: 5613
5.72/6.14	c current bound: 5613
6.72/7.14	c current bound: 5613
7.72/8.13	c current bound: 5613
8.71/9.13	c current bound: 5613
9.70/10.12	c current bound: 5613
10.93/11.11	c current bound: 5613
11.94/12.11	c current bound: 5613
13.21/13.11	c current bound: 5613
13.68/14.09	c current bound: 5613
14.68/15.08	c current bound: 5613
15.67/16.07	c current bound: 5613
16.66/17.07	c current bound: 5613
17.66/18.06	c current bound: 5613
18.63/19.05	c current bound: 5613
19.62/20.04	c current bound: 5613
20.84/21.04	c current bound: 5613
21.85/22.03	c current bound: 5613
22.83/23.02	c current bound: 5613
23.59/24.02	c current bound: 5613
24.59/25.02	c current bound: 5613
25.59/26.01	c current bound: 5613
26.86/27.00	c current bound: 5613
27.58/27.99	c current bound: 5613
28.57/28.98	c current bound: 5613
29.57/29.98	c current bound: 5613
30.55/30.97	c current bound: 5613
31.75/31.96	c current bound: 5613
32.74/32.95	c current bound: 5613
33.53/33.97	c current bound: 5613
34.51/34.96	c current bound: 5613
35.51/35.96	c current bound: 5613
36.52/36.95	c current bound: 5613
37.51/37.94	c current bound: 5613
38.51/39.16	c current bound: 5613
39.50/40.15	c current bound: 5613
40.49/41.14	c current bound: 5613
41.48/42.13	c current bound: 5613
42.48/43.12	c current bound: 5613
43.71/44.11	c current bound: 5613
44.73/45.11	c current bound: 5613
45.45/46.10	c current bound: 5613
46.43/47.09	c current bound: 5613
47.43/48.08	c current bound: 5613
48.42/49.08	c current bound: 5613
49.42/50.07	c current bound: 5613
50.42/51.06	c current bound: 5613
51.43/52.06	c current bound: 5613
52.42/53.05	c current bound: 5613
53.67/54.16	c current bound: 5613
54.60/55.14	c current bound: 5613
55.60/56.15	c current bound: 5613
56.62/57.14	c current bound: 5613
57.38/58.12	c current bound: 5613
58.36/59.13	c current bound: 5613
59.36/60.12	c current bound: 5613
60.34/61.11	c current bound: 5613
61.34/62.10	c current bound: 5613
62.32/63.09	c current bound: 5613
63.32/64.21	c current bound: 5613
64.32/65.21	c current bound: 5613
65.58/66.20	c current bound: 5613
66.47/67.19	c current bound: 5613
67.48/68.18	c current bound: 5613
68.54/69.43	c current bound: 5613
69.52/70.42	c current bound: 5613
70.51/71.41	c current bound: 5613
71.27/72.40	c current bound: 5613
72.26/73.39	c current bound: 5613
73.25/74.39	c current bound: 5613
74.24/75.38	c current bound: 5613
75.24/76.38	c current bound: 5613
76.22/77.37	c current bound: 5613
77.23/78.36	c current bound: 5613
78.48/79.42	c current bound: 5613
79.44/80.41	c current bound: 5613
80.47/81.40	c current bound: 5613
81.19/82.40	c current bound: 5613
82.19/83.38	c current bound: 5613
83.16/84.51	c current bound: 5613
84.15/85.50	c current bound: 5613
85.15/86.49	c current bound: 5613
86.14/87.48	c current bound: 5613
87.12/88.47	c current bound: 5613
88.10/89.80	c current bound: 5613
89.10/90.80	c current bound: 5613
90.38/91.80	c current bound: 5613
91.09/92.78	c current bound: 5613
92.08/93.77	c current bound: 5613
93.26/94.76	c current bound: 5613
94.27/95.76	c current bound: 5613
95.29/96.75	c current bound: 5613
96.07/97.74	c current bound: 5613
97.06/98.73	c current bound: 5613
98.05/99.72	c current bound: 5613
99.05/100.71	c current bound: 5613
100.03/101.70	c current bound: 5613
101.29/102.70	c current bound: 5613
102.02/103.69	c current bound: 5613
103.01/104.68	c current bound: 5613
104.20/105.67	c current bound: 5613
105.20/106.66	c current bound: 5613
105.99/107.67	c current bound: 5613
107.01/108.66	c current bound: 5613
108.00/109.69	c current bound: 5613
108.99/110.68	c current bound: 5613
109.97/111.66	c current bound: 5613
110.97/112.65	c current bound: 5613
111.95/113.64	c current bound: 5613
112.94/114.80	c current bound: 5613
113.93/115.79	c current bound: 5613
114.93/116.78	c current bound: 5613
116.12/117.77	c current bound: 5613
117.11/118.76	c current bound: 5613
118.16/119.96	c current bound: 5613
119.10/120.96	c current bound: 5613
119.89/121.95	c current bound: 5613
120.89/122.94	c current bound: 5613
121.87/123.94	c current bound: 5613
122.88/124.93	c current bound: 5613
123.87/125.92	c current bound: 5613
124.85/126.91	c current bound: 5613
126.12/127.90	c current bound: 5613
126.83/128.89	c current bound: 5613
128.01/129.88	c current bound: 5613
129.01/130.87	c current bound: 5613
129.82/131.87	c current bound: 5613
130.82/132.86	c current bound: 5613
131.81/133.85	c current bound: 5613
133.06/134.97	c current bound: 5613
133.78/135.96	c current bound: 5613
134.78/136.95	c current bound: 5613
135.77/137.94	c current bound: 5613
136.77/138.94	c current bound: 5613
137.77/139.93	c current bound: 5613
138.99/140.93	c current bound: 5613
140.00/141.93	c current bound: 5613
141.00/142.92	c current bound: 5613
141.75/143.91	c current bound: 5613
142.74/145.03	c current bound: 5613
143.74/146.02	c current bound: 5613
144.74/147.02	c current bound: 5613
145.73/148.01	c current bound: 5613
146.99/149.00	c current bound: 5613
147.71/150.09	c current bound: 5613
148.70/151.08	c current bound: 5613
149.71/152.08	c current bound: 5613
150.70/153.07	c current bound: 5613
151.89/154.06	c current bound: 5613
152.94/155.18	c current bound: 5613
153.87/156.17	c current bound: 5613
154.66/157.16	c current bound: 5613
155.66/158.15	c current bound: 5613
156.66/159.14	c current bound: 5613
157.92/160.23	c current bound: 5613
158.64/161.23	c current bound: 5613
159.64/162.21	c current bound: 5613
160.62/163.22	c current bound: 5613
161.62/164.21	c current bound: 5613
162.63/165.25	c current bound: 5613
163.85/166.24	c current bound: 5613
164.84/167.23	c current bound: 5613
165.85/168.22	c current bound: 5613
166.60/169.21	c current bound: 5613
167.59/170.24	c current bound: 5613
168.58/171.23	c current bound: 5613
169.57/172.22	c current bound: 5613
170.56/173.22	c current bound: 5613
171.57/174.21	c current bound: 5613
172.56/175.37	c current bound: 5613
173.55/176.35	c current bound: 5613
174.55/177.35	c current bound: 5613
175.75/178.34	c current bound: 5613
176.75/179.34	c current bound: 5613
177.77/180.41	c current bound: 5613
178.78/181.41	c current bound: 5613
179.51/182.39	c current bound: 5613
180.49/183.39	c current bound: 5613
181.50/184.39	c current bound: 5613
182.49/185.49	c current bound: 5613
183.50/186.49	c current bound: 5613
184.50/187.48	c current bound: 5613
185.49/188.47	c current bound: 5613
186.48/189.47	c current bound: 5613
187.74/190.57	c current bound: 5613
188.67/191.56	c current bound: 5613
189.68/192.55	c current bound: 5613
190.68/193.55	c current bound: 5613
191.47/194.54	c current bound: 5613
192.46/195.54	c current bound: 5613
193.45/196.53	c current bound: 5613
194.44/197.53	c current bound: 5613
195.43/198.52	c current bound: 5613
196.44/199.51	c current bound: 5613
197.70/200.66	c current bound: 5613
198.43/201.66	c current bound: 5613
199.42/202.66	c current bound: 5613
200.63/203.65	c current bound: 5613
201.63/204.64	c current bound: 5613
202.68/205.80	c current bound: 5613
203.57/206.79	c current bound: 5613
204.40/207.78	c current bound: 5613
205.39/208.78	c current bound: 5613
206.39/209.78	c current bound: 5613
207.39/210.77	c current bound: 5613
208.38/211.76	c current bound: 5613
209.37/212.76	c current bound: 5613
210.36/213.75	c current bound: 5613
211.35/214.74	c current bound: 5613
212.63/215.85	c current bound: 5613
213.57/216.84	c current bound: 5613
214.58/217.84	c current bound: 5613
215.57/218.83	c current bound: 5613
216.33/219.82	c current bound: 5613
217.59/220.91	c current bound: 5613
218.32/221.90	c current bound: 5613
219.58/222.90	c current bound: 5613
220.30/223.89	c current bound: 5613
221.30/224.87	c current bound: 5613
222.29/225.96	c current bound: 5613
223.29/226.96	c current bound: 5613
224.28/227.95	c current bound: 5613
225.48/228.94	c current bound: 5613
226.48/229.93	c current bound: 5613
227.50/230.94	c current bound: 5613
228.26/231.93	c current bound: 5613
229.25/232.92	c current bound: 5613
230.25/233.92	c current bound: 5613
231.23/234.90	c current bound: 5613
232.22/235.95	c current bound: 5613
233.22/236.94	c current bound: 5613
234.21/237.93	c current bound: 5613
235.20/238.93	c current bound: 5613
236.44/239.92	c current bound: 5613
237.45/240.98	c current bound: 5613
238.39/241.97	c current bound: 5613
239.20/242.97	c current bound: 5613
240.18/243.96	c current bound: 5613
241.17/244.95	c current bound: 5613
242.45/246.11	c current bound: 5613
243.18/247.10	c current bound: 5613
244.16/248.09	c current bound: 5613
245.16/249.09	c current bound: 5613
246.17/250.08	c current bound: 5613
247.15/251.08	c current bound: 5613
248.34/252.06	c current bound: 5613
249.34/253.06	c current bound: 5613
250.33/254.06	c current bound: 5613
251.13/255.05	c current bound: 5613
252.40/256.10	c current bound: 5613
253.12/257.09	c current bound: 5613
254.11/258.08	c current bound: 5613
255.11/259.07	c current bound: 5613
256.10/260.06	c current bound: 5613
257.37/261.15	c current bound: 5613
258.09/262.14	c current bound: 5613
259.10/263.13	c current bound: 5613
260.32/264.12	c current bound: 5613
261.32/265.12	c current bound: 5613
262.32/266.26	c current bound: 5613
263.27/267.25	c current bound: 5613
264.05/268.25	c current bound: 5613
265.04/269.24	c current bound: 5613
266.03/270.23	c current bound: 5613
267.03/271.25	c current bound: 5613
268.03/272.24	c current bound: 5613
269.02/273.23	c current bound: 5613
270.01/274.22	c current bound: 5613
271.00/275.23	c current bound: 5613
272.28/276.37	c current bound: 5613
273.20/277.36	c current bound: 5613
274.20/278.34	c current bound: 5613
275.21/279.34	c current bound: 5613
275.97/280.33	c current bound: 5613
276.97/281.32	c current bound: 5613
277.96/282.31	c current bound: 5613
278.95/283.29	c current bound: 5613
279.94/284.29	c current bound: 5613
280.95/285.28	c current bound: 5613
281.93/286.44	c current bound: 5613
282.94/287.43	c current bound: 5613
283.92/288.43	c current bound: 5613
285.15/289.43	c current bound: 5613
286.16/290.42	c current bound: 5613
287.15/291.49	c current bound: 5613
287.90/292.49	c current bound: 5613
288.89/293.48	c current bound: 5613
289.89/294.47	c current bound: 5613
290.89/295.46	c current bound: 5613
292.16/296.60	c current bound: 5613
292.88/297.59	c current bound: 5613
293.87/298.58	c current bound: 5613
294.87/299.58	c current bound: 5613
295.86/300.57	c current bound: 5613
297.06/301.59	c current bound: 5613
298.03/302.59	c current bound: 5613
299.04/303.58	c current bound: 5613
299.85/304.57	c current bound: 5613
300.84/305.56	c current bound: 5613
302.11/306.72	c current bound: 5613
302.82/307.71	c current bound: 5613
303.82/308.71	c current bound: 5613
304.83/309.70	c current bound: 5613
306.09/310.70	c current bound: 5613
306.82/311.87	c current bound: 5613
307.81/312.87	c current bound: 5613
308.79/313.86	c current bound: 5613
309.79/314.85	c current bound: 5613
311.00/315.84	c current bound: 5613
312.01/316.84	c current bound: 5613
312.99/317.83	c current bound: 5613
313.76/318.82	c current bound: 5613
314.76/319.83	c current bound: 5613
315.76/320.81	c current bound: 5613
316.75/321.87	c current bound: 5613
317.74/322.86	c current bound: 5613
318.72/323.85	c current bound: 5613
319.73/324.85	c current bound: 5613
320.72/325.84	c current bound: 5613
321.99/326.92	c current bound: 5613
322.96/327.91	c current bound: 5613
323.86/328.90	c current bound: 5613
324.71/329.89	c current bound: 5613
325.69/330.88	c current bound: 5613
326.95/332.04	c current bound: 5613
327.67/333.03	c current bound: 5613
328.66/334.02	c current bound: 5613
329.66/335.01	c current bound: 5613
330.64/336.01	c current bound: 5613
331.65/337.01	c current bound: 5613
332.66/338.00	c current bound: 5613
333.65/338.99	c current bound: 5613
334.81/339.98	c current bound: 5613
335.81/340.97	c current bound: 5613
336.88/342.12	c current bound: 5613
337.86/343.11	c current bound: 5613
338.61/344.11	c current bound: 5613
339.88/345.10	c current bound: 5613
340.88/346.10	c current bound: 5613
341.60/347.11	c current bound: 5613
342.60/348.11	c current bound: 5613
343.58/349.10	c current bound: 5613
344.57/350.10	c current bound: 5613
345.57/351.09	c current bound: 5613
346.83/352.14	c current bound: 5613
347.79/353.13	c current bound: 5613
348.79/354.13	c current bound: 5613
349.55/355.12	c current bound: 5613
350.54/356.11	c current bound: 5613
351.54/357.35	c current bound: 5613
352.52/358.35	c current bound: 5613
353.52/359.34	c current bound: 5613
354.52/360.34	c current bound: 5613
355.53/361.34	c current bound: 5613
356.53/362.34	c current bound: 5613
357.53/363.34	c current bound: 5613
358.53/364.33	c current bound: 5613
359.74/365.32	c current bound: 5613
360.75/366.32	c current bound: 5613
361.75/367.38	c current bound: 5613
362.49/368.37	c current bound: 5613
363.49/369.36	c current bound: 5613
364.48/370.36	c current bound: 5613
365.47/371.35	c current bound: 5613
366.46/372.45	c current bound: 5613
367.47/373.45	c current bound: 5613
368.46/374.45	c current bound: 5613
369.45/375.45	c current bound: 5613
370.45/376.45	c current bound: 5613
371.71/377.55	c current bound: 5613
372.64/378.54	c current bound: 5613
373.66/379.53	c current bound: 5613
374.66/380.53	c current bound: 5613
375.42/381.53	c current bound: 5613
376.69/382.62	c current bound: 5613
377.42/383.61	c current bound: 5613
378.42/384.60	c current bound: 5613
379.67/385.60	c current bound: 5613
380.40/386.60	c current bound: 5613
381.40/387.60	c current bound: 5613
382.66/388.60	c current bound: 5613
383.38/389.59	c current bound: 5613
384.56/390.58	c current bound: 5613
385.56/391.57	c current bound: 5613
386.62/392.74	c current bound: 5613
387.58/393.74	c current bound: 5613
388.34/394.73	c current bound: 5613
389.33/395.72	c current bound: 5613
390.33/396.72	c current bound: 5613
391.32/397.71	c current bound: 5613
392.31/398.70	c current bound: 5613
393.30/399.70	c current bound: 5613
394.56/400.70	c current bound: 5613
395.28/401.68	c current bound: 5613
396.53/402.78	c current bound: 5613
397.45/403.78	c current bound: 5613
398.45/404.77	c current bound: 5613
399.25/405.76	c current bound: 5613
400.24/406.75	c current bound: 5613
401.23/407.79	c current bound: 5613
402.22/408.79	c current bound: 5613
403.22/409.78	c current bound: 5613
404.22/410.79	c current bound: 5613
405.21/411.78	c current bound: 5613
406.47/412.90	c current bound: 5613
407.46/413.90	c current bound: 5613
408.19/414.89	c current bound: 5613
409.36/415.88	c current bound: 5613
410.36/416.87	c current bound: 5613
411.44/418.13	c current bound: 5613
412.40/419.12	c current bound: 5613
413.41/420.11	c current bound: 5613
414.15/421.10	c current bound: 5613
415.41/422.10	c current bound: 5613
416.13/423.10	c current bound: 5613
417.39/424.10	c current bound: 5613
418.11/425.09	c current bound: 5613
419.11/426.09	c current bound: 5613
420.12/427.08	c current bound: 5613
421.10/428.08	c current bound: 5613
422.30/429.07	c current bound: 5613
423.29/430.06	c current bound: 5613
424.06/431.04	c current bound: 5613
425.05/432.03	c current bound: 5613
426.05/433.02	c current bound: 5613
427.04/434.02	c current bound: 5613
428.04/435.01	c current bound: 5613
429.03/436.01	c current bound: 5613
430.01/436.99	c current bound: 5613
431.01/438.06	c current bound: 5613
432.20/439.06	c current bound: 5613
433.20/440.05	c current bound: 5613
434.21/441.04	c current bound: 5613
434.97/442.03	c current bound: 5613
435.97/443.13	c current bound: 5613
436.96/444.12	c current bound: 5613
437.96/445.12	c current bound: 5613
438.96/446.12	c current bound: 5613
439.94/447.11	c current bound: 5613
440.96/448.17	c current bound: 5613
441.94/449.16	c current bound: 5613
442.93/450.16	c current bound: 5613
444.14/451.14	c current bound: 5613
445.14/452.14	c current bound: 5613
446.15/453.22	c current bound: 5613
447.14/454.21	c current bound: 5613
447.88/455.20	c current bound: 5613
448.87/456.20	c current bound: 5613
449.86/457.19	c current bound: 5613
450.86/458.42	c current bound: 5613
451.85/459.42	c current bound: 5613
452.85/460.41	c current bound: 5613
453.84/461.40	c current bound: 5613
455.11/462.40	c current bound: 5613
456.10/463.40	c current bound: 5613
456.83/464.39	c current bound: 5613
457.99/465.39	c current bound: 5613
459.00/466.39	c current bound: 5613
459.83/467.38	c current bound: 5613
460.81/468.37	c current bound: 5613
461.79/469.37	c current bound: 5613
462.79/470.36	c current bound: 5613
463.79/471.36	c current bound: 5613
464.77/472.35	c current bound: 5613
465.77/473.34	c current bound: 5613
466.76/474.34	c current bound: 5613
467.98/475.33	c current bound: 5613
468.99/476.32	c current bound: 5613
469.99/477.32	c current bound: 5613
470.73/478.31	c current bound: 5613
471.73/479.30	c current bound: 5613
472.98/480.30	c current bound: 5613
473.70/481.29	c current bound: 5613
474.70/482.28	c current bound: 5613
475.69/483.39	c current bound: 5613
476.68/484.38	c current bound: 5613
477.68/485.38	c current bound: 5613
478.67/486.37	c current bound: 5613
479.85/487.37	c current bound: 5613
480.92/488.47	c current bound: 5613
481.84/489.46	c current bound: 5613
482.64/490.45	c current bound: 5613
483.64/491.44	c current bound: 5613
484.62/492.43	c current bound: 5613
485.61/493.52	c current bound: 5613
486.60/494.53	c current bound: 5613
487.63/495.54	c current bound: 5613
488.62/496.53	c current bound: 5613
489.62/497.52	c current bound: 5613
490.61/498.54	c current bound: 5613
491.82/499.54	c current bound: 5613
492.84/500.53	c current bound: 5613
493.84/501.52	c current bound: 5613
494.59/502.52	c current bound: 5613
495.58/503.63	c current bound: 5613
496.57/504.62	c current bound: 5613
497.57/505.62	c current bound: 5613
498.56/506.62	c current bound: 5613
499.56/507.61	c current bound: 5613
500.56/508.68	c current bound: 5613
501.56/509.67	c current bound: 5613
502.55/510.66	c current bound: 5613
503.74/511.65	c current bound: 5613
504.74/512.65	c current bound: 5613
505.79/513.72	c current bound: 5613
506.75/514.71	c current bound: 5613
507.50/515.71	c current bound: 5613
508.50/516.71	c current bound: 5613
509.50/517.70	c current bound: 5613
510.50/518.73	c current bound: 5613
511.47/519.72	c current bound: 5613
512.46/520.72	c current bound: 5613
513.47/521.71	c current bound: 5613
514.46/522.71	c current bound: 5613
515.71/523.93	c current bound: 5613
516.45/524.92	c current bound: 5613
517.68/525.92	c current bound: 5613
518.71/526.91	c current bound: 5613
519.43/527.90	c current bound: 5613
520.42/528.90	c current bound: 5613
521.44/529.90	c current bound: 5613
522.44/530.90	c current bound: 5613
523.43/531.89	c current bound: 5613
524.44/532.89	c current bound: 5613
525.44/534.03	c current bound: 5613
526.43/535.03	c current bound: 5613
527.42/536.02	c current bound: 5613
528.42/537.01	c current bound: 5613
529.67/538.00	c current bound: 5613
530.64/539.02	c current bound: 5613
531.63/540.01	c current bound: 5613
532.38/541.00	c current bound: 5613
533.38/542.00	c current bound: 5613
534.38/543.00	c current bound: 5613
535.65/544.02	c current bound: 5613
536.38/545.01	c current bound: 5613
537.37/546.01	c current bound: 5613
538.62/547.00	c current bound: 5613
539.35/547.99	c current bound: 5613
540.59/549.15	c current bound: 5613
541.54/550.14	c current bound: 5613
542.56/551.13	c current bound: 5613
543.56/552.12	c current bound: 5613
544.32/553.11	c current bound: 5613
545.31/554.13	c current bound: 5613
546.30/555.13	c current bound: 5613
547.30/556.12	c current bound: 5613
548.30/557.12	c current bound: 5613
549.29/558.12	c current bound: 5613
550.29/559.27	c current bound: 5613
551.30/560.26	c current bound: 5613
552.29/561.26	c current bound: 5613
553.49/562.25	c current bound: 5613
554.50/563.24	c current bound: 5613
555.49/564.26	c current bound: 5613
556.26/565.26	c current bound: 5613
557.26/566.25	c current bound: 5613
558.25/567.24	c current bound: 5613
559.25/568.23	c current bound: 5613
560.23/569.35	c current bound: 5613
561.23/570.34	c current bound: 5613
562.23/571.34	c current bound: 5613
563.21/572.33	c current bound: 5613
564.21/573.32	c current bound: 5613
565.46/574.33	c current bound: 5613
566.44/575.32	c current bound: 5613
567.45/576.31	c current bound: 5613
568.19/577.30	c current bound: 5613
569.17/578.29	c current bound: 5613
570.17/579.38	c current bound: 5613
571.17/580.38	c current bound: 5613
572.17/581.38	c current bound: 5613
573.17/582.37	c current bound: 5613
574.16/583.36	c current bound: 5613
575.15/584.38	c current bound: 5613
576.15/585.37	c current bound: 5613
577.35/586.37	c current bound: 5613
578.35/587.36	c current bound: 5613
579.14/588.35	c current bound: 5613
580.12/589.34	c current bound: 5613
581.12/590.44	c current bound: 5613
582.11/591.44	c current bound: 5613
583.11/592.44	c current bound: 5613
584.11/593.43	c current bound: 5613
585.38/594.53	c current bound: 5613
586.09/595.53	c current bound: 5613
587.09/596.52	c current bound: 5613
588.08/597.51	c current bound: 5613
589.23/598.49	c current bound: 5613
590.33/599.60	c current bound: 5613
591.23/600.59	c current bound: 5613
592.05/601.58	c current bound: 5613
593.04/602.57	c current bound: 5613
594.03/603.56	c current bound: 5613
595.29/604.68	c current bound: 5613
596.02/605.67	c current bound: 5613
597.00/606.66	c current bound: 5613
598.00/607.65	c current bound: 5613
599.00/608.64	c current bound: 5613
599.99/609.64	c current bound: 5613
601.21/610.63	c current bound: 5613
602.22/611.62	c current bound: 5613
603.24/612.61	c current bound: 5613
603.99/613.61	c current bound: 5613
604.98/614.60	c current bound: 5613
606.25/615.60	c current bound: 5613
606.98/616.59	c current bound: 5613
607.95/617.58	c current bound: 5613
608.95/618.58	c current bound: 5613
609.95/619.57	c current bound: 5613
610.94/620.66	c current bound: 5613
612.13/621.65	c current bound: 5613
613.16/622.64	c current bound: 5613
614.16/623.63	c current bound: 5613
614.92/624.62	c current bound: 5613
615.91/625.63	c current bound: 5613
616.91/626.62	c current bound: 5613
617.89/627.61	c current bound: 5613
618.88/628.60	c current bound: 5613
619.88/629.59	c current bound: 5613
620.87/630.58	c current bound: 5613
622.04/631.56	c current bound: 5613
623.05/632.55	c current bound: 5613
624.04/633.54	c current bound: 5613
624.82/634.53	c current bound: 5613
625.81/635.52	c current bound: 5613
626.81/636.51	c current bound: 5613
627.80/637.51	c current bound: 5613
628.81/638.50	c current bound: 5613
630.07/639.50	c current bound: 5613
630.81/640.50	c current bound: 5613
631.79/641.49	c current bound: 5613
632.96/642.48	c current bound: 5613
633.97/643.47	c current bound: 5613
634.77/644.46	c current bound: 5613
635.77/645.45	c current bound: 5613
636.76/646.44	c current bound: 5613
637.75/647.43	c current bound: 5613
638.74/648.42	c current bound: 5613
639.74/649.42	c current bound: 5613
640.74/650.42	c current bound: 5613
641.74/651.41	c current bound: 5613
643.01/652.40	c current bound: 5613
643.89/653.39	c current bound: 5613
644.71/654.38	c current bound: 5613
645.70/655.37	c current bound: 5613
646.69/656.36	c current bound: 5613
647.68/657.35	c current bound: 5613
648.67/658.34	c current bound: 5613
649.67/659.34	c current bound: 5613
650.68/660.33	c current bound: 5613
651.68/661.33	c current bound: 5613
652.91/662.32	c current bound: 5613
653.92/663.30	c current bound: 5613
654.64/664.29	c current bound: 5613
655.89/665.43	c current bound: 5613
656.62/666.42	c current bound: 5613
657.63/667.41	c current bound: 5613
658.88/668.40	c current bound: 5613
659.60/669.39	c current bound: 5613
660.60/670.39	c current bound: 5613
661.60/671.39	c current bound: 5613
662.59/672.38	c current bound: 5613
663.58/673.37	c current bound: 5613
664.78/674.36	c current bound: 5613
665.84/675.41	c current bound: 5613
666.57/676.40	c current bound: 5613
667.83/677.40	c current bound: 5613
668.55/678.38	c current bound: 5613
669.54/679.38	c current bound: 5613
670.79/680.52	c current bound: 5613
671.53/681.51	c current bound: 5613
672.53/682.50	c current bound: 5613
673.52/683.49	c current bound: 5613
674.52/684.49	c current bound: 5613
675.51/685.54	c current bound: 5613
676.73/686.53	c current bound: 5613
677.73/687.52	c current bound: 5613
678.72/688.51	c current bound: 5613
679.46/689.50	c current bound: 5613
680.46/690.65	c current bound: 5613
681.45/691.64	c current bound: 5613
682.44/692.63	c current bound: 5613
683.42/693.63	c current bound: 5613
684.43/694.62	c current bound: 5613
685.43/695.63	c current bound: 5613
686.41/696.62	c current bound: 5613
687.41/697.61	c current bound: 5613
688.66/698.60	c current bound: 5613
689.56/699.59	c current bound: 5613
690.66/700.72	c current bound: 5613
691.63/701.72	c current bound: 5613
692.39/702.71	c current bound: 5613
693.38/703.70	c current bound: 5613
694.64/704.70	c current bound: 5613
695.64/705.80	c current bound: 5613
696.64/706.80	c current bound: 5613
697.36/707.79	c current bound: 5613
698.36/708.79	c current bound: 5613
699.35/709.78	c current bound: 5613
700.34/710.78	c current bound: 5613
701.52/711.77	c current bound: 5613
702.52/712.76	c current bound: 5613
703.33/713.75	c current bound: 5613
704.31/714.75	c current bound: 5613
705.60/715.86	c current bound: 5613
706.32/716.86	c current bound: 5613
707.31/717.85	c current bound: 5613
708.31/718.84	c current bound: 5613
709.31/719.84	c current bound: 5613
710.30/720.98	c current bound: 5613
711.30/721.97	c current bound: 5613
712.29/722.96	c current bound: 5613
713.49/723.96	c current bound: 5613
714.49/724.94	c current bound: 5613
715.54/726.01	c current bound: 5613
716.28/727.00	c current bound: 5613
717.27/727.99	c current bound: 5613
718.27/728.99	c current bound: 5613
719.26/729.98	c current bound: 5613
720.53/731.08	c current bound: 5613
721.25/732.07	c current bound: 5613
722.25/733.07	c current bound: 5613
723.24/734.06	c current bound: 5613
724.24/735.05	c current bound: 5613
725.44/736.04	c current bound: 5613
726.46/737.03	c current bound: 5613
727.46/738.03	c current bound: 5613
728.21/739.02	c current bound: 5613
729.21/740.02	c current bound: 5613
730.20/741.03	c current bound: 5613
731.23/742.04	c current bound: 5613
732.22/743.03	c current bound: 5613
733.22/744.02	c current bound: 5613
734.21/745.01	c current bound: 5613
735.19/746.06	c current bound: 5613
736.39/747.06	c current bound: 5613
737.40/748.04	c current bound: 5613
738.40/749.04	c current bound: 5613
739.18/750.03	c current bound: 5613
740.16/751.11	c current bound: 5613
741.42/752.10	c current bound: 5613
742.15/753.09	c current bound: 5613
743.13/754.08	c current bound: 5613
744.12/755.07	c current bound: 5613
745.38/756.15	c current bound: 5613
746.12/757.14	c current bound: 5613
747.11/758.14	c current bound: 5613
748.34/759.13	c current bound: 5613
749.35/760.12	c current bound: 5613
750.34/761.38	c current bound: 5613
751.27/762.37	c current bound: 5613
752.26/763.36	c current bound: 5613
753.06/764.35	c current bound: 5613
754.06/765.34	c current bound: 5613
755.05/766.34	c current bound: 5613
756.04/767.33	c current bound: 5613
757.03/768.34	c current bound: 5613
758.04/769.33	c current bound: 5613
759.05/770.33	c current bound: 5613
760.04/771.32	c current bound: 5613
761.27/772.32	c current bound: 5613
762.30/773.30	c current bound: 5613
763.02/774.29	c current bound: 5613
764.00/775.28	c current bound: 5613
765.00/776.43	c current bound: 5613
766.00/777.42	c current bound: 5613
766.99/778.41	c current bound: 5613
768.25/779.40	c current bound: 5613
768.96/780.39	c current bound: 5613
769.95/781.38	c current bound: 5613
770.93/782.37	c current bound: 5613
772.13/783.36	c current bound: 5613
773.15/784.35	c current bound: 5613
774.14/785.34	c current bound: 5613
774.92/786.33	c current bound: 5613
775.91/787.32	c current bound: 5613
776.88/788.31	c current bound: 5613
778.14/789.30	c current bound: 5613
778.86/790.29	c current bound: 5613
779.86/791.44	c current bound: 5613
780.85/792.43	c current bound: 5613
781.85/793.42	c current bound: 5613
782.84/794.41	c current bound: 5613
784.10/795.40	c current bound: 5613
785.11/796.48	c current bound: 5613
786.01/797.47	c current bound: 5613
786.80/798.45	c current bound: 5613
787.79/799.44	c current bound: 5613
788.79/800.44	c current bound: 5613
789.78/801.51	c current bound: 5613
791.05/802.50	c current bound: 5613
791.76/803.48	c current bound: 5613
792.75/804.48	c current bound: 5613
793.74/805.47	c current bound: 5613
794.99/806.57	c current bound: 5613
795.93/807.56	c current bound: 5613
796.92/808.55	c current bound: 5613
797.93/809.54	c current bound: 5613
798.70/810.53	c current bound: 5613
799.68/811.57	c current bound: 5613
800.68/812.56	c current bound: 5613
801.67/813.55	c current bound: 5613
802.67/814.56	c current bound: 5613
803.67/815.55	c current bound: 5613
804.65/816.62	c current bound: 5613
805.64/817.61	c current bound: 5613
806.62/818.59	c current bound: 5613
807.80/819.59	c current bound: 5613
808.80/820.58	c current bound: 5613
809.84/821.64	c current bound: 5613
810.58/822.63	c current bound: 5613
811.57/823.62	c current bound: 5613
812.58/824.62	c current bound: 5613
813.58/825.61	c current bound: 5613
814.57/826.67	c current bound: 5613
815.55/827.66	c current bound: 5613
816.55/828.65	c current bound: 5613
817.54/829.64	c current bound: 5613
818.75/830.63	c current bound: 5613
819.76/831.72	c current bound: 5613
820.76/832.72	c current bound: 5613
821.75/833.71	c current bound: 5613
822.49/834.70	c current bound: 5613
823.48/835.69	c current bound: 5613
824.47/836.76	c current bound: 5613
825.46/837.76	c current bound: 5613
826.45/838.75	c current bound: 5613
827.46/839.74	c current bound: 5613
828.45/840.73	c current bound: 5613
829.71/841.83	c current bound: 5613
830.44/842.83	c current bound: 5613
831.66/843.82	c current bound: 5613
832.67/844.81	c current bound: 5613
833.69/845.80	c current bound: 5613
834.66/847.02	c current bound: 5613
835.63/848.01	c current bound: 5613
836.38/849.01	c current bound: 5613
837.39/849.99	c current bound: 5613
838.38/850.99	c current bound: 5613
839.37/851.98	c current bound: 5613
840.36/852.96	c current bound: 5613
841.35/853.96	c current bound: 5613
842.34/854.95	c current bound: 5613
843.55/855.94	c current bound: 5613
844.55/856.96	c current bound: 5613
845.53/857.96	c current bound: 5613
846.32/858.95	c current bound: 5613
847.32/859.94	c current bound: 5613
848.31/860.94	c current bound: 5613
849.30/862.06	c current bound: 5613
850.29/863.05	c current bound: 5613
851.28/864.05	c current bound: 5613
852.27/865.03	c current bound: 5613
853.27/866.02	c current bound: 5613
854.54/867.11	c current bound: 5613
855.26/868.12	c current bound: 5613
856.51/869.10	c current bound: 5613
857.43/870.09	c current bound: 5613
858.26/871.09	c current bound: 5613
859.51/872.32	c current bound: 5613
860.49/873.31	c current bound: 5613
861.23/874.30	c current bound: 5613
862.23/875.29	c current bound: 5613
863.21/876.29	c current bound: 5613
864.21/877.27	c current bound: 5613
865.21/878.27	c current bound: 5613
866.20/879.26	c current bound: 5613
867.20/880.25	c current bound: 5613
868.40/881.24	c current bound: 5613
869.41/882.23	c current bound: 5613
870.42/883.22	c current bound: 5613
871.16/884.21	c current bound: 5613
872.17/885.20	c current bound: 5613
873.15/886.19	c current bound: 5613
874.14/887.31	c current bound: 5613
875.13/888.30	c current bound: 5613
876.12/889.29	c current bound: 5613
877.11/890.28	c current bound: 5613
878.11/891.28	c current bound: 5613
879.10/892.29	c current bound: 5613
880.30/893.29	c current bound: 5613
881.29/894.28	c current bound: 5613
882.10/895.27	c current bound: 5613
883.08/896.26	c current bound: 5613
884.35/897.35	c current bound: 5613
885.07/898.34	c current bound: 5613
886.06/899.33	c current bound: 5613
887.05/900.32	c current bound: 5613
888.06/901.30	c current bound: 5613
889.04/902.56	c current bound: 5613
890.04/903.55	c current bound: 5613
891.03/904.54	c current bound: 5613
892.02/905.53	c current bound: 5613
893.22/906.52	c current bound: 5613
894.24/907.51	c current bound: 5613
894.97/908.49	c current bound: 5613
895.97/909.48	c current bound: 5613
896.96/910.47	c current bound: 5613
897.96/911.46	c current bound: 5613
898.94/912.45	c current bound: 5613
899.94/913.45	c current bound: 5613
900.92/914.43	c current bound: 5613
901.91/915.42	c current bound: 5613
903.14/916.42	c current bound: 5613
904.15/917.43	c current bound: 5613
905.12/918.42	c current bound: 5613
905.88/919.41	c current bound: 5613
906.86/920.40	c current bound: 5613
907.86/921.39	c current bound: 5613
908.84/922.56	c current bound: 5613
909.85/923.55	c current bound: 5613
910.84/924.54	c current bound: 5613
911.84/925.53	c current bound: 5613
912.82/926.52	c current bound: 5613
913.83/927.64	c current bound: 5613
914.80/928.63	c current bound: 5613
916.04/929.62	c current bound: 5613
917.03/930.61	c current bound: 5613
917.77/931.60	c current bound: 5613
918.76/932.63	c current bound: 5613
919.76/933.62	c current bound: 5613
920.76/934.61	c current bound: 5613
921.74/935.60	c current bound: 5613
923.02/936.60	c current bound: 5613
923.73/937.69	c current bound: 5613
924.73/938.68	c current bound: 5613
925.72/939.67	c current bound: 5613
926.70/940.67	c current bound: 5613
927.90/941.66	c current bound: 5613
928.96/942.74	c current bound: 5613
929.91/943.73	c current bound: 5613
930.68/944.72	c current bound: 5613
931.67/945.72	c current bound: 5613
932.66/946.70	c current bound: 5613
933.92/947.82	c current bound: 5613
934.66/948.81	c current bound: 5613
935.90/949.80	c current bound: 5613
936.62/950.79	c current bound: 5613
937.62/951.77	c current bound: 5613
938.87/952.83	c current bound: 5613
939.84/953.82	c current bound: 5613
940.75/954.80	c current bound: 5613
941.58/955.80	c current bound: 5613
942.57/956.78	c current bound: 5613
943.55/957.89	c current bound: 5613
944.55/958.88	c current bound: 5613
945.55/959.87	c current bound: 5613
946.53/960.86	c current bound: 5613
947.52/961.86	c current bound: 5613
948.79/962.93	c current bound: 5613
949.51/963.93	c current bound: 5613
950.50/964.92	c current bound: 5613
951.74/965.91	c current bound: 5613
952.76/966.91	c current bound: 5613
953.75/968.05	c current bound: 5613
954.70/969.04	c current bound: 5613
955.46/970.03	c current bound: 5613
956.46/971.02	c current bound: 5613
957.45/972.01	c current bound: 5613
958.45/973.04	c current bound: 5613
959.44/974.03	c current bound: 5613
960.43/975.02	c current bound: 5613
961.41/976.02	c current bound: 5613
962.42/977.01	c current bound: 5613
963.66/978.12	c current bound: 5613
964.65/979.11	c current bound: 5613
965.55/980.10	c current bound: 5613
966.38/981.09	c current bound: 5613
967.37/982.08	c current bound: 5613
968.63/983.13	c current bound: 5613
969.35/984.14	c current bound: 5613
970.37/985.13	c current bound: 5613
971.37/986.12	c current bound: 5613
972.35/987.10	c current bound: 5613
973.33/988.12	c current bound: 5613
974.32/989.11	c current bound: 5613
975.57/990.10	c current bound: 5613
976.47/991.10	c current bound: 5613
977.30/992.09	c current bound: 5613
978.55/993.22	c current bound: 5613
979.29/994.22	c current bound: 5613
980.28/995.21	c current bound: 5613
981.26/996.21	c current bound: 5613
982.27/997.20	c current bound: 5613
983.53/998.23	c current bound: 5613
984.24/999.22	c current bound: 5613
985.23/1000.21	c current bound: 5613
986.49/1001.20	c current bound: 5613
987.38/1002.19	c current bound: 5613
988.47/1003.22	c current bound: 5613
989.45/1004.21	c current bound: 5613
990.46/1005.20	c current bound: 5613
991.19/1006.19	c current bound: 5613
992.18/1007.18	c current bound: 5613
993.16/1008.29	c current bound: 5613
994.16/1009.28	c current bound: 5613
995.16/1010.27	c current bound: 5613
996.15/1011.26	c current bound: 5613
997.15/1012.25	c current bound: 5613
998.41/1013.40	c current bound: 5613
999.14/1014.39	c current bound: 5613
1000.31/1015.38	c current bound: 5613
1001.33/1016.37	c current bound: 5613
1002.13/1017.36	c current bound: 5613
1003.12/1018.36	c current bound: 5613
1004.10/1019.35	c current bound: 5613
1005.09/1020.34	c current bound: 5613
1006.09/1021.33	c current bound: 5613
1007.09/1022.33	c current bound: 5613
1008.35/1023.44	c current bound: 5613
1009.07/1024.43	c current bound: 5613
1010.08/1025.42	c current bound: 5613
1011.31/1026.41	c current bound: 5613
1012.33/1027.40	c current bound: 5613
1013.29/1028.58	c current bound: 5613
1014.23/1029.57	c current bound: 5613
1015.03/1030.56	c current bound: 5613
1016.02/1031.56	c current bound: 5613
1017.03/1032.55	c current bound: 5613
1018.02/1033.54	c current bound: 5613
1019.02/1034.53	c current bound: 5613
1020.02/1035.53	c current bound: 5613
1021.00/1036.52	c current bound: 5613
1021.99/1037.51	c current bound: 5613
1023.27/1038.60	c current bound: 5613
1024.25/1039.61	c current bound: 5613
1025.15/1040.60	c current bound: 5613
1025.99/1041.59	c current bound: 5613
1026.99/1042.59	c current bound: 5613
1027.99/1043.72	c current bound: 5613
1029.00/1044.71	c current bound: 5613
1030.00/1045.70	c current bound: 5613
1030.98/1046.69	c current bound: 5613
1031.98/1047.68	c current bound: 5613
1032.96/1048.78	c current bound: 5613
1033.95/1049.77	c current bound: 5613
1034.93/1050.77	c current bound: 5613
1036.14/1051.75	c current bound: 5613
1037.15/1052.75	c current bound: 5613
1038.19/1053.88	c current bound: 5613
1039.13/1054.87	c current bound: 5613
1039.91/1055.87	c current bound: 5613
1040.91/1056.86	c current bound: 5613
1041.92/1057.85	c current bound: 5613
1042.91/1058.92	c current bound: 5613
1043.91/1059.91	c current bound: 5613
1045.16/1060.90	c current bound: 5613
1045.87/1061.91	c current bound: 5613
1046.90/1062.90	c current bound: 5613
1048.16/1064.00	c current bound: 5613
1048.87/1064.99	c current bound: 5613
1050.05/1065.99	c current bound: 5613
1051.04/1066.98	c current bound: 5613
1051.85/1067.97	c current bound: 5613
1053.10/1069.13	c current bound: 5613
1053.85/1070.12	c current bound: 5613
1054.83/1071.11	c current bound: 5613
1055.83/1072.11	c current bound: 5613
1056.82/1073.09	c current bound: 5613
1057.81/1074.09	c current bound: 5613
1058.82/1075.09	c current bound: 5613
1059.80/1076.08	c current bound: 5613
1060.80/1077.07	c current bound: 5613
1061.98/1078.06	c current bound: 5613
1063.06/1079.14	c current bound: 5613
1064.01/1080.14	c current bound: 5613
1064.79/1081.14	c current bound: 5613
1065.78/1082.13	c current bound: 5613
1066.76/1083.12	c current bound: 5613
1067.75/1084.15	c current bound: 5613
1068.76/1085.15	c current bound: 5613
1069.77/1086.15	c current bound: 5613
1070.78/1087.15	c current bound: 5613
1071.78/1088.14	c current bound: 5613
1073.01/1089.23	c current bound: 5613
1073.99/1090.23	c current bound: 5613
1075.00/1091.22	c current bound: 5613
1076.02/1092.20	c current bound: 5613
1077.00/1093.20	c current bound: 5613
1077.99/1094.26	c current bound: 5613
1078.72/1095.25	c current bound: 5613
1079.71/1096.24	c current bound: 5613
1080.70/1097.23	c current bound: 5613
1081.70/1098.22	c current bound: 5613
1082.96/1099.33	c current bound: 5613
1083.67/1100.33	c current bound: 5613
1084.68/1101.33	c current bound: 5613
1085.91/1102.34	c current bound: 5613
1086.91/1103.33	c current bound: 5613
1087.95/1104.41	c current bound: 5613
1088.95/1105.41	c current bound: 5613
1089.96/1106.40	c current bound: 5613
1090.68/1107.39	c current bound: 5613
1091.67/1108.38	c current bound: 5613
1092.66/1109.39	c current bound: 5613
1093.67/1110.38	c current bound: 5613
1094.66/1111.37	c current bound: 5613
1095.65/1112.36	c current bound: 5613
1096.84/1113.35	c current bound: 5613
1097.91/1114.46	c current bound: 5613
1098.83/1115.45	c current bound: 5613
1099.84/1116.44	c current bound: 5613
1100.61/1117.43	c current bound: 5613
1101.61/1118.45	c current bound: 5613
1102.62/1119.57	c current bound: 5613
1103.62/1120.56	c current bound: 5613
1104.61/1121.55	c current bound: 5613
1105.61/1122.55	c current bound: 5613
1106.60/1123.54	c current bound: 5613
1107.88/1124.63	c current bound: 5613
1108.61/1125.63	c current bound: 5613
1109.60/1126.62	c current bound: 5613
1110.84/1127.61	c current bound: 5613
1111.75/1128.60	c current bound: 5613
1112.86/1129.66	c current bound: 5613
1113.57/1130.65	c current bound: 5613
1114.56/1131.64	c current bound: 5613
1115.55/1132.63	c current bound: 5613
1116.54/1133.62	c current bound: 5613
1117.81/1134.74	c current bound: 5613
1118.54/1135.73	c current bound: 5613
1119.53/1136.74	c current bound: 5613
1120.54/1137.73	c current bound: 5613
1121.53/1138.72	c current bound: 5613
1122.74/1139.77	c current bound: 5613
1123.69/1140.79	c current bound: 5613
1124.70/1141.78	c current bound: 5613
1125.52/1142.77	c current bound: 5613
1126.50/1143.76	c current bound: 5613
1127.50/1144.88	c current bound: 5613
1128.49/1145.87	c current bound: 5613
1129.48/1146.87	c current bound: 5613
1130.47/1147.86	c current bound: 5613
1131.46/1148.85	c current bound: 5613
1132.46/1149.88	c current bound: 5613
1133.46/1150.87	c current bound: 5613
1134.65/1151.86	c current bound: 5613
1135.65/1152.87	c current bound: 5613
1136.65/1153.86	c current bound: 5613
1137.43/1154.85	c current bound: 5613
1138.43/1155.84	c current bound: 5613
1139.42/1156.84	c current bound: 5613
1140.43/1157.83	c current bound: 5613
1141.41/1158.82	c current bound: 5613
1142.67/1159.94	c current bound: 5613
1143.39/1160.94	c current bound: 5613
1144.40/1161.94	c current bound: 5613
1145.39/1162.93	c current bound: 5613
1146.63/1163.92	c current bound: 5613
1147.63/1165.09	c current bound: 5613
1148.55/1166.08	c current bound: 5613
1149.56/1167.07	c current bound: 5613
1150.34/1168.06	c current bound: 5613
1151.35/1169.05	c current bound: 5613
1152.34/1170.09	c current bound: 5613
1153.33/1171.08	c current bound: 5613
1154.32/1172.07	c current bound: 5613
1155.31/1173.07	c current bound: 5613
1156.30/1174.06	c current bound: 5613
1157.57/1175.15	c current bound: 5613
1158.29/1176.14	c current bound: 5613
1159.53/1177.15	c current bound: 5613
1160.52/1178.13	c current bound: 5613
1161.52/1179.12	c current bound: 5613
1162.54/1180.44	c current bound: 5613
1163.50/1181.43	c current bound: 5613
1164.51/1182.42	c current bound: 5613
1165.26/1183.41	c current bound: 5613
1166.25/1184.41	c current bound: 5613
1167.24/1185.40	c current bound: 5613
1168.24/1186.39	c current bound: 5613
1169.23/1187.38	c current bound: 5613
1170.23/1188.38	c current bound: 5613
1171.22/1189.37	c current bound: 5613
1172.46/1190.53	c current bound: 5613
1173.21/1191.52	c current bound: 5613
1174.44/1192.52	c current bound: 5613
1175.45/1193.52	c current bound: 5613
1176.46/1194.51	c current bound: 5613
1177.45/1195.57	c current bound: 5613
1178.18/1196.57	c current bound: 5613
1179.17/1197.56	c current bound: 5613
1180.15/1198.54	c current bound: 5613
1181.14/1199.54	c current bound: 5613
1182.13/1200.54	c current bound: 5613
1183.13/1201.53	c current bound: 5613
1184.13/1202.54	c current bound: 5613
1185.37/1203.53	c current bound: 5613
1186.38/1204.52	c current bound: 5613
1187.38/1205.60	c current bound: 5613
1188.11/1206.59	c current bound: 5613
1189.09/1207.59	c current bound: 5613
1190.08/1208.58	c current bound: 5613
1191.07/1209.56	c current bound: 5613
1192.07/1210.71	c current bound: 5613
1193.06/1211.70	c current bound: 5613
1194.32/1212.70	c current bound: 5613
1195.05/1213.69	c current bound: 5613
1196.03/1214.68	c current bound: 5613
1197.29/1215.73	c current bound: 5613
1198.24/1216.72	c current bound: 5613
1199.24/1217.72	c current bound: 5613
1200.26/1218.71	c current bound: 5613
1200.99/1219.70	c current bound: 5613
1201.99/1220.81	c current bound: 5613
1203.01/1221.80	c current bound: 5613
1203.99/1222.80	c current bound: 5613
1205.01/1223.80	c current bound: 5613
1206.26/1224.80	c current bound: 5613
1206.98/1225.82	c current bound: 5613
1207.98/1226.82	c current bound: 5613
1208.99/1227.82	c current bound: 5613
1210.22/1228.81	c current bound: 5613
1211.14/1229.80	c current bound: 5613
1212.23/1230.91	c current bound: 5613
1212.96/1231.90	c current bound: 5613
1213.95/1232.89	c current bound: 5613
1214.93/1233.88	c current bound: 5613
1215.92/1234.87	c current bound: 5613
1216.93/1236.08	c current bound: 5613
1217.92/1237.08	c current bound: 5613
1218.92/1238.07	c current bound: 5613
1219.92/1239.07	c current bound: 5613
1220.91/1240.07	c current bound: 5613
1221.90/1241.06	c current bound: 5613
1223.10/1242.05	c current bound: 5613
1224.10/1243.04	c current bound: 5613
1225.10/1244.04	c current bound: 5613
1225.87/1245.03	c current bound: 5613
1226.86/1246.13	c current bound: 5613
1227.86/1247.12	c current bound: 5613
1228.85/1248.12	c current bound: 5613
1229.86/1249.12	c current bound: 5613
1230.85/1250.12	c current bound: 5613
1231.85/1251.14	c current bound: 5613
1232.84/1252.13	c current bound: 5613
1233.84/1253.13	c current bound: 5613
1235.06/1254.12	c current bound: 5613
1236.10/1255.11	c current bound: 5613
1237.07/1256.21	c current bound: 5613
1237.81/1257.20	c current bound: 5613
1238.81/1258.19	c current bound: 5613
1239.80/1259.18	c current bound: 5613
1240.80/1260.18	c current bound: 5613
1242.07/1261.31	c current bound: 5613
1242.79/1262.31	c current bound: 5613
1243.79/1263.30	c current bound: 5613
1244.78/1264.30	c current bound: 5613
1246.04/1265.30	c current bound: 5613
1246.77/1266.44	c current bound: 5613
1247.76/1267.44	c current bound: 5613
1248.99/1268.43	c current bound: 5613
1249.98/1269.42	c current bound: 5613
1250.98/1270.41	c current bound: 5613
1251.73/1271.48	c current bound: 5613
1252.73/1272.47	c current bound: 5613
1253.73/1273.47	c current bound: 5613
1254.72/1274.46	c current bound: 5613
1255.72/1275.46	c current bound: 5613
1256.71/1276.74	c current bound: 5613
1257.71/1277.74	c current bound: 5613
1258.69/1278.73	c current bound: 5613
1259.68/1279.72	c current bound: 5613
1260.67/1280.72	c current bound: 5613
1261.67/1281.71	c current bound: 5613
1262.91/1282.70	c current bound: 5613
1263.81/1283.70	c current bound: 5613
1264.64/1284.69	c current bound: 5613
1265.64/1285.68	c current bound: 5613
1266.63/1286.79	c current bound: 5613
1267.65/1287.79	c current bound: 5613
1268.64/1288.78	c current bound: 5613
1269.62/1289.77	c current bound: 5613
1270.62/1290.77	c current bound: 5613
1271.88/1291.90	c current bound: 5613
1272.88/1292.90	c current bound: 5613
1273.60/1293.89	c current bound: 5613
1274.61/1294.89	c current bound: 5613
1275.79/1295.88	c current bound: 5613
1276.83/1297.02	c current bound: 5613
1277.83/1298.01	c current bound: 5613
1278.56/1299.00	c current bound: 5613
1279.56/1300.00	c current bound: 5613
1280.56/1300.99	c current bound: 5613
1281.83/1302.00	c current bound: 5613
1282.81/1303.00	c current bound: 5613
1283.54/1303.99	c current bound: 5613
1284.55/1304.99	c current bound: 5613
1285.54/1305.99	c current bound: 5613
1286.79/1307.10	c current bound: 5613
1287.51/1308.09	c current bound: 5613
1288.77/1309.11	c current bound: 5613
1289.81/1310.11	c current bound: 5613
1290.81/1311.10	c current bound: 5613
1291.80/1312.13	c current bound: 5613
1292.53/1313.12	c current bound: 5613
1293.52/1314.11	c current bound: 5613
1294.52/1315.11	c current bound: 5613
1295.50/1316.10	c current bound: 5613
1296.50/1317.26	c current bound: 5613
1297.49/1318.26	c current bound: 5613
1298.50/1319.25	c current bound: 5613
1299.50/1320.25	c current bound: 5613
1300.70/1321.24	c current bound: 5613
1301.70/1322.23	c current bound: 5613
1302.70/1323.22	c current bound: 5613
1303.47/1324.21	c current bound: 5613
1304.46/1325.21	c current bound: 5613
1305.73/1326.20	c current bound: 5613
1306.72/1327.25	c current bound: 5613
1307.43/1328.24	c current bound: 5613
1308.42/1329.24	c current bound: 5613
1309.41/1330.23	c current bound: 5613
1310.40/1331.22	c current bound: 5613
1311.64/1332.32	c current bound: 5613
1312.64/1333.31	c current bound: 5613
1313.65/1334.31	c current bound: 5613
1314.39/1335.30	c current bound: 5613
1315.39/1336.29	c current bound: 5613
1316.38/1337.38	c current bound: 5613
1317.37/1338.37	c current bound: 5613
1318.37/1339.37	c current bound: 5613
1319.36/1340.37	c current bound: 5613
1320.35/1341.37	c current bound: 5613
1321.37/1342.48	c current bound: 5613
1322.36/1343.47	c current bound: 5613
1323.35/1344.47	c current bound: 5613
1324.53/1345.46	c current bound: 5613
1325.54/1346.46	c current bound: 5613
1326.60/1347.56	c current bound: 5613
1327.54/1348.55	c current bound: 5613
1328.32/1349.54	c current bound: 5613
1329.31/1350.53	c current bound: 5613
1330.30/1351.52	c current bound: 5613
1331.29/1352.62	c current bound: 5613
1332.29/1353.61	c current bound: 5613
1333.29/1354.61	c current bound: 5613
1334.28/1355.60	c current bound: 5613
1335.54/1356.60	c current bound: 5613
1336.54/1357.72	c current bound: 5613
1337.25/1358.71	c current bound: 5613
1338.50/1359.71	c current bound: 5613
1339.40/1360.69	c current bound: 5613
1340.23/1361.68	c current bound: 5613
1341.47/1362.84	c current bound: 5613
1342.23/1363.84	c current bound: 5613
1343.22/1364.83	c current bound: 5613
1344.20/1365.82	c current bound: 5613
1345.20/1366.82	c current bound: 5613
1346.20/1367.91	c current bound: 5613
1347.18/1368.91	c current bound: 5613
1348.18/1369.92	c current bound: 5613
1349.19/1370.91	c current bound: 5613
1350.19/1371.91	c current bound: 5613
1351.45/1372.90	c current bound: 5613
1352.36/1373.89	c current bound: 5613
1353.18/1374.88	c current bound: 5613
1354.18/1375.88	c current bound: 5613
1355.16/1376.88	c current bound: 5613
1356.17/1377.98	c current bound: 5613
1357.17/1378.97	c current bound: 5613
1358.14/1379.96	c current bound: 5613
1359.14/1380.96	c current bound: 5613
1360.14/1381.95	c current bound: 5613
1361.42/1383.11	c current bound: 5613
1362.14/1384.11	c current bound: 5613
1363.13/1385.12	c current bound: 5613
1364.37/1386.11	c current bound: 5613
1365.28/1387.10	c current bound: 5613
1366.37/1388.10	c current bound: 5613
1367.38/1389.10	c current bound: 5613
1368.10/1390.09	c current bound: 5613
1369.10/1391.09	c current bound: 5613
1370.10/1392.09	c current bound: 5613
1371.08/1393.08	c current bound: 5613
1372.07/1394.13	c current bound: 5613
1373.07/1395.12	c current bound: 5613
1374.06/1396.12	c current bound: 5613
1375.30/1397.11	c current bound: 5613
1376.31/1398.11	c current bound: 5613
1377.30/1399.12	c current bound: 5613
1378.05/1400.11	c current bound: 5613
1379.05/1401.10	c current bound: 5613
1380.05/1402.09	c current bound: 5613
1381.04/1403.09	c current bound: 5613
1382.03/1404.12	c current bound: 5613
1383.02/1405.12	c current bound: 5613
1384.03/1406.11	c current bound: 5613
1385.02/1407.11	c current bound: 5613
1386.28/1408.10	c current bound: 5613
1387.24/1409.14	c current bound: 5613
1388.22/1410.13	c current bound: 5613
1388.98/1411.12	c current bound: 5613
1389.97/1412.11	c current bound: 5613
1390.97/1413.11	c current bound: 5613
1391.96/1414.16	c current bound: 5613
1392.95/1415.15	c current bound: 5613
1393.94/1416.15	c current bound: 5613
1394.94/1417.14	c current bound: 5613
1395.93/1418.14	c current bound: 5613
1396.91/1419.20	c current bound: 5613
1398.09/1420.19	c current bound: 5613
1399.10/1421.18	c current bound: 5613
1399.92/1422.17	c current bound: 5613
1400.91/1423.16	c current bound: 5613
1401.90/1424.18	c current bound: 5613
1402.89/1425.17	c current bound: 5613
1403.88/1426.16	c current bound: 5613
1404.87/1427.15	c current bound: 5613
1405.86/1428.15	c current bound: 5613
1406.85/1429.14	c current bound: 5613
1408.08/1430.13	c current bound: 5613
1409.08/1431.12	c current bound: 5613
1410.08/1432.11	c current bound: 5613
1410.83/1433.10	c current bound: 5613
1411.81/1434.09	c current bound: 5613
1413.08/1435.10	c current bound: 5613
1413.80/1436.09	c current bound: 5613
1414.80/1437.08	c current bound: 5613
1415.79/1438.07	c current bound: 5613
1416.78/1439.07	c current bound: 5613
1417.97/1440.08	c current bound: 5613
1418.97/1441.07	c current bound: 5613
1419.99/1442.06	c current bound: 5613
1420.78/1443.06	c current bound: 5613
1421.78/1444.05	c current bound: 5613
1422.76/1445.05	c current bound: 5613
1423.77/1446.04	c current bound: 5613
1424.75/1447.04	c current bound: 5613
1425.75/1448.03	c current bound: 5613
1426.74/1449.02	c current bound: 5613
1427.72/1450.02	c current bound: 5613
1428.97/1451.01	c current bound: 5613
1429.88/1452.00	c current bound: 5613
1430.71/1452.99	c current bound: 5613
1431.71/1453.98	c current bound: 5613
1432.71/1454.97	c current bound: 5613
1433.70/1455.97	c current bound: 5613
1434.68/1456.95	c current bound: 5613
1435.67/1457.96	c current bound: 5613
1436.68/1458.96	c current bound: 5613
1437.69/1459.95	c current bound: 5613
1438.89/1460.94	c current bound: 5613
1439.91/1461.93	c current bound: 5613
1440.90/1462.92	c current bound: 5613
1441.91/1464.05	c current bound: 5613
1442.64/1465.04	c current bound: 5613
1443.64/1466.05	c current bound: 5613
1444.64/1467.03	c current bound: 5613
1445.63/1468.03	c current bound: 5613
1446.61/1469.06	c current bound: 5613
1447.62/1470.09	c current bound: 5613
1448.61/1471.08	c current bound: 5613
1449.60/1472.07	c current bound: 5613
1450.79/1473.07	c current bound: 5613
1451.87/1474.16	c current bound: 5613
1452.79/1475.16	c current bound: 5613
1453.80/1476.15	c current bound: 5613
1454.59/1477.14	c current bound: 5613
1455.58/1478.14	c current bound: 5613
1456.56/1479.28	c current bound: 5613
1457.55/1480.27	c current bound: 5613
1458.56/1481.26	c current bound: 5613
1459.55/1482.26	c current bound: 5613
1460.55/1483.25	c current bound: 5613
1461.55/1484.27	c current bound: 5613
1462.54/1485.26	c current bound: 5613
1463.73/1486.26	c current bound: 5613
1464.72/1487.27	c current bound: 5613
1465.73/1488.26	c current bound: 5613
1466.53/1489.29	c current bound: 5613
1467.54/1490.28	c current bound: 5613
1468.54/1491.27	c current bound: 5613
1469.53/1492.26	c current bound: 5613
1470.54/1493.27	c current bound: 5613
1471.54/1494.38	c current bound: 5613
1472.53/1495.37	c current bound: 5613
1473.54/1496.36	c current bound: 5613
1474.52/1497.35	c current bound: 5613
1475.72/1498.35	c current bound: 5613
1476.77/1499.41	c current bound: 5613
1477.75/1500.40	c current bound: 5613
1478.48/1501.40	c current bound: 5613
1479.48/1502.39	c current bound: 5613
1480.48/1503.39	c current bound: 5613
1481.48/1504.51	c current bound: 5613
1482.48/1505.51	c current bound: 5613
1483.47/1506.49	c current bound: 5613
1484.45/1507.48	c current bound: 5613
1485.44/1508.47	c current bound: 5613
1486.44/1509.58	c current bound: 5613
1487.42/1510.57	c current bound: 5613
1488.61/1511.56	c current bound: 5613
1489.60/1512.56	c current bound: 5613
1490.59/1513.55	c current bound: 5613
1491.67/1514.67	c current bound: 5613
1492.39/1515.66	c current bound: 5613
1493.38/1516.65	c current bound: 5613
1494.37/1517.64	c current bound: 5613
1495.35/1518.63	c current bound: 5613
1496.34/1519.72	c current bound: 5613
1497.35/1520.72	c current bound: 5613
1498.34/1521.70	c current bound: 5613
1499.60/1522.70	c current bound: 5613
1500.32/1523.69	c current bound: 5613
1501.59/1524.73	c current bound: 5613
1502.53/1525.73	c current bound: 5613
1503.53/1526.72	c current bound: 5613
1504.29/1527.72	c current bound: 5613
1505.28/1528.70	c current bound: 5613
1506.28/1529.80	c current bound: 5613
1507.27/1530.79	c current bound: 5613
1508.27/1531.78	c current bound: 5613
1509.26/1532.77	c current bound: 5613
1510.24/1533.77	c current bound: 5613
1511.53/1534.83	c current bound: 5613
1512.24/1535.82	c current bound: 5613
1513.47/1536.81	c current bound: 5613
1514.48/1537.80	c current bound: 5613
1515.19/1538.79	c current bound: 5613
1516.45/1540.07	c current bound: 5613
1517.38/1541.07	c current bound: 5613
1518.16/1542.06	c current bound: 5613
1519.15/1543.05	c current bound: 5613
1520.16/1544.05	c current bound: 5613
1521.15/1545.04	c current bound: 5613
1522.14/1546.05	c current bound: 5613
1523.14/1547.04	c current bound: 5613
1524.14/1548.03	c current bound: 5613
1525.13/1549.02	c current bound: 5613
1526.37/1550.08	c current bound: 5613
1527.31/1551.08	c current bound: 5613
1528.30/1552.07	c current bound: 5613
1529.10/1553.06	c current bound: 5613
1530.09/1554.05	c current bound: 5613
1531.09/1555.14	c current bound: 5613
1532.08/1556.13	c current bound: 5613
1533.07/1557.13	c current bound: 5613
1534.06/1558.12	c current bound: 5613
1535.06/1559.11	c current bound: 5613
1536.05/1560.17	c current bound: 5613
1537.05/1561.16	c current bound: 5613
1538.24/1562.16	c current bound: 5613
1539.22/1563.15	c current bound: 5613
1540.24/1564.15	c current bound: 5613
1541.26/1565.24	c current bound: 5613
1542.00/1566.23	c current bound: 5613
1542.98/1567.22	c current bound: 5613
1543.97/1568.21	c current bound: 5613
1544.98/1569.20	c current bound: 5613
1545.96/1570.32	c current bound: 5613
1546.96/1571.31	c current bound: 5613
1547.94/1572.30	c current bound: 5613
1549.22/1573.30	c current bound: 5613
1549.94/1574.29	c current bound: 5613
1551.17/1575.36	c current bound: 5613
1552.11/1576.35	c current bound: 5613
1553.11/1577.35	c current bound: 5613
1553.89/1578.34	c current bound: 5613
1554.89/1579.33	c current bound: 5613
1555.88/1580.37	c current bound: 5613
1556.88/1581.36	c current bound: 5613
1557.88/1582.36	c current bound: 5613
1558.88/1583.35	c current bound: 5613
1559.86/1584.34	c current bound: 5613
1560.86/1585.37	c current bound: 5613
1562.03/1586.36	c current bound: 5613
1563.05/1587.35	c current bound: 5613
1564.04/1588.35	c current bound: 5613
1564.83/1589.34	c current bound: 5613
1565.81/1590.46	c current bound: 5613
1566.81/1591.46	c current bound: 5613
1567.81/1592.45	c current bound: 5613
1568.79/1593.44	c current bound: 5613
1569.79/1594.43	c current bound: 5613
1570.79/1595.59	c current bound: 5613
1571.79/1596.58	c current bound: 5613
1572.78/1597.57	c current bound: 5613
1573.77/1598.56	c current bound: 5613
1574.95/1599.56	c current bound: 5613
1576.00/1600.62	c current bound: 5613
1576.99/1601.62	c current bound: 5613
1577.98/1602.61	c current bound: 5613
1578.73/1603.60	c current bound: 5613
1579.99/1604.60	c current bound: 5613
1580.72/1605.73	c current bound: 5613
1581.71/1606.73	c current bound: 5613
1582.69/1607.72	c current bound: 5613
1583.68/1608.71	c current bound: 5613
1584.93/1609.70	c current bound: 5613
1585.66/1610.71	c current bound: 5613
1586.65/1611.70	c current bound: 5613
1587.89/1612.70	c current bound: 5613
1588.79/1613.70	c current bound: 5613
1589.62/1614.68	c current bound: 5613
1590.87/1615.82	c current bound: 5613
1591.61/1616.81	c current bound: 5613
1592.60/1617.80	c current bound: 5613
1593.57/1618.79	c current bound: 5613
1594.56/1619.78	c current bound: 5613
1595.56/1620.89	c current bound: 5613
1596.56/1621.87	c current bound: 5613
1597.55/1622.87	c current bound: 5613
1598.55/1623.86	c current bound: 5613
1599.73/1624.85	c current bound: 5613
1600.74/1625.88	c current bound: 5613
1601.71/1626.87	c current bound: 5613
1602.51/1627.86	c current bound: 5613
1603.51/1628.85	c current bound: 5613
1604.49/1629.84	c current bound: 5613
1605.76/1630.94	c current bound: 5613
1606.48/1631.94	c current bound: 5613
1607.49/1632.93	c current bound: 5613
1608.49/1633.93	c current bound: 5613
1609.48/1634.92	c current bound: 5613
1610.47/1636.03	c current bound: 5613
1611.46/1637.02	c current bound: 5613
1612.69/1638.01	c current bound: 5613
1613.69/1639.01	c current bound: 5613
1614.69/1640.03	c current bound: 5613
1615.72/1641.15	c current bound: 5613
1616.44/1642.14	c current bound: 5613
1617.45/1643.13	c current bound: 5613
1618.44/1644.12	c current bound: 5613
1619.45/1645.14	c current bound: 5613
1620.70/1646.27	c current bound: 5613
1621.44/1647.27	c current bound: 5613
1622.42/1648.26	c current bound: 5613
1623.40/1649.26	c current bound: 5613
1624.40/1650.24	c current bound: 5613
1625.65/1651.37	c current bound: 5613
1626.57/1652.36	c current bound: 5613
1627.58/1653.35	c current bound: 5613
1628.58/1654.34	c current bound: 5613
1629.35/1655.33	c current bound: 5613
1630.34/1656.46	c current bound: 5613
1631.33/1657.45	c current bound: 5613
1632.32/1658.44	c current bound: 5613
1633.32/1659.43	c current bound: 5613
1634.31/1660.42	c current bound: 5613
1635.31/1661.46	c current bound: 5613
1636.30/1662.45	c current bound: 5613
1637.30/1663.45	c current bound: 5613
1638.51/1664.44	c current bound: 5613
1639.50/1665.44	c current bound: 5613
1640.50/1666.49	c current bound: 5613
1641.28/1667.48	c current bound: 5613
1642.27/1668.47	c current bound: 5613
1643.26/1669.46	c current bound: 5613
1644.25/1670.45	c current bound: 5613
1645.25/1671.55	c current bound: 5613
1646.24/1672.55	c current bound: 5613
1647.23/1673.54	c current bound: 5613
1648.24/1674.53	c current bound: 5613
1649.24/1675.53	c current bound: 5613
1650.47/1676.58	c current bound: 5613
1651.40/1677.58	c current bound: 5613
1652.39/1678.58	c current bound: 5613
1653.20/1679.57	c current bound: 5613
1654.18/1680.56	c current bound: 5613
1655.18/1681.67	c current bound: 5613
1656.17/1682.67	c current bound: 5613
1657.16/1683.66	c current bound: 5613
1658.16/1684.65	c current bound: 5613
1659.15/1685.64	c current bound: 5613
1660.42/1686.70	c current bound: 5613
1661.41/1687.70	c current bound: 5613
1662.13/1688.69	c current bound: 5613
1663.31/1689.68	c current bound: 5613
1664.31/1690.68	c current bound: 5613
1665.38/1691.82	c current bound: 5613
1666.36/1692.81	c current bound: 5613
1667.10/1693.80	c current bound: 5613
1668.09/1694.79	c current bound: 5613
1669.08/1695.78	c current bound: 5613
1670.34/1696.84	c current bound: 5613
1671.06/1697.83	c current bound: 5613
1672.06/1698.83	c current bound: 5613
1673.03/1699.81	c current bound: 5613
1674.03/1700.81	c current bound: 5613
1675.29/1701.92	c current bound: 5613
1676.25/1702.92	c current bound: 5613
1677.26/1703.92	c current bound: 5613
1678.27/1704.91	c current bound: 5613
1679.01/1705.90	c current bound: 5613
1680.01/1707.09	c current bound: 5613
1681.01/1708.08	c current bound: 5613
1682.00/1709.07	c current bound: 5613
1682.98/1710.06	c current bound: 5613
1683.98/1711.06	c current bound: 5613
1684.98/1712.05	c current bound: 5613
1685.98/1713.04	c current bound: 5613
1686.97/1714.03	c current bound: 5613
1688.23/1715.12	c current bound: 5613
1689.19/1716.11	c current bound: 5613
1690.20/1717.11	c current bound: 5613
1690.95/1718.10	c current bound: 5613
1692.21/1719.10	c current bound: 5613
1692.94/1720.09	c current bound: 5613
1693.93/1721.08	c current bound: 5613
1694.93/1722.07	c current bound: 5613
1695.92/1723.06	c current bound: 5613
1696.92/1724.06	c current bound: 5613
1697.91/1725.05	c current bound: 5613
1699.12/1726.04	c current bound: 5613
1700.18/1727.18	c current bound: 5613
1701.10/1728.17	c current bound: 5613
1702.08/1729.17	c current bound: 5613
1702.90/1730.18	c current bound: 5613
1703.90/1731.17	c current bound: 5613
1704.89/1732.17	c current bound: 5613
1705.89/1733.16	c current bound: 5613
1706.88/1734.15	c current bound: 5613
1707.89/1735.14	c current bound: 5613
1708.88/1736.14	c current bound: 5613
1710.17/1737.24	c current bound: 5613
1710.89/1738.23	c current bound: 5613
1712.12/1739.23	c current bound: 5613
1713.11/1740.22	c current bound: 5613
1714.13/1741.21	c current bound: 5613
1715.11/1742.38	c current bound: 5613
1715.86/1743.37	c current bound: 5613
1716.85/1744.36	c current bound: 5613
1717.85/1745.35	c current bound: 5613
1718.84/1746.34	c current bound: 5613
1719.84/1747.39	c current bound: 5613
1720.84/1748.38	c current bound: 5613
1721.83/1749.37	c current bound: 5613
1722.82/1750.38	c current bound: 5613
1723.81/1751.37	c current bound: 5613
1725.10/1752.40	c current bound: 5613
1725.99/1753.39	c current bound: 5613
1726.82/1754.38	c current bound: 5613
1727.81/1755.37	c current bound: 5613
1728.80/1756.36	c current bound: 5613
1729.79/1757.54	c current bound: 5613
1730.80/1758.54	c current bound: 5613
1731.79/1759.53	c current bound: 5613
1732.78/1760.53	c current bound: 5613
1733.78/1761.52	c current bound: 5613
1734.76/1762.53	c current bound: 5613
1735.76/1763.52	c current bound: 5613
1736.99/1764.52	c current bound: 5613
1738.01/1765.51	c current bound: 5613
1738.75/1766.50	c current bound: 5613
1739.73/1767.56	c current bound: 5613
1740.73/1768.55	c current bound: 5613
1741.71/1769.54	c current bound: 5613
1742.70/1770.54	c current bound: 5613
1743.70/1771.53	c current bound: 5613
1744.70/1772.68	c current bound: 5613
1745.69/1773.67	c current bound: 5613
1746.67/1774.67	c current bound: 5613
1747.67/1775.66	c current bound: 5613
1748.89/1776.65	c current bound: 5613
1749.97/1777.75	c current bound: 5613
1750.91/1778.75	c current bound: 5613
1751.89/1779.74	c current bound: 5613
1752.66/1780.73	c current bound: 5613
1753.64/1781.72	c current bound: 5613
1754.66/1782.88	c current bound: 5613
1755.65/1783.87	c current bound: 5613
1756.64/1784.86	c current bound: 5613
1757.63/1785.86	c current bound: 5613
1758.63/1786.85	c current bound: 5613
1759.62/1787.89	c current bound: 5613
1760.61/1788.88	c current bound: 5613
1761.60/1789.88	c current bound: 5613
1762.79/1790.87	c current bound: 5613
1763.80/1791.86	c current bound: 5613
1764.58/1792.86	c current bound: 5613
1765.57/1793.85	c current bound: 5613
1766.57/1794.84	c current bound: 5613
1767.56/1795.84	c current bound: 5613
1768.56/1796.83	c current bound: 5613
1769.81/1797.94	c current bound: 5613
1770.55/1798.94	c current bound: 5613
1771.54/1799.93	c current bound: 5613
1772.53/1800.92	c current bound: 5613
1773.76/1801.91	c current bound: 5613
1774.77/1803.08	c current bound: 5613
1775.70/1804.07	c current bound: 5613
1776.70/1805.07	c current bound: 5613
1777.51/1806.07	c current bound: 5613
1778.50/1807.06	c current bound: 5613
1779.76/1808.11	c current bound: 5613
1780.49/1809.10	c current bound: 5613
1781.76/1810.10	c current bound: 5613
1782.48/1811.09	c current bound: 5613
1783.48/1812.08	c current bound: 5613
1784.47/1813.18	c current bound: 5613
1785.46/1814.17	c current bound: 5613
1786.65/1815.16	c current bound: 5613
1787.65/1816.15	c current bound: 5613
1788.66/1817.14	c current bound: 5613
1789.70/1818.27	c current bound: 5613
1790.43/1819.26	c current bound: 5613
1791.43/1820.25	c current bound: 5613
1792.43/1821.24	c current bound: 5613
1793.43/1822.23	c current bound: 5613
1794.42/1823.26	c current bound: 5613
1795.40/1824.25	c current bound: 5613
1796.40/1825.24	c current bound: 5613
1797.39/1826.23	c current bound: 5613
1798.62/1827.23	c current bound: 5613
1799.42/1828.01	HOME/npSolver-wbo-Itdqb.sh: line 18: 32625 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

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-3753107-1339210016/watcher-3753107-1339210016 -o /tmp/evaluation-result-3753107-1339210016/solver-3753107-1339210016 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753107-1339210016.wbo 507332614 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.11 3/174 32624
/proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0

[startup+0.08382 s]
/proc/loadavg: 1.00 1.00 1.11 3/174 32624
/proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100277 s]
/proc/loadavg: 1.00 1.00 1.11 3/174 32624
/proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300314 s]
/proc/loadavg: 1.00 1.00 1.11 3/174 32624
/proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700192 s]
/proc/loadavg: 1.00 1.00 1.11 3/174 32624
/proc/meminfo: memFree=29637616/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 1.00 1.00 1.11 3/184 32669
/proc/meminfo: memFree=29576412/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1.12 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 3081 20118 0 0 17 3 78 14 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 29020

[startup+3.10026 s]
/proc/loadavg: 1.00 1.00 1.11 3/181 32689
/proc/meminfo: memFree=29552528/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=3.08 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) R 32624 32624 30487 0 -1 4202496 4711 49567 0 0 32 4 229 43 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 4583924 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29020

[startup+6.30035 s]
/proc/loadavg: 1.08 1.02 1.11 3/183 32747
/proc/meminfo: memFree=29505916/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=6.1 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 7161 93870 0 0 59 7 456 88 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 29020

[startup+12.7003 s]
/proc/loadavg: 1.15 1.03 1.12 3/183 407
/proc/meminfo: memFree=29538032/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=12.06 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 12057 184289 0 0 108 13 907 178 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 29020

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

[startup+13.1001 s]
/proc/loadavg: 1.15 1.03 1.12 3/183 428
/proc/meminfo: memFree=29549708/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=12.96 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 12117 198759 0 0 108 13 983 192 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=422] ppid=32625 vsize=9148 CPUtime=0.25 cores=1,3,5,7
/proc/422/stat : 422 (cp2_post.sh) R 32625 32624 30487 0 -1 4202496 616 2439 0 0 0 0 15 10 20 0 1 0 387131351 9367552 266 33554432000 4194304 5064252 140735788011072 140735788009360 270118239925 0 0 4100 65536 0 0 0 17 3 0 0 0 0 0
/proc/422/statm: 2287 267 227 213 0 72 0
Current children cumulated CPU time (s) 13.21
Current children cumulated vsize (KiB) 38168

[startup+13.2072 s]
/proc/loadavg: 1.15 1.03 1.12 3/183 428
/proc/meminfo: memFree=29549708/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=13.05 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 12873 199273 0 0 116 14 983 192 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 13.05
Current children cumulated vsize (KiB) 29020
#
############


[startup+25.5004 s]
/proc/loadavg: 1.34 1.08 1.13 3/183 655
/proc/meminfo: memFree=29540680/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=24.96 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 22665 380499 0 0 215 25 1890 366 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=654] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/654/stat : 654 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387132579 9367552 267 33554432000 4194304 5064252 140736107095792 140736107094704 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/654/statm: 2287 267 226 213 0 72 0
[pid=655] ppid=654 vsize=48560 CPUtime=0.38 cores=1,3,5,7
/proc/655/stat : 655 (glucose) R 654 32624 30487 0 -1 4202496 10487 0 0 0 36 2 0 0 20 0 1 0 387132579 49725440 10612 33554432000 4194304 5208918 140735631658432 140736107094728 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/655/statm: 12140 10612 95 248 0 11889 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 86728

[startup+51.1003 s]
/proc/loadavg: 1.50 1.14 1.15 3/183 1127
/proc/meminfo: memFree=29530488/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=50.73 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) R 32624 32624 30487 0 -1 4202496 43875 768951 0 0 422 48 3853 750 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 4535958 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 29020

[startup+102.307 s]
/proc/loadavg: 1.78 1.27 1.19 3/181 2114
/proc/meminfo: memFree=29548880/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=100.38 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 72417 1519504 0 0 832 94 7633 1479 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=2108] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2108/stat : 2108 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387140247 9367552 267 33554432000 4194304 5064252 140734783134096 140734783133008 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2108/statm: 2287 267 226 213 0 72 0
[pid=2109] ppid=2108 vsize=48564 CPUtime=0.5 cores=1,3,5,7
/proc/2109/stat : 2109 (glucose) R 2108 32624 30487 0 -1 4202496 10439 0 0 0 48 2 0 0 20 0 1 0 387140247 49729536 10620 33554432000 4194304 5208918 140733418620224 140733418618632 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2109/statm: 12141 10620 95 248 0 11890 0
Current children cumulated CPU time (s) 100.88
Current children cumulated vsize (KiB) 86732

[startup+162.3 s]
/proc/loadavg: 1.92 1.40 1.24 3/183 3208
/proc/meminfo: memFree=29518224/32873844 swapFree=7384/7384

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


[startup+1482.3 s]
/proc/loadavg: 1.96 1.94 1.75 3/183 27631
/proc/meminfo: memFree=29522424/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1459.87 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) R 32624 32624 30487 0 -1 4202496 489651 22032611 0 0 11957 1299 111095 21636 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763696 4619104 0 0 4096 0 0 0 0 17 1 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 1459.87
Current children cumulated vsize (KiB) 29020

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

[startup+1533.41 s]
/proc/loadavg: 1.98 1.94 1.76 3/183 28597
/proc/meminfo: memFree=29523488/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1509.62 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 504907 22782181 0 0 12371 1346 114878 22367 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=28589] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28589/stat : 28589 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387283355 9367552 267 33554432000 4194304 5064252 140734806181552 140734806180464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/28589/statm: 2287 267 226 213 0 72 0
[pid=28590] ppid=28589 vsize=48564 CPUtime=0.53 cores=1,3,5,7
/proc/28590/stat : 28590 (glucose) R 28589 32624 30487 0 -1 4202496 10494 0 0 0 51 2 0 0 20 0 1 0 387283355 49729536 10620 33554432000 4194304 5208918 140737476963360 140737476961768 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28590/statm: 12141 10620 95 248 0 11890 0
Current children cumulated CPU time (s) 1510.15
Current children cumulated vsize (KiB) 86732

[startup+1533.5 s]
/proc/loadavg: 1.98 1.94 1.76 3/183 28597
/proc/meminfo: memFree=29523488/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1509.62 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 504907 22782181 0 0 12371 1346 114878 22367 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=28589] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28589/stat : 28589 (satsolver.sh) R 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387283355 9367552 267 33554432000 4194304 5064252 140734806181552 140734806180464 270118053454 0 65536 4100 65538 0 0 0 17 1 0 0 0 0 0
/proc/28589/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 1509.62
Current children cumulated vsize (KiB) 38168
#
############


[startup+1542.3 s]
/proc/loadavg: 1.98 1.95 1.76 3/181 28763
/proc/meminfo: memFree=29570052/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1518.53 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 507652 22918049 0 0 12445 1353 115557 22498 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 1518.53
Current children cumulated vsize (KiB) 29020

[startup+1602.3 s]
/proc/loadavg: 1.79 1.90 1.76 3/183 29881
/proc/meminfo: memFree=29556420/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1577.1 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 525647 23803819 0 0 12929 1406 120012 23363 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 1577.1
Current children cumulated vsize (KiB) 29020

[startup+1662.3 s]
/proc/loadavg: 1.92 1.92 1.77 3/183 31016
/proc/meminfo: memFree=29522000/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1636.3 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 543653 24697045 0 0 13414 1459 124541 24216 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515762608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 1636.3
Current children cumulated vsize (KiB) 29020

[startup+1722.3 s]
/proc/loadavg: 1.97 1.93 1.78 3/183 32126
/proc/meminfo: memFree=29501072/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1695.28 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 561942 25585149 0 0 13904 1513 129017 25094 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
Current children cumulated CPU time (s) 1695.28
Current children cumulated vsize (KiB) 29020

[startup+1782.3 s]
/proc/loadavg: 1.99 1.94 1.79 3/183 803
/proc/meminfo: memFree=29491692/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1754.01 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 579937 26471820 0 0 14383 1566 133466 25986 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515763120 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=802] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/802/stat : 802 (satsolver.sh) S 32625 32624 30487 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387308249 9367552 267 33554432000 4194304 5064252 140734122424720 140734122423632 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/802/statm: 2287 267 226 213 0 72 0
[pid=803] ppid=802 vsize=48560 CPUtime=0.47 cores=1,3,5,7
/proc/803/stat : 803 (glucose) R 802 32624 30487 0 -1 4202496 10437 0 0 0 45 2 0 0 20 0 1 0 387308249 49725440 10617 33554432000 4194304 5208918 140737366538784 140737366537192 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/803/statm: 12140 10617 95 248 0 11889 0
Current children cumulated CPU time (s) 1754.48
Current children cumulated vsize (KiB) 86728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1828 s]
/proc/loadavg: 1.99 1.95 1.80 3/183 1699
/proc/meminfo: memFree=29556228/32873844 swapFree=7384/7384
[pid=32624] ppid=32622 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32624/stat : 32624 (npSolver-wbo-It) S 32622 32624 30487 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 275 33554432000 4194304 5064252 140734741623216 140734741622128 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32624/statm: 2287 275 233 213 0 72 0
[pid=32625] ppid=32624 vsize=19872 CPUtime=1799.38 cores=1,3,5,7
/proc/32625/stat : 32625 (npSolver-wbo) S 32624 32624 30487 0 -1 4202496 593673 27160373 0 0 14749 1606 136920 26663 20 0 1 0 387130068 20348928 4655 33554432000 4194304 6006132 140736515771760 140736515762608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 47 0 0
/proc/32625/statm: 4968 4655 176 443 0 4521 0
[pid=1697] ppid=32625 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1697/stat : 1697 (cp2_post.sh) S 32625 32624 30487 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387312863 9367552 266 33554432000 4194304 5064252 140735256289152 140735256287440 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1697/statm: 2287 266 225 213 0 72 0
[pid=1699] ppid=1697 vsize=11296 CPUtime=0.04 cores=1,3,5,7
/proc/1699/stat : 1699 (coprocessor) R 1697 32624 30487 0 -1 4202496 2550 0 0 0 4 0 0 0 20 0 1 0 387312863 11567104 1982 33554432000 4194304 6586260 140733324226048 140735256287464 4814712 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/1699/statm: 2824 1984 148 584 0 2236 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 49464

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32624 and gives
#  childrusage.ru_utime.tv_sec=1516
#  childrusage.ru_utime.tv_usec=706425
#  childrusage.ru_stime.tv_sec=282
#  childrusage.ru_stime.tv_usec=712021
# CPU time returned by wait4() is 1799.42
# while last known CPU time is 1799.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1828.02
CPU time (s): 1800.11
CPU user time (s): 1517.31
CPU system time (s): 282.8
CPU usage (%): 98.4734
Max. virtual memory (cumulated for all children) (KiB): 87456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1516.71
system time used= 282.712
maximum resident set size= 44684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27755438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25122424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 525857
involuntary context switches= 24444

runsolver used 5.50816 second user time and 14.3878 second system time

The end

Launcher Data

Begin job on node106 at 2012-06-09 04:46:56
IDJOB=3753107
IDBENCH=79393
IDSOLVER=2336
FILE ID=node106/3753107-1339210016
RUNJOBID= node106-1339210016-32602
PBS_JOBID= 14643856
Free space on /tmp= 71044 MiB

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

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

MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79
RANDOM SEED=507332614

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29638684 kB
Buffers:          454272 kB
Cached:          1834264 kB
SwapCached:         2376 kB
Active:           553952 kB
Inactive:        1739508 kB
Active(anon):       1992 kB
Inactive(anon):     5560 kB
Active(file):     551960 kB
Inactive(file):  1733948 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67100756 kB
Dirty:             17092 kB
Writeback:            24 kB
AnonPages:         10276 kB
Mapped:             8148 kB
Shmem:                 0 kB
Slab:             801408 kB
SReclaimable:     243260 kB
SUnreclaim:       558148 kB
KernelStack:        1400 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71016 MiB
End job on node106 at 2012-06-09 05:17:24