Trace number 3715377

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.18 1857.52

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/
normalized-j9039_3-unsat--soft-33-100-0.wbo
MD5SUM6cc35be76a92b4bf23f7bdaafc76a3c9
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark2.68259
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables15106
Total number of constraints51849
Number of soft constraints34948
Number of constraints which are clauses51521
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints328
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 1769987
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1769986
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 335
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.58/1.68	c run usual solver
14.62/14.86	o 26
14.62/14.86	c starting approximation
14.62/14.86	c factor = 2
14.62/14.86	c factor still to low - shrinking to 2.74271
14.62/14.86	c approx number of clauses: 1e+06
14.62/14.86	c current bound: 13
15.62/15.83	c current bound: 13
16.60/16.92	c current bound: 13
17.49/17.89	c current bound: 13
18.50/18.86	c current bound: 13
19.53/19.83	c current bound: 13
20.50/20.80	c current bound: 13
21.01/21.78	c current bound: 13
22.42/22.75	c current bound: 13
23.43/23.72	c current bound: 13
24.41/24.70	c current bound: 13
25.32/25.67	c current bound: 13
26.31/26.78	c current bound: 13
27.29/27.75	c current bound: 13
28.31/28.73	c current bound: 13
28.83/29.70	c current bound: 13
29.80/30.67	c current bound: 13
31.24/31.91	c current bound: 13
31.75/32.88	c current bound: 13
32.72/33.86	c current bound: 13
34.16/34.83	c current bound: 13
35.14/35.81	c current bound: 13
35.65/36.98	c current bound: 13
36.64/37.96	c current bound: 13
38.08/38.95	c current bound: 13
39.08/39.93	c current bound: 13
40.07/40.92	c current bound: 13
41.06/42.81	c current bound: 13
41.58/43.79	c current bound: 13
42.57/44.77	c current bound: 13
43.54/45.76	c current bound: 13
44.97/46.73	c current bound: 13
45.97/47.72	c current bound: 13
46.95/48.70	c current bound: 13
47.88/49.67	c current bound: 13
48.88/50.66	c current bound: 13
49.87/51.64	c current bound: 13
50.87/52.61	c current bound: 13
51.86/53.60	c current bound: 13
52.37/54.58	c current bound: 13
53.35/55.57	c current bound: 13
54.78/56.55	c current bound: 13
55.79/57.71	c current bound: 13
56.78/58.70	c current bound: 13
57.70/59.69	c current bound: 13
58.70/60.67	c current bound: 13
59.72/61.66	c current bound: 13
60.66/62.89	c current bound: 13
61.66/63.88	c current bound: 13
62.24/64.86	c current bound: 13
63.67/65.84	c current bound: 13
64.68/66.83	c current bound: 13
65.67/68.01	c current bound: 13
66.18/68.99	c current bound: 13
67.16/69.98	c current bound: 13
68.17/70.96	c current bound: 13
69.59/71.94	c current bound: 13
70.60/73.05	c current bound: 13
71.56/74.03	c current bound: 13
72.56/75.01	c current bound: 13
73.46/75.98	c current bound: 13
74.06/76.96	c current bound: 13
75.48/78.12	c current bound: 13
76.46/79.10	c current bound: 13
76.99/80.07	c current bound: 13
78.39/81.05	c current bound: 13
79.40/82.03	c current bound: 13
79.93/83.18	c current bound: 13
80.91/84.16	c current bound: 13
82.34/85.14	c current bound: 13
83.33/86.12	c current bound: 13
84.33/87.11	c current bound: 13
85.34/88.35	c current bound: 13
86.33/89.34	c current bound: 13
87.34/90.33	c current bound: 13
88.33/91.31	c current bound: 13
89.31/92.30	c current bound: 13
90.29/93.31	c current bound: 13
91.27/94.30	c current bound: 13
91.78/95.28	c current bound: 13
92.76/96.27	c current bound: 13
94.20/97.25	c current bound: 13
95.18/98.48	c current bound: 13
96.15/99.46	c current bound: 13
97.17/100.45	c current bound: 13
98.17/101.43	c current bound: 13
99.16/102.42	c current bound: 13
100.13/103.55	c current bound: 13
101.14/104.53	c current bound: 13
102.14/105.52	c current bound: 13
103.11/106.50	c current bound: 13
103.64/107.49	c current bound: 13
105.06/108.65	c current bound: 13
106.07/109.63	c current bound: 13
107.05/110.62	c current bound: 13
108.05/111.60	c current bound: 13
108.96/112.59	c current bound: 13
110.01/113.74	c current bound: 13
111.00/114.72	c current bound: 13
112.00/115.70	c current bound: 13
112.90/116.67	c current bound: 13
113.91/117.65	c current bound: 13
114.46/118.77	c current bound: 13
115.88/119.75	c current bound: 13
116.88/120.72	c current bound: 13
117.87/121.70	c current bound: 13
118.36/122.67	c current bound: 13
119.78/123.84	c current bound: 13
120.78/124.81	c current bound: 13
121.68/125.80	c current bound: 13
122.68/126.78	c current bound: 13
123.70/127.76	c current bound: 13
124.66/128.98	c current bound: 13
125.67/129.95	c current bound: 13
126.66/130.96	c current bound: 13
127.65/131.95	c current bound: 13
128.66/132.95	c current bound: 13
129.68/134.05	c current bound: 13
130.64/135.03	c current bound: 13
131.64/136.02	c current bound: 13
132.63/137.01	c current bound: 13
133.14/137.98	c current bound: 13
134.54/139.16	c current bound: 13
135.56/140.14	c current bound: 13
136.56/141.12	c current bound: 13
137.55/142.11	c current bound: 13
138.46/143.10	c current bound: 13
139.50/144.25	c current bound: 13
140.50/145.24	c current bound: 13
141.50/146.22	c current bound: 13
142.50/147.21	c current bound: 13
143.01/148.19	c current bound: 13
144.00/149.37	c current bound: 13
145.42/150.35	c current bound: 13
146.44/151.53	c current bound: 13
147.42/152.52	c current bound: 13
148.42/153.51	c current bound: 13
149.40/154.66	c current bound: 13
150.36/155.64	c current bound: 13
151.36/156.62	c current bound: 13
152.34/157.60	c current bound: 13
153.27/158.58	c current bound: 13
154.29/159.73	c current bound: 13
155.28/160.71	c current bound: 13
155.81/161.69	c current bound: 13
156.79/162.67	c current bound: 13
158.22/163.65	c current bound: 13
159.22/164.81	c current bound: 13
159.73/165.79	c current bound: 13
160.70/166.76	c current bound: 13
162.14/167.73	c current bound: 13
163.12/168.71	c current bound: 13
164.08/169.84	c current bound: 13
165.08/170.82	c current bound: 13
166.07/171.81	c current bound: 13
166.97/172.78	c current bound: 13
167.56/173.75	c current bound: 13
168.54/174.90	c current bound: 13
169.50/175.87	c current bound: 13
170.93/176.84	c current bound: 13
171.91/177.82	c current bound: 13
172.43/178.79	c current bound: 13
173.81/179.97	c current bound: 13
174.81/180.95	c current bound: 13
175.81/181.92	c current bound: 13
176.70/182.89	c current bound: 13
177.70/183.86	c current bound: 13
178.69/185.07	c current bound: 13
179.67/186.04	c current bound: 13
180.67/187.02	c current bound: 13
181.18/187.99	c current bound: 13
182.17/188.96	c current bound: 13
183.60/190.05	c current bound: 13
184.57/191.03	c current bound: 13
185.55/192.00	c current bound: 13
186.45/192.97	c current bound: 13
187.47/193.94	c current bound: 13
188.43/195.15	c current bound: 13
189.43/196.12	c current bound: 13
190.34/197.09	c current bound: 13
191.34/198.06	c current bound: 13
192.35/199.03	c current bound: 13
193.31/200.15	c current bound: 13
194.31/201.13	c current bound: 13
195.28/202.10	c current bound: 13
195.80/203.07	c current bound: 13
197.20/204.05	c current bound: 13
198.16/205.18	c current bound: 13
199.14/206.15	c current bound: 13
200.16/207.12	c current bound: 13
201.15/208.12	c current bound: 13
202.06/209.09	c current bound: 13
203.10/210.25	c current bound: 13
204.08/211.22	c current bound: 13
204.59/212.19	c current bound: 13
205.57/213.17	c current bound: 13
207.00/214.15	c current bound: 13
207.99/215.30	c current bound: 13
208.50/216.28	c current bound: 13
209.47/217.26	c current bound: 13
210.90/218.23	c current bound: 13
211.91/219.22	c current bound: 13
212.88/220.31	c current bound: 13
213.78/221.28	c current bound: 13
214.79/222.25	c current bound: 13
215.79/223.22	c current bound: 13
216.77/224.20	c current bound: 13
217.74/225.41	c current bound: 13
218.26/226.38	c current bound: 13
219.23/227.36	c current bound: 13
220.66/228.33	c current bound: 13
221.65/229.31	c current bound: 13
222.62/230.45	c current bound: 13
223.58/231.42	c current bound: 13
224.47/232.39	c current bound: 13
225.48/233.36	c current bound: 13
226.50/234.33	c current bound: 13
227.45/235.45	c current bound: 13
228.46/236.42	c current bound: 13
228.96/237.39	c current bound: 13
229.93/238.36	c current bound: 13
231.35/239.33	c current bound: 13
232.35/240.43	c current bound: 13
233.31/241.40	c current bound: 13
234.23/242.37	c current bound: 13
235.25/243.34	c current bound: 13
236.25/244.31	c current bound: 13
237.21/245.53	c current bound: 13
238.19/246.50	c current bound: 13
238.72/247.48	c current bound: 13
239.69/248.45	c current bound: 13
241.11/249.43	c current bound: 13
242.10/250.63	c current bound: 13
243.08/251.61	c current bound: 13
243.59/252.59	c current bound: 13
244.56/253.56	c current bound: 13
245.98/254.53	c current bound: 13
246.96/255.72	c current bound: 13
247.95/256.70	c current bound: 13
248.86/257.67	c current bound: 13
249.89/258.64	c current bound: 13
250.88/259.61	c current bound: 13
251.84/260.82	c current bound: 13
252.37/261.80	c current bound: 13
253.34/262.78	c current bound: 13
254.33/263.77	c current bound: 13
255.76/264.75	c current bound: 13
256.30/265.89	c current bound: 13
257.28/266.88	c current bound: 13
258.69/267.85	c current bound: 13
259.69/268.84	c current bound: 13
260.69/269.82	c current bound: 13
261.67/271.04	c current bound: 13
262.67/272.02	c current bound: 13
263.66/273.01	c current bound: 13
264.56/273.99	c current bound: 13
265.17/274.98	c current bound: 13
266.16/276.09	c current bound: 13
267.14/277.07	c current bound: 13
268.57/278.05	c current bound: 13
269.58/279.04	c current bound: 13
270.58/280.02	c current bound: 13
271.56/281.21	c current bound: 13
272.56/282.20	c current bound: 13
273.46/283.19	c current bound: 13
274.46/284.17	c current bound: 13
275.48/285.16	c current bound: 13
276.51/286.33	c current bound: 13
277.49/287.31	c current bound: 13
278.41/288.29	c current bound: 13
279.00/289.27	c current bound: 13
279.99/290.26	c current bound: 13
281.43/291.43	c current bound: 13
282.43/292.41	c current bound: 13
282.94/293.39	c current bound: 13
283.94/294.37	c current bound: 13
285.35/295.35	c current bound: 13
286.36/296.52	c current bound: 13
286.87/297.49	c current bound: 13
288.23/298.47	c current bound: 13
289.27/299.44	c current bound: 13
290.26/300.42	c current bound: 13
291.24/301.55	c current bound: 13
292.22/302.53	c current bound: 13
293.20/303.50	c current bound: 13
293.71/304.47	c current bound: 13
295.13/305.45	c current bound: 13
296.11/306.63	c current bound: 13
297.09/307.61	c current bound: 13
297.61/308.58	c current bound: 13
299.00/309.55	c current bound: 13
300.00/310.52	c current bound: 13
300.93/311.68	c current bound: 13
301.91/312.65	c current bound: 13
302.92/313.62	c current bound: 13
303.43/314.59	c current bound: 13
304.41/315.56	c current bound: 13
305.84/316.70	c current bound: 13
306.36/317.68	c current bound: 13
307.33/318.65	c current bound: 13
308.75/319.63	c current bound: 13
309.74/320.60	c current bound: 13
310.72/321.81	c current bound: 13
311.24/322.78	c current bound: 13
312.63/323.75	c current bound: 13
313.64/324.72	c current bound: 13
314.53/325.69	c current bound: 13
315.55/326.76	c current bound: 13
316.55/327.73	c current bound: 13
317.55/328.71	c current bound: 13
318.06/329.69	c current bound: 13
319.03/330.66	c current bound: 13
320.01/331.89	c current bound: 13
320.99/332.86	c current bound: 13
322.40/333.84	c current bound: 13
323.41/334.85	c current bound: 13
324.41/335.82	c current bound: 13
325.39/337.55	c current bound: 13
326.36/338.53	c current bound: 13
327.36/339.55	c current bound: 13
328.36/340.53	c current bound: 13
329.34/341.50	c current bound: 13
330.26/342.47	c current bound: 13
331.26/343.45	c current bound: 13
332.26/344.42	c current bound: 13
332.78/345.39	c current bound: 13
333.75/346.36	c current bound: 13
335.17/347.34	c current bound: 13
336.16/348.31	c current bound: 13
336.68/349.29	c current bound: 13
338.05/350.26	c current bound: 13
339.07/351.23	c current bound: 13
340.05/352.20	c current bound: 13
340.95/353.29	c current bound: 13
341.96/354.26	c current bound: 13
342.97/355.23	c current bound: 13
343.94/356.20	c current bound: 13
344.45/357.18	c current bound: 13
345.43/358.15	c current bound: 13
346.86/359.13	c current bound: 13
347.75/360.10	c current bound: 13
348.72/361.07	c current bound: 13
349.76/362.04	c current bound: 13
350.76/363.01	c current bound: 13
351.26/363.98	c current bound: 13
352.23/364.95	c current bound: 13
353.66/365.92	c current bound: 13
354.19/366.89	c current bound: 13
355.55/367.86	c current bound: 13
356.59/369.12	c current bound: 13
357.11/370.09	c current bound: 13
358.48/371.07	c current bound: 13
359.50/372.05	c current bound: 13
360.52/373.20	c current bound: 13
361.44/374.17	c current bound: 13
362.45/375.15	c current bound: 13
363.45/376.12	c current bound: 13
363.97/377.10	c current bound: 13
365.39/378.21	c current bound: 13
365.91/379.18	c current bound: 13
366.89/380.15	c current bound: 13
368.31/381.13	c current bound: 13
369.28/382.10	c current bound: 13
370.25/383.23	c current bound: 13
371.24/384.21	c current bound: 13
372.14/385.18	c current bound: 13
373.15/386.19	c current bound: 13
373.74/387.16	c current bound: 13
375.19/388.33	c current bound: 13
376.16/389.30	c current bound: 13
376.67/390.28	c current bound: 13
378.08/391.25	c current bound: 13
379.08/392.22	c current bound: 13
380.10/393.42	c current bound: 13
380.61/394.39	c current bound: 13
382.00/395.36	c current bound: 13
383.01/396.33	c current bound: 13
383.99/397.31	c current bound: 13
384.96/398.44	c current bound: 13
385.94/399.41	c current bound: 13
386.46/400.38	c current bound: 13
387.95/401.40	c current bound: 13
388.93/402.40	c current bound: 13
389.92/403.54	c current bound: 13
390.88/404.52	c current bound: 13
391.40/405.49	c current bound: 13
392.36/406.46	c current bound: 13
393.79/407.44	c current bound: 13
394.80/408.60	c current bound: 13
395.70/409.57	c current bound: 13
396.73/410.54	c current bound: 13
397.73/411.51	c current bound: 13
398.24/412.48	c current bound: 13
399.68/413.65	c current bound: 13
400.65/414.62	c current bound: 13
401.18/415.60	c current bound: 13
402.15/416.57	c current bound: 13
403.56/417.55	c current bound: 13
404.57/418.72	c current bound: 13
405.07/419.69	c current bound: 13
406.45/420.66	c current bound: 13
407.47/421.63	c current bound: 13
408.47/422.60	c current bound: 13
409.40/423.78	c current bound: 13
410.39/424.75	c current bound: 13
411.39/425.72	c current bound: 13
411.90/426.69	c current bound: 13
412.88/427.67	c current bound: 13
413.85/428.87	c current bound: 13
415.27/429.84	c current bound: 13
416.26/430.82	c current bound: 13
416.79/431.79	c current bound: 13
418.16/432.77	c current bound: 13
419.17/433.95	c current bound: 13
420.17/434.92	c current bound: 13
421.05/435.89	c current bound: 13
422.07/436.86	c current bound: 13
423.08/437.83	c current bound: 13
424.07/439.00	c current bound: 13
424.57/439.98	c current bound: 13
425.56/440.96	c current bound: 13
426.98/441.93	c current bound: 13
427.96/442.90	c current bound: 13
428.91/444.03	c current bound: 13
429.91/445.01	c current bound: 13
430.43/445.98	c current bound: 13
431.81/446.95	c current bound: 13
432.82/447.93	c current bound: 13
433.80/449.08	c current bound: 13
434.74/450.05	c current bound: 13
435.74/451.02	c current bound: 13
436.27/451.99	c current bound: 13
437.24/452.97	c current bound: 13
438.68/454.12	c current bound: 13
439.18/455.09	c current bound: 13
440.16/456.07	c current bound: 13
441.57/457.04	c current bound: 13
442.56/458.01	c current bound: 13
443.55/459.17	c current bound: 13
444.50/460.14	c current bound: 13
445.50/461.11	c current bound: 13
446.39/462.08	c current bound: 13
446.99/463.06	c current bound: 13
448.45/464.21	c current bound: 13
448.96/465.18	c current bound: 13
449.92/466.15	c current bound: 13
451.35/467.13	c current bound: 13
452.33/468.10	c current bound: 13
453.29/469.26	c current bound: 13
454.27/470.23	c current bound: 13
455.26/471.20	c current bound: 13
456.16/472.19	c current bound: 13
457.17/473.17	c current bound: 13
458.20/474.31	c current bound: 13
459.10/475.28	c current bound: 13
459.69/476.25	c current bound: 13
461.11/477.23	c current bound: 13
462.09/478.20	c current bound: 13
463.07/479.35	c current bound: 13
464.05/480.32	c current bound: 13
465.03/481.30	c current bound: 13
465.94/482.27	c current bound: 13
466.96/483.24	c current bound: 13
467.89/484.37	c current bound: 13
468.90/485.35	c current bound: 13
469.90/486.32	c current bound: 13
470.41/487.29	c current bound: 13
471.40/488.26	c current bound: 13
472.82/489.40	c current bound: 13
473.34/490.38	c current bound: 13
474.32/491.35	c current bound: 13
475.73/492.33	c current bound: 13
476.25/493.29	c current bound: 13
477.66/494.45	c current bound: 13
478.67/495.42	c current bound: 13
479.55/496.39	c current bound: 13
480.58/497.36	c current bound: 13
481.57/498.33	c current bound: 13
482.56/499.47	c current bound: 13
483.51/500.44	c current bound: 13
484.51/501.57	c current bound: 13
485.45/502.55	c current bound: 13
486.46/503.53	c current bound: 13
486.98/504.69	c current bound: 13
487.96/505.67	c current bound: 13
489.36/506.64	c current bound: 13
490.37/507.61	c current bound: 13
491.25/508.58	c current bound: 13
492.21/509.79	c current bound: 13
493.22/510.76	c current bound: 13
494.25/511.74	c current bound: 13
495.23/512.71	c current bound: 13
495.75/513.69	c current bound: 13
497.14/514.97	c current bound: 13
498.16/515.94	c current bound: 13
499.15/516.91	c current bound: 13
499.67/517.88	c current bound: 13
500.64/518.86	c current bound: 13
502.08/520.05	c current bound: 13
503.05/521.02	c current bound: 13
503.57/521.99	c current bound: 13
504.94/522.96	c current bound: 13
505.95/523.93	c current bound: 13
506.96/525.05	c current bound: 13
507.92/526.02	c current bound: 13
508.81/526.99	c current bound: 13
509.41/527.96	c current bound: 13
510.82/528.94	c current bound: 13
511.81/530.10	c current bound: 13
512.33/531.08	c current bound: 13
513.72/532.05	c current bound: 13
514.74/533.02	c current bound: 13
515.71/534.00	c current bound: 13
516.64/535.16	c current bound: 13
517.64/536.13	c current bound: 13
518.62/537.10	c current bound: 13
519.52/538.08	c current bound: 13
520.55/539.05	c current bound: 13
521.54/540.25	c current bound: 13
522.53/541.22	c current bound: 13
523.04/542.19	c current bound: 13
524.02/543.17	c current bound: 13
525.43/544.14	c current bound: 13
526.42/545.33	c current bound: 13
527.40/546.30	c current bound: 13
527.91/547.27	c current bound: 13
529.32/548.24	c current bound: 13
530.33/549.22	c current bound: 13
531.30/550.31	c current bound: 13
532.22/551.28	c current bound: 13
533.22/552.26	c current bound: 13
534.21/553.23	c current bound: 13
535.20/554.20	c current bound: 13
536.15/555.45	c current bound: 13
537.16/556.42	c current bound: 13
538.14/557.40	c current bound: 13
538.65/558.38	c current bound: 13
539.63/559.35	c current bound: 13
541.08/560.50	c current bound: 13
541.58/561.48	c current bound: 13
542.98/562.45	c current bound: 13
543.99/563.42	c current bound: 13
544.88/564.40	c current bound: 13
545.89/565.56	c current bound: 13
546.92/566.54	c current bound: 13
547.91/567.51	c current bound: 13
548.41/568.49	c current bound: 13
549.39/569.46	c current bound: 13
550.83/570.58	c current bound: 13
551.80/571.68	c current bound: 13
552.31/572.65	c current bound: 13
553.73/573.63	c current bound: 13
554.72/574.60	c current bound: 13
555.64/575.75	c current bound: 13
556.66/576.72	c current bound: 13
557.63/577.70	c current bound: 13
558.57/578.67	c current bound: 13
559.57/579.64	c current bound: 13
560.10/580.79	c current bound: 13
561.09/581.76	c current bound: 13
562.49/582.73	c current bound: 13
563.48/583.71	c current bound: 13
564.00/584.68	c current bound: 13
565.43/585.83	c current bound: 13
566.41/586.80	c current bound: 13
567.30/587.77	c current bound: 13
568.33/588.75	c current bound: 13
569.33/589.74	c current bound: 13
570.32/590.91	c current bound: 13
571.24/591.88	c current bound: 13
571.81/592.87	c current bound: 13
572.81/593.86	c current bound: 13
574.25/594.85	c current bound: 13
575.25/596.04	c current bound: 13
576.25/597.02	c current bound: 13
577.23/598.01	c current bound: 13
577.75/598.99	c current bound: 13
579.15/599.97	c current bound: 13
580.20/601.10	c current bound: 13
581.10/602.08	c current bound: 13
582.10/603.07	c current bound: 13
583.12/604.09	c current bound: 13
584.14/605.07	c current bound: 13
585.10/606.20	c current bound: 13
585.68/607.17	c current bound: 13
587.09/608.14	c current bound: 13
588.10/609.12	c current bound: 13
588.61/610.09	c current bound: 13
590.04/611.28	c current bound: 13
590.55/612.26	c current bound: 13
591.99/613.24	c current bound: 13
592.99/614.22	c current bound: 13
593.97/615.21	c current bound: 13
594.97/616.32	c current bound: 13
595.94/617.30	c current bound: 13
596.86/618.29	c current bound: 13
597.45/619.27	c current bound: 13
598.43/620.26	c current bound: 13
599.89/621.43	c current bound: 13
600.87/622.41	c current bound: 13
601.39/623.39	c current bound: 13
602.37/624.36	c current bound: 13
603.79/625.35	c current bound: 13
604.80/627.16	c current bound: 13
605.78/628.14	c current bound: 13
606.77/629.13	c current bound: 13
607.77/630.11	c current bound: 13
608.29/631.09	c current bound: 13
609.27/632.07	c current bound: 13
610.67/633.05	c current bound: 13
611.69/634.02	c current bound: 13
612.66/635.00	c current bound: 13
613.59/635.97	c current bound: 13
614.60/636.95	c current bound: 13
615.59/637.93	c current bound: 13
616.57/638.90	c current bound: 13
617.08/639.89	c current bound: 13
618.07/640.86	c current bound: 13
619.50/641.92	c current bound: 13
620.02/642.89	c current bound: 13
621.40/643.88	c current bound: 13
622.41/644.85	c current bound: 13
623.42/645.83	c current bound: 13
624.39/647.01	c current bound: 13
625.32/647.98	c current bound: 13
626.33/648.95	c current bound: 13
627.32/649.92	c current bound: 13
627.84/650.89	c current bound: 13
629.26/652.05	c current bound: 13
630.24/653.02	c current bound: 13
630.75/653.99	c current bound: 13
632.13/654.96	c current bound: 13
633.13/655.97	c current bound: 13
634.16/657.04	c current bound: 13
635.14/658.02	c current bound: 13
636.04/658.99	c current bound: 13
636.63/659.97	c current bound: 13
638.05/660.94	c current bound: 13
639.02/662.15	c current bound: 13
640.02/663.12	c current bound: 13
641.00/664.10	c current bound: 13
641.51/665.07	c current bound: 13
642.50/666.07	c current bound: 13
643.97/667.30	c current bound: 13
644.48/668.28	c current bound: 13
645.89/669.25	c current bound: 13
646.89/670.23	c current bound: 13
647.87/671.21	c current bound: 13
648.82/672.36	c current bound: 13
649.82/673.33	c current bound: 13
650.82/674.31	c current bound: 13
651.32/675.28	c current bound: 13
652.30/676.26	c current bound: 13
653.29/677.26	c current bound: 13
654.72/678.23	c current bound: 13
655.71/679.21	c current bound: 13
656.60/680.19	c current bound: 13
657.61/681.17	c current bound: 13
658.65/682.41	c current bound: 13
659.64/683.40	c current bound: 13
660.55/684.37	c current bound: 13
661.58/685.34	c current bound: 13
662.57/686.32	c current bound: 13
663.09/687.29	c current bound: 13
664.06/688.26	c current bound: 13
665.49/689.23	c current bound: 13
666.47/690.20	c current bound: 13
667.38/691.18	c current bound: 13
668.40/692.16	c current bound: 13
669.41/693.13	c current bound: 13
670.40/694.11	c current bound: 13
670.91/695.09	c current bound: 13
671.89/696.06	c current bound: 13
673.32/697.03	c current bound: 13
674.32/698.01	c current bound: 13
675.29/699.10	c current bound: 13
676.20/700.08	c current bound: 13
677.22/701.05	c current bound: 13
678.23/702.03	c current bound: 13
679.20/703.01	c current bound: 13
680.18/704.11	c current bound: 13
680.69/705.08	c current bound: 13
681.67/706.05	c current bound: 13
683.10/707.03	c current bound: 13
684.08/708.00	c current bound: 13
684.60/709.09	c current bound: 13
685.58/710.07	c current bound: 13
686.99/711.04	c current bound: 13
687.98/712.03	c current bound: 13
688.98/713.01	c current bound: 13
689.88/714.09	c current bound: 13
690.88/715.07	c current bound: 13
691.90/716.04	c current bound: 13
692.89/717.02	c current bound: 13
693.42/717.99	c current bound: 13
694.40/719.29	c current bound: 13
695.37/720.28	c current bound: 13
696.37/721.26	c current bound: 13
697.79/722.25	c current bound: 13
698.81/723.41	c current bound: 13
699.78/724.40	c current bound: 13
700.70/725.38	c current bound: 13
701.71/726.37	c current bound: 13
702.73/727.35	c current bound: 13
703.75/728.50	c current bound: 13
704.68/729.49	c current bound: 13
705.67/730.47	c current bound: 13
706.24/731.45	c current bound: 13
707.69/732.44	c current bound: 13
708.69/733.61	c current bound: 13
709.68/734.60	c current bound: 13
710.19/735.58	c current bound: 13
711.17/736.56	c current bound: 13
712.61/737.54	c current bound: 13
713.55/738.68	c current bound: 13
714.55/739.66	c current bound: 13
715.56/740.63	c current bound: 13
716.54/741.60	c current bound: 13
717.45/742.58	c current bound: 13
718.49/743.74	c current bound: 13
719.48/744.71	c current bound: 13
720.00/745.69	c current bound: 13
721.43/746.70	c current bound: 13
721.95/747.69	c current bound: 13
723.39/748.84	c current bound: 13
724.38/749.83	c current bound: 13
725.37/750.81	c current bound: 13
725.89/751.78	c current bound: 13
727.27/752.77	c current bound: 13
728.33/753.93	c current bound: 13
729.31/754.92	c current bound: 13
730.29/755.90	c current bound: 13
731.21/756.89	c current bound: 13
731.80/757.87	c current bound: 13
733.24/759.02	c current bound: 13
734.24/760.01	c current bound: 13
734.76/760.99	c current bound: 13
735.73/761.98	c current bound: 13
736.73/762.97	c current bound: 13
738.19/764.11	c current bound: 13
738.70/765.09	c current bound: 13
740.09/766.08	c current bound: 13
741.09/767.06	c current bound: 13
742.12/768.04	c current bound: 13
743.07/769.19	c current bound: 13
744.05/770.18	c current bound: 13
745.07/771.16	c current bound: 13
745.60/772.19	c current bound: 13
746.65/773.17	c current bound: 13
748.11/774.33	c current bound: 13
749.10/775.32	c current bound: 13
750.08/776.30	c current bound: 13
750.60/777.28	c current bound: 13
751.57/778.26	c current bound: 13
753.03/779.43	c current bound: 13
754.01/780.41	c current bound: 13
754.92/781.39	c current bound: 13
755.93/782.37	c current bound: 13
756.95/783.35	c current bound: 13
757.95/784.47	c current bound: 13
758.91/785.45	c current bound: 13
759.91/786.42	c current bound: 13
760.43/787.39	c current bound: 13
761.39/788.37	c current bound: 13
762.84/789.53	c current bound: 13
763.82/790.51	c current bound: 13
764.34/791.49	c current bound: 13
765.74/792.48	c current bound: 13
766.74/793.46	c current bound: 13
767.76/794.68	c current bound: 13
768.68/795.66	c current bound: 13
769.72/796.65	c current bound: 13
770.71/797.63	c current bound: 13
771.72/798.61	c current bound: 13
772.65/799.78	c current bound: 13
773.19/800.77	c current bound: 13
774.63/801.75	c current bound: 13
775.64/802.74	c current bound: 13
776.63/803.72	c current bound: 13
777.59/804.84	c current bound: 13
778.60/805.83	c current bound: 13
779.59/806.81	c current bound: 13
780.49/807.79	c current bound: 13
781.49/808.78	c current bound: 13
782.54/809.92	c current bound: 13
783.55/810.91	c current bound: 13
784.43/811.90	c current bound: 13
785.04/812.88	c current bound: 13
786.04/813.87	c current bound: 13
787.50/815.12	c current bound: 13
788.48/816.11	c current bound: 13
789.00/817.09	c current bound: 13
790.00/818.08	c current bound: 13
790.97/819.06	c current bound: 13
791.96/820.06	c current bound: 13
793.38/821.03	c current bound: 13
794.35/822.00	c current bound: 13
795.28/822.97	c current bound: 13
796.28/823.95	c current bound: 13
797.30/825.20	c current bound: 13
798.19/826.18	c current bound: 13
798.78/827.16	c current bound: 13
800.22/828.14	c current bound: 13
801.21/829.12	c current bound: 13
801.73/830.09	c current bound: 13
802.71/831.06	c current bound: 13
804.13/832.03	c current bound: 13
805.13/833.01	c current bound: 13
806.03/833.99	c current bound: 13
807.02/834.98	c current bound: 13
808.05/835.95	c current bound: 13
809.03/836.93	c current bound: 13
810.04/837.92	c current bound: 13
811.02/838.90	c current bound: 13
811.54/839.89	c current bound: 13
812.91/840.99	c current bound: 13
813.91/841.98	c current bound: 13
814.91/842.96	c current bound: 13
815.92/843.94	c current bound: 13
816.93/844.93	c current bound: 13
817.90/846.09	c current bound: 13
818.85/847.08	c current bound: 13
819.43/848.06	c current bound: 13
820.86/849.05	c current bound: 13
821.87/850.03	c current bound: 13
822.87/851.22	c current bound: 13
823.86/852.21	c current bound: 13
824.37/853.19	c current bound: 13
825.36/854.18	c current bound: 13
826.77/855.16	c current bound: 13
827.81/856.33	c current bound: 13
828.80/857.31	c current bound: 13
829.78/858.30	c current bound: 13
830.70/859.29	c current bound: 13
831.69/860.27	c current bound: 13
832.68/861.46	c current bound: 13
833.71/862.44	c current bound: 13
834.71/863.43	c current bound: 13
835.70/864.41	c current bound: 13
836.22/865.39	c current bound: 13
837.67/866.58	c current bound: 13
838.18/867.56	c current bound: 13
839.63/868.55	c current bound: 13
840.63/869.53	c current bound: 13
841.62/870.50	c current bound: 13
842.55/871.67	c current bound: 13
843.54/872.65	c current bound: 13
844.55/873.62	c current bound: 13
845.43/874.60	c current bound: 13
846.04/875.57	c current bound: 13
847.48/876.73	c current bound: 13
848.46/877.71	c current bound: 13
848.97/878.69	c current bound: 13
849.95/879.67	c current bound: 13
850.94/880.66	c current bound: 13
852.39/881.81	c current bound: 13
852.91/882.79	c current bound: 13
854.29/883.78	c current bound: 13
855.29/884.77	c current bound: 13
856.30/885.75	c current bound: 13
857.31/886.81	c current bound: 13
858.21/887.79	c current bound: 13
858.81/888.78	c current bound: 13
859.79/889.76	c current bound: 13
861.22/890.74	c current bound: 13
862.23/891.94	c current bound: 13
863.21/892.93	c current bound: 13
864.22/893.92	c current bound: 13
865.19/894.90	c current bound: 13
866.10/895.89	c current bound: 13
867.12/897.06	c current bound: 13
868.13/898.04	c current bound: 13
869.14/899.03	c current bound: 13
870.13/900.01	c current bound: 13
871.05/901.00	c current bound: 13
872.11/902.04	c current bound: 13
873.09/903.02	c current bound: 13
874.07/904.01	c current bound: 13
875.09/905.00	c current bound: 13
875.59/905.98	c current bound: 13
876.56/907.19	c current bound: 13
877.55/908.17	c current bound: 13
878.55/909.16	c current bound: 13
879.99/910.14	c current bound: 13
880.99/911.12	c current bound: 13
881.92/912.28	c current bound: 13
882.91/913.26	c current bound: 13
883.94/914.25	c current bound: 13
884.92/915.23	c current bound: 13
885.91/916.21	c current bound: 13
886.90/917.91	c current bound: 13
887.80/918.88	c current bound: 13
888.81/919.86	c current bound: 13
889.83/920.83	c current bound: 13
890.83/921.81	c current bound: 13
891.33/922.79	c current bound: 13
892.30/923.76	c current bound: 13
893.73/924.74	c current bound: 13
894.73/925.73	c current bound: 13
895.72/926.71	c current bound: 13
896.61/927.68	c current bound: 13
897.61/928.67	c current bound: 13
898.63/929.65	c current bound: 13
899.64/930.64	c current bound: 13
900.64/931.62	c current bound: 13
901.14/932.79	c current bound: 13
902.14/933.77	c current bound: 13
903.55/934.74	c current bound: 13
904.55/935.73	c current bound: 13
905.53/936.71	c current bound: 13
906.51/938.00	c current bound: 13
907.03/938.98	c current bound: 13
908.01/939.96	c current bound: 13
909.44/940.93	c current bound: 13
910.43/941.90	c current bound: 13
911.38/943.05	c current bound: 13
912.38/944.02	c current bound: 13
913.27/944.99	c current bound: 13
913.88/945.96	c current bound: 13
915.29/946.93	c current bound: 13
915.81/947.99	c current bound: 13
916.79/948.99	c current bound: 13
917.79/949.96	c current bound: 13
919.21/950.93	c current bound: 13
920.19/951.90	c current bound: 13
921.11/953.09	c current bound: 13
922.08/954.07	c current bound: 13
923.09/955.04	c current bound: 13
924.09/956.01	c current bound: 13
924.59/956.98	c current bound: 13
926.02/958.13	c current bound: 13
927.00/959.10	c current bound: 13
927.51/960.07	c current bound: 13
928.92/961.05	c current bound: 13
929.91/962.02	c current bound: 13
930.90/963.21	c current bound: 13
931.42/964.18	c current bound: 13
932.78/965.16	c current bound: 13
933.82/966.13	c current bound: 13
934.81/967.10	c current bound: 13
935.79/968.22	c current bound: 13
936.67/969.19	c current bound: 13
937.27/970.16	c current bound: 13
938.69/971.14	c current bound: 13
939.67/972.11	c current bound: 13
940.65/973.32	c current bound: 13
941.16/974.29	c current bound: 13
942.13/975.26	c current bound: 13
943.55/976.24	c current bound: 13
944.54/977.21	c current bound: 13
945.51/978.32	c current bound: 13
946.40/979.29	c current bound: 13
947.40/980.26	c current bound: 13
948.41/981.23	c current bound: 13
949.39/982.20	c current bound: 13
950.37/983.34	c current bound: 13
951.35/984.31	c current bound: 13
951.86/985.29	c current bound: 13
952.84/986.26	c current bound: 13
954.25/987.23	c current bound: 13
955.19/988.38	c current bound: 13
956.19/989.35	c current bound: 13
957.18/990.33	c current bound: 13
958.16/991.30	c current bound: 13
959.08/992.27	c current bound: 13
960.12/993.45	c current bound: 13
961.09/994.42	c current bound: 13
962.08/995.40	c current bound: 13
962.58/996.37	c current bound: 13
963.98/997.35	c current bound: 13
964.53/998.48	c current bound: 13
965.50/999.46	c current bound: 13
966.92/1000.43	c current bound: 13
967.92/1001.40	c current bound: 13
968.82/1002.38	c current bound: 13
969.87/1003.51	c current bound: 13
970.76/1004.48	c current bound: 13
971.79/1005.46	c current bound: 13
972.79/1006.43	c current bound: 13
973.77/1007.40	c current bound: 13
974.29/1008.57	c current bound: 13
975.70/1009.54	c current bound: 13
976.69/1010.52	c current bound: 13
977.21/1011.49	c current bound: 13
978.59/1012.46	c current bound: 13
979.60/1013.59	c current bound: 13
980.54/1014.57	c current bound: 13
981.55/1015.54	c current bound: 13
982.54/1016.51	c current bound: 13
983.06/1017.48	c current bound: 13
984.97/1018.66	c current bound: 13
985.50/1019.63	c current bound: 13
986.49/1020.60	c current bound: 13
987.01/1021.57	c current bound: 13
988.42/1022.55	c current bound: 13
989.41/1023.72	c current bound: 13
989.93/1024.69	c current bound: 13
991.30/1025.66	c current bound: 13
992.34/1026.70	c current bound: 13
993.25/1027.67	c current bound: 13
994.28/1028.83	c current bound: 13
995.25/1029.80	c current bound: 13
996.16/1030.77	c current bound: 13
997.19/1031.75	c current bound: 13
998.19/1032.75	c current bound: 13
998.73/1033.99	c current bound: 13
999.71/1034.97	c current bound: 13
1001.14/1035.95	c current bound: 13
1002.13/1036.94	c current bound: 13
1003.14/1037.92	c current bound: 13
1004.13/1039.07	c current bound: 13
1005.08/1040.05	c current bound: 13
1006.08/1041.04	c current bound: 13
1007.07/1042.02	c current bound: 13
1007.97/1042.99	c current bound: 13
1009.04/1044.12	c current bound: 13
1009.94/1045.09	c current bound: 13
1010.53/1046.07	c current bound: 13
1011.95/1047.04	c current bound: 13
1012.95/1048.01	c current bound: 13
1013.91/1049.13	c current bound: 13
1014.88/1050.11	c current bound: 13
1015.41/1051.09	c current bound: 13
1016.80/1052.07	c current bound: 13
1017.81/1053.05	c current bound: 13
1018.83/1054.22	c current bound: 13
1019.84/1055.22	c current bound: 13
1020.82/1056.21	c current bound: 13
1021.72/1057.20	c current bound: 13
1022.33/1058.19	c current bound: 13
1023.79/1059.32	c current bound: 13
1024.78/1060.31	c current bound: 13
1025.29/1061.28	c current bound: 13
1026.26/1062.27	c current bound: 13
1027.25/1063.26	c current bound: 13
1028.72/1064.43	c current bound: 13
1029.70/1065.42	c current bound: 13
1030.70/1066.40	c current bound: 13
1031.61/1067.37	c current bound: 13
1032.59/1068.36	c current bound: 13
1033.62/1069.55	c current bound: 13
1034.63/1070.53	c current bound: 13
1035.62/1071.52	c current bound: 13
1036.62/1072.50	c current bound: 13
1037.12/1073.49	c current bound: 13
1038.59/1074.66	c current bound: 13
1039.55/1075.65	c current bound: 13
1040.55/1076.64	c current bound: 13
1041.57/1077.62	c current bound: 13
1042.55/1078.61	c current bound: 13
1043.47/1079.76	c current bound: 13
1044.48/1080.74	c current bound: 13
1045.49/1081.74	c current bound: 13
1046.49/1082.72	c current bound: 13
1047.48/1083.73	c current bound: 13
1048.48/1084.91	c current bound: 13
1049.46/1085.90	c current bound: 13
1050.36/1086.87	c current bound: 13
1051.39/1087.85	c current bound: 13
1052.39/1088.82	c current bound: 13
1052.90/1089.98	c current bound: 13
1053.89/1090.96	c current bound: 13
1055.30/1091.94	c current bound: 13
1056.31/1092.91	c current bound: 13
1056.82/1093.88	c current bound: 13
1058.23/1095.04	c current bound: 13
1059.23/1096.02	c current bound: 13
1060.22/1097.00	c current bound: 13
1061.14/1097.99	c current bound: 13
1062.13/1098.98	c current bound: 13
1063.19/1100.09	c current bound: 13
1063.69/1101.08	c current bound: 13
1064.68/1102.07	c current bound: 13
1066.12/1103.05	c current bound: 13
1067.12/1104.03	c current bound: 13
1068.12/1105.22	c current bound: 13
1069.10/1106.23	c current bound: 13
1070.10/1107.22	c current bound: 13
1071.09/1108.21	c current bound: 13
1072.09/1109.20	c current bound: 13
1073.04/1110.35	c current bound: 13
1074.04/1111.33	c current bound: 13
1075.04/1112.32	c current bound: 13
1076.03/1113.31	c current bound: 13
1076.55/1114.29	c current bound: 13
1077.99/1115.44	c current bound: 13
1078.99/1116.43	c current bound: 13
1079.98/1117.42	c current bound: 13
1080.97/1118.41	c current bound: 13
1081.97/1119.40	c current bound: 13
1082.48/1120.57	c current bound: 13
1083.46/1121.56	c current bound: 13
1084.91/1122.54	c current bound: 13
1085.92/1123.53	c current bound: 13
1086.90/1124.51	c current bound: 13
1087.90/1125.70	c current bound: 13
1088.82/1126.68	c current bound: 13
1089.82/1127.67	c current bound: 13
1090.82/1128.66	c current bound: 13
1091.84/1129.64	c current bound: 13
1092.80/1130.79	c current bound: 13
1093.34/1131.77	c current bound: 13
1094.77/1132.74	c current bound: 13
1095.77/1133.72	c current bound: 13
1096.27/1134.68	c current bound: 13
1097.65/1135.86	c current bound: 13
1098.67/1136.83	c current bound: 13
1099.65/1137.80	c current bound: 13
1100.56/1138.78	c current bound: 13
1101.57/1139.76	c current bound: 13
1102.59/1140.92	c current bound: 13
1103.49/1141.90	c current bound: 13
1104.09/1142.89	c current bound: 13
1105.08/1143.87	c current bound: 13
1106.08/1144.86	c current bound: 13
1107.06/1146.07	c current bound: 13
1108.05/1147.06	c current bound: 13
1109.48/1148.04	c current bound: 13
1110.49/1149.03	c current bound: 13
1111.49/1150.01	c current bound: 13
1112.47/1151.12	c current bound: 13
1113.44/1152.10	c current bound: 13
1114.36/1153.09	c current bound: 13
1115.36/1154.08	c current bound: 13
1116.37/1155.06	c current bound: 13
1117.34/1156.29	c current bound: 13
1118.31/1157.28	c current bound: 13
1118.91/1158.27	c current bound: 13
1119.90/1159.26	c current bound: 13
1121.33/1160.24	c current bound: 13
1122.35/1161.31	c current bound: 13
1122.86/1162.28	c current bound: 13
1123.84/1163.27	c current bound: 13
1125.25/1164.25	c current bound: 13
1126.28/1165.24	c current bound: 13
1127.26/1166.43	c current bound: 13
1128.25/1167.41	c current bound: 13
1129.26/1168.40	c current bound: 13
1130.17/1169.38	c current bound: 13
1130.75/1170.37	c current bound: 13
1132.21/1171.53	c current bound: 13
1133.20/1172.52	c current bound: 13
1134.19/1173.50	c current bound: 13
1134.70/1174.48	c current bound: 13
1135.69/1175.46	c current bound: 13
1137.14/1176.62	c current bound: 13
1137.66/1177.59	c current bound: 13
1139.13/1178.61	c current bound: 13
1140.03/1179.58	c current bound: 13
1141.06/1180.55	c current bound: 13
1142.01/1181.68	c current bound: 13
1143.01/1182.65	c current bound: 13
1144.02/1183.63	c current bound: 13
1145.00/1184.60	c current bound: 13
1145.50/1185.58	c current bound: 13
1146.94/1186.81	c current bound: 13
1147.45/1187.78	c current bound: 13
1148.43/1188.76	c current bound: 13
1149.85/1189.73	c current bound: 13
1150.84/1190.71	c current bound: 13
1151.82/1191.91	c current bound: 13
1152.35/1192.89	c current bound: 13
1153.71/1193.86	c current bound: 13
1154.72/1194.83	c current bound: 13
1155.72/1195.80	c current bound: 13
1156.66/1196.85	c current bound: 13
1157.66/1197.82	c current bound: 13
1158.62/1198.80	c current bound: 13
1159.15/1199.77	c current bound: 13
1160.56/1200.75	c current bound: 13
1161.10/1201.99	c current bound: 13
1162.09/1202.97	c current bound: 13
1163.49/1203.94	c current bound: 13
1164.50/1204.92	c current bound: 13
1165.38/1205.89	c current bound: 13
1166.44/1207.64	c current bound: 13
1167.43/1208.61	c current bound: 13
1167.94/1209.59	c current bound: 13
1168.93/1210.56	c current bound: 13
1170.35/1211.55	c current bound: 13
1171.34/1212.53	c current bound: 13
1172.35/1213.51	c current bound: 13
1173.25/1214.49	c current bound: 13
1173.84/1215.46	c current bound: 13
1175.26/1216.44	c current bound: 13
1176.27/1217.41	c current bound: 13
1176.77/1218.39	c current bound: 13
1177.75/1219.36	c current bound: 13
1179.17/1220.34	c current bound: 13
1180.17/1221.32	c current bound: 13
1181.14/1222.31	c current bound: 13
1182.06/1223.28	c current bound: 13
1182.64/1224.26	c current bound: 13
1184.07/1225.23	c current bound: 13
1185.05/1226.21	c current bound: 13
1186.03/1227.46	c current bound: 13
1187.00/1228.43	c current bound: 13
1187.99/1229.40	c current bound: 13
1188.49/1230.37	c current bound: 13
1189.92/1231.35	c current bound: 13
1190.92/1232.33	c current bound: 13
1191.91/1233.31	c current bound: 13
1192.79/1234.29	c current bound: 13
1193.40/1235.26	c current bound: 13
1194.82/1236.24	c current bound: 13
1195.35/1237.25	c current bound: 13
1196.82/1238.23	c current bound: 13
1197.80/1239.20	c current bound: 13
1198.30/1240.19	c current bound: 13
1199.70/1241.17	c current bound: 13
1200.71/1242.15	c current bound: 13
1201.72/1243.13	c current bound: 13
1202.71/1244.10	c current bound: 13
1203.22/1245.08	c current bound: 13
1204.62/1246.05	c current bound: 13
1205.63/1247.02	c current bound: 13
1206.62/1248.00	c current bound: 13
1207.13/1249.09	c current bound: 13
1208.51/1250.06	c current bound: 13
1209.51/1251.05	c current bound: 13
1210.53/1252.03	c current bound: 13
1211.51/1253.01	c current bound: 13
1212.41/1254.09	c current bound: 13
1213.00/1255.06	c current bound: 13
1214.44/1256.03	c current bound: 13
1215.41/1257.01	c current bound: 13
1215.94/1257.98	c current bound: 13
1217.37/1259.25	c current bound: 13
1218.37/1260.24	c current bound: 13
1219.37/1261.22	c current bound: 13
1220.35/1262.21	c current bound: 13
1221.35/1263.29	c current bound: 13
1222.26/1264.27	c current bound: 13
1223.28/1265.25	c current bound: 13
1224.30/1266.23	c current bound: 13
1225.29/1267.22	c current bound: 13
1226.23/1268.40	c current bound: 13
1226.78/1269.38	c current bound: 13
1227.76/1270.35	c current bound: 13
1229.20/1271.33	c current bound: 13
1230.20/1272.33	c current bound: 13
1231.19/1273.45	c current bound: 13
1232.16/1274.42	c current bound: 13
1233.14/1275.40	c current bound: 13
1234.05/1276.37	c current bound: 13
1235.05/1277.39	c current bound: 13
1236.08/1278.57	c current bound: 13
1237.07/1279.55	c current bound: 13
1238.07/1280.53	c current bound: 13
1239.07/1281.52	c current bound: 13
1240.05/1282.50	c current bound: 13
1240.57/1283.67	c current bound: 13
1241.55/1284.66	c current bound: 13
1243.00/1285.65	c current bound: 13
1244.00/1286.63	c current bound: 13
1244.99/1287.62	c current bound: 13
1245.98/1288.81	c current bound: 13
1246.97/1289.80	c current bound: 13
1247.88/1290.78	c current bound: 13
1248.88/1291.76	c current bound: 13
1249.91/1292.75	c current bound: 13
1250.93/1293.91	c current bound: 13
1251.82/1294.89	c current bound: 13
1252.82/1295.88	c current bound: 13
1253.40/1296.86	c current bound: 13
1254.82/1297.85	c current bound: 13
1255.38/1298.99	c current bound: 13
1256.35/1299.97	c current bound: 13
1257.34/1300.96	c current bound: 13
1258.77/1301.95	c current bound: 13
1259.78/1302.93	c current bound: 13
1260.75/1304.05	c current bound: 13
1261.76/1305.03	c current bound: 13
1262.75/1306.02	c current bound: 13
1263.74/1307.00	c current bound: 13
1264.64/1307.98	c current bound: 13
1265.66/1309.16	c current bound: 13
1266.68/1310.14	c current bound: 13
1267.67/1311.13	c current bound: 13
1268.66/1312.10	c current bound: 13
1269.17/1313.09	c current bound: 13
1270.15/1314.25	c current bound: 13
1271.59/1315.25	c current bound: 13
1272.58/1316.22	c current bound: 13
1273.11/1317.19	c current bound: 13
1274.48/1318.17	c current bound: 13
1275.51/1319.33	c current bound: 13
1276.51/1320.30	c current bound: 13
1277.42/1321.29	c current bound: 13
1278.43/1322.28	c current bound: 13
1279.00/1323.26	c current bound: 13
1280.46/1324.42	c current bound: 13
1281.43/1325.41	c current bound: 13
1281.96/1326.39	c current bound: 13
1282.94/1327.38	c current bound: 13
1283.93/1328.36	c current bound: 13
1284.91/1329.49	c current bound: 13
1285.90/1330.48	c current bound: 13
1287.31/1331.46	c current bound: 13
1288.32/1332.44	c current bound: 13
1289.32/1333.43	c current bound: 13
1290.36/1334.60	c current bound: 13
1291.25/1335.58	c current bound: 13
1292.30/1336.68	c current bound: 13
1293.25/1337.67	c current bound: 13
1293.82/1338.65	c current bound: 13
1295.28/1339.82	c current bound: 13
1295.78/1340.79	c current bound: 13
1296.77/1341.78	c current bound: 13
1297.76/1342.76	c current bound: 13
1299.20/1343.75	c current bound: 13
1300.19/1344.94	c current bound: 13
1301.19/1345.93	c current bound: 13
1302.18/1346.91	c current bound: 13
1303.18/1347.90	c current bound: 13
1304.08/1348.88	c current bound: 13
1305.14/1350.08	c current bound: 13
1306.08/1351.06	c current bound: 13
1307.10/1352.04	c current bound: 13
1308.09/1353.03	c current bound: 13
1309.09/1354.00	c current bound: 13
1310.05/1355.04	c current bound: 13
1311.04/1356.01	c current bound: 13
1311.56/1356.99	c current bound: 13
1312.53/1357.96	c current bound: 13
1313.95/1358.94	c current bound: 13
1314.95/1360.18	c current bound: 13
1315.87/1361.16	c current bound: 13
1316.89/1362.13	c current bound: 13
1317.88/1363.11	c current bound: 13
1318.80/1364.08	c current bound: 13
1319.84/1365.21	c current bound: 13
1320.34/1366.19	c current bound: 13
1321.33/1367.16	c current bound: 13
1322.74/1368.14	c current bound: 13
1323.74/1369.11	c current bound: 13
1324.68/1370.25	c current bound: 13
1325.69/1371.22	c current bound: 13
1326.66/1372.20	c current bound: 13
1327.57/1373.18	c current bound: 13
1328.57/1374.16	c current bound: 13
1329.60/1375.32	c current bound: 13
1330.59/1376.30	c current bound: 13
1331.49/1377.27	c current bound: 13
1332.52/1378.25	c current bound: 13
1333.53/1379.22	c current bound: 13
1334.03/1380.37	c current bound: 13
1335.46/1381.34	c current bound: 13
1336.45/1382.32	c current bound: 13
1336.97/1383.29	c current bound: 13
1338.34/1384.27	c current bound: 13
1339.40/1385.43	c current bound: 13
1340.39/1386.41	c current bound: 13
1341.27/1387.40	c current bound: 13
1342.30/1388.37	c current bound: 13
1343.31/1389.35	c current bound: 13
1344.30/1390.55	c current bound: 13
1345.30/1391.52	c current bound: 13
1346.27/1392.50	c current bound: 13
1346.79/1393.47	c current bound: 13
1348.21/1394.44	c current bound: 13
1348.74/1395.58	c current bound: 13
1349.72/1396.56	c current bound: 13
1351.16/1397.53	c current bound: 13
1352.14/1398.50	c current bound: 13
1353.04/1399.49	c current bound: 13
1354.10/1400.63	c current bound: 13
1355.06/1401.60	c current bound: 13
1355.98/1402.58	c current bound: 13
1356.56/1403.55	c current bound: 13
1357.99/1404.53	c current bound: 13
1358.96/1405.64	c current bound: 13
1359.95/1406.66	c current bound: 13
1360.90/1407.63	c current bound: 13
1361.90/1408.61	c current bound: 13
1362.40/1409.58	c current bound: 13
1363.84/1410.72	c current bound: 13
1364.83/1411.70	c current bound: 13
1365.73/1412.68	c current bound: 13
1366.75/1413.66	c current bound: 13
1367.75/1414.63	c current bound: 13
1368.72/1415.78	c current bound: 13
1369.67/1416.75	c current bound: 13
1370.68/1417.73	c current bound: 13
1371.66/1418.70	c current bound: 13
1372.16/1419.68	c current bound: 13
1373.60/1420.81	c current bound: 13
1374.58/1421.80	c current bound: 13
1375.49/1422.78	c current bound: 13
1376.50/1423.76	c current bound: 13
1377.52/1424.75	c current bound: 13
1378.51/1426.05	c current bound: 13
1379.51/1427.03	c current bound: 13
1380.51/1428.02	c current bound: 13
1381.50/1429.00	c current bound: 13
1382.02/1429.99	c current bound: 13
1383.47/1431.02	c current bound: 13
1384.45/1432.01	c current bound: 13
1384.97/1432.98	c current bound: 13
1385.95/1433.97	c current bound: 13
1387.37/1434.95	c current bound: 13
1388.39/1436.14	c current bound: 13
1389.39/1437.13	c current bound: 13
1390.39/1438.12	c current bound: 13
1391.37/1439.10	c current bound: 13
1392.29/1440.08	c current bound: 13
1393.35/1441.24	c current bound: 13
1394.34/1442.22	c current bound: 13
1395.35/1443.25	c current bound: 13
1396.35/1444.23	c current bound: 13
1397.35/1445.22	c current bound: 13
1398.32/1446.29	c current bound: 13
1398.84/1447.27	c current bound: 13
1400.26/1448.25	c current bound: 13
1401.26/1449.23	c current bound: 13
1402.24/1450.20	c current bound: 13
1403.24/1451.41	c current bound: 13
1404.14/1452.39	c current bound: 13
1405.14/1453.37	c current bound: 13
1406.16/1454.35	c current bound: 13
1407.16/1455.33	c current bound: 13
1408.12/1456.56	c current bound: 13
1409.12/1457.54	c current bound: 13
1410.11/1458.52	c current bound: 13
1411.09/1459.51	c current bound: 13
1411.62/1460.49	c current bound: 13
1412.60/1461.68	c current bound: 13
1413.58/1462.67	c current bound: 13
1415.02/1463.65	c current bound: 13
1416.02/1464.64	c current bound: 13
1417.01/1465.62	c current bound: 13
1417.98/1466.78	c current bound: 13
1418.94/1467.76	c current bound: 13
1419.96/1468.75	c current bound: 13
1420.97/1469.74	c current bound: 13
1421.96/1470.72	c current bound: 13
1422.95/1471.86	c current bound: 13
1423.91/1472.84	c current bound: 13
1424.92/1473.83	c current bound: 13
1425.91/1474.82	c current bound: 13
1426.90/1475.80	c current bound: 13
1427.88/1476.91	c current bound: 13
1428.39/1477.89	c current bound: 13
1429.79/1478.88	c current bound: 13
1430.79/1479.87	c current bound: 13
1431.90/1480.95	c current bound: 13
1432.88/1482.09	c current bound: 13
1433.84/1483.07	c current bound: 13
1434.86/1484.06	c current bound: 13
1435.86/1485.06	c current bound: 13
1436.87/1486.04	c current bound: 13
1437.83/1487.30	c current bound: 13
1438.43/1488.28	c current bound: 13
1439.41/1489.26	c current bound: 13
1440.85/1490.24	c current bound: 13
1441.85/1491.22	c current bound: 13
1442.83/1492.35	c current bound: 13
1443.80/1493.32	c current bound: 13
1444.79/1494.30	c current bound: 13
1445.68/1495.28	c current bound: 13
1446.67/1496.26	c current bound: 13
1447.74/1497.42	c current bound: 13
1448.63/1498.39	c current bound: 13
1449.64/1499.37	c current bound: 13
1450.64/1500.35	c current bound: 13
1451.65/1501.33	c current bound: 13
1452.17/1502.39	c current bound: 13
1453.15/1503.38	c current bound: 13
1454.14/1504.38	c current bound: 13
1455.15/1505.37	c current bound: 13
1456.56/1506.37	c current bound: 13
1457.60/1507.46	c current bound: 13
1458.55/1508.46	c current bound: 13
1459.56/1509.45	c current bound: 13
1460.57/1510.44	c current bound: 13
1461.57/1511.43	c current bound: 13
1462.10/1512.50	c current bound: 13
1463.54/1513.50	c current bound: 13
1464.07/1514.47	c current bound: 13
1465.04/1515.46	c current bound: 13
1466.49/1516.46	c current bound: 13
1467.49/1517.65	c current bound: 13
1468.49/1518.65	c current bound: 13
1469.49/1519.63	c current bound: 13
1470.48/1520.62	c current bound: 13
1471.48/1521.61	c current bound: 13
1472.44/1522.76	c current bound: 13
1473.42/1523.76	c current bound: 13
1474.45/1524.75	c current bound: 13
1475.45/1525.75	c current bound: 13
1476.46/1526.74	c current bound: 13
1477.44/1527.96	c current bound: 13
1478.42/1528.95	c current bound: 13
1479.42/1529.94	c current bound: 13
1480.42/1530.93	c current bound: 13
1481.41/1531.91	c current bound: 13
1482.40/1532.92	c current bound: 13
1482.90/1533.90	c current bound: 13
1484.27/1534.87	c current bound: 13
1485.29/1535.85	c current bound: 13
1486.30/1536.83	c current bound: 13
1487.29/1538.00	c current bound: 13
1488.19/1538.98	c current bound: 13
1488.77/1539.97	c current bound: 13
1490.21/1540.94	c current bound: 13
1491.22/1541.92	c current bound: 13
1492.19/1543.04	c current bound: 13
1493.18/1544.04	c current bound: 13
1494.17/1545.03	c current bound: 13
1495.17/1546.01	c current bound: 13
1496.07/1546.99	c current bound: 13
1497.09/1548.19	c current bound: 13
1498.05/1549.18	c current bound: 13
1499.05/1550.18	c current bound: 13
1500.07/1551.18	c current bound: 13
1501.06/1552.16	c current bound: 13
1502.08/1553.20	c current bound: 13
1503.10/1554.20	c current bound: 13
1504.10/1555.20	c current bound: 13
1504.61/1556.18	c current bound: 13
1505.61/1557.18	c current bound: 13
1507.07/1558.34	c current bound: 13
1508.07/1559.34	c current bound: 13
1509.08/1560.34	c current bound: 13
1510.08/1561.33	c current bound: 13
1511.07/1562.32	c current bound: 13
1512.00/1563.46	c current bound: 13
1513.01/1564.46	c current bound: 13
1514.03/1565.46	c current bound: 13
1515.04/1566.45	c current bound: 13
1516.05/1567.44	c current bound: 13
1516.58/1568.58	c current bound: 13
1517.57/1569.57	c current bound: 13
1518.56/1570.57	c current bound: 13
1519.57/1571.56	c current bound: 13
1521.01/1572.54	c current bound: 13
1521.54/1573.76	c current bound: 13
1522.99/1574.75	c current bound: 13
1523.98/1575.73	c current bound: 13
1524.98/1576.71	c current bound: 13
1525.88/1577.69	c current bound: 13
1526.94/1578.81	c current bound: 13
1527.84/1579.79	c current bound: 13
1528.84/1580.76	c current bound: 13
1529.86/1581.74	c current bound: 13
1530.86/1582.72	c current bound: 13
1531.38/1583.88	c current bound: 13
1532.36/1584.85	c current bound: 13
1533.80/1585.84	c current bound: 13
1534.79/1586.82	c current bound: 13
1535.78/1587.80	c current bound: 13
1536.76/1589.04	c current bound: 13
1537.76/1590.04	c current bound: 13
1538.76/1591.03	c current bound: 13
1539.76/1592.02	c current bound: 13
1540.76/1593.01	c current bound: 13
1541.65/1593.99	c current bound: 13
1542.25/1594.99	c current bound: 13
1543.25/1595.98	c current bound: 13
1544.23/1596.98	c current bound: 13
1545.23/1597.97	c current bound: 13
1546.70/1599.08	c current bound: 13
1547.21/1600.07	c current bound: 13
1548.21/1601.07	c current bound: 13
1549.63/1602.07	c current bound: 13
1550.63/1603.06	c current bound: 13
1551.59/1604.39	c current bound: 13
1552.57/1605.39	c current bound: 13
1553.59/1606.38	c current bound: 13
1554.59/1607.38	c current bound: 13
1555.59/1608.37	c current bound: 13
1556.60/1609.35	c current bound: 13
1557.60/1610.35	c current bound: 13
1558.60/1611.35	c current bound: 13
1559.61/1612.34	c current bound: 13
1560.61/1613.33	c current bound: 13
1561.13/1614.46	c current bound: 13
1562.58/1615.45	c current bound: 13
1563.57/1616.45	c current bound: 13
1564.59/1617.44	c current bound: 13
1565.59/1618.44	c current bound: 13
1566.60/1619.61	c current bound: 13
1567.51/1620.59	c current bound: 13
1568.49/1621.57	c current bound: 13
1569.53/1622.55	c current bound: 13
1570.52/1623.53	c current bound: 13
1571.50/1624.64	c current bound: 13
1572.49/1625.61	c current bound: 13
1573.00/1626.59	c current bound: 13
1573.99/1627.57	c current bound: 13
1575.40/1628.55	c current bound: 13
1576.41/1629.73	c current bound: 13
1577.40/1630.72	c current bound: 13
1578.40/1631.71	c current bound: 13
1579.39/1632.70	c current bound: 13
1580.29/1633.69	c current bound: 13
1581.30/1634.69	c current bound: 13
1581.87/1635.69	c current bound: 13
1582.87/1636.68	c current bound: 13
1583.86/1637.67	c current bound: 13
1584.86/1638.66	c current bound: 13
1586.32/1639.82	c current bound: 13
1587.33/1640.82	c current bound: 13
1588.32/1641.82	c current bound: 13
1589.32/1642.80	c current bound: 13
1590.21/1643.79	c current bound: 13
1591.29/1644.92	c current bound: 13
1592.27/1645.92	c current bound: 13
1593.28/1646.92	c current bound: 13
1594.28/1647.91	c current bound: 13
1594.79/1648.90	c current bound: 13
1596.16/1650.09	c current bound: 13
1596.77/1651.08	c current bound: 13
1597.76/1652.08	c current bound: 13
1598.76/1653.08	c current bound: 13
1599.75/1654.07	c current bound: 13
1600.75/1655.07	c current bound: 13
1601.73/1656.06	c current bound: 13
1603.16/1657.06	c current bound: 13
1604.17/1658.05	c current bound: 13
1605.18/1659.04	c current bound: 13
1606.10/1660.29	c current bound: 13
1607.09/1661.28	c current bound: 13
1608.12/1662.27	c current bound: 13
1609.12/1663.25	c current bound: 13
1610.14/1664.24	c current bound: 13
1611.11/1665.23	c current bound: 13
1612.12/1666.21	c current bound: 13
1613.09/1667.20	c current bound: 13
1613.60/1668.18	c current bound: 13
1615.02/1669.15	c current bound: 13
1616.02/1670.34	c current bound: 13
1617.01/1671.31	c current bound: 13
1617.90/1672.29	c current bound: 13
1618.91/1673.26	c current bound: 13
1619.93/1674.25	c current bound: 13
1620.93/1675.37	c current bound: 13
1621.45/1676.36	c current bound: 13
1622.45/1677.36	c current bound: 13
1623.90/1678.35	c current bound: 13
1624.90/1679.34	c current bound: 13
1625.92/1680.52	c current bound: 13
1626.93/1681.52	c current bound: 13
1627.92/1682.51	c current bound: 13
1628.43/1683.48	c current bound: 13
1629.82/1684.46	c current bound: 13
1630.86/1685.63	c current bound: 13
1631.84/1686.74	c current bound: 13
1632.81/1687.73	c current bound: 13
1633.82/1688.73	c current bound: 13
1634.83/1689.72	c current bound: 13
1635.80/1690.88	c current bound: 13
1636.75/1691.88	c current bound: 13
1637.34/1692.88	c current bound: 13
1638.34/1693.87	c current bound: 13
1639.33/1694.86	c current bound: 13
1640.33/1695.88	c current bound: 13
1641.32/1696.88	c current bound: 13
1642.32/1697.88	c current bound: 13
1643.72/1698.87	c current bound: 13
1644.73/1699.86	c current bound: 13
1645.79/1701.00	c current bound: 13
1646.78/1702.00	c current bound: 13
1647.70/1702.99	c current bound: 13
1648.69/1703.99	c current bound: 13
1649.28/1704.98	c current bound: 13
1650.77/1706.10	c current bound: 13
1651.26/1707.10	c current bound: 13
1652.28/1708.09	c current bound: 13
1653.26/1709.07	c current bound: 13
1654.25/1710.06	c current bound: 13
1655.70/1711.15	c current bound: 13
1656.69/1712.14	c current bound: 13
1657.69/1713.12	c current bound: 13
1658.57/1714.09	c current bound: 13
1659.59/1715.07	c current bound: 13
1660.56/1716.26	c current bound: 13
1661.60/1717.23	c current bound: 13
1662.59/1718.22	c current bound: 13
1663.58/1719.21	c current bound: 13
1664.10/1720.19	c current bound: 13
1665.55/1721.36	c current bound: 13
1666.07/1722.36	c current bound: 13
1667.07/1723.36	c current bound: 13
1668.52/1724.35	c current bound: 13
1669.52/1725.34	c current bound: 13
1670.53/1726.41	c current bound: 13
1671.42/1727.39	c current bound: 13
1672.54/1728.44	c current bound: 13
1673.54/1729.43	c current bound: 13
1674.55/1730.42	c current bound: 13
1675.06/1731.40	c current bound: 13
1676.53/1732.40	c current bound: 13
1677.52/1733.40	c current bound: 13
1678.03/1734.39	c current bound: 13
1679.04/1735.38	c current bound: 13
1680.53/1736.55	c current bound: 13
1681.49/1737.54	c current bound: 13
1682.51/1738.54	c current bound: 13
1683.51/1739.54	c current bound: 13
1684.51/1740.52	c current bound: 13
1685.45/1741.66	c current bound: 13
1686.45/1742.66	c current bound: 13
1687.47/1743.66	c current bound: 13
1688.47/1744.65	c current bound: 13
1689.47/1745.64	c current bound: 13
1690.00/1746.79	c current bound: 13
1690.98/1747.79	c current bound: 13
1691.99/1748.79	c current bound: 13
1693.00/1749.79	c current bound: 13
1693.99/1750.77	c current bound: 13
1695.47/1752.02	c current bound: 13
1696.44/1753.00	c current bound: 13
1696.96/1753.97	c current bound: 13
1697.94/1754.95	c current bound: 13
1699.38/1755.94	c current bound: 13
1700.38/1757.02	c current bound: 13
1701.35/1758.00	c current bound: 13
1702.25/1758.97	c current bound: 13
1703.27/1759.94	c current bound: 13
1704.28/1760.93	c current bound: 13
1705.28/1762.09	c current bound: 13
1705.78/1763.08	c current bound: 13
1706.79/1764.07	c current bound: 13
1708.21/1765.05	c current bound: 13
1709.21/1766.05	c current bound: 13
1710.18/1767.37	c current bound: 13
1710.75/1768.36	c current bound: 13
1712.18/1769.35	c current bound: 13
1713.19/1770.34	c current bound: 13
1714.19/1771.34	c current bound: 13
1715.19/1772.31	c current bound: 13
1716.09/1773.29	c current bound: 13
1716.67/1774.26	c current bound: 13
1718.09/1775.24	c current bound: 13
1719.09/1776.22	c current bound: 13
1720.08/1777.21	c current bound: 13
1720.59/1778.18	c current bound: 13
1721.97/1779.16	c current bound: 13
1722.98/1780.14	c current bound: 13
1723.96/1781.12	c current bound: 13
1724.90/1782.28	c current bound: 13
1725.90/1783.26	c current bound: 13
1726.91/1784.23	c current bound: 13
1727.89/1785.20	c current bound: 13
1728.40/1786.18	c current bound: 13
1729.83/1787.32	c current bound: 13
1730.34/1788.29	c current bound: 13
1731.33/1789.27	c current bound: 13
1732.74/1790.24	c current bound: 13
1733.75/1791.24	c current bound: 13
1734.76/1792.41	c current bound: 13
1735.74/1793.40	c current bound: 13
1736.66/1794.38	c current bound: 13
1737.67/1795.35	c current bound: 13
1738.68/1796.34	c current bound: 13
1740.04/1797.47	c current bound: 13
1740.63/1798.44	c current bound: 13
1741.61/1799.41	c current bound: 13
1742.13/1800.39	c current bound: 13
1743.11/1801.36	c current bound: 13
1744.52/1802.55	c current bound: 13
1745.53/1803.52	c current bound: 13
1746.50/1804.50	c current bound: 13
1747.40/1805.47	c current bound: 13
1748.40/1806.46	c current bound: 13
1749.40/1807.56	c current bound: 13
1750.39/1808.54	c current bound: 13
1751.40/1809.51	c current bound: 13
1751.91/1810.49	c current bound: 13
1752.88/1811.47	c current bound: 13
1754.32/1812.62	c current bound: 13
1755.30/1813.60	c current bound: 13
1755.81/1814.57	c current bound: 13
1757.22/1815.54	c current bound: 13
1758.22/1816.54	c current bound: 13
1759.24/1817.70	c current bound: 13
1760.15/1818.69	c current bound: 13
1761.15/1819.69	c current bound: 13
1762.15/1820.67	c current bound: 13
1763.18/1821.64	c current bound: 13
1764.11/1822.80	c current bound: 13
1764.68/1823.77	c current bound: 13
1766.09/1824.75	c current bound: 13
1767.10/1825.72	c current bound: 13
1768.08/1826.70	c current bound: 13
1769.05/1827.84	c current bound: 13
1770.03/1828.81	c current bound: 13
1770.54/1829.79	c current bound: 13
1771.93/1830.76	c current bound: 13
1772.95/1831.73	c current bound: 13
1773.92/1832.93	c current bound: 13
1774.91/1833.91	c current bound: 13
1775.82/1834.88	c current bound: 13
1776.40/1835.85	c current bound: 13
1777.82/1836.84	c current bound: 13
1778.81/1837.86	c current bound: 13
1779.78/1838.84	c current bound: 13
1780.78/1839.82	c current bound: 13
1781.29/1840.79	c current bound: 13
1782.67/1841.76	c current bound: 13
1783.65/1842.89	c current bound: 13
1784.63/1843.87	c current bound: 13
1785.64/1844.84	c current bound: 13
1786.64/1845.81	c current bound: 13
1787.15/1846.78	c current bound: 13
1788.11/1847.96	c current bound: 13
1789.54/1848.94	c current bound: 13
1790.54/1849.91	c current bound: 13
1791.06/1850.89	c current bound: 13
1792.04/1851.87	c current bound: 13
1793.46/1853.02	c current bound: 13
1794.44/1854.00	c current bound: 13
1795.35/1854.97	c current bound: 13
1796.37/1855.94	c current bound: 13
1797.36/1856.91	c current bound: 13
1797.96/1857.51	HOME/npSolver-wbo-Itdqb.sh: line 18: 27737 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.14 2.05 2/179 27736
/proc/meminfo: memFree=26791020/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0

[startup+0.103679 s]
/proc/loadavg: 2.15 2.14 2.05 2/179 27736
/proc/meminfo: memFree=26791020/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.20027 s]
/proc/loadavg: 2.15 2.14 2.05 2/179 27736
/proc/meminfo: memFree=26791020/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300298 s]
/proc/loadavg: 2.15 2.14 2.05 2/179 27736
/proc/meminfo: memFree=26791020/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70021 s]
/proc/loadavg: 2.15 2.14 2.05 2/179 27736
/proc/meminfo: memFree=26791020/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50023 s]
/proc/loadavg: 2.13 2.13 2.05 3/181 27738
/proc/meminfo: memFree=26752496/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=69076 CPUtime=1.49 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) R 27736 27736 21579 0 -1 4202496 6462 0 0 0 147 2 0 0 20 0 1 0 283562594 70733824 9778 33554432000 4194304 5990268 140733848952448 140733848948024 4202689 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27737/statm: 17269 9778 145 439 0 16826 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78224

[startup+3.10039 s]
/proc/loadavg: 2.13 2.13 2.05 3/183 27740
/proc/meminfo: memFree=26548160/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=69764 CPUtime=1.73 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 7216 0 0 0 163 10 0 0 20 0 1 0 283562594 71438336 10982 33554432000 4194304 5990268 140733848952448 140733848945600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27737/statm: 17441 10982 153 439 0 16998 0
[pid=27739] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27739/stat : 27739 (cp2_pre.sh) S 27737 27736 21579 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283562768 9367552 277 33554432000 4194304 5064252 140736274139248 140736274137952 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27739/statm: 2287 277 234 213 0 72 0
[pid=27740] ppid=27739 vsize=256640 CPUtime=1.34 cores=0,2,4,6
/proc/27740/stat : 27740 (coprocessor) R 27739 27736 21579 0 -1 4202496 35663 0 0 0 127 7 0 0 20 0 1 0 283562768 262799360 62187 33554432000 4194304 6586260 140733436807168 140733436803480 4775781 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/27740/statm: 64160 62187 175 584 0 63572 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 344700

[startup+6.30025 s]
/proc/loadavg: 2.13 2.13 2.05 3/183 27740
/proc/meminfo: memFree=26431684/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=69764 CPUtime=1.73 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 7216 0 0 0 163 10 0 0 20 0 1 0 283562594 71438336 10982 33554432000 4194304 5990268 140733848952448 140733848945600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27737/statm: 17441 10982 153 439 0 16998 0
[pid=27739] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27739/stat : 27739 (cp2_pre.sh) S 27737 27736 21579 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283562768 9367552 277 33554432000 4194304 5064252 140736274139248 140736274137952 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27739/statm: 2287 277 234 213 0 72 0
[pid=27740] ppid=27739 vsize=300328 CPUtime=4.55 cores=0,2,4,6
/proc/27740/stat : 27740 (coprocessor) R 27739 27736 21579 0 -1 4202496 42492 0 0 0 446 9 0 0 20 0 1 0 283562768 307535872 73615 33554432000 4194304 6586260 140733436807168 140733436802488 5599298 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/27740/statm: 75082 73615 192 584 0 74494 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 388388

[startup+12.7003 s]
/proc/loadavg: 2.19 2.14 2.06 3/183 27740
/proc/meminfo: memFree=26379104/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=69764 CPUtime=1.73 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 7216 0 0 0 163 10 0 0 20 0 1 0 283562594 71438336 10982 33554432000 4194304 5990268 140733848952448 140733848945600 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27737/statm: 17441 10982 153 439 0 16998 0
[pid=27739] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27739/stat : 27739 (cp2_pre.sh) S 27737 27736 21579 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 283562768 9367552 277 33554432000 4194304 5064252 140736274139248 140736274137952 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27739/statm: 2287 277 234 213 0 72 0
[pid=27740] ppid=27739 vsize=369388 CPUtime=10.78 cores=0,2,4,6
/proc/27740/stat : 27740 (coprocessor) R 27739 27736 21579 0 -1 4202496 45657 0 0 0 981 97 0 0 20 0 1 0 283562768 378253312 84798 33554432000 4194304 6586260 140733436807168 140733436802792 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 13 0 0
/proc/27740/statm: 92347 84798 204 584 0 91759 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 457448

[startup+25.5003 s]
/proc/loadavg: 2.16 2.14 2.06 3/184 27823
/proc/meminfo: memFree=26653216/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=24.93 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 31250 428473 0 0 227 87 1923 256 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
[pid=27821] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27821/stat : 27821 (cp2_post.sh) S 27737 27736 21579 0 -1 4202496 607 224 0 0 0 0 0 0 20 0 1 0 283565113 9367552 265 33554432000 4194304 5064252 140735921132096 140735921130384 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27821/statm: 2287 265 225 213 0 72 0
[pid=27823] ppid=27821 vsize=80756 CPUtime=0.3 cores=0,2,4,6
/proc/27823/stat : 27823 (coprocessor) R 27821 27736 21579 0 -1 4202496 7860 0 0 0 28 2 0 0 20 0 1 0 283565113 82694144 13898 33554432000 4194304 6586260 140735770555280 140735921130408 5599454 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/27823/statm: 20189 13898 149 584 0 19601 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 188720

[startup+51.1004 s]
/proc/loadavg: 2.10 2.13 2.06 3/183 28000
/proc/meminfo: memFree=26681700/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=48.95 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 84918 1222634 0 0 335 97 3878 585 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 48.95
Current children cumulated vsize (KiB) 98816

[startup+102.3 s]
/proc/loadavg: 2.04 2.10 2.05 3/183 28356
/proc/meminfo: memFree=26624704/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=98.69 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 192275 2881122 0 0 549 119 7931 1270 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
[pid=28354] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28354/stat : 28354 (cp2_post.sh) S 27737 27736 21579 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 283572786 9367552 266 33554432000 4194304 5064252 140733617994176 140733617992464 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28354/statm: 2287 266 225 213 0 72 0
[pid=28356] ppid=28354 vsize=84652 CPUtime=0.37 cores=0,2,4,6
/proc/28356/stat : 28356 (coprocessor) R 28354 27736 21579 0 -1 4202496 9640 0 0 0 33 4 0 0 20 0 1 0 283572786 86683648 14703 33554432000 4194304 6586260 140737151904480 140737151901496 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/28356/statm: 21163 14703 151 584 0 20575 0
Current children cumulated CPU time (s) 99.06
Current children cumulated vsize (KiB) 192616

[startup+162.3 s]
/proc/loadavg: 1.95 2.07 2.04 3/181 28764
/proc/meminfo: memFree=26679872/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=156.79 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 318948 4797029 0 0 802 146 12664 2067 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 156.79
Current children cumulated vsize (KiB) 98816

[startup+222.307 s]
/proc/loadavg: 1.98 2.05 2.03 3/183 29183
/proc/meminfo: memFree=26672224/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=214.87 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 447761 6734538 0 0 1060 173 17413 2841 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 214.87

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

/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 1608.22
Current children cumulated vsize (KiB) 98816

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.98 4/183 11993
/proc/meminfo: memFree=27136644/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1666.07 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3618887 54991261 0 0 7441 832 135664 22670 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 1666.07
Current children cumulated vsize (KiB) 98816

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

[startup+1754.8 s]
/proc/loadavg: 2.23 2.03 2.00 3/184 12943
/proc/meminfo: memFree=27185940/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1697.94 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3687591 56033411 0 0 7579 846 138257 23112 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
[pid=12941] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12941/stat : 12941 (cp2_post.sh) S 27737 27736 21579 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 283738041 9367552 266 33554432000 4194304 5064252 140737354599776 140737354598064 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12941/statm: 2287 266 225 213 0 72 0
[pid=12943] ppid=12941 vsize=82744 CPUtime=0.32 cores=0,2,4,6
/proc/12943/stat : 12943 (coprocessor) R 12941 27736 21579 0 -1 4202496 8375 0 0 0 29 3 0 0 20 0 1 0 283738041 84729856 14461 33554432000 4194304 6586260 140733586070976 140733586067992 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/12943/statm: 20686 14461 149 584 0 20098 0
Current children cumulated CPU time (s) 1698.26
Current children cumulated vsize (KiB) 190708

[startup+1754.9 s]
/proc/loadavg: 2.23 2.03 2.00 3/184 12943
/proc/meminfo: memFree=27185940/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1697.94 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3687591 56033411 0 0 7579 846 138257 23112 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 1697.94
Current children cumulated vsize (KiB) 98816
#
############


[startup+1782.3 s]
/proc/loadavg: 2.08 2.01 1.99 2/183 13727
/proc/meminfo: memFree=27138040/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1724.99 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3747700 56924584 0 0 7702 858 140459 23480 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 1724.99
Current children cumulated vsize (KiB) 98816

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

[startup+1797.4 s]
/proc/loadavg: 2.06 2.01 1.99 1/182 14174
/proc/meminfo: memFree=27202444/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1739.63 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) R 27736 27736 21579 0 -1 4202496 3775348 57415768 0 0 7766 864 141654 23679 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5043211 0 0 4096 0 0 0 0 17 0 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
[pid=14159] ppid=27737 vsize=9148 CPUtime=0.41 cores=0,2,4,6
/proc/14159/stat : 14159 (cp2_post.sh) S 27737 27736 21579 0 -1 4202496 635 9316 0 0 0 0 36 5 20 0 1 0 283742277 9367552 269 33554432000 4194304 5064252 140735391289904 140735391288816 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14159/statm: 2287 269 228 213 0 72 0
[pid=14172] ppid=14159 vsize=0 CPUtime=0 cores=3-5,7-9,11-13,17-19,25,64,68,71,75,135,139,193,197,258,576,578-579,584,586-587,590,598,708-709,711-713,715-717,721-723,729,771-773,775-777,779-781,785-787,793,839,841-844,848-851,853,855,862,864-868,870,899-901,903-905,907-909,913-915,921,965-968,970-973,976,978-980,985
/proc/14172/stat : 14172 (mv) R 14159 27736 21579 0 -1 4202500 255 0 0 0 0 0 0 0 20 0 1 0 283742332 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 2 0 0
/proc/14172/statm: -- couldn't open statm file --Current children cumulated CPU time (s) 1740.04
Current children cumulated vsize (KiB) 107964

[startup+1797.51 s]
/proc/loadavg: 2.06 2.01 1.99 1/182 14174
/proc/meminfo: memFree=27202444/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1739.7 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3776840 57416284 0 0 7771 864 141654 23681 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 1739.7
Current children cumulated vsize (KiB) 98816
#
############


[startup+1842.3 s]
/proc/loadavg: 1.98 2.00 1.99 3/184 15442
/proc/meminfo: memFree=27164304/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1783.24 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3848831 58878547 0 0 7965 886 145200 24273 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
Current children cumulated CPU time (s) 1783.24
Current children cumulated vsize (KiB) 98816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1857.5 s]
/proc/loadavg: 1.91 1.98 1.98 3/184 15904
/proc/meminfo: memFree=27170712/32873660 swapFree=7120/7120
[pid=27736] ppid=27734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (npSolver-wbo-It) S 27734 27736 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 283562594 9367552 275 33554432000 4194304 5064252 140733944756912 140733944755824 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27736/statm: 2287 275 233 213 0 72 0
[pid=27737] ppid=27736 vsize=89668 CPUtime=1797.87 cores=0,2,4,6
/proc/27737/stat : 27737 (npSolver-wbo) S 27736 27736 21579 0 -1 4202496 3873371 59367563 0 0 8030 891 146393 24473 20 0 1 0 283562594 91820032 15528 33554432000 4194304 5990268 140733848952448 140733848943344 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 141 0 0
/proc/27737/statm: 22417 15528 177 439 0 21974 0
[pid=15902] ppid=27737 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15902/stat : 15902 (cp2_post.sh) S 27737 27736 21579 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 283748334 9367552 266 33554432000 4194304 5064252 140733943589392 140733943587680 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15902/statm: 2287 266 225 213 0 72 0
[pid=15903] ppid=15902 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/15903/stat : 15903 (cat) S 15902 27736 21579 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 283748335 4100096 122 33554432000 4194304 4236627 140735994245376 140735994244472 270330054112 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15903/statm: 1001 122 96 11 0 67 0
[pid=15904] ppid=15902 vsize=39544 CPUtime=0.09 cores=0,2,4,6
/proc/15904/stat : 15904 (coprocessor) R 15902 27736 21579 0 -1 4202496 4514 0 0 0 8 1 0 0 20 0 1 0 283748335 40493056 7501 33554432000 4194304 6586260 140736838773888 140733943587704 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/15904/statm: 9886 7501 146 584 0 9298 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 151512

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27736 and gives
#  childrusage.ru_utime.tv_sec=1544
#  childrusage.ru_utime.tv_usec=246238
#  childrusage.ru_stime.tv_sec=253
#  childrusage.ru_stime.tv_usec=657438
# CPU time returned by wait4() is 1797.9
# while last known CPU time is 1797.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1857.52
CPU time (s): 1800.18
CPU user time (s): 1546.35
CPU system time (s): 253.83
CPU usage (%): 96.9133
Max. virtual memory (cumulated for all children) (KiB): 457448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1544.25
system time used= 253.657
maximum resident set size= 354436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63242938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 76800640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1651062
involuntary context switches= 24861

runsolver used 3.07553 second user time and 7.63984 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 05:06:08
IDJOB=3715377
IDBENCH=78659
IDSOLVER=2297
FILE ID=node117/3715377-1338174368
RUNJOBID= node117-1338159294-21595
PBS_JOBID= 14624552
Free space on /tmp= 69928 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/normalized-j9039_3-unsat--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715377-1338174368/watcher-3715377-1338174368 -o /tmp/evaluation-result-3715377-1338174368/solver-3715377-1338174368 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715377-1338174368.wbo 1789399041 HOME HOME

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

MD5SUM BENCH= 6cc35be76a92b4bf23f7bdaafc76a3c9
RANDOM SEED=1789399041

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        26791408 kB
Buffers:          513552 kB
Cached:          4209564 kB
SwapCached:            0 kB
Active:          2964720 kB
Inactive:        2203452 kB
Active(anon):     434200 kB
Inactive(anon):    11352 kB
Active(file):    2530520 kB
Inactive(file):  2192100 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9880 kB
Writeback:             0 kB
AnonPages:        603216 kB
Mapped:            15316 kB
Shmem:               200 kB
Slab:             772804 kB
SReclaimable:     217024 kB
SUnreclaim:       555780 kB
KernelStack:        1520 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     600072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    534528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69992 MiB
End job on node117 at 2012-05-28 05:37:06