Trace number 3715588

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1613.54 1900.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM0158a6ff32db5686aa85d7a9b49d6df3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.74573
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints67
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 3472
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3471
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.30	c run usual solver
3.00/2.98	o 2307
3.00/2.98	c starting approximation
3.00/2.98	c factor = 2
3.00/2.98	c current bound: 1153
3.75/5.66	c current bound: 1153
4.96/6.63	c current bound: 1153
6.01/7.60	c current bound: 1153
6.78/8.57	c current bound: 1153
7.78/9.55	c current bound: 1153
8.79/10.52	c current bound: 1153
9.77/11.47	c current bound: 1153
10.79/12.44	c current bound: 1153
11.78/13.40	c current bound: 1153
13.04/299.91	c current bound: 1153
13.98/301.12	c current bound: 1153
14.76/302.09	c current bound: 1153
15.74/303.06	c current bound: 1153
16.71/304.03	c current bound: 1153
17.67/305.08	c current bound: 1153
18.65/306.05	c current bound: 1153
19.61/307.01	c current bound: 1153
20.59/307.98	c current bound: 1153
21.54/308.95	c current bound: 1153
22.71/309.92	c current bound: 1153
23.49/310.88	c current bound: 1153
24.46/311.85	c current bound: 1153
25.42/312.83	c current bound: 1153
26.64/313.80	c current bound: 1153
27.37/314.75	c current bound: 1153
28.32/315.81	c current bound: 1153
29.29/316.78	c current bound: 1153
30.26/317.75	c current bound: 1153
31.41/318.72	c current bound: 1153
32.21/319.68	c current bound: 1153
33.14/320.64	c current bound: 1153
34.10/321.59	c current bound: 1153
35.07/322.56	c current bound: 1153
36.04/323.53	c current bound: 1153
37.00/324.49	c current bound: 1153
37.97/325.46	c current bound: 1153
39.16/326.50	c current bound: 1153
40.06/327.46	c current bound: 1153
40.88/328.44	c current bound: 1153
41.83/329.39	c current bound: 1153
42.80/330.35	c current bound: 1153
43.77/331.33	c current bound: 1153
44.97/332.30	c current bound: 1153
45.72/333.27	c current bound: 1153
46.69/334.24	c current bound: 1153
47.76/335.20	c current bound: 1153
48.62/336.17	c current bound: 1153
49.59/337.23	c current bound: 1153
50.79/338.20	c current bound: 1153
51.53/339.16	c current bound: 1153
52.50/340.13	c current bound: 1153
53.69/341.10	c current bound: 1153
54.43/342.06	c current bound: 1153
55.41/343.03	c current bound: 1153
56.47/344.00	c current bound: 1153
57.33/344.95	c current bound: 1153
58.28/345.91	c current bound: 1153
59.26/346.88	c current bound: 1153
60.22/347.85	c current bound: 1153
61.20/348.82	c current bound: 1153
62.15/349.78	c current bound: 1153
63.10/350.72	c current bound: 1153
64.18/351.69	c current bound: 1153
65.20/352.79	c current bound: 1153
66.00/353.76	c current bound: 1153
66.97/354.73	c current bound: 1153
68.15/355.70	c current bound: 1153
68.91/356.66	c current bound: 1153
70.11/357.72	c current bound: 1153
70.86/358.69	c current bound: 1153
71.82/359.65	c current bound: 1153
72.97/360.61	c current bound: 1153
73.86/361.58	c current bound: 1153
74.71/362.55	c current bound: 1153
75.69/363.52	c current bound: 1153
76.66/364.49	c current bound: 1153
77.62/365.46	c current bound: 1153
78.58/366.41	c current bound: 1153
79.56/367.38	c current bound: 1153
80.50/368.44	c current bound: 1153
81.68/369.42	c current bound: 1153
82.58/370.38	c current bound: 1153
83.41/371.34	c current bound: 1153
84.38/372.31	c current bound: 1153
85.35/373.28	c current bound: 1153
86.31/374.31	c current bound: 1153
87.27/375.28	c current bound: 1153
88.23/376.26	c current bound: 1153
89.22/377.22	c current bound: 1153
90.30/378.19	c current bound: 1153
91.31/379.16	c current bound: 1153
92.11/380.12	c current bound: 1153
93.09/381.09	c current bound: 1153
94.05/382.06	c current bound: 1153
95.02/383.03	c current bound: 1153
95.97/384.09	c current bound: 1153
96.95/385.06	c current bound: 1153
97.92/386.03	c current bound: 1153
99.11/387.00	c current bound: 1153
99.99/387.95	c current bound: 1153
100.81/388.92	c current bound: 1153
101.79/390.03	c current bound: 1153
102.98/391.00	c current bound: 1153
103.73/391.96	c current bound: 1153
104.68/392.93	c current bound: 1153
105.88/393.90	c current bound: 1153
106.63/394.87	c current bound: 1153
107.60/395.84	c current bound: 1153
108.80/396.81	c current bound: 1153
109.54/397.78	c current bound: 1153
110.52/398.75	c current bound: 1153
111.48/399.82	c current bound: 1153
112.45/400.79	c current bound: 1153
113.39/401.75	c current bound: 1153
114.37/402.72	c current bound: 1153
115.35/403.69	c current bound: 1153
116.29/404.64	c current bound: 1153
117.48/405.60	c current bound: 1153
118.23/406.57	c current bound: 1153
119.20/407.54	c current bound: 1153
120.17/408.51	c current bound: 1153
121.13/409.46	c current bound: 1153
122.07/410.43	c current bound: 1153
123.03/411.38	c current bound: 1153
124.01/412.35	c current bound: 1153
125.17/413.32	c current bound: 1153
125.95/414.29	c current bound: 1153
126.93/415.25	c current bound: 1153
127.88/416.22	c current bound: 1153
128.85/417.19	c current bound: 1153
129.81/418.16	c current bound: 1153
130.79/419.12	c current bound: 1153
131.73/420.17	c current bound: 1153
132.71/421.14	c current bound: 1153
133.79/422.09	c current bound: 1153
134.64/423.06	c current bound: 1153
135.59/424.01	c current bound: 1153
136.55/424.98	c current bound: 1153
137.53/425.96	c current bound: 1153
138.47/426.92	c current bound: 1153
139.46/427.88	c current bound: 1153
140.42/428.86	c current bound: 1153
141.57/429.83	c current bound: 1153
142.50/430.87	c current bound: 1153
143.30/431.84	c current bound: 1153
144.49/432.80	c current bound: 1153
145.24/433.77	c current bound: 1153
146.22/434.74	c current bound: 1153
147.18/435.71	c current bound: 1153
148.13/436.74	c current bound: 1153
149.32/437.71	c current bound: 1153
150.21/438.68	c current bound: 1153
151.21/439.64	c current bound: 1153
152.22/440.60	c current bound: 1153
152.96/441.57	c current bound: 1153
153.92/442.54	c current bound: 1153
155.12/443.51	c current bound: 1153
155.87/444.48	c current bound: 1153
156.85/445.45	c current bound: 1153
158.00/446.51	c current bound: 1153
158.91/447.47	c current bound: 1153
159.92/448.44	c current bound: 1153
160.72/449.41	c current bound: 1153
161.69/450.38	c current bound: 1153
162.66/451.35	c current bound: 1153
163.62/452.32	c current bound: 1153
164.59/453.29	c current bound: 1153
165.56/454.25	c current bound: 1153
166.54/455.22	c current bound: 1153
167.62/456.19	c current bound: 1153
168.47/457.16	c current bound: 1153
169.45/458.13	c current bound: 1153
170.63/459.10	c current bound: 1153
171.38/460.07	c current bound: 1153
172.37/461.04	c current bound: 1153
173.34/462.01	c current bound: 1153
174.29/462.98	c current bound: 1153
175.44/463.95	c current bound: 1153
176.43/464.91	c current bound: 1153
177.19/465.88	c current bound: 1153
178.13/466.93	c current bound: 1153
179.33/467.90	c current bound: 1153
180.08/468.87	c current bound: 1153
181.05/469.84	c current bound: 1153
182.01/470.79	c current bound: 1153
182.96/471.75	c current bound: 1153
184.13/472.73	c current bound: 1153
184.90/473.70	c current bound: 1153
185.88/474.67	c current bound: 1153
186.85/475.64	c current bound: 1153
188.02/476.60	c current bound: 1153
188.78/477.66	c current bound: 1153
189.75/478.63	c current bound: 1153
190.94/479.60	c current bound: 1153
191.68/480.57	c current bound: 1153
192.82/481.54	c current bound: 1153
193.84/482.51	c current bound: 1153
194.60/483.55	c current bound: 1153
195.57/484.53	c current bound: 1153
196.54/485.49	c current bound: 1153
197.52/486.46	c current bound: 1153
198.49/487.44	c current bound: 1153
199.67/488.40	c current bound: 1153
200.42/489.37	c current bound: 1153
201.57/490.34	c current bound: 1153
202.57/491.30	c current bound: 1153
203.31/492.25	c current bound: 1153
204.49/493.30	c current bound: 1153
205.24/494.26	c current bound: 1153
206.21/495.24	c current bound: 1153
207.18/496.21	c current bound: 1153
208.15/497.18	c current bound: 1153
209.12/498.15	c current bound: 1153
210.08/499.22	c current bound: 1153
211.16/500.19	c current bound: 1153
212.01/501.16	c current bound: 1153
213.16/502.11	c current bound: 1153
213.94/503.08	c current bound: 1153
214.90/504.05	c current bound: 1153
215.89/505.02	c current bound: 1153
216.85/505.99	c current bound: 1153
217.82/506.96	c current bound: 1153
218.98/507.91	c current bound: 1153
219.91/508.95	c current bound: 1153
220.71/509.92	c current bound: 1153
221.67/510.89	c current bound: 1153
222.64/511.85	c current bound: 1153
223.60/512.82	c current bound: 1153
224.80/513.80	c current bound: 1153
225.54/514.75	c current bound: 1153
226.51/515.72	c current bound: 1153
227.60/516.69	c current bound: 1153
228.42/517.64	c current bound: 1153
229.40/518.61	c current bound: 1153
230.36/519.64	c current bound: 1153
231.32/520.61	c current bound: 1153
232.29/521.57	c current bound: 1153
233.24/522.52	c current bound: 1153
234.22/523.49	c current bound: 1153
235.33/524.44	c current bound: 1153
236.32/525.41	c current bound: 1153
237.10/526.39	c current bound: 1153
238.06/527.36	c current bound: 1153
239.03/528.33	c current bound: 1153
240.02/529.29	c current bound: 1153
241.20/530.40	c current bound: 1153
241.95/531.37	c current bound: 1153
242.92/532.34	c current bound: 1153
244.10/533.31	c current bound: 1153
244.98/534.28	c current bound: 1153
245.83/535.28	c current bound: 1153
246.80/536.25	c current bound: 1153
247.77/537.22	c current bound: 1153
248.74/538.19	c current bound: 1153
249.70/539.14	c current bound: 1153
250.67/540.11	c current bound: 1153
251.64/541.08	c current bound: 1153
252.77/542.05	c current bound: 1153
253.76/543.02	c current bound: 1153
254.54/543.99	c current bound: 1153
255.51/544.96	c current bound: 1153
256.50/545.93	c current bound: 1153
257.67/546.90	c current bound: 1153
258.42/547.87	c current bound: 1153
259.40/548.84	c current bound: 1153
260.46/549.79	c current bound: 1153
261.46/550.85	c current bound: 1153
262.44/551.82	c current bound: 1153
263.23/552.79	c current bound: 1153
264.17/553.74	c current bound: 1153
265.15/554.71	c current bound: 1153
266.11/555.68	c current bound: 1153
267.07/556.64	c current bound: 1153
268.01/557.59	c current bound: 1153
269.13/558.56	c current bound: 1153
270.13/559.53	c current bound: 1153
271.12/560.50	c current bound: 1153
271.87/561.44	c current bound: 1153
273.03/562.41	c current bound: 1153
273.79/563.38	c current bound: 1153
274.77/564.35	c current bound: 1153
275.73/565.31	c current bound: 1153
276.86/566.39	c current bound: 1153
277.82/567.36	c current bound: 1153
278.80/568.32	c current bound: 1153
279.81/569.30	c current bound: 1153
280.56/570.27	c current bound: 1153
281.53/571.24	c current bound: 1153
282.50/572.28	c current bound: 1153
283.47/573.25	c current bound: 1153
284.65/574.20	c current bound: 1153
285.41/575.17	c current bound: 1153
286.55/576.13	c current bound: 1153
287.33/577.10	c current bound: 1153
288.30/578.06	c current bound: 1153
289.26/579.02	c current bound: 1153
290.23/579.99	c current bound: 1153
291.20/580.96	c current bound: 1153
292.15/581.96	c current bound: 1153
293.11/582.92	c current bound: 1153
294.21/583.89	c current bound: 1153
295.21/584.86	c current bound: 1153
296.02/585.82	c current bound: 1153
296.99/586.79	c current bound: 1153
297.96/587.76	c current bound: 1153
298.93/588.72	c current bound: 1153
300.12/589.70	c current bound: 1153
300.87/590.67	c current bound: 1153
301.85/591.63	c current bound: 1153
303.02/592.61	c current bound: 1153
303.77/593.57	c current bound: 1153
304.73/594.53	c current bound: 1153
305.93/595.50	c current bound: 1153
306.67/596.47	c current bound: 1153
307.63/597.53	c current bound: 1153
308.82/598.50	c current bound: 1153
309.56/599.47	c current bound: 1153
310.53/600.44	c current bound: 1153
311.60/601.39	c current bound: 1153
312.46/602.36	c current bound: 1153
313.41/603.39	c current bound: 1153
314.39/604.36	c current bound: 1153
315.34/605.31	c current bound: 1153
316.29/606.26	c current bound: 1153
317.26/607.23	c current bound: 1153
318.45/608.20	c current bound: 1153
319.34/609.15	c current bound: 1153
320.35/610.12	c current bound: 1153
321.11/611.09	c current bound: 1153
322.08/612.06	c current bound: 1153
323.05/613.11	c current bound: 1153
324.02/614.08	c current bound: 1153
324.98/615.05	c current bound: 1153
325.95/616.02	c current bound: 1153
326.93/616.99	c current bound: 1153
328.06/617.96	c current bound: 1153
329.04/618.92	c current bound: 1153
329.83/619.89	c current bound: 1153
330.75/620.83	c current bound: 1153
331.95/621.80	c current bound: 1153
332.70/622.77	c current bound: 1153
333.67/623.74	c current bound: 1153
334.85/624.71	c current bound: 1153
335.74/625.68	c current bound: 1153
336.75/626.63	c current bound: 1153
337.51/627.58	c current bound: 1153
338.48/628.61	c current bound: 1153
339.45/629.58	c current bound: 1153
340.42/630.54	c current bound: 1153
341.37/631.51	c current bound: 1153
342.34/632.48	c current bound: 1153
343.29/633.44	c current bound: 1153
344.47/634.42	c current bound: 1153
345.24/635.38	c current bound: 1153
346.21/636.35	c current bound: 1153
347.19/637.32	c current bound: 1153
348.13/638.27	c current bound: 1153
349.11/639.24	c current bound: 1153
350.07/640.21	c current bound: 1153
351.04/641.18	c current bound: 1153
352.17/642.15	c current bound: 1153
353.18/643.12	c current bound: 1153
353.93/644.18	c current bound: 1153
354.91/645.15	c current bound: 1153
355.86/646.12	c current bound: 1153
356.84/647.09	c current bound: 1153
357.80/648.05	c current bound: 1153
358.76/649.02	c current bound: 1153
359.73/650.11	c current bound: 1153
360.68/651.06	c current bound: 1153
361.85/652.01	c current bound: 1153
362.60/652.98	c current bound: 1153
363.55/653.93	c current bound: 1153
364.73/654.90	c current bound: 1153
365.50/655.87	c current bound: 1153
366.46/656.84	c current bound: 1153
367.44/657.81	c current bound: 1153
368.40/658.78	c current bound: 1153
369.55/659.83	c current bound: 1153
370.45/660.79	c current bound: 1153
371.27/661.74	c current bound: 1153
372.25/662.71	c current bound: 1153
373.22/663.68	c current bound: 1153
374.19/664.65	c current bound: 1153
375.15/665.63	c current bound: 1153
376.13/666.59	c current bound: 1153
377.10/667.56	c current bound: 1153
378.25/668.52	c current bound: 1153
379.02/669.49	c current bound: 1153
380.20/670.51	c current bound: 1153
380.95/671.48	c current bound: 1153
381.92/672.45	c current bound: 1153
382.90/673.41	c current bound: 1153
383.88/674.38	c current bound: 1153
384.84/675.35	c current bound: 1153
386.00/676.31	c current bound: 1153
386.89/677.30	c current bound: 1153
387.75/678.26	c current bound: 1153
388.71/679.23	c current bound: 1153
389.69/680.19	c current bound: 1153
390.64/681.16	c current bound: 1153
391.62/682.13	c current bound: 1153
392.57/683.09	c current bound: 1153
393.54/684.06	c current bound: 1153
394.69/685.03	c current bound: 1153
395.65/686.08	c current bound: 1153
396.42/687.03	c current bound: 1153
397.61/688.00	c current bound: 1153
398.36/688.96	c current bound: 1153
399.33/689.93	c current bound: 1153
400.26/690.87	c current bound: 1153
401.24/691.84	c current bound: 1153
402.40/692.81	c current bound: 1153
403.32/693.79	c current bound: 1153
404.14/694.75	c current bound: 1153
405.12/695.72	c current bound: 1153
406.08/696.69	c current bound: 1153
407.06/697.66	c current bound: 1153
408.03/698.63	c current bound: 1153
409.21/699.60	c current bound: 1153
409.97/700.57	c current bound: 1153
411.10/701.54	c current bound: 1153
412.12/702.50	c current bound: 1153
412.86/703.47	c current bound: 1153
413.83/704.43	c current bound: 1153
415.00/705.40	c current bound: 1153
415.76/706.36	c current bound: 1153
416.73/707.43	c current bound: 1153
417.93/708.40	c current bound: 1153
418.68/709.37	c current bound: 1153
419.81/710.33	c current bound: 1153
420.82/711.30	c current bound: 1153
421.57/712.27	c current bound: 1153
422.54/713.22	c current bound: 1153
423.50/714.19	c current bound: 1153
424.47/715.15	c current bound: 1153
425.44/716.12	c current bound: 1153
426.41/717.09	c current bound: 1153
427.52/718.06	c current bound: 1153
428.53/719.04	c current bound: 1153
429.54/720.01	c current bound: 1153
430.30/720.99	c current bound: 1153
431.27/721.95	c current bound: 1153
432.23/722.92	c current bound: 1153
433.20/723.89	c current bound: 1153
434.17/724.84	c current bound: 1153
435.32/725.81	c current bound: 1153
436.23/726.79	c current bound: 1153
437.25/727.85	c current bound: 1153
438.04/728.82	c current bound: 1153
439.01/729.78	c current bound: 1153
439.98/730.75	c current bound: 1153
440.95/731.72	c current bound: 1153
441.92/732.69	c current bound: 1153
442.89/733.66	c current bound: 1153
443.86/734.62	c current bound: 1153
444.95/735.59	c current bound: 1153
445.77/736.54	c current bound: 1153
446.74/737.51	c current bound: 1153
447.71/738.48	c current bound: 1153
448.69/739.45	c current bound: 1153
449.65/740.42	c current bound: 1153
450.62/741.39	c current bound: 1153
451.59/742.36	c current bound: 1153
452.74/743.43	c current bound: 1153
453.75/744.41	c current bound: 1153
454.51/745.38	c current bound: 1153
455.47/746.35	c current bound: 1153
456.45/747.32	c current bound: 1153
457.39/748.27	c current bound: 1153
458.36/749.24	c current bound: 1153
459.31/750.19	c current bound: 1153
460.27/751.14	c current bound: 1153
461.43/752.11	c current bound: 1153
462.19/753.08	c current bound: 1153
463.15/754.05	c current bound: 1153
464.12/755.02	c current bound: 1153
465.10/755.98	c current bound: 1153
466.05/756.95	c current bound: 1153
467.03/757.92	c current bound: 1153
468.20/759.00	c current bound: 1153
468.94/759.96	c current bound: 1153
470.12/760.91	c current bound: 1153
470.86/761.88	c current bound: 1153
471.83/762.86	c current bound: 1153
472.81/763.83	c current bound: 1153
473.79/764.87	c current bound: 1153
474.73/765.82	c current bound: 1153
475.72/766.79	c current bound: 1153
476.68/767.76	c current bound: 1153
477.67/768.73	c current bound: 1153
478.86/769.71	c current bound: 1153
479.59/770.66	c current bound: 1153
480.57/771.63	c current bound: 1153
481.75/772.60	c current bound: 1153
482.49/773.56	c current bound: 1153
483.47/774.53	c current bound: 1153
484.66/775.50	c current bound: 1153
485.41/776.48	c current bound: 1153
486.56/777.45	c current bound: 1153
487.55/778.42	c current bound: 1153
488.34/779.48	c current bound: 1153
489.30/780.44	c current bound: 1153
490.28/781.42	c current bound: 1153
491.24/782.39	c current bound: 1153
492.22/783.36	c current bound: 1153
493.16/784.31	c current bound: 1153
494.12/785.27	c current bound: 1153
495.28/786.24	c current bound: 1153
496.27/787.21	c current bound: 1153
497.02/788.18	c current bound: 1153
497.99/789.14	c current bound: 1153
498.96/790.15	c current bound: 1153
499.92/791.12	c current bound: 1153
500.90/792.09	c current bound: 1153
501.87/793.06	c current bound: 1153
502.84/794.03	c current bound: 1153
503.92/795.00	c current bound: 1153
504.76/795.95	c current bound: 1153
505.72/796.92	c current bound: 1153
506.70/797.89	c current bound: 1153
507.66/798.85	c current bound: 1153
508.63/799.82	c current bound: 1153
509.59/800.86	c current bound: 1153
510.55/801.83	c current bound: 1153
511.74/802.80	c current bound: 1153
512.63/803.78	c current bound: 1153
513.46/804.74	c current bound: 1153
514.43/805.72	c current bound: 1153
515.40/806.74	c current bound: 1153
516.58/807.71	c current bound: 1153
517.34/808.68	c current bound: 1153
518.30/809.64	c current bound: 1153
519.47/810.60	c current bound: 1153
520.37/811.57	c current bound: 1153
521.37/812.54	c current bound: 1153
522.17/813.51	c current bound: 1153
523.13/814.48	c current bound: 1153
524.09/815.44	c current bound: 1153
525.08/816.54	c current bound: 1153
526.25/817.50	c current bound: 1153
527.00/818.47	c current bound: 1153
527.97/819.44	c current bound: 1153
529.15/820.41	c current bound: 1153
530.05/821.38	c current bound: 1153
531.07/822.43	c current bound: 1153
532.07/823.40	c current bound: 1153
532.82/824.37	c current bound: 1153
533.79/825.34	c current bound: 1153
534.76/826.31	c current bound: 1153
535.73/827.28	c current bound: 1153
536.70/828.25	c current bound: 1153
537.85/829.22	c current bound: 1153
538.74/830.19	c current bound: 1153
539.61/831.16	c current bound: 1153
540.78/832.20	c current bound: 1153
541.54/833.17	c current bound: 1153
542.51/834.14	c current bound: 1153
543.68/835.10	c current bound: 1153
544.44/836.07	c current bound: 1153
545.40/837.04	c current bound: 1153
546.56/838.01	c current bound: 1153
547.46/838.98	c current bound: 1153
548.31/839.95	c current bound: 1153
549.48/840.90	c current bound: 1153
550.23/841.88	c current bound: 1153
551.19/842.92	c current bound: 1153
552.17/843.89	c current bound: 1153
553.12/844.86	c current bound: 1153
554.10/845.83	c current bound: 1153
555.27/846.82	c current bound: 1153
556.17/847.79	c current bound: 1153
557.23/848.82	c current bound: 1153
557.97/849.77	c current bound: 1153
558.93/850.73	c current bound: 1153
559.91/851.69	c current bound: 1153
560.88/852.67	c current bound: 1153
561.83/853.63	c current bound: 1153
562.80/854.59	c current bound: 1153
563.93/855.56	c current bound: 1153
564.91/856.53	c current bound: 1153
565.92/857.50	c current bound: 1153
566.67/858.52	c current bound: 1153
567.64/859.49	c current bound: 1153
568.60/860.46	c current bound: 1153
569.57/861.43	c current bound: 1153
570.53/862.38	c current bound: 1153
571.49/863.35	c current bound: 1153
572.65/864.32	c current bound: 1153
573.41/865.27	c current bound: 1153
574.40/866.24	c current bound: 1153
575.35/867.21	c current bound: 1153
576.32/868.18	c current bound: 1153
577.30/869.25	c current bound: 1153
578.25/870.22	c current bound: 1153
579.23/871.19	c current bound: 1153
580.20/872.16	c current bound: 1153
581.35/873.12	c current bound: 1153
582.11/874.08	c current bound: 1153
583.07/875.03	c current bound: 1153
584.26/876.00	c current bound: 1153
585.02/876.98	c current bound: 1153
586.00/877.95	c current bound: 1153
586.97/878.92	c current bound: 1153
587.92/879.87	c current bound: 1153
589.05/880.82	c current bound: 1153
589.84/881.79	c current bound: 1153
590.81/882.76	c current bound: 1153
591.77/883.73	c current bound: 1153
592.72/884.77	c current bound: 1153
593.69/885.73	c current bound: 1153
594.88/886.70	c current bound: 1153
595.61/887.66	c current bound: 1153
596.58/888.63	c current bound: 1153
597.77/889.60	c current bound: 1153
598.49/890.55	c current bound: 1153
599.67/891.51	c current bound: 1153
600.42/892.47	c current bound: 1153
601.38/893.44	c current bound: 1153
602.37/894.41	c current bound: 1153
603.53/895.40	c current bound: 1153
604.30/896.37	c current bound: 1153
605.42/897.35	c current bound: 1153
606.43/898.32	c current bound: 1153
607.20/899.28	c current bound: 1153
608.15/900.23	c current bound: 1153
609.34/901.20	c current bound: 1153
610.08/902.16	c current bound: 1153
611.04/903.13	c current bound: 1153
612.00/904.09	c current bound: 1153
613.13/905.05	c current bound: 1153
614.10/906.13	c current bound: 1153
614.90/907.10	c current bound: 1153
615.88/908.07	c current bound: 1153
616.83/909.04	c current bound: 1153
617.80/910.01	c current bound: 1153
618.75/910.95	c current bound: 1153
619.71/912.00	c current bound: 1153
620.69/912.97	c current bound: 1153
621.64/913.92	c current bound: 1153
622.72/914.89	c current bound: 1153
623.54/915.84	c current bound: 1153
624.52/916.81	c current bound: 1153
625.50/917.78	c current bound: 1153
626.47/918.75	c current bound: 1153
627.64/919.70	c current bound: 1153
628.37/920.66	c current bound: 1153
629.34/921.67	c current bound: 1153
630.48/922.64	c current bound: 1153
631.49/923.61	c current bound: 1153
632.25/924.58	c current bound: 1153
633.22/925.55	c current bound: 1153
634.17/926.52	c current bound: 1153
635.15/927.48	c current bound: 1153
636.10/928.45	c current bound: 1153
637.08/929.42	c current bound: 1153
638.18/930.37	c current bound: 1153
639.17/931.34	c current bound: 1153
639.97/932.35	c current bound: 1153
640.94/933.32	c current bound: 1153
641.90/934.28	c current bound: 1153
642.88/935.25	c current bound: 1153
643.83/936.22	c current bound: 1153
644.82/937.19	c current bound: 1153
645.78/938.16	c current bound: 1153
646.93/939.14	c current bound: 1153
647.71/940.09	c current bound: 1153
648.68/941.06	c current bound: 1153
649.64/942.03	c current bound: 1153
650.62/943.05	c current bound: 1153
651.78/944.01	c current bound: 1153
652.55/944.97	c current bound: 1153
653.51/945.94	c current bound: 1153
654.67/946.91	c current bound: 1153
655.57/947.89	c current bound: 1153
656.41/948.85	c current bound: 1153
657.38/949.82	c current bound: 1153
658.34/950.78	c current bound: 1153
659.31/951.75	c current bound: 1153
660.29/952.72	c current bound: 1153
661.24/953.77	c current bound: 1153
662.21/954.74	c current bound: 1153
663.38/955.71	c current bound: 1153
664.27/956.67	c current bound: 1153
665.11/957.64	c current bound: 1153
666.07/958.59	c current bound: 1153
667.02/959.56	c current bound: 1153
668.00/960.53	c current bound: 1153
668.95/961.48	c current bound: 1153
669.93/962.45	c current bound: 1153
671.09/963.41	c current bound: 1153
671.98/964.37	c current bound: 1153
672.82/965.34	c current bound: 1153
673.99/966.30	c current bound: 1153
674.74/967.27	c current bound: 1153
675.71/968.24	c current bound: 1153
676.91/969.34	c current bound: 1153
677.86/970.30	c current bound: 1153
678.63/971.28	c current bound: 1153
679.58/972.23	c current bound: 1153
680.66/973.20	c current bound: 1153
681.51/974.17	c current bound: 1153
682.48/975.25	c current bound: 1153
683.45/976.22	c current bound: 1153
684.42/977.19	c current bound: 1153
685.39/978.16	c current bound: 1153
686.36/979.14	c current bound: 1153
687.34/980.11	c current bound: 1153
688.29/981.06	c current bound: 1153
689.44/982.03	c current bound: 1153
690.23/982.99	c current bound: 1153
691.18/983.96	c current bound: 1153
692.16/985.02	c current bound: 1153
693.13/985.99	c current bound: 1153
694.09/986.96	c current bound: 1153
695.08/987.93	c current bound: 1153
696.26/988.90	c current bound: 1153
697.02/989.87	c current bound: 1153
698.12/990.87	c current bound: 1153
699.12/991.85	c current bound: 1153
699.92/992.82	c current bound: 1153
700.90/993.78	c current bound: 1153
701.86/994.75	c current bound: 1153
702.84/995.72	c current bound: 1153
703.79/996.67	c current bound: 1153
704.75/997.64	c current bound: 1153
705.93/998.61	c current bound: 1153
706.83/999.58	c current bound: 1153
707.68/1000.59	c current bound: 1153
708.62/1001.54	c current bound: 1153
709.79/1002.51	c current bound: 1153
710.54/1003.46	c current bound: 1153
711.52/1004.43	c current bound: 1153
712.70/1005.40	c current bound: 1153
713.46/1006.36	c current bound: 1153
714.58/1007.34	c current bound: 1153
715.60/1008.30	c current bound: 1153
716.36/1009.27	c current bound: 1153
717.31/1010.23	c current bound: 1153
718.28/1011.23	c current bound: 1153
719.25/1012.19	c current bound: 1153
720.21/1013.16	c current bound: 1153
721.37/1014.11	c current bound: 1153
722.26/1015.08	c current bound: 1153
723.26/1016.05	c current bound: 1153
724.26/1017.00	c current bound: 1153
725.02/1017.97	c current bound: 1153
726.00/1018.94	c current bound: 1153
726.96/1019.91	c current bound: 1153
727.90/1020.85	c current bound: 1153
728.87/1021.95	c current bound: 1153
729.85/1022.92	c current bound: 1153
730.93/1023.88	c current bound: 1153
731.93/1024.85	c current bound: 1153
732.74/1025.82	c current bound: 1153
733.71/1026.78	c current bound: 1153
734.67/1027.82	c current bound: 1153
735.64/1028.79	c current bound: 1153
736.62/1029.76	c current bound: 1153
737.57/1030.72	c current bound: 1153
738.55/1031.69	c current bound: 1153
739.66/1032.66	c current bound: 1153
740.66/1033.63	c current bound: 1153
741.67/1034.60	c current bound: 1153
742.42/1035.57	c current bound: 1153
743.40/1036.54	c current bound: 1153
744.58/1037.60	c current bound: 1153
745.34/1038.57	c current bound: 1153
746.28/1039.52	c current bound: 1153
747.25/1040.49	c current bound: 1153
748.36/1041.46	c current bound: 1153
749.36/1042.43	c current bound: 1153
750.37/1043.40	c current bound: 1153
751.12/1044.37	c current bound: 1153
752.08/1045.34	c current bound: 1153
753.27/1046.30	c current bound: 1153
754.02/1047.28	c current bound: 1153
754.99/1048.24	c current bound: 1153
756.17/1049.21	c current bound: 1153
757.06/1050.18	c current bound: 1153
757.91/1051.15	c current bound: 1153
758.87/1052.12	c current bound: 1153
759.85/1053.21	c current bound: 1153
760.80/1054.18	c current bound: 1153
761.76/1055.13	c current bound: 1153
762.94/1056.10	c current bound: 1153
763.68/1057.06	c current bound: 1153
764.83/1058.02	c current bound: 1153
765.72/1058.98	c current bound: 1153
766.57/1059.95	c current bound: 1153
767.50/1060.89	c current bound: 1153
768.49/1061.86	c current bound: 1153
769.45/1062.83	c current bound: 1153
770.42/1063.88	c current bound: 1153
771.38/1064.85	c current bound: 1153
772.35/1065.81	c current bound: 1153
773.46/1066.78	c current bound: 1153
774.44/1067.75	c current bound: 1153
775.26/1068.72	c current bound: 1153
776.22/1069.69	c current bound: 1153
777.17/1070.64	c current bound: 1153
778.15/1071.61	c current bound: 1153
779.10/1072.56	c current bound: 1153
780.08/1073.54	c current bound: 1153
781.22/1074.59	c current bound: 1153
782.15/1075.56	c current bound: 1153
783.16/1076.53	c current bound: 1153
784.18/1077.51	c current bound: 1153
784.93/1078.48	c current bound: 1153
785.89/1079.45	c current bound: 1153
786.87/1080.51	c current bound: 1153
787.84/1081.48	c current bound: 1153
788.79/1082.45	c current bound: 1153
789.75/1083.41	c current bound: 1153
790.85/1084.38	c current bound: 1153
791.85/1085.34	c current bound: 1153
792.65/1086.31	c current bound: 1153
793.62/1087.28	c current bound: 1153
794.58/1088.25	c current bound: 1153
795.57/1089.22	c current bound: 1153
796.54/1090.27	c current bound: 1153
797.51/1091.24	c current bound: 1153
798.48/1092.23	c current bound: 1153
799.66/1093.22	c current bound: 1153
800.56/1094.19	c current bound: 1153
801.43/1095.16	c current bound: 1153
802.39/1096.16	c current bound: 1153
803.36/1097.12	c current bound: 1153
804.31/1098.09	c current bound: 1153
805.28/1099.07	c current bound: 1153
806.25/1100.04	c current bound: 1153
807.21/1100.99	c current bound: 1153
808.32/1101.94	c current bound: 1153
809.34/1102.91	c current bound: 1153
810.09/1103.88	c current bound: 1153
811.07/1104.86	c current bound: 1153
812.04/1105.83	c current bound: 1153
813.22/1106.80	c current bound: 1153
813.97/1107.77	c current bound: 1153
814.94/1108.74	c current bound: 1153
816.12/1109.71	c current bound: 1153
817.00/1110.68	c current bound: 1153
817.83/1111.63	c current bound: 1153
819.01/1112.61	c current bound: 1153
819.77/1113.58	c current bound: 1153
820.74/1114.54	c current bound: 1153
821.70/1115.52	c current bound: 1153
822.69/1116.49	c current bound: 1153
823.64/1117.47	c current bound: 1153
824.79/1118.44	c current bound: 1153
825.81/1119.40	c current bound: 1153
826.56/1120.38	c current bound: 1153
827.75/1121.40	c current bound: 1153
828.51/1122.37	c current bound: 1153
829.48/1123.34	c current bound: 1153
830.45/1124.31	c current bound: 1153
831.41/1125.29	c current bound: 1153
832.39/1126.26	c current bound: 1153
833.53/1127.23	c current bound: 1153
834.57/1128.20	c current bound: 1153
835.30/1129.16	c current bound: 1153
836.26/1130.13	c current bound: 1153
837.45/1131.11	c current bound: 1153
838.20/1132.17	c current bound: 1153
839.18/1133.14	c current bound: 1153
840.15/1134.12	c current bound: 1153
841.10/1135.07	c current bound: 1153
842.24/1136.03	c current bound: 1153
843.02/1137.00	c current bound: 1153
844.00/1137.96	c current bound: 1153
844.96/1138.94	c current bound: 1153
846.15/1139.91	c current bound: 1153
846.90/1140.88	c current bound: 1153
847.87/1141.85	c current bound: 1153
848.84/1142.82	c current bound: 1153
849.94/1143.79	c current bound: 1153
850.92/1144.75	c current bound: 1153
851.74/1145.71	c current bound: 1153
852.68/1146.68	c current bound: 1153
853.66/1147.65	c current bound: 1153
854.64/1148.62	c current bound: 1153
855.61/1149.59	c current bound: 1153
856.56/1150.55	c current bound: 1153
857.72/1151.52	c current bound: 1153
858.62/1152.47	c current bound: 1153
859.64/1153.54	c current bound: 1153
860.44/1154.51	c current bound: 1153
861.39/1155.48	c current bound: 1153
862.37/1156.45	c current bound: 1153
863.33/1157.43	c current bound: 1153
864.53/1158.40	c current bound: 1153
865.28/1159.44	c current bound: 1153
866.48/1160.41	c current bound: 1153
867.36/1161.38	c current bound: 1153
868.36/1162.34	c current bound: 1153
869.16/1163.32	c current bound: 1153
870.14/1164.28	c current bound: 1153
871.10/1165.25	c current bound: 1153
872.26/1166.21	c current bound: 1153
873.01/1167.16	c current bound: 1153
873.97/1168.13	c current bound: 1153
875.17/1169.10	c current bound: 1153
876.07/1170.07	c current bound: 1153
876.86/1171.01	c current bound: 1153
877.82/1171.98	c current bound: 1153
878.79/1172.95	c current bound: 1153
879.75/1174.01	c current bound: 1153
880.73/1174.98	c current bound: 1153
881.69/1175.94	c current bound: 1153
882.67/1176.92	c current bound: 1153
883.78/1177.89	c current bound: 1153
884.78/1178.86	c current bound: 1153
885.81/1179.91	c current bound: 1153
886.54/1180.86	c current bound: 1153
887.50/1181.83	c current bound: 1153
888.48/1182.81	c current bound: 1153
889.45/1183.78	c current bound: 1153
890.42/1184.75	c current bound: 1153
891.39/1185.73	c current bound: 1153
892.58/1186.70	c current bound: 1153
893.47/1187.66	c current bound: 1153
894.29/1188.62	c current bound: 1153
895.26/1189.66	c current bound: 1153
896.20/1190.61	c current bound: 1153
897.18/1191.58	c current bound: 1153
898.14/1192.55	c current bound: 1153
899.12/1193.52	c current bound: 1153
900.08/1194.49	c current bound: 1153
901.19/1195.46	c current bound: 1153
902.19/1196.43	c current bound: 1153
903.21/1197.40	c current bound: 1153
903.96/1198.37	c current bound: 1153
904.93/1199.34	c current bound: 1153
906.11/1200.40	c current bound: 1153
906.87/1201.37	c current bound: 1153
907.84/1202.34	c current bound: 1153
908.81/1203.31	c current bound: 1153
909.90/1204.29	c current bound: 1153
910.90/1205.24	c current bound: 1153
911.71/1206.21	c current bound: 1153
912.67/1207.18	c current bound: 1153
913.65/1208.16	c current bound: 1153
914.63/1209.13	c current bound: 1153
915.82/1210.10	c current bound: 1153
916.53/1211.04	c current bound: 1153
917.71/1212.01	c current bound: 1153
918.61/1212.97	c current bound: 1153
919.43/1213.93	c current bound: 1153
920.40/1214.91	c current bound: 1153
921.37/1215.97	c current bound: 1153
922.32/1216.93	c current bound: 1153
923.51/1217.90	c current bound: 1153
924.28/1218.88	c current bound: 1153
925.25/1219.86	c current bound: 1153
926.19/1220.82	c current bound: 1153
927.35/1221.82	c current bound: 1153
928.15/1222.79	c current bound: 1153
929.11/1223.76	c current bound: 1153
930.08/1224.73	c current bound: 1153
931.26/1225.70	c current bound: 1153
932.02/1226.67	c current bound: 1153
932.98/1227.64	c current bound: 1153
933.97/1228.61	c current bound: 1153
935.06/1229.58	c current bound: 1153
936.06/1230.54	c current bound: 1153
937.07/1231.61	c current bound: 1153
937.83/1232.58	c current bound: 1153
938.81/1233.55	c current bound: 1153
939.76/1234.52	c current bound: 1153
940.74/1235.49	c current bound: 1153
941.72/1236.46	c current bound: 1153
942.68/1237.51	c current bound: 1153
943.65/1238.48	c current bound: 1153
944.79/1239.45	c current bound: 1153
945.78/1240.42	c current bound: 1153
946.57/1241.38	c current bound: 1153
947.53/1242.36	c current bound: 1153
948.49/1243.32	c current bound: 1153
949.46/1244.29	c current bound: 1153
950.43/1245.26	c current bound: 1153
951.40/1246.24	c current bound: 1153
952.57/1247.27	c current bound: 1153
953.52/1248.24	c current bound: 1153
954.31/1249.19	c current bound: 1153
955.27/1250.15	c current bound: 1153
956.21/1251.11	c current bound: 1153
957.18/1252.08	c current bound: 1153
958.15/1253.05	c current bound: 1153
959.13/1254.03	c current bound: 1153
960.32/1255.00	c current bound: 1153
961.22/1255.97	c current bound: 1153
962.22/1256.94	c current bound: 1153
963.03/1257.91	c current bound: 1153
963.99/1258.89	c current bound: 1153
964.98/1259.86	c current bound: 1153
965.93/1260.84	c current bound: 1153
966.91/1261.81	c current bound: 1153
967.88/1263.07	c current bound: 1153
968.86/1264.04	c current bound: 1153
969.82/1265.02	c current bound: 1153
970.80/1265.99	c current bound: 1153
971.91/1266.96	c current bound: 1153
972.92/1268.02	c current bound: 1153
973.69/1268.98	c current bound: 1153
974.66/1269.95	c current bound: 1153
975.62/1270.92	c current bound: 1153
976.59/1271.89	c current bound: 1153
977.57/1272.86	c current bound: 1153
978.54/1273.91	c current bound: 1153
979.52/1274.88	c current bound: 1153
980.46/1275.85	c current bound: 1153
981.64/1276.82	c current bound: 1153
982.41/1277.78	c current bound: 1153
983.36/1278.74	c current bound: 1153
984.55/1279.71	c current bound: 1153
985.28/1280.67	c current bound: 1153
986.27/1281.64	c current bound: 1153
987.23/1282.61	c current bound: 1153
988.19/1283.66	c current bound: 1153
989.35/1284.61	c current bound: 1153
990.25/1285.59	c current bound: 1153
991.10/1286.55	c current bound: 1153
992.07/1287.52	c current bound: 1153
993.26/1288.50	c current bound: 1153
994.01/1289.47	c current bound: 1153
994.97/1290.44	c current bound: 1153
996.15/1291.41	c current bound: 1153
996.91/1292.38	c current bound: 1153
998.04/1293.34	c current bound: 1153
999.03/1294.40	c current bound: 1153
999.82/1295.37	c current bound: 1153
1000.80/1296.34	c current bound: 1153
1001.75/1297.31	c current bound: 1153
1002.74/1298.28	c current bound: 1153
1003.70/1299.26	c current bound: 1153
1004.88/1300.31	c current bound: 1153
1005.63/1301.28	c current bound: 1153
1006.61/1302.25	c current bound: 1153
1007.68/1303.20	c current bound: 1153
1008.54/1304.17	c current bound: 1153
1009.51/1305.14	c current bound: 1153
1010.47/1306.09	c current bound: 1153
1011.42/1307.06	c current bound: 1153
1012.39/1308.03	c current bound: 1153
1013.36/1308.99	c current bound: 1153
1014.32/1310.06	c current bound: 1153
1015.28/1311.03	c current bound: 1153
1016.38/1312.00	c current bound: 1153
1017.21/1312.95	c current bound: 1153
1018.18/1313.92	c current bound: 1153
1019.14/1314.88	c current bound: 1153
1020.10/1315.85	c current bound: 1153
1021.08/1316.82	c current bound: 1153
1022.04/1317.79	c current bound: 1153
1023.01/1318.76	c current bound: 1153
1024.15/1319.73	c current bound: 1153
1024.95/1320.70	c current bound: 1153
1025.93/1321.67	c current bound: 1153
1026.89/1322.64	c current bound: 1153
1027.87/1323.61	c current bound: 1153
1028.83/1324.59	c current bound: 1153
1029.78/1325.55	c current bound: 1153
1030.76/1326.52	c current bound: 1153
1031.85/1327.49	c current bound: 1153
1032.85/1328.46	c current bound: 1153
1033.68/1329.43	c current bound: 1153
1034.87/1330.40	c current bound: 1153
1035.62/1331.41	c current bound: 1153
1036.56/1332.37	c current bound: 1153
1037.54/1333.33	c current bound: 1153
1038.49/1334.29	c current bound: 1153
1039.46/1335.26	c current bound: 1153
1040.60/1336.23	c current bound: 1153
1041.38/1337.18	c current bound: 1153
1042.35/1338.15	c current bound: 1153
1043.52/1339.10	c current bound: 1153
1044.28/1340.08	c current bound: 1153
1045.24/1341.04	c current bound: 1153
1046.22/1342.11	c current bound: 1153
1047.17/1343.08	c current bound: 1153
1048.15/1344.05	c current bound: 1153
1049.32/1345.02	c current bound: 1153
1050.09/1345.99	c current bound: 1153
1051.06/1346.96	c current bound: 1153
1052.02/1347.98	c current bound: 1153
1053.00/1348.96	c current bound: 1153
1053.97/1349.93	c current bound: 1153
1054.92/1350.88	c current bound: 1153
1055.89/1351.85	c current bound: 1153
1056.86/1352.83	c current bound: 1153
1057.95/1353.80	c current bound: 1153
1058.80/1354.77	c current bound: 1153
1059.77/1355.73	c current bound: 1153
1060.95/1356.70	c current bound: 1153
1061.69/1357.67	c current bound: 1153
1062.66/1358.64	c current bound: 1153
1063.83/1359.61	c current bound: 1153
1064.60/1360.58	c current bound: 1153
1065.73/1361.54	c current bound: 1153
1066.73/1362.52	c current bound: 1153
1067.51/1363.49	c current bound: 1153
1068.46/1364.44	c current bound: 1153
1069.42/1365.41	c current bound: 1153
1070.38/1366.38	c current bound: 1153
1071.37/1367.36	c current bound: 1153
1072.33/1368.43	c current bound: 1153
1073.52/1369.40	c current bound: 1153
1074.42/1370.37	c current bound: 1153
1075.42/1371.33	c current bound: 1153
1076.42/1372.30	c current bound: 1153
1077.17/1373.26	c current bound: 1153
1078.14/1374.28	c current bound: 1153
1079.10/1375.24	c current bound: 1153
1080.03/1376.19	c current bound: 1153
1081.02/1377.16	c current bound: 1153
1081.97/1378.14	c current bound: 1153
1083.17/1379.10	c current bound: 1153
1083.90/1380.06	c current bound: 1153
1084.86/1381.01	c current bound: 1153
1085.82/1381.98	c current bound: 1153
1086.79/1382.95	c current bound: 1153
1087.77/1384.01	c current bound: 1153
1088.71/1384.97	c current bound: 1153
1089.70/1385.95	c current bound: 1153
1090.88/1386.90	c current bound: 1153
1091.76/1387.87	c current bound: 1153
1092.58/1388.83	c current bound: 1153
1093.53/1389.79	c current bound: 1153
1094.49/1390.76	c current bound: 1153
1095.46/1391.73	c current bound: 1153
1096.65/1392.70	c current bound: 1153
1097.40/1393.67	c current bound: 1153
1098.38/1394.67	c current bound: 1153
1099.51/1395.64	c current bound: 1153
1100.54/1396.61	c current bound: 1153
1101.28/1397.58	c current bound: 1153
1102.25/1398.55	c current bound: 1153
1103.22/1399.51	c current bound: 1153
1104.20/1400.49	c current bound: 1153
1105.17/1401.46	c current bound: 1153
1106.14/1402.43	c current bound: 1153
1107.33/1403.40	c current bound: 1153
1108.22/1404.38	c current bound: 1153
1109.05/1405.40	c current bound: 1153
1110.02/1406.37	c current bound: 1153
1110.97/1407.32	c current bound: 1153
1111.92/1408.27	c current bound: 1153
1112.89/1409.25	c current bound: 1153
1113.87/1410.22	c current bound: 1153
1114.83/1411.19	c current bound: 1153
1115.96/1412.16	c current bound: 1153
1116.98/1413.11	c current bound: 1153
1117.74/1414.08	c current bound: 1153
1118.70/1415.05	c current bound: 1153
1119.69/1416.03	c current bound: 1153
1120.66/1416.99	c current bound: 1153
1121.63/1417.97	c current bound: 1153
1122.60/1418.94	c current bound: 1153
1123.76/1419.91	c current bound: 1153
1124.68/1420.88	c current bound: 1153
1125.52/1421.85	c current bound: 1153
1126.50/1422.83	c current bound: 1153
1127.69/1423.80	c current bound: 1153
1128.44/1424.77	c current bound: 1153
1129.42/1425.75	c current bound: 1153
1130.39/1426.73	c current bound: 1153
1131.35/1427.68	c current bound: 1153
1132.47/1428.65	c current bound: 1153
1133.49/1429.62	c current bound: 1153
1134.24/1430.58	c current bound: 1153
1135.21/1431.55	c current bound: 1153
1136.19/1432.52	c current bound: 1153
1137.16/1433.49	c current bound: 1153
1138.14/1434.46	c current bound: 1153
1139.10/1435.44	c current bound: 1153
1140.08/1436.44	c current bound: 1153
1141.28/1437.41	c current bound: 1153
1142.03/1438.38	c current bound: 1153
1143.00/1439.35	c current bound: 1153
1143.99/1440.32	c current bound: 1153
1144.95/1441.29	c current bound: 1153
1145.91/1442.26	c current bound: 1153
1146.87/1443.22	c current bound: 1153
1148.08/1444.20	c current bound: 1153
1148.96/1445.17	c current bound: 1153
1149.99/1446.12	c current bound: 1153
1150.76/1447.09	c current bound: 1153
1151.73/1448.06	c current bound: 1153
1152.70/1449.03	c current bound: 1153
1153.90/1450.00	c current bound: 1153
1154.61/1451.08	c current bound: 1153
1155.58/1452.03	c current bound: 1153
1156.76/1453.01	c current bound: 1153
1157.65/1453.96	c current bound: 1153
1158.66/1454.93	c current bound: 1153
1159.67/1455.90	c current bound: 1153
1160.43/1457.07	c current bound: 1153
1161.45/1458.04	c current bound: 1153
1162.46/1459.02	c current bound: 1153
1163.47/1459.99	c current bound: 1153
1164.48/1461.12	c current bound: 1153
1165.50/1462.09	c current bound: 1153
1166.51/1463.07	c current bound: 1153
1167.53/1464.04	c current bound: 1153
1168.53/1465.02	c current bound: 1153
1169.79/1466.06	c current bound: 1153
1170.56/1467.04	c current bound: 1153
1171.58/1468.01	c current bound: 1153
1172.76/1468.99	c current bound: 1153
1173.61/1469.96	c current bound: 1153
1174.63/1470.94	c current bound: 1153
1175.63/1471.92	c current bound: 1153
1176.64/1472.89	c current bound: 1153
1177.65/1473.87	c current bound: 1153
1178.87/1474.84	c current bound: 1153
1179.90/1475.80	c current bound: 1153
1180.69/1476.79	c current bound: 1153
1181.70/1477.76	c current bound: 1153
1182.72/1478.75	c current bound: 1153
1183.97/1479.71	c current bound: 1153
1184.73/1480.69	c current bound: 1153
1185.74/1481.67	c current bound: 1153
1186.76/1482.65	c current bound: 1153
1187.76/1483.63	c current bound: 1153
1188.76/1484.58	c current bound: 1153
1189.78/1485.55	c current bound: 1153
1190.80/1486.55	c current bound: 1153
1191.80/1487.53	c current bound: 1153
1192.83/1488.51	c current bound: 1153
1193.83/1489.49	c current bound: 1153
1194.85/1490.46	c current bound: 1153
1195.87/1491.44	c current bound: 1153
1196.89/1492.43	c current bound: 1153
1198.17/1493.41	c current bound: 1153
1198.92/1494.39	c current bound: 1153
1199.94/1495.36	c current bound: 1153
1201.20/1496.33	c current bound: 1153
1202.19/1497.42	c current bound: 1153
1203.00/1498.39	c current bound: 1153
1204.01/1499.37	c current bound: 1153
1205.02/1500.35	c current bound: 1153
1206.03/1501.32	c current bound: 1153
1207.26/1502.30	c current bound: 1153
1208.04/1503.26	c current bound: 1153
1209.06/1504.24	c current bound: 1153
1210.07/1505.23	c current bound: 1153
1211.10/1506.22	c current bound: 1153
1212.33/1507.20	c current bound: 1153
1213.12/1508.17	c current bound: 1153
1214.13/1509.15	c current bound: 1153
1215.16/1510.13	c current bound: 1153
1216.18/1511.12	c current bound: 1153
1217.40/1512.10	c current bound: 1153
1218.46/1513.07	c current bound: 1153
1219.47/1514.06	c current bound: 1153
1220.25/1515.04	c current bound: 1153
1221.26/1516.03	c current bound: 1153
1222.55/1517.01	c current bound: 1153
1223.30/1517.98	c current bound: 1153
1224.32/1518.96	c current bound: 1153
1225.35/1519.95	c current bound: 1153
1226.35/1520.93	c current bound: 1153
1227.62/1521.92	c current bound: 1153
1228.39/1522.89	c current bound: 1153
1229.41/1523.87	c current bound: 1153
1230.43/1524.86	c current bound: 1153
1231.43/1525.82	c current bound: 1153
1232.67/1526.77	c current bound: 1153
1233.44/1527.74	c current bound: 1153
1234.45/1528.72	c current bound: 1153
1235.47/1529.70	c current bound: 1153
1236.48/1530.67	c current bound: 1153
1237.50/1531.65	c current bound: 1153
1238.74/1532.63	c current bound: 1153
1239.51/1533.58	c current bound: 1153
1240.51/1534.56	c current bound: 1153
1241.78/1535.64	c current bound: 1153
1242.79/1536.61	c current bound: 1153
1243.55/1537.57	c current bound: 1153
1244.54/1538.53	c current bound: 1153
1245.55/1539.50	c current bound: 1153
1246.56/1540.47	c current bound: 1153
1247.56/1541.44	c current bound: 1153
1248.57/1542.41	c current bound: 1153
1249.57/1543.39	c current bound: 1153
1250.83/1544.36	c current bound: 1153
1251.59/1545.33	c current bound: 1153
1252.59/1546.29	c current bound: 1153
1253.84/1547.27	c current bound: 1153
1254.61/1548.23	c current bound: 1153
1255.64/1549.22	c current bound: 1153
1256.90/1550.20	c current bound: 1153
1257.66/1551.18	c current bound: 1153
1258.90/1552.16	c current bound: 1153
1259.69/1553.14	c current bound: 1153
1260.71/1554.12	c current bound: 1153
1261.71/1555.08	c current bound: 1153
1262.73/1556.06	c current bound: 1153
1263.73/1557.04	c current bound: 1153
1264.99/1558.02	c current bound: 1153
1265.74/1558.98	c current bound: 1153
1266.75/1559.95	c current bound: 1153
1267.76/1560.93	c current bound: 1153
1269.03/1561.91	c current bound: 1153
1270.01/1562.88	c current bound: 1153
1270.81/1563.86	c current bound: 1153
1271.82/1564.83	c current bound: 1153
1272.82/1565.81	c current bound: 1153
1273.85/1566.80	c current bound: 1153
1275.06/1567.77	c current bound: 1153
1275.88/1568.74	c current bound: 1153
1276.88/1569.71	c current bound: 1153
1277.89/1570.69	c current bound: 1153
1278.88/1571.65	c current bound: 1153
1279.89/1572.63	c current bound: 1153
1281.15/1573.61	c current bound: 1153
1281.92/1574.58	c current bound: 1153
1282.93/1575.56	c current bound: 1153
1283.94/1576.54	c current bound: 1153
1285.20/1577.51	c current bound: 1153
1285.97/1578.48	c current bound: 1153
1286.97/1579.46	c current bound: 1153
1288.21/1580.43	c current bound: 1153
1289.00/1581.40	c current bound: 1153
1290.00/1582.37	c current bound: 1153
1291.03/1583.35	c current bound: 1153
1292.04/1584.33	c current bound: 1153
1293.30/1585.31	c current bound: 1153
1294.07/1586.29	c current bound: 1153
1295.08/1587.26	c current bound: 1153
1296.10/1588.25	c current bound: 1153
1297.11/1589.23	c current bound: 1153
1298.37/1590.21	c current bound: 1153
1299.13/1591.19	c current bound: 1153
1300.15/1592.16	c current bound: 1153
1301.17/1593.14	c current bound: 1153
1302.42/1594.11	c current bound: 1153
1303.18/1595.09	c current bound: 1153
1304.20/1596.07	c current bound: 1153
1305.20/1597.04	c current bound: 1153
1306.22/1598.02	c current bound: 1153
1307.49/1599.00	c current bound: 1153
1308.25/1599.99	c current bound: 1153
1309.27/1600.97	c current bound: 1153
1310.27/1601.94	c current bound: 1153
1311.30/1602.92	c current bound: 1153
1312.31/1603.90	c current bound: 1153
1313.33/1604.88	c current bound: 1153
1314.35/1605.87	c current bound: 1153
1315.37/1606.85	c current bound: 1153
1316.39/1607.83	c current bound: 1153
1317.38/1608.79	c current bound: 1153
1318.38/1609.75	c current bound: 1153
1319.38/1610.72	c current bound: 1153
1320.40/1611.69	c current bound: 1153
1321.39/1612.67	c current bound: 1153
1322.42/1613.65	c current bound: 1153
1323.63/1614.62	c current bound: 1153
1324.63/1615.58	c current bound: 1153
1325.44/1616.55	c current bound: 1153
1326.44/1617.53	c current bound: 1153
1327.47/1618.51	c current bound: 1153
1328.46/1619.49	c current bound: 1153
1329.50/1620.47	c current bound: 1153
1330.50/1621.44	c current bound: 1153
1331.75/1622.42	c current bound: 1153
1332.51/1623.37	c current bound: 1153
1333.51/1624.35	c current bound: 1153
1334.52/1625.33	c current bound: 1153
1335.52/1626.30	c current bound: 1153
1336.74/1627.27	c current bound: 1153
1337.78/1628.24	c current bound: 1153
1338.53/1629.19	c current bound: 1153
1339.54/1630.17	c current bound: 1153
1340.56/1631.15	c current bound: 1153
1341.78/1632.13	c current bound: 1153
1342.82/1633.10	c current bound: 1153
1343.84/1634.09	c current bound: 1153
1344.61/1635.07	c current bound: 1153
1345.62/1636.05	c current bound: 1153
1346.87/1637.01	c current bound: 1153
1347.64/1637.98	c current bound: 1153
1348.65/1638.96	c current bound: 1153
1349.67/1639.95	c current bound: 1153
1350.94/1640.93	c current bound: 1153
1351.95/1641.91	c current bound: 1153
1352.71/1642.88	c current bound: 1153
1353.73/1643.87	c current bound: 1153
1354.75/1644.85	c current bound: 1153
1355.76/1645.84	c current bound: 1153
1356.91/1646.79	c current bound: 1153
1357.77/1647.76	c current bound: 1153
1358.79/1648.74	c current bound: 1153
1359.81/1649.72	c current bound: 1153
1360.80/1650.68	c current bound: 1153
1361.81/1651.66	c current bound: 1153
1363.03/1652.63	c current bound: 1153
1364.07/1653.60	c current bound: 1153
1364.84/1654.58	c current bound: 1153
1365.85/1655.55	c current bound: 1153
1366.86/1656.53	c current bound: 1153
1368.12/1657.51	c current bound: 1153
1368.90/1658.49	c current bound: 1153
1369.91/1659.48	c current bound: 1153
1370.90/1660.44	c current bound: 1153
1371.93/1661.43	c current bound: 1153
1373.16/1662.41	c current bound: 1153
1373.93/1663.36	c current bound: 1153
1374.95/1664.35	c current bound: 1153
1375.97/1665.33	c current bound: 1153
1376.99/1666.31	c current bound: 1153
1378.00/1667.29	c current bound: 1153
1379.00/1668.25	c current bound: 1153
1380.01/1669.24	c current bound: 1153
1381.27/1670.20	c current bound: 1153
1382.03/1671.18	c current bound: 1153
1383.05/1672.16	c current bound: 1153
1384.08/1673.16	c current bound: 1153
1385.11/1674.15	c current bound: 1153
1386.12/1675.12	c current bound: 1153
1387.39/1676.10	c current bound: 1153
1388.36/1677.07	c current bound: 1153
1389.15/1678.03	c current bound: 1153
1390.42/1679.01	c current bound: 1153
1391.18/1679.99	c current bound: 1153
1392.20/1680.97	c current bound: 1153
1393.23/1681.95	c current bound: 1153
1394.45/1682.93	c current bound: 1153
1395.25/1683.89	c current bound: 1153
1396.26/1684.87	c current bound: 1153
1397.26/1685.83	c current bound: 1153
1398.51/1686.81	c current bound: 1153
1399.27/1687.78	c current bound: 1153
1400.50/1688.76	c current bound: 1153
1401.30/1689.74	c current bound: 1153
1402.31/1690.79	c current bound: 1153
1403.34/1691.77	c current bound: 1153
1404.36/1692.75	c current bound: 1153
1405.35/1693.72	c current bound: 1153
1406.64/1694.70	c current bound: 1153
1407.39/1695.66	c current bound: 1153
1408.40/1696.64	c current bound: 1153
1409.41/1697.61	c current bound: 1153
1410.67/1698.59	c current bound: 1153
1411.42/1699.55	c current bound: 1153
1412.66/1700.51	c current bound: 1153
1413.43/1701.48	c current bound: 1153
1414.44/1702.46	c current bound: 1153
1415.43/1703.43	c current bound: 1153
1416.46/1704.41	c current bound: 1153
1417.67/1705.39	c current bound: 1153
1418.48/1706.35	c current bound: 1153
1419.50/1707.33	c current bound: 1153
1420.75/1708.31	c current bound: 1153
1421.51/1709.28	c current bound: 1153
1422.52/1710.26	c current bound: 1153
1423.75/1711.23	c current bound: 1153
1424.81/1712.21	c current bound: 1153
1425.57/1713.18	c current bound: 1153
1426.59/1714.16	c current bound: 1153
1427.59/1715.13	c current bound: 1153
1428.85/1716.11	c current bound: 1153
1429.83/1717.08	c current bound: 1153
1430.62/1718.05	c current bound: 1153
1431.64/1719.04	c current bound: 1153
1432.67/1720.02	c current bound: 1153
1433.67/1721.00	c current bound: 1153
1434.90/1721.98	c current bound: 1153
1435.70/1722.95	c current bound: 1153
1436.71/1723.94	c current bound: 1153
1437.71/1724.90	c current bound: 1153
1438.73/1725.88	c current bound: 1153
1439.96/1726.86	c current bound: 1153
1440.76/1727.83	c current bound: 1153
1441.78/1728.82	c current bound: 1153
1442.80/1729.80	c current bound: 1153
1443.81/1730.78	c current bound: 1153
1445.04/1731.76	c current bound: 1153
1445.84/1732.75	c current bound: 1153
1446.86/1733.73	c current bound: 1153
1448.13/1734.71	c current bound: 1153
1448.91/1735.70	c current bound: 1153
1450.15/1736.68	c current bound: 1153
1450.94/1737.66	c current bound: 1153
1451.96/1738.64	c current bound: 1153
1452.99/1739.62	c current bound: 1153
1454.24/1740.60	c current bound: 1153
1455.24/1741.59	c current bound: 1153
1456.05/1742.57	c current bound: 1153
1457.06/1743.55	c current bound: 1153
1458.06/1744.53	c current bound: 1153
1459.10/1745.51	c current bound: 1153
1460.10/1746.49	c current bound: 1153
1461.12/1747.47	c current bound: 1153
1462.12/1748.45	c current bound: 1153
1463.14/1749.43	c current bound: 1153
1464.40/1750.40	c current bound: 1153
1465.16/1751.38	c current bound: 1153
1466.19/1752.36	c current bound: 1153
1467.21/1753.34	c current bound: 1153
1468.21/1754.32	c current bound: 1153
1469.48/1755.30	c current bound: 1153
1470.23/1756.95	c current bound: 1153
1471.39/1757.92	c current bound: 1153
1472.16/1758.87	c current bound: 1153
1473.13/1759.84	c current bound: 1153
1474.11/1760.81	c current bound: 1153
1475.07/1761.79	c current bound: 1153
1476.03/1762.75	c current bound: 1153
1477.01/1763.72	c current bound: 1153
1477.98/1764.69	c current bound: 1153
1479.10/1765.66	c current bound: 1153
1480.11/1766.63	c current bound: 1153
1481.12/1767.60	c current bound: 1153
1481.88/1768.58	c current bound: 1153
1482.85/1769.55	c current bound: 1153
1483.83/1770.52	c current bound: 1153
1484.79/1771.50	c current bound: 1153
1485.77/1772.47	c current bound: 1153
1486.72/1773.43	c current bound: 1153
1487.93/1774.41	c current bound: 1153
1488.68/1775.38	c current bound: 1153
1489.64/1776.33	c current bound: 1153
1490.61/1777.42	c current bound: 1153
1491.81/1778.40	c current bound: 1153
1492.55/1779.38	c current bound: 1153
1493.52/1780.35	c current bound: 1153
1494.70/1781.30	c current bound: 1153
1495.45/1782.28	c current bound: 1153
1496.61/1783.25	c current bound: 1153
1497.39/1784.20	c current bound: 1153
1498.37/1785.18	c current bound: 1153
1499.34/1786.15	c current bound: 1153
1500.32/1787.12	c current bound: 1153
1501.29/1788.10	c current bound: 1153
1502.26/1789.05	c current bound: 1153
1503.43/1790.01	c current bound: 1153
1504.33/1790.98	c current bound: 1153
1505.33/1791.95	c current bound: 1153
1506.14/1792.92	c current bound: 1153
1507.10/1793.89	c current bound: 1153
1508.09/1794.87	c current bound: 1153
1509.05/1795.84	c current bound: 1153
1510.00/1796.79	c current bound: 1153
1510.98/1797.77	c current bound: 1153
1511.95/1798.74	c current bound: 1153
1513.02/1799.70	c current bound: 1153
1513.88/1800.67	c current bound: 1153
1514.85/1801.69	c current bound: 1153
1515.83/1802.67	c current bound: 1153
1516.81/1803.64	c current bound: 1153
1517.99/1804.60	c current bound: 1153
1518.73/1805.57	c current bound: 1153
1519.68/1806.52	c current bound: 1153
1520.78/1807.49	c current bound: 1153
1521.79/1808.46	c current bound: 1153
1522.60/1809.42	c current bound: 1153
1523.58/1810.39	c current bound: 1153
1524.54/1811.37	c current bound: 1153
1525.53/1812.35	c current bound: 1153
1526.50/1813.32	c current bound: 1153
1527.47/1814.28	c current bound: 1153
1528.44/1815.26	c current bound: 1153
1529.61/1816.23	c current bound: 1153
1530.38/1817.19	c current bound: 1153
1531.35/1818.16	c current bound: 1153
1532.32/1819.13	c current bound: 1153
1533.28/1820.09	c current bound: 1153
1534.25/1821.06	c current bound: 1153
1535.23/1822.04	c current bound: 1153
1536.19/1823.01	c current bound: 1153
1537.31/1823.98	c current bound: 1153
1538.30/1824.95	c current bound: 1153
1539.13/1825.92	c current bound: 1153
1540.32/1826.90	c current bound: 1153
1541.08/1827.87	c current bound: 1153
1542.04/1828.83	c current bound: 1153
1543.24/1829.80	c current bound: 1153
1543.97/1830.76	c current bound: 1153
1544.95/1831.73	c current bound: 1153
1546.14/1832.71	c current bound: 1153
1546.88/1833.67	c current bound: 1153
1547.87/1834.64	c current bound: 1153
1548.84/1835.61	c current bound: 1153
1549.82/1836.59	c current bound: 1153
1550.79/1837.56	c current bound: 1153
1551.76/1838.53	c current bound: 1153
1552.95/1839.50	c current bound: 1153
1553.84/1840.45	c current bound: 1153
1554.83/1841.43	c current bound: 1153
1555.84/1842.40	c current bound: 1153
1556.59/1843.37	c current bound: 1153
1557.56/1844.34	c current bound: 1153
1558.54/1845.31	c current bound: 1153
1559.50/1846.28	c current bound: 1153
1560.47/1847.25	c current bound: 1153
1561.45/1848.23	c current bound: 1153
1562.53/1849.19	c current bound: 1153
1563.39/1850.16	c current bound: 1153
1564.34/1851.11	c current bound: 1153
1565.32/1852.09	c current bound: 1153
1566.27/1853.05	c current bound: 1153
1567.25/1854.02	c current bound: 1153
1568.22/1854.99	c current bound: 1153
1569.21/1855.97	c current bound: 1153
1570.35/1856.93	c current bound: 1153
1571.13/1857.90	c current bound: 1153
1572.11/1858.86	c current bound: 1153
1573.08/1859.84	c current bound: 1153
1574.05/1860.81	c current bound: 1153
1575.02/1861.78	c current bound: 1153
1576.01/1862.76	c current bound: 1153
1576.98/1863.73	c current bound: 1153
1578.19/1864.70	c current bound: 1153
1579.08/1865.67	c current bound: 1153
1579.91/1866.64	c current bound: 1153
1580.88/1867.62	c current bound: 1153
1581.85/1868.59	c current bound: 1153
1582.84/1869.56	c current bound: 1153
1583.80/1870.54	c current bound: 1153
1584.79/1871.51	c current bound: 1153
1585.76/1872.49	c current bound: 1153
1586.88/1873.46	c current bound: 1153
1587.90/1874.43	c current bound: 1153
1588.91/1875.40	c current bound: 1153
1589.67/1876.37	c current bound: 1153
1590.62/1877.36	c current bound: 1153
1591.60/1878.34	c current bound: 1153
1592.58/1879.31	c current bound: 1153
1593.56/1880.28	c current bound: 1153
1594.53/1881.25	c current bound: 1153
1595.69/1882.22	c current bound: 1153
1596.45/1883.17	c current bound: 1153
1597.43/1884.15	c current bound: 1153
1598.41/1885.13	c current bound: 1153
1599.59/1886.10	c current bound: 1153
1600.35/1887.07	c current bound: 1153
1601.33/1888.05	c current bound: 1153
1602.31/1889.02	c current bound: 1153
1603.40/1889.99	c current bound: 1153
1604.39/1890.96	c current bound: 1153
1605.20/1891.93	c current bound: 1153
1606.41/1892.90	c current bound: 1153
1607.13/1893.85	c current bound: 1153
1608.11/1894.82	c current bound: 1153
1609.07/1895.79	c current bound: 1153
1610.02/1896.74	c current bound: 1153
1611.18/1897.71	c current bound: 1153
1612.10/1898.68	c current bound: 1153
1612.95/1899.65	c current bound: 1153
1613.50/1900.01	./satsolver.sh: line 5:  6701 Terminated              ./glucose $1 > $2 2> /dev/null
1613.50/1900.01	c error: unexpected solver exit code
1613.50/1900.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715588-1338176242/watcher-3715588-1338176242 -o /tmp/evaluation-result-3715588-1338176242/solver-3715588-1338176242 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715588-1338176242.wbo 207650841 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 15184
/proc/meminfo: memFree=30980188/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0

[startup+0.305733 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 15184
/proc/meminfo: memFree=30980188/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.940788 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 15184
/proc/meminfo: memFree=30980188/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+2.35527 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 15184
/proc/meminfo: memFree=30980188/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:
  %CPU=90 pid=15188 uid=0 cmd=

[startup+2.75864 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 15195
/proc/meminfo: memFree=30963804/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=10548 CPUtime=2.73 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) R 15184 15184 15230 0 -1 4202496 3939 23688 0 0 28 1 208 36 20 0 1 0 283752811 10801152 1874 33554432000 4194304 5990268 140734919233472 140734919227712 4904865 0 65536 4102 0 0 0 0 17 1 0 0 0 0 0
/proc/15185/statm: 2637 1874 158 439 0 2194 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 19696

[startup+2.80038 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 15195
/proc/meminfo: memFree=30963804/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=10548 CPUtime=2.73 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 3940 23688 0 0 28 1 208 36 20 0 1 0 283752811 10801152 1874 33554432000 4194304 5990268 140734919233472 140734919227200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15185/statm: 2637 1874 158 439 0 2194 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 19696

[startup+3.71818 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 15195
/proc/meminfo: memFree=30963804/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=3.75 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 5956 38456 0 0 34 10 286 45 20 0 1 0 283752811 21090304 3972 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15185/statm: 5149 3972 179 439 0 4706 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 29744

[startup+6.40825 s]
/proc/loadavg: 2.08 2.02 2.04 3/182 15227
/proc/meminfo: memFree=30954572/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=4.74 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 8054 52996 0 0 37 10 370 57 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=15227] ppid=15185 vsize=20596 CPUtime=0 cores=1,3,5,7
/proc/15227/stat : 15227 (npSolver-wbo) R 15185 15184 15230 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 1 0 283753452 21090304 3906 33554432000 4194304 5990268 140734919233472 140734919224408 5174759 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/15227/statm: 5149 3906 6 439 0 4706 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 50340
heavy processes:

[startup+13.1823 s]
/proc/loadavg: 2.15 2.04 2.04 3/182 15284
/proc/meminfo: memFree=30954332/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=11.78 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 22726 157041 0 0 62 16 958 142 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 11.78
Current children cumulated vsize (KiB) 29744

[startup+299.863 s]
/proc/loadavg: 5.37 2.75 2.27 21/184 15312
/proc/meminfo: memFree=30937328/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=12.81 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 24822 171627 0 0 66 17 1044 154 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=15307] ppid=15185 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/15307/stat : 15307 (cp2_post.sh) S 15185 15184 15230 0 -1 4202496 609 225 0 0 0 0 0 2 20 0 1 0 283754226 9367552 266 33554432000 4194304 5064252 140733675327920 140733675326208 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15307/statm: 2287 266 225 213 0 72 0
[pid=15309] ppid=15307 vsize=27012 CPUtime=0.18 cores=1,3,5,7
/proc/15309/stat : 15309 (coprocessor) R 15307 15184 15230 0 -1 4202496 5091 0 0 0 12 6 0 0 20 0 1 0 283754226 27660288 5927 33554432000 4194304 6586260 140735879720720 140735879716104 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 52 0 0
/proc/15309/statm: 6753 5927 151 584 0 6165 0
Current children cumulated CPU time (s) 13.01
Current children cumulated vsize (KiB) 65904
heavy processes:

[startup+299.909 s]
/proc/loadavg: 5.37 2.75 2.27 21/184 15312
/proc/meminfo: memFree=30937328/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=13.04 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 25572 177851 0 0 66 17 1058 163 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919225456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 13.04
Current children cumulated vsize (KiB) 29744
heavy processes:

[startup+300.007 s]
/proc/loadavg: 5.75 4.58 3.13 3/181 15319
/proc/meminfo: memFree=30960424/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20600 CPUtime=13.08 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) D 15184 15184 15230 0 -1 4202496 26907 178366 0 0 69 17 1058 164 20 0 1 0 283752811 21094400 4080 33554432000 4194304 5990268 140734919233472 140734919225616 5180875 0 0 4096 0 18446744072099229941 0 0 17 3 0 0 2 0 0
/proc/15185/statm: 5150 4080 180 439 0 4707 0
Current children cumulated CPU time (s) 13.08
Current children cumulated vsize (KiB) 29748
heavy processes:

[startup+300.286 s]
/proc/loadavg: 6.17 4.92 3.34 4/181 15320
/proc/meminfo: memFree=30959200/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=13.08 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 26908 178366 0 0 69 17 1058 164 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 13.08
Current children cumulated vsize (KiB) 29744
heavy processes:

[startup+300.307 s]
/proc/loadavg: 6.17 4.92 3.34 4/183 15322
/proc/meminfo: memFree=30925648/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=13.08 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 26908 178366 0 0 69 17 1058 164 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=15321] ppid=15185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15321/stat : 15321 (satsolver.sh) S 15185 15184 15230 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 283782830 9367552 266 33554432000 4194304 5064252 140736587730640 140736587729552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15321/statm: 2287 266 226 213 0 72 0
[pid=15322] ppid=15321 vsize=36552 CPUtime=0.11 cores=1,3,5,7
/proc/15322/stat : 15322 (glucose) R 15321 15184 15230 0 -1 4202496 7753 0 0 0 10 1 0 0 20 0 1 0 283782830 37429248 7824 33554432000 4194304 5208918 140734152079264 140736587729576 4465602 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15322/statm: 9138 7824 95 248 0 8887 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 75444
heavy processes:

[startup+300.406 s]
/proc/loadavg: 6.17 4.92 3.34 3/183 15322

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

/proc/meminfo: memFree=30884936/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1006.88 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2181596 15702932 0 0 3686 602 87829 8571 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 160 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 1006.88
Current children cumulated vsize (KiB) 29744
heavy processes:

[startup+1362.3 s]
/proc/loadavg: 1.93 2.07 2.39 4/185 25895
/proc/meminfo: memFree=30891792/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1066.53 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2309462 16628214 0 0 3901 636 93043 9073 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 163 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 1066.53
Current children cumulated vsize (KiB) 29744
heavy processes:

[startup+1422.3 s]
/proc/loadavg: 2.02 2.06 2.37 3/182 26655
/proc/meminfo: memFree=30945796/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1125.78 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2439404 17547566 0 0 4120 670 98197 9591 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 165 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=26654] ppid=15185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26654/stat : 26654 (satsolver.sh) S 15185 15184 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283895000 9367552 266 33554432000 4194304 5064252 140736147124112 140736147123024 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26654/statm: 2287 266 226 213 0 72 0
[pid=26655] ppid=26654 vsize=37088 CPUtime=0.39 cores=1,3,5,7
/proc/26655/stat : 26655 (glucose) R 26654 15184 15230 0 -1 4202496 8032 0 0 0 38 1 0 0 20 0 1 0 283895000 37978112 8055 33554432000 4194304 5208918 140736688085680 140736687035160 4215351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26655/statm: 9272 8055 103 248 0 9021 0
Current children cumulated CPU time (s) 1126.17
Current children cumulated vsize (KiB) 75980
heavy processes:

[startup+1482.3 s]
/proc/loadavg: 1.16 1.83 2.27 3/183 28666
/proc/meminfo: memFree=30900872/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1186.04 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2567260 18467754 0 0 4336 709 103360 10199 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 179 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=28658] ppid=15185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28658/stat : 28658 (satsolver.sh) S 15185 15184 15230 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 283900981 9367552 267 33554432000 4194304 5064252 140735585256512 140735585255424 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28658/statm: 2287 267 226 213 0 72 0
[pid=28659] ppid=28658 vsize=37360 CPUtime=0.57 cores=1,3,5,7
/proc/28659/stat : 28659 (glucose) R 28658 15184 15230 0 -1 4202496 8300 0 0 0 56 1 0 0 20 0 1 0 283900982 38256640 8291 33554432000 4194304 5208918 140734391351088 140734391349048 4229712 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/28659/statm: 9340 8291 103 248 0 9089 0
Current children cumulated CPU time (s) 1186.61
Current children cumulated vsize (KiB) 76252

[startup+1542.4 s]
/proc/loadavg: 1.97 1.94 2.28 3/184 30042
/proc/meminfo: memFree=30906500/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1248.57 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2695126 19399153 0 0 4551 755 108589 10962 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 190 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 1248.57
Current children cumulated vsize (KiB) 29744

[startup+1602.3 s]
/proc/loadavg: 1.66 1.87 2.23 2/183 31379
/proc/meminfo: memFree=30920424/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1310.58 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2825068 20326971 0 0 4768 805 113769 11716 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 190 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=31378] ppid=15185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31378/stat : 31378 (satsolver.sh) S 15185 15184 15230 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 283913008 9367552 266 33554432000 4194304 5064252 140733431418560 140733431417472 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31378/statm: 2287 266 226 213 0 72 0
[pid=31379] ppid=31378 vsize=36820 CPUtime=0.3 cores=1,3,5,7
/proc/31379/stat : 31379 (glucose) R 31378 15184 15230 0 -1 4202496 7852 0 0 0 29 1 0 0 20 0 1 0 283913008 37703680 7931 33554432000 4194304 5208918 140735541551728 140735541549576 4229365 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/31379/statm: 9205 7931 103 248 0 8954 0
Current children cumulated CPU time (s) 1310.88
Current children cumulated vsize (KiB) 75712

[startup+1662.39 s]
/proc/loadavg: 1.87 1.91 2.22 2/183 32622
/proc/meminfo: memFree=30934216/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1372.95 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 2952934 21258256 0 0 4982 853 119003 12457 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 190 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=32619] ppid=15185 vsize=9148 CPUtime=0.21 cores=1,3,5,7
/proc/32619/stat : 32619 (cp2_post.sh) S 15185 15184 15230 0 -1 4202496 633 5246 0 0 0 0 15 6 20 0 1 0 283919029 9367552 268 33554432000 4194304 5064252 140733455563600 140733455562512 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32619/statm: 2287 268 228 213 0 72 0
[pid=32622] ppid=32619 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32622/stat : 32622 (cp2_post.sh) R 32619 15184 15230 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 283919050 9367552 45 33554432000 4194304 5064252 140733455563600 140733455561888 247064062797 0 65538 4100 65536 0 0 0 17 7 0 0 0 0 0
/proc/32622/statm: 2287 45 5 213 0 72 0
Current children cumulated CPU time (s) 1373.16
Current children cumulated vsize (KiB) 48040

[startup+1722.3 s]
/proc/loadavg: 1.41 1.80 2.17 2/183 1579
/proc/meminfo: memFree=30933412/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1434.97 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 3082876 22190250 0 0 5200 899 124177 13221 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 190 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 1434.97
Current children cumulated vsize (KiB) 29744

[startup+1782.3 s]
/proc/loadavg: 3.06 2.29 2.32 3/183 2719
/proc/meminfo: memFree=30909764/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1495.69 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) R 15184 15184 15230 0 -1 4202496 3196931 23113406 0 0 5413 938 129350 13868 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919225456 4566144 0 0 4096 0 0 0 0 17 5 0 0 269 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 1495.69
Current children cumulated vsize (KiB) 29744

[startup+1842.3 s]
/proc/loadavg: 2.35 2.22 2.29 3/183 4732
/proc/meminfo: memFree=30903540/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1555.62 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 3293630 24041767 0 0 5630 969 134573 14390 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 269 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
Current children cumulated CPU time (s) 1555.62
Current children cumulated vsize (KiB) 29744



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 2.13 2.18 2.27 3/183 6708
/proc/meminfo: memFree=30903700/32873844 swapFree=7108/7108
[pid=15184] ppid=15182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15184/stat : 15184 (npSolver-wbo-It) S 15182 15184 15230 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283752811 9367552 275 33554432000 4194304 5064252 140735953873440 140735953872352 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15184/statm: 2287 275 233 213 0 72 0
[pid=15185] ppid=15184 vsize=20596 CPUtime=1613.2 cores=1,3,5,7
/proc/15185/stat : 15185 (npSolver-wbo) S 15184 15184 15230 0 -1 4202496 3388720 24942513 0 0 5841 1000 139580 14899 20 0 1 0 283752811 21090304 4080 33554432000 4194304 5990268 140734919233472 140734919224880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 269 0 0
/proc/15185/statm: 5149 4080 180 439 0 4706 0
[pid=6700] ppid=15185 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6700/stat : 6700 (satsolver.sh) S 15185 15184 15230 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 283942780 9367552 267 33554432000 4194304 5064252 140735291689248 140735291688160 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6700/statm: 2287 267 226 213 0 72 0
[pid=6701] ppid=6700 vsize=36824 CPUtime=0.3 cores=1,3,5,7
/proc/6701/stat : 6701 (glucose) R 6700 15184 15230 0 -1 4202496 8166 0 0 0 29 1 0 0 20 0 1 0 283942780 37707776 8067 33554432000 4194304 5208918 140736466852896 140736466850856 4229010 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6701/statm: 9206 8067 103 248 0 8955 0
Current children cumulated CPU time (s) 1613.5
Current children cumulated vsize (KiB) 75716

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1900.01
CPU time (s): 1613.54
CPU user time (s): 1454.51
CPU system time (s): 159.03
CPU usage (%): 84.9228
Max. virtual memory (cumulated for all children) (KiB): 77064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1454.51
system time used= 159.03
maximum resident set size= 87484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28340391
page faults= 0
swaps= 0
block input operations= 16
block output operations= 17346328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 489586
involuntary context switches= 26067

runsolver used 3.13852 second user time and 8.51571 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 05:37:22
IDJOB=3715588
IDBENCH=78669
IDSOLVER=2297
FILE ID=node103/3715588-1338176242
RUNJOBID= node103-1338166500-15763
PBS_JOBID= 14624530
Free space on /tmp= 71568 MiB

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

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

MD5SUM BENCH= 0158a6ff32db5686aa85d7a9b49d6df3
RANDOM SEED=207650841

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30980716 kB
Buffers:          416144 kB
Cached:           616336 kB
SwapCached:         4500 kB
Active:           696564 kB
Inactive:         355048 kB
Active(anon):      14608 kB
Inactive(anon):     6216 kB
Active(file):     681956 kB
Inactive(file):   348832 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099572 kB
Dirty:              8548 kB
Writeback:             0 kB
AnonPages:        128432 kB
Mapped:            12732 kB
Shmem:                 8 kB
Slab:             702584 kB
SReclaimable:     144660 kB
SUnreclaim:       557924 kB
KernelStack:        1520 kB
PageTables:         4276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     140688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node103 at 2012-05-28 06:09:02