Trace number 3753118

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.35 1805.91

General information on the benchmark

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

Solver Data

0.00/0.02	c run usual solver
0.00/0.05	o 18677
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 95.2527
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 9338
0.00/0.78	c current bound: 9338
1.48/1.50	c current bound: 9338
2.16/2.23	c current bound: 9338
2.67/2.95	c current bound: 9338
3.39/3.68	c current bound: 9338
4.38/4.41	c current bound: 9338
5.11/5.52	c current bound: 9338
5.59/6.24	c current bound: 9338
6.31/6.96	c current bound: 9338
7.22/7.68	c current bound: 9338
7.75/8.41	c current bound: 9338
8.49/9.13	c current bound: 9338
9.42/9.86	c current bound: 9338
9.94/10.58	c current bound: 9338
10.66/11.32	c current bound: 9338
11.60/12.04	c current bound: 9338
12.12/12.77	c current bound: 9338
12.85/13.49	c current bound: 9338
13.82/14.22	c current bound: 9338
14.29/14.95	c current bound: 9338
15.02/15.67	c current bound: 9338
15.74/16.39	c current bound: 9338
16.44/17.11	c current bound: 9338
17.18/17.83	c current bound: 9338
17.90/18.55	c current bound: 9338
18.63/19.28	c current bound: 9338
19.35/20.01	c current bound: 9338
20.09/20.74	c current bound: 9338
20.81/21.46	c current bound: 9338
21.53/22.18	c current bound: 9338
22.24/22.90	c current bound: 9338
22.96/23.62	c current bound: 9338
23.90/24.36	c current bound: 9338
24.43/25.09	c current bound: 9338
25.14/25.81	c current bound: 9338
26.09/26.55	c current bound: 9338
26.61/27.27	c current bound: 9338
27.33/27.99	c current bound: 9338
28.29/28.72	c current bound: 9338
28.79/29.45	c current bound: 9338
29.52/30.19	c current bound: 9338
30.48/30.93	c current bound: 9338
31.00/31.68	c current bound: 9338
31.74/32.41	c current bound: 9338
32.69/33.15	c current bound: 9338
33.23/33.89	c current bound: 9338
33.97/34.63	c current bound: 9338
34.89/35.37	c current bound: 9338
35.44/36.10	c current bound: 9338
36.18/36.84	c current bound: 9338
36.91/37.58	c current bound: 9338
37.65/38.32	c current bound: 9338
38.37/39.03	c current bound: 9338
39.28/39.76	c current bound: 9338
39.80/40.48	c current bound: 9338
40.53/41.21	c current bound: 9338
41.48/41.92	c current bound: 9338
41.96/42.64	c current bound: 9338
42.68/43.37	c current bound: 9338
43.59/44.08	c current bound: 9338
44.39/44.80	c current bound: 9338
44.85/45.53	c current bound: 9338
45.78/46.25	c current bound: 9338
46.27/46.96	c current bound: 9338
46.99/47.69	c current bound: 9338
47.97/48.41	c current bound: 9338
48.41/49.11	c current bound: 9338
49.13/49.84	c current bound: 9338
50.05/50.56	c current bound: 9338
50.56/51.28	c current bound: 9338
51.55/52.00	c current bound: 9338
52.25/52.72	c current bound: 9338
52.71/53.43	c current bound: 9338
53.43/54.16	c current bound: 9338
54.14/54.87	c current bound: 9338
54.85/55.58	c current bound: 9338
55.56/56.31	c current bound: 9338
56.28/57.02	c current bound: 9338
57.00/57.74	c current bound: 9338
57.91/58.45	c current bound: 9338
58.42/59.16	c current bound: 9338
59.16/59.91	c current bound: 9338
60.11/60.62	c current bound: 9338
60.59/61.35	c current bound: 9338
61.33/62.08	c current bound: 9338
62.20/62.79	c current bound: 9338
62.75/63.51	c current bound: 9338
63.48/64.25	c current bound: 9338
64.40/64.96	c current bound: 9338
64.91/65.69	c current bound: 9338
65.65/66.43	c current bound: 9338
66.59/67.14	c current bound: 9338
67.10/67.87	c current bound: 9338
67.83/68.59	c current bound: 9338
68.79/69.32	c current bound: 9338
69.27/70.04	c current bound: 9338
70.00/70.78	c current bound: 9338
70.88/71.49	c current bound: 9338
71.42/72.21	c current bound: 9338
72.15/72.94	c current bound: 9338
73.08/73.66	c current bound: 9338
73.58/74.38	c current bound: 9338
74.31/75.11	c current bound: 9338
75.26/75.82	c current bound: 9338
75.75/76.53	c current bound: 9338
76.45/77.25	c current bound: 9338
77.16/77.97	c current bound: 9338
77.88/78.68	c current bound: 9338
78.86/79.40	c current bound: 9338
79.29/80.11	c current bound: 9338
80.02/80.88	c current bound: 9338
80.78/81.60	c current bound: 9338
81.49/82.31	c current bound: 9338
82.21/83.02	c current bound: 9338
83.14/83.73	c current bound: 9338
83.63/84.45	c current bound: 9338
84.36/85.18	c current bound: 9338
85.34/85.90	c current bound: 9338
85.79/86.61	c current bound: 9338
86.51/87.33	c current bound: 9338
87.44/88.05	c current bound: 9338
87.93/88.76	c current bound: 9338
88.66/89.49	c current bound: 9338
89.63/90.20	c current bound: 9338
90.08/90.92	c current bound: 9338
90.81/91.65	c current bound: 9338
91.72/92.36	c current bound: 9338
92.23/93.08	c current bound: 9338
92.96/93.81	c current bound: 9338
93.89/94.52	c current bound: 9338
94.38/95.24	c current bound: 9338
95.10/95.96	c current bound: 9338
95.81/96.67	c current bound: 9338
96.53/97.39	c current bound: 9338
97.25/98.11	c current bound: 9338
97.96/98.82	c current bound: 9338
98.67/99.54	c current bound: 9338
99.65/100.44	c current bound: 9338
100.30/101.15	c current bound: 9338
100.81/101.87	c current bound: 9338
101.53/102.59	c current bound: 9338
102.49/103.30	c current bound: 9338
102.93/104.02	c current bound: 9338
103.65/104.74	c current bound: 9338
104.37/105.45	c current bound: 9338
105.08/106.17	c current bound: 9338
105.78/106.89	c current bound: 9338
106.78/107.60	c current bound: 9338
107.24/108.33	c current bound: 9338
108.15/109.05	c current bound: 9338
108.65/109.76	c current bound: 9338
109.38/110.47	c current bound: 9338
110.26/111.19	c current bound: 9338
111.06/111.90	c current bound: 9338
111.53/112.63	c current bound: 9338
112.45/113.35	c current bound: 9338
112.96/114.07	c current bound: 9338
113.69/114.80	c current bound: 9338
114.65/115.51	c current bound: 9338
115.10/116.22	c current bound: 9338
115.84/116.96	c current bound: 9338
116.74/117.67	c current bound: 9338
117.25/118.38	c current bound: 9338
117.98/119.11	c current bound: 9338
118.91/119.83	c current bound: 9338
119.40/120.55	c current bound: 9338
120.12/121.27	c current bound: 9338
120.83/121.98	c current bound: 9338
121.54/122.69	c current bound: 9338
122.25/123.42	c current bound: 9338
122.97/124.13	c current bound: 9338
123.68/124.86	c current bound: 9338
124.41/125.58	c current bound: 9338
125.12/126.29	c current bound: 9338
125.83/127.01	c current bound: 9338
126.78/127.72	c current bound: 9338
127.26/128.43	c current bound: 9338
127.99/129.17	c current bound: 9338
128.98/129.90	c current bound: 9338
129.43/130.61	c current bound: 9338
130.15/131.34	c current bound: 9338
131.06/132.05	c current bound: 9338
131.56/132.76	c current bound: 9338
132.30/133.49	c current bound: 9338
133.28/134.20	c current bound: 9338
133.72/134.92	c current bound: 9338
134.43/135.64	c current bound: 9338
135.36/136.35	c current bound: 9338
135.86/137.07	c current bound: 9338
136.59/137.80	c current bound: 9338
137.55/138.52	c current bound: 9338
138.02/139.24	c current bound: 9338
138.74/139.96	c current bound: 9338
139.45/140.67	c current bound: 9338
140.16/141.39	c current bound: 9338
140.87/142.11	c current bound: 9338
141.59/142.82	c current bound: 9338
142.30/143.53	c current bound: 9338
143.22/144.24	c current bound: 9338
143.72/144.95	c current bound: 9338
144.45/145.69	c current bound: 9338
145.42/146.41	c current bound: 9338
145.88/147.12	c current bound: 9338
146.60/147.84	c current bound: 9338
147.52/148.56	c current bound: 9338
148.03/149.28	c current bound: 9338
148.76/150.01	c current bound: 9338
149.71/150.72	c current bound: 9338
150.18/151.43	c current bound: 9338
150.89/152.16	c current bound: 9338
151.79/152.87	c current bound: 9338
152.32/153.58	c current bound: 9338
153.30/154.30	c current bound: 9338
154.00/155.03	c current bound: 9338
154.48/155.74	c current bound: 9338
155.20/156.48	c current bound: 9338
155.93/157.19	c current bound: 9338
156.63/157.91	c current bound: 9338
157.34/158.62	c current bound: 9338
158.05/159.34	c current bound: 9338
158.77/160.05	c current bound: 9338
159.67/160.76	c current bound: 9338
160.19/161.47	c current bound: 9338
160.93/162.21	c current bound: 9338
161.86/162.93	c current bound: 9338
162.36/163.64	c current bound: 9338
163.09/164.38	c current bound: 9338
163.97/165.09	c current bound: 9338
164.52/165.81	c current bound: 9338
165.25/166.54	c current bound: 9338
166.15/167.25	c current bound: 9338
166.67/167.97	c current bound: 9338
167.66/168.70	c current bound: 9338
168.35/169.41	c current bound: 9338
168.82/170.12	c current bound: 9338
169.53/170.84	c current bound: 9338
170.44/171.55	c current bound: 9338
170.96/172.27	c current bound: 9338
171.67/172.99	c current bound: 9338
172.39/173.70	c current bound: 9338
173.11/174.42	c current bound: 9338
173.82/175.14	c current bound: 9338
174.56/175.86	c current bound: 9338
175.28/176.59	c current bound: 9338
176.00/177.31	c current bound: 9338
176.73/178.03	c current bound: 9338
177.45/178.75	c current bound: 9338
178.17/179.49	c current bound: 9338
178.89/180.21	c current bound: 9338
179.62/180.93	c current bound: 9338
180.64/181.70	c current bound: 9338
181.11/182.43	c current bound: 9338
181.84/183.15	c current bound: 9338
182.56/183.87	c current bound: 9338
183.29/184.59	c current bound: 9338
184.02/185.32	c current bound: 9338
184.94/186.04	c current bound: 9338
185.46/186.77	c current bound: 9338
186.18/187.49	c current bound: 9338
187.14/188.21	c current bound: 9338
187.61/188.93	c current bound: 9338
188.34/189.65	c current bound: 9338
189.25/190.38	c current bound: 9338
189.80/191.11	c current bound: 9338
190.52/191.83	c current bound: 9338
191.43/192.56	c current bound: 9338
192.25/193.30	c current bound: 9338
192.70/194.03	c current bound: 9338
193.64/194.78	c current bound: 9338
194.19/195.50	c current bound: 9338
194.91/196.23	c current bound: 9338
195.82/196.96	c current bound: 9338
196.62/197.70	c current bound: 9338
197.08/198.42	c current bound: 9338
198.01/199.15	c current bound: 9338
198.53/199.88	c current bound: 9338
199.52/200.60	c current bound: 9338
200.21/201.32	c current bound: 9338
200.70/202.05	c current bound: 9338
201.42/202.77	c current bound: 9338
202.31/203.49	c current bound: 9338
202.86/204.21	c current bound: 9338
203.59/204.93	c current bound: 9338
204.50/205.66	c current bound: 9338
205.03/206.38	c current bound: 9338
205.76/207.12	c current bound: 9338
206.70/207.84	c current bound: 9338
207.21/208.56	c current bound: 9338
207.94/209.29	c current bound: 9338
208.92/210.01	c current bound: 9338
209.40/210.74	c current bound: 9338
210.11/211.46	c current bound: 9338
210.85/212.19	c current bound: 9338
211.57/212.91	c current bound: 9338
212.30/213.63	c current bound: 9338
213.01/214.35	c current bound: 9338
213.74/215.08	c current bound: 9338
214.47/215.80	c current bound: 9338
215.18/216.52	c current bound: 9338
215.90/217.25	c current bound: 9338
216.63/217.99	c current bound: 9338
217.37/218.71	c current bound: 9338
218.09/219.43	c current bound: 9338
219.00/220.18	c current bound: 9338
219.55/220.90	c current bound: 9338
220.28/221.63	c current bound: 9338
221.20/222.38	c current bound: 9338
221.75/223.10	c current bound: 9338
222.47/223.82	c current bound: 9338
223.41/224.57	c current bound: 9338
223.94/225.29	c current bound: 9338
224.65/226.01	c current bound: 9338
225.60/226.75	c current bound: 9338
226.12/227.48	c current bound: 9338
226.85/228.20	c current bound: 9338
227.79/228.92	c current bound: 9338
228.28/229.64	c current bound: 9338
229.01/230.36	c current bound: 9338
229.90/231.09	c current bound: 9338
230.46/231.81	c current bound: 9338
231.18/232.53	c current bound: 9338
232.09/233.26	c current bound: 9338
232.63/233.99	c current bound: 9338
233.35/234.71	c current bound: 9338
234.30/235.45	c current bound: 9338
234.82/236.18	c current bound: 9338
235.55/236.90	c current bound: 9338
236.50/237.63	c current bound: 9338
236.98/238.35	c current bound: 9338
237.70/239.08	c current bound: 9338
238.69/239.80	c current bound: 9338
239.15/240.53	c current bound: 9338
239.87/241.26	c current bound: 9338
240.78/241.98	c current bound: 9338
241.33/242.71	c current bound: 9338
242.05/243.43	c current bound: 9338
242.96/244.15	c current bound: 9338
243.49/244.87	c current bound: 9338
244.22/245.60	c current bound: 9338
245.18/246.33	c current bound: 9338
245.67/247.06	c current bound: 9338
246.40/247.79	c current bound: 9338
247.37/248.52	c current bound: 9338
247.86/249.26	c current bound: 9338
248.59/249.98	c current bound: 9338
249.58/250.70	c current bound: 9338
250.02/251.42	c current bound: 9338
250.76/252.15	c current bound: 9338
251.47/252.87	c current bound: 9338
252.20/253.59	c current bound: 9338
252.92/254.32	c current bound: 9338
253.64/255.04	c current bound: 9338
254.36/255.77	c current bound: 9338
255.10/256.49	c current bound: 9338
255.81/257.22	c current bound: 9338
256.54/257.94	c current bound: 9338
257.26/258.66	c current bound: 9338
257.98/259.40	c current bound: 9338
258.71/260.12	c current bound: 9338
259.64/260.86	c current bound: 9338
260.17/261.59	c current bound: 9338
260.90/262.31	c current bound: 9338
261.85/263.04	c current bound: 9338
262.35/263.78	c current bound: 9338
263.09/264.49	c current bound: 9338
264.03/265.22	c current bound: 9338
264.53/265.94	c current bound: 9338
265.24/266.66	c current bound: 9338
266.23/267.40	c current bound: 9338
266.71/268.13	c current bound: 9338
267.43/268.85	c current bound: 9338
268.34/269.58	c current bound: 9338
268.88/270.32	c current bound: 9338
269.61/271.04	c current bound: 9338
270.54/271.78	c current bound: 9338
271.08/272.50	c current bound: 9338
271.80/273.22	c current bound: 9338
272.74/273.96	c current bound: 9338
273.25/274.68	c current bound: 9338
274.24/275.40	c current bound: 9338
274.94/276.13	c current bound: 9338
275.44/276.86	c current bound: 9338
276.17/277.59	c current bound: 9338
277.14/278.31	c current bound: 9338
277.62/279.04	c current bound: 9338
278.33/279.76	c current bound: 9338
279.24/280.50	c current bound: 9338
279.80/281.22	c current bound: 9338
280.52/281.94	c current bound: 9338
281.43/282.66	c current bound: 9338
281.97/283.39	c current bound: 9338
282.68/284.11	c current bound: 9338
283.61/284.84	c current bound: 9338
284.14/285.56	c current bound: 9338
285.13/286.30	c current bound: 9338
285.82/287.02	c current bound: 9338
286.31/287.75	c current bound: 9338
287.04/288.47	c current bound: 9338
287.76/289.19	c current bound: 9338
288.49/289.91	c current bound: 9338
289.22/290.64	c current bound: 9338
289.93/291.36	c current bound: 9338
290.67/292.08	c current bound: 9338
291.38/292.81	c current bound: 9338
292.11/293.55	c current bound: 9338
292.85/294.28	c current bound: 9338
293.57/295.02	c current bound: 9338
294.32/295.74	c current bound: 9338
295.03/296.47	c current bound: 9338
295.76/297.19	c current bound: 9338
296.49/297.91	c current bound: 9338
297.21/298.64	c current bound: 9338
298.13/299.39	c current bound: 9338
298.70/300.12	c current bound: 9338
299.41/300.84	c current bound: 9338
300.32/301.59	c current bound: 9338
300.88/302.31	c current bound: 9338
301.61/303.04	c current bound: 9338
302.53/303.76	c current bound: 9338
303.06/304.48	c current bound: 9338
303.79/305.22	c current bound: 9338
304.73/305.96	c current bound: 9338
305.24/306.68	c current bound: 9338
305.97/307.40	c current bound: 9338
306.91/308.15	c current bound: 9338
307.43/308.88	c current bound: 9338
308.15/309.60	c current bound: 9338
309.12/310.36	c current bound: 9338
309.62/311.09	c current bound: 9338
310.33/311.81	c current bound: 9338
311.27/312.55	c current bound: 9338
311.79/313.27	c current bound: 9338
312.52/314.01	c current bound: 9338
313.47/314.73	c current bound: 9338
313.96/315.45	c current bound: 9338
314.68/316.17	c current bound: 9338
315.67/316.90	c current bound: 9338
316.12/317.62	c current bound: 9338
316.85/318.34	c current bound: 9338
317.77/319.07	c current bound: 9338
318.30/319.79	c current bound: 9338
319.03/320.51	c current bound: 9338
319.96/321.23	c current bound: 9338
320.48/321.96	c current bound: 9338
321.20/322.68	c current bound: 9338
322.17/323.42	c current bound: 9338
322.66/324.14	c current bound: 9338
323.38/324.87	c current bound: 9338
324.28/325.60	c current bound: 9338
324.84/326.32	c current bound: 9338
325.56/327.04	c current bound: 9338
326.47/327.78	c current bound: 9338
327.01/328.51	c current bound: 9338
327.74/329.23	c current bound: 9338
328.65/329.96	c current bound: 9338
329.18/330.69	c current bound: 9338
329.91/331.41	c current bound: 9338
330.86/332.15	c current bound: 9338
331.37/332.87	c current bound: 9338
332.09/333.60	c current bound: 9338
333.05/334.32	c current bound: 9338
333.53/335.06	c current bound: 9338
334.27/335.78	c current bound: 9338
334.99/336.50	c current bound: 9338
335.71/337.22	c current bound: 9338
336.43/337.95	c current bound: 9338
337.17/338.68	c current bound: 9338
337.89/339.40	c current bound: 9338
338.62/340.12	c current bound: 9338
339.36/340.85	c current bound: 9338
340.08/341.57	c current bound: 9338
341.08/342.30	c current bound: 9338
341.52/343.02	c current bound: 9338
342.25/343.74	c current bound: 9338
343.16/344.48	c current bound: 9338
343.71/345.21	c current bound: 9338
344.45/345.93	c current bound: 9338
345.37/346.66	c current bound: 9338
345.90/347.39	c current bound: 9338
346.61/348.12	c current bound: 9338
347.55/348.86	c current bound: 9338
348.09/349.59	c current bound: 9338
348.82/350.32	c current bound: 9338
349.77/351.05	c current bound: 9338
350.30/351.79	c current bound: 9338
351.02/352.51	c current bound: 9338
351.97/353.24	c current bound: 9338
352.47/353.97	c current bound: 9338
353.20/354.71	c current bound: 9338
354.17/355.42	c current bound: 9338
354.66/356.15	c current bound: 9338
355.38/356.88	c current bound: 9338
356.26/357.59	c current bound: 9338
356.81/358.30	c current bound: 9338
357.53/359.02	c current bound: 9338
358.46/359.74	c current bound: 9338
358.95/360.46	c current bound: 9338
359.69/361.18	c current bound: 9338
360.56/361.89	c current bound: 9338
361.10/362.61	c current bound: 9338
361.83/363.34	c current bound: 9338
362.74/364.05	c current bound: 9338
363.25/364.76	c current bound: 9338
363.98/365.48	c current bound: 9338
364.68/366.19	c current bound: 9338
365.40/366.91	c current bound: 9338
366.11/367.63	c current bound: 9338
366.83/368.34	c current bound: 9338
367.54/369.05	c current bound: 9338
368.25/369.77	c current bound: 9338
368.96/370.49	c current bound: 9338
369.68/371.20	c current bound: 9338
370.64/371.93	c current bound: 9338
371.11/372.64	c current bound: 9338
371.84/373.36	c current bound: 9338
372.74/374.07	c current bound: 9338
373.26/374.78	c current bound: 9338
373.98/375.51	c current bound: 9338
374.91/376.23	c current bound: 9338
375.40/376.94	c current bound: 9338
376.12/377.67	c current bound: 9338
377.11/378.43	c current bound: 9338
377.60/379.14	c current bound: 9338
378.31/379.86	c current bound: 9338
379.20/380.57	c current bound: 9338
379.73/381.29	c current bound: 9338
380.44/382.00	c current bound: 9338
381.39/382.71	c current bound: 9338
381.86/383.44	c current bound: 9338
382.57/384.15	c current bound: 9338
383.29/384.86	c current bound: 9338
384.00/385.58	c current bound: 9338
384.72/386.29	c current bound: 9338
385.43/387.01	c current bound: 9338
386.15/387.72	c current bound: 9338
387.08/388.43	c current bound: 9338
387.57/389.14	c current bound: 9338
388.29/389.89	c current bound: 9338
389.26/390.60	c current bound: 9338
389.73/391.31	c current bound: 9338
390.46/392.05	c current bound: 9338
391.36/392.77	c current bound: 9338
391.89/393.48	c current bound: 9338
392.61/394.21	c current bound: 9338
393.57/394.92	c current bound: 9338
394.03/395.64	c current bound: 9338
394.74/396.36	c current bound: 9338
395.65/397.07	c current bound: 9338
396.18/397.79	c current bound: 9338
396.89/398.51	c current bound: 9338
397.84/399.22	c current bound: 9338
398.33/399.94	c current bound: 9338
399.03/400.66	c current bound: 9338
399.74/401.37	c current bound: 9338
400.46/402.08	c current bound: 9338
401.43/402.80	c current bound: 9338
401.88/403.51	c current bound: 9338
402.59/404.22	c current bound: 9338
403.52/404.93	c current bound: 9338
404.00/405.66	c current bound: 9338
404.74/406.37	c current bound: 9338
405.63/407.09	c current bound: 9338
406.16/407.80	c current bound: 9338
406.90/408.54	c current bound: 9338
407.81/409.25	c current bound: 9338
408.32/409.96	c current bound: 9338
409.04/410.69	c current bound: 9338
410.02/411.40	c current bound: 9338
410.46/412.13	c current bound: 9338
411.19/412.86	c current bound: 9338
412.09/413.57	c current bound: 9338
412.61/414.28	c current bound: 9338
413.34/415.00	c current bound: 9338
414.28/415.71	c current bound: 9338
414.75/416.43	c current bound: 9338
415.48/417.16	c current bound: 9338
416.18/417.87	c current bound: 9338
416.90/418.58	c current bound: 9338
417.62/419.31	c current bound: 9338
418.33/420.02	c current bound: 9338
419.04/420.74	c current bound: 9338
419.96/421.45	c current bound: 9338
420.47/422.17	c current bound: 9338
421.21/422.91	c current bound: 9338
422.15/423.62	c current bound: 9338
422.63/424.34	c current bound: 9338
423.36/425.08	c current bound: 9338
424.25/425.79	c current bound: 9338
424.79/426.51	c current bound: 9338
425.53/427.24	c current bound: 9338
426.43/427.95	c current bound: 9338
426.95/428.67	c current bound: 9338
427.66/429.38	c current bound: 9338
428.54/430.09	c current bound: 9338
429.07/430.80	c current bound: 9338
429.79/431.53	c current bound: 9338
430.73/432.24	c current bound: 9338
431.22/432.95	c current bound: 9338
431.94/433.68	c current bound: 9338
432.64/434.39	c current bound: 9338
433.36/435.10	c current bound: 9338
434.08/435.82	c current bound: 9338
434.78/436.53	c current bound: 9338
435.49/437.25	c current bound: 9338
436.40/437.96	c current bound: 9338
436.93/438.67	c current bound: 9338
437.66/439.41	c current bound: 9338
438.60/440.13	c current bound: 9338
439.08/440.84	c current bound: 9338
439.80/441.55	c current bound: 9338
440.70/442.27	c current bound: 9338
441.22/442.98	c current bound: 9338
441.95/443.72	c current bound: 9338
442.90/444.43	c current bound: 9338
443.39/445.14	c current bound: 9338
444.10/445.87	c current bound: 9338
444.99/446.58	c current bound: 9338
445.79/447.30	c current bound: 9338
446.24/448.02	c current bound: 9338
447.17/448.74	c current bound: 9338
447.68/449.45	c current bound: 9338
448.39/450.17	c current bound: 9338
449.10/450.89	c current bound: 9338
450.08/451.60	c current bound: 9338
450.53/452.32	c current bound: 9338
451.24/453.04	c current bound: 9338
451.95/453.75	c current bound: 9338
452.86/454.46	c current bound: 9338
453.38/455.18	c current bound: 9338
454.13/455.94	c current bound: 9338
455.05/456.66	c current bound: 9338
455.57/457.37	c current bound: 9338
456.28/458.08	c current bound: 9338
457.26/458.80	c current bound: 9338
457.70/459.52	c current bound: 9338
458.45/460.25	c current bound: 9338
459.35/460.96	c current bound: 9338
459.87/461.69	c current bound: 9338
460.62/462.43	c current bound: 9338
461.55/463.14	c current bound: 9338
462.05/463.86	c current bound: 9338
462.78/464.59	c current bound: 9338
463.75/465.30	c current bound: 9338
464.20/466.02	c current bound: 9338
464.91/466.73	c current bound: 9338
465.84/467.44	c current bound: 9338
466.33/468.16	c current bound: 9338
467.05/468.88	c current bound: 9338
467.77/469.59	c current bound: 9338
468.49/470.30	c current bound: 9338
469.20/471.02	c current bound: 9338
469.91/471.73	c current bound: 9338
470.62/472.44	c current bound: 9338
471.52/473.16	c current bound: 9338
472.04/473.87	c current bound: 9338
472.75/474.58	c current bound: 9338
473.72/475.31	c current bound: 9338
474.18/476.02	c current bound: 9338
474.92/476.76	c current bound: 9338
475.82/477.47	c current bound: 9338
476.62/478.20	c current bound: 9338
477.09/478.94	c current bound: 9338
478.02/479.65	c current bound: 9338
478.52/480.37	c current bound: 9338
479.52/481.10	c current bound: 9338
480.21/481.81	c current bound: 9338
480.68/482.53	c current bound: 9338
481.41/483.26	c current bound: 9338
482.31/483.97	c current bound: 9338
482.82/484.69	c current bound: 9338
483.81/485.40	c current bound: 9338
484.49/486.11	c current bound: 9338
484.97/486.82	c current bound: 9338
485.67/487.55	c current bound: 9338
486.39/488.26	c current bound: 9338
487.10/488.97	c current bound: 9338
487.81/489.69	c current bound: 9338
488.53/490.40	c current bound: 9338
489.26/491.14	c current bound: 9338
490.18/491.86	c current bound: 9338
490.69/492.58	c current bound: 9338
491.68/493.30	c current bound: 9338
492.38/494.02	c current bound: 9338
492.85/494.73	c current bound: 9338
493.57/495.46	c current bound: 9338
494.48/496.18	c current bound: 9338
495.00/496.89	c current bound: 9338
495.72/497.63	c current bound: 9338
496.67/498.34	c current bound: 9338
497.17/499.06	c current bound: 9338
497.87/499.77	c current bound: 9338
498.76/500.49	c current bound: 9338
499.55/501.20	c current bound: 9338
500.02/501.92	c current bound: 9338
500.95/502.64	c current bound: 9338
501.44/503.35	c current bound: 9338
502.16/504.08	c current bound: 9338
502.87/504.79	c current bound: 9338
503.59/505.50	c current bound: 9338
504.29/506.22	c current bound: 9338
505.00/506.93	c current bound: 9338
505.71/507.65	c current bound: 9338
506.42/508.36	c current bound: 9338
507.13/509.08	c current bound: 9338
507.87/509.82	c current bound: 9338
508.82/510.54	c current bound: 9338
509.32/511.24	c current bound: 9338
510.04/511.98	c current bound: 9338
511.02/512.70	c current bound: 9338
511.48/513.41	c current bound: 9338
512.19/514.14	c current bound: 9338
513.12/514.86	c current bound: 9338
513.63/515.58	c current bound: 9338
514.34/516.30	c current bound: 9338
515.30/517.01	c current bound: 9338
515.76/517.72	c current bound: 9338
516.47/518.44	c current bound: 9338
517.40/519.15	c current bound: 9338
517.91/519.87	c current bound: 9338
518.90/520.60	c current bound: 9338
519.58/521.31	c current bound: 9338
520.05/522.02	c current bound: 9338
520.76/522.74	c current bound: 9338
521.47/523.46	c current bound: 9338
522.21/524.17	c current bound: 9338
522.90/524.89	c current bound: 9338
523.62/525.61	c current bound: 9338
524.34/526.32	c current bound: 9338
525.26/527.04	c current bound: 9338
525.76/527.75	c current bound: 9338
526.47/528.47	c current bound: 9338
527.36/529.18	c current bound: 9338
527.90/529.90	c current bound: 9338
528.64/530.64	c current bound: 9338
529.55/531.35	c current bound: 9338
530.07/532.07	c current bound: 9338
530.80/532.80	c current bound: 9338
531.75/533.53	c current bound: 9338
532.23/534.24	c current bound: 9338
532.96/534.98	c current bound: 9338
533.84/535.69	c current bound: 9338
534.38/536.41	c current bound: 9338
535.12/537.16	c current bound: 9338
536.03/537.87	c current bound: 9338
536.57/538.58	c current bound: 9338
537.28/539.31	c current bound: 9338
538.23/540.02	c current bound: 9338
538.71/540.74	c current bound: 9338
539.43/541.46	c current bound: 9338
540.14/542.18	c current bound: 9338
540.86/542.89	c current bound: 9338
541.58/543.61	c current bound: 9338
542.28/544.32	c current bound: 9338
543.00/545.03	c current bound: 9338
543.90/545.74	c current bound: 9338
544.42/546.46	c current bound: 9338
545.14/547.19	c current bound: 9338
546.13/547.90	c current bound: 9338
546.57/548.61	c current bound: 9338
547.30/549.35	c current bound: 9338
548.20/550.07	c current bound: 9338
548.74/550.79	c current bound: 9338
549.46/551.51	c current bound: 9338
550.39/552.22	c current bound: 9338
550.87/552.94	c current bound: 9338
551.60/553.67	c current bound: 9338
552.49/554.38	c current bound: 9338
553.04/555.09	c current bound: 9338
553.75/555.81	c current bound: 9338
554.70/556.52	c current bound: 9338
555.16/557.23	c current bound: 9338
555.87/557.95	c current bound: 9338
556.59/558.67	c current bound: 9338
557.31/559.39	c current bound: 9338
558.29/560.10	c current bound: 9338
558.73/560.81	c current bound: 9338
559.44/561.53	c current bound: 9338
560.38/562.24	c current bound: 9338
560.87/562.95	c current bound: 9338
561.58/563.66	c current bound: 9338
562.48/564.38	c current bound: 9338
563.28/565.10	c current bound: 9338
563.75/565.83	c current bound: 9338
564.68/566.54	c current bound: 9338
565.17/567.25	c current bound: 9338
565.88/567.98	c current bound: 9338
566.76/568.70	c current bound: 9338
567.31/569.41	c current bound: 9338
568.04/570.13	c current bound: 9338
568.96/570.84	c current bound: 9338
569.45/571.58	c current bound: 9338
570.19/572.31	c current bound: 9338
571.15/573.05	c current bound: 9338
571.64/573.76	c current bound: 9338
572.36/574.49	c current bound: 9338
573.08/575.20	c current bound: 9338
573.79/575.91	c current bound: 9338
574.50/576.63	c current bound: 9338
575.22/577.34	c current bound: 9338
575.92/578.06	c current bound: 9338
576.63/578.79	c current bound: 9338
577.36/579.50	c current bound: 9338
578.10/580.24	c current bound: 9338
579.02/580.95	c current bound: 9338
579.51/581.66	c current bound: 9338
580.24/582.40	c current bound: 9338
581.20/583.11	c current bound: 9338
581.68/583.84	c current bound: 9338
582.42/584.59	c current bound: 9338
583.42/585.30	c current bound: 9338
583.85/586.05	c current bound: 9338
584.62/586.81	c current bound: 9338
585.59/587.52	c current bound: 9338
586.06/588.23	c current bound: 9338
586.77/588.95	c current bound: 9338
587.68/589.66	c current bound: 9338
588.19/590.37	c current bound: 9338
588.92/591.09	c current bound: 9338
589.88/591.81	c current bound: 9338
590.34/592.52	c current bound: 9338
591.06/593.25	c current bound: 9338
591.97/593.97	c current bound: 9338
592.49/594.68	c current bound: 9338
593.21/595.42	c current bound: 9338
594.17/596.15	c current bound: 9338
594.67/596.86	c current bound: 9338
595.37/597.58	c current bound: 9338
596.08/598.29	c current bound: 9338
596.80/599.00	c current bound: 9338
597.52/599.73	c current bound: 9338
598.25/600.44	c current bound: 9338
598.95/601.15	c current bound: 9338
599.66/601.89	c current bound: 9338
600.39/602.60	c current bound: 9338
601.11/603.32	c current bound: 9338
602.05/604.03	c current bound: 9338
602.54/604.74	c current bound: 9338
603.27/605.48	c current bound: 9338
604.14/606.19	c current bound: 9338
604.68/606.90	c current bound: 9338
605.42/607.63	c current bound: 9338
606.34/608.35	c current bound: 9338
606.85/609.06	c current bound: 9338
607.57/609.79	c current bound: 9338
608.53/610.51	c current bound: 9338
608.99/611.22	c current bound: 9338
609.72/611.95	c current bound: 9338
610.64/612.66	c current bound: 9338
611.14/613.37	c current bound: 9338
611.86/614.09	c current bound: 9338
612.84/614.80	c current bound: 9338
613.28/615.52	c current bound: 9338
614.00/616.24	c current bound: 9338
614.71/616.95	c current bound: 9338
615.42/617.68	c current bound: 9338
616.42/618.40	c current bound: 9338
616.86/619.11	c current bound: 9338
617.56/619.83	c current bound: 9338
618.50/620.54	c current bound: 9338
618.99/621.25	c current bound: 9338
619.73/621.99	c current bound: 9338
620.69/622.70	c current bound: 9338
621.15/623.41	c current bound: 9338
621.89/624.15	c current bound: 9338
622.79/624.86	c current bound: 9338
623.31/625.57	c current bound: 9338
624.03/626.30	c current bound: 9338
624.98/627.01	c current bound: 9338
625.45/627.73	c current bound: 9338
626.18/628.45	c current bound: 9338
627.07/629.16	c current bound: 9338
627.60/629.88	c current bound: 9338
628.32/630.60	c current bound: 9338
629.26/631.31	c current bound: 9338
629.73/632.02	c current bound: 9338
630.44/632.74	c current bound: 9338
631.15/633.46	c current bound: 9338
631.86/634.17	c current bound: 9338
632.58/634.89	c current bound: 9338
633.56/635.60	c current bound: 9338
634.03/636.35	c current bound: 9338
634.75/637.08	c current bound: 9338
635.47/637.79	c current bound: 9338
636.22/638.55	c current bound: 9338
637.14/639.26	c current bound: 9338
637.66/639.97	c current bound: 9338
638.39/640.71	c current bound: 9338
639.32/641.43	c current bound: 9338
639.81/642.14	c current bound: 9338
640.55/642.88	c current bound: 9338
641.43/643.59	c current bound: 9338
641.97/644.30	c current bound: 9338
642.70/645.04	c current bound: 9338
643.61/645.76	c current bound: 9338
644.14/646.47	c current bound: 9338
644.84/647.19	c current bound: 9338
645.72/647.90	c current bound: 9338
646.27/648.61	c current bound: 9338
647.00/649.35	c current bound: 9338
647.90/650.07	c current bound: 9338
648.43/650.79	c current bound: 9338
649.15/651.51	c current bound: 9338
650.10/652.23	c current bound: 9338
650.57/652.94	c current bound: 9338
651.29/653.66	c current bound: 9338
651.99/654.38	c current bound: 9338
652.71/655.09	c current bound: 9338
653.43/655.82	c current bound: 9338
654.15/656.53	c current bound: 9338
654.88/657.25	c current bound: 9338
655.77/657.96	c current bound: 9338
656.29/658.71	c current bound: 9338
657.05/659.43	c current bound: 9338
657.97/660.14	c current bound: 9338
658.46/660.85	c current bound: 9338
659.19/661.59	c current bound: 9338
660.14/662.30	c current bound: 9338
660.61/663.02	c current bound: 9338
661.34/663.75	c current bound: 9338
662.26/664.48	c current bound: 9338
662.79/665.19	c current bound: 9338
663.52/665.93	c current bound: 9338
664.45/666.64	c current bound: 9338
664.94/667.35	c current bound: 9338
665.65/668.07	c current bound: 9338
666.55/668.78	c current bound: 9338
667.08/669.50	c current bound: 9338
667.80/670.23	c current bound: 9338
668.74/670.94	c current bound: 9338
669.24/671.65	c current bound: 9338
669.95/672.36	c current bound: 9338
670.66/673.08	c current bound: 9338
671.38/673.79	c current bound: 9338
672.07/674.50	c current bound: 9338
672.78/675.21	c current bound: 9338
673.49/675.92	c current bound: 9338
674.43/676.64	c current bound: 9338
674.92/677.35	c current bound: 9338
675.66/678.08	c current bound: 9338
676.53/678.79	c current bound: 9338
677.08/679.51	c current bound: 9338
677.82/680.25	c current bound: 9338
678.71/680.96	c current bound: 9338
679.23/681.67	c current bound: 9338
679.96/682.40	c current bound: 9338
680.91/683.12	c current bound: 9338
681.39/683.83	c current bound: 9338
682.11/684.55	c current bound: 9338
683.00/685.27	c current bound: 9338
683.52/685.98	c current bound: 9338
684.25/686.71	c current bound: 9338
685.20/687.42	c current bound: 9338
685.68/688.14	c current bound: 9338
686.40/688.87	c current bound: 9338
687.11/689.58	c current bound: 9338
688.10/690.30	c current bound: 9338
688.56/691.01	c current bound: 9338
689.27/691.73	c current bound: 9338
689.98/692.44	c current bound: 9338
690.89/693.15	c current bound: 9338
691.40/693.87	c current bound: 9338
692.13/694.61	c current bound: 9338
693.08/695.32	c current bound: 9338
693.55/696.03	c current bound: 9338
694.26/696.75	c current bound: 9338
695.17/697.47	c current bound: 9338
695.69/698.19	c current bound: 9338
696.42/698.92	c current bound: 9338
697.35/699.64	c current bound: 9338
697.85/700.35	c current bound: 9338
698.59/701.09	c current bound: 9338
699.47/701.80	c current bound: 9338
700.00/702.51	c current bound: 9338
700.73/703.26	c current bound: 9338
701.65/703.97	c current bound: 9338
702.18/704.69	c current bound: 9338
702.90/705.42	c current bound: 9338
703.84/706.14	c current bound: 9338
704.34/706.85	c current bound: 9338
705.04/707.57	c current bound: 9338
705.76/708.29	c current bound: 9338
706.73/709.00	c current bound: 9338
707.18/709.72	c current bound: 9338
707.90/710.43	c current bound: 9338
708.62/711.14	c current bound: 9338
709.51/711.87	c current bound: 9338
710.04/712.60	c current bound: 9338
710.80/713.35	c current bound: 9338
711.72/714.06	c current bound: 9338
712.23/714.77	c current bound: 9338
712.96/715.51	c current bound: 9338
713.91/716.25	c current bound: 9338
714.41/716.97	c current bound: 9338
715.14/717.70	c current bound: 9338
716.09/718.42	c current bound: 9338
716.56/719.13	c current bound: 9338
717.28/719.84	c current bound: 9338
718.18/720.55	c current bound: 9338
718.69/721.27	c current bound: 9338
719.43/722.00	c current bound: 9338
720.38/722.72	c current bound: 9338
720.85/723.45	c current bound: 9338
721.59/724.17	c current bound: 9338
722.47/724.88	c current bound: 9338
723.01/725.59	c current bound: 9338
723.72/726.31	c current bound: 9338
724.66/727.02	c current bound: 9338
725.13/727.73	c current bound: 9338
725.85/728.45	c current bound: 9338
726.56/729.16	c current bound: 9338
727.28/729.88	c current bound: 9338
728.00/730.59	c current bound: 9338
728.72/731.31	c current bound: 9338
729.45/732.05	c current bound: 9338
730.36/732.76	c current bound: 9338
730.88/733.47	c current bound: 9338
731.59/734.21	c current bound: 9338
732.53/734.93	c current bound: 9338
733.02/735.64	c current bound: 9338
733.76/736.37	c current bound: 9338
734.64/737.09	c current bound: 9338
735.19/737.82	c current bound: 9338
735.93/738.55	c current bound: 9338
736.85/739.26	c current bound: 9338
737.35/739.98	c current bound: 9338
738.07/740.70	c current bound: 9338
739.02/741.41	c current bound: 9338
739.50/742.13	c current bound: 9338
740.23/742.87	c current bound: 9338
741.13/743.58	c current bound: 9338
741.67/744.29	c current bound: 9338
742.37/745.01	c current bound: 9338
743.32/745.75	c current bound: 9338
743.82/746.46	c current bound: 9338
744.53/747.18	c current bound: 9338
745.24/747.89	c current bound: 9338
745.95/748.61	c current bound: 9338
746.67/749.32	c current bound: 9338
747.39/750.04	c current bound: 9338
748.08/750.75	c current bound: 9338
748.99/751.46	c current bound: 9338
749.51/752.17	c current bound: 9338
750.22/752.90	c current bound: 9338
751.18/753.62	c current bound: 9338
751.67/754.33	c current bound: 9338
752.40/755.06	c current bound: 9338
753.37/755.80	c current bound: 9338
753.83/756.52	c current bound: 9338
754.57/757.25	c current bound: 9338
755.48/757.97	c current bound: 9338
756.00/758.68	c current bound: 9338
756.73/759.41	c current bound: 9338
757.69/760.14	c current bound: 9338
758.17/760.85	c current bound: 9338
758.89/761.58	c current bound: 9338
759.78/762.29	c current bound: 9338
760.32/763.01	c current bound: 9338
761.05/763.73	c current bound: 9338
761.97/764.46	c current bound: 9338
762.48/765.18	c current bound: 9338
763.20/765.90	c current bound: 9338
764.16/766.62	c current bound: 9338
764.63/767.33	c current bound: 9338
765.33/768.04	c current bound: 9338
766.04/768.76	c current bound: 9338
766.76/769.47	c current bound: 9338
767.47/770.18	c current bound: 9338
768.18/770.89	c current bound: 9338
768.91/771.63	c current bound: 9338
769.83/772.35	c current bound: 9338
770.33/773.06	c current bound: 9338
771.07/773.79	c current bound: 9338
772.04/774.51	c current bound: 9338
772.51/775.22	c current bound: 9338
773.22/775.95	c current bound: 9338
774.13/776.66	c current bound: 9338
774.65/777.38	c current bound: 9338
775.37/778.11	c current bound: 9338
776.33/778.82	c current bound: 9338
776.80/779.53	c current bound: 9338
777.52/780.26	c current bound: 9338
778.43/780.98	c current bound: 9338
778.94/781.69	c current bound: 9338
779.66/782.41	c current bound: 9338
780.61/783.12	c current bound: 9338
781.08/783.86	c current bound: 9338
781.83/784.58	c current bound: 9338
782.53/785.29	c current bound: 9338
783.23/786.00	c current bound: 9338
783.96/786.73	c current bound: 9338
784.67/787.44	c current bound: 9338
785.39/788.15	c current bound: 9338
786.10/788.87	c current bound: 9338
786.81/789.58	c current bound: 9338
787.55/790.32	c current bound: 9338
788.46/791.03	c current bound: 9338
788.94/791.74	c current bound: 9338
789.68/792.48	c current bound: 9338
790.56/793.19	c current bound: 9338
791.10/793.91	c current bound: 9338
791.84/794.63	c current bound: 9338
792.75/795.35	c current bound: 9338
793.26/796.06	c current bound: 9338
793.97/796.77	c current bound: 9338
794.86/797.49	c current bound: 9338
795.67/798.20	c current bound: 9338
796.13/798.94	c current bound: 9338
797.05/799.66	c current bound: 9338
797.54/800.36	c current bound: 9338
798.27/801.09	c current bound: 9338
798.97/801.80	c current bound: 9338
799.68/802.51	c current bound: 9338
800.41/803.23	c current bound: 9338
801.11/803.94	c current bound: 9338
801.82/804.65	c current bound: 9338
802.54/805.37	c current bound: 9338
803.25/806.08	c current bound: 9338
803.99/806.82	c current bound: 9338
804.92/807.53	c current bound: 9338
805.40/808.24	c current bound: 9338
806.11/808.97	c current bound: 9338
807.01/809.68	c current bound: 9338
807.54/810.39	c current bound: 9338
808.28/811.13	c current bound: 9338
809.21/811.84	c current bound: 9338
809.69/812.55	c current bound: 9338
810.42/813.28	c current bound: 9338
811.30/813.99	c current bound: 9338
811.85/814.72	c current bound: 9338
812.60/815.47	c current bound: 9338
813.49/816.19	c current bound: 9338
814.02/816.91	c current bound: 9338
814.74/817.64	c current bound: 9338
815.69/818.38	c current bound: 9338
816.22/819.14	c current bound: 9338
816.99/819.87	c current bound: 9338
817.88/820.59	c current bound: 9338
818.42/821.32	c current bound: 9338
819.16/822.05	c current bound: 9338
820.07/822.76	c current bound: 9338
820.58/823.48	c current bound: 9338
821.30/824.20	c current bound: 9338
822.26/824.93	c current bound: 9338
822.74/825.65	c current bound: 9338
823.46/826.39	c current bound: 9338
824.20/827.10	c current bound: 9338
824.91/827.82	c current bound: 9338
825.62/828.55	c current bound: 9338
826.35/829.26	c current bound: 9338
827.06/829.98	c current bound: 9338
827.77/830.69	c current bound: 9338
828.48/831.41	c current bound: 9338
829.23/832.15	c current bound: 9338
830.13/832.86	c current bound: 9338
830.65/833.57	c current bound: 9338
831.38/834.33	c current bound: 9338
832.33/835.04	c current bound: 9338
832.83/835.75	c current bound: 9338
833.84/836.50	c current bound: 9338
834.51/837.22	c current bound: 9338
835.01/837.94	c current bound: 9338
835.74/838.67	c current bound: 9338
836.61/839.38	c current bound: 9338
837.15/840.12	c current bound: 9338
837.89/840.85	c current bound: 9338
838.80/841.56	c current bound: 9338
839.32/842.30	c current bound: 9338
840.07/843.04	c current bound: 9338
841.00/843.75	c current bound: 9338
841.51/844.47	c current bound: 9338
842.21/845.18	c current bound: 9338
843.10/845.89	c current bound: 9338
843.63/846.61	c current bound: 9338
844.36/847.34	c current bound: 9338
845.28/848.05	c current bound: 9338
845.78/848.76	c current bound: 9338
846.49/849.49	c current bound: 9338
847.48/850.21	c current bound: 9338
847.95/850.92	c current bound: 9338
848.66/851.64	c current bound: 9338
849.36/852.35	c current bound: 9338
850.07/853.06	c current bound: 9338
850.78/853.78	c current bound: 9338
851.49/854.49	c current bound: 9338
852.22/855.23	c current bound: 9338
853.15/855.94	c current bound: 9338
853.65/856.65	c current bound: 9338
854.36/857.37	c current bound: 9338
855.24/858.08	c current bound: 9338
855.79/858.79	c current bound: 9338
856.51/859.51	c current bound: 9338
857.45/860.24	c current bound: 9338
858.22/861.00	c current bound: 9338
858.68/861.73	c current bound: 9338
859.61/862.44	c current bound: 9338
860.09/863.16	c current bound: 9338
860.82/863.89	c current bound: 9338
861.80/864.60	c current bound: 9338
862.25/865.32	c current bound: 9338
862.98/866.04	c current bound: 9338
863.88/866.76	c current bound: 9338
864.39/867.48	c current bound: 9338
865.12/868.21	c current bound: 9338
866.07/868.92	c current bound: 9338
866.54/869.63	c current bound: 9338
867.26/870.35	c current bound: 9338
867.97/871.07	c current bound: 9338
868.69/871.78	c current bound: 9338
869.41/872.50	c current bound: 9338
870.11/873.22	c current bound: 9338
870.82/873.93	c current bound: 9338
871.74/874.65	c current bound: 9338
872.26/875.37	c current bound: 9338
873.00/876.10	c current bound: 9338
873.95/876.81	c current bound: 9338
874.42/877.54	c current bound: 9338
875.17/878.28	c current bound: 9338
876.04/878.99	c current bound: 9338
876.59/879.70	c current bound: 9338
877.33/880.44	c current bound: 9338
878.24/881.15	c current bound: 9338
878.74/881.87	c current bound: 9338
879.48/882.60	c current bound: 9338
880.45/883.31	c current bound: 9338
880.90/884.02	c current bound: 9338
881.61/884.74	c current bound: 9338
882.53/885.45	c current bound: 9338
883.04/886.17	c current bound: 9338
883.75/886.89	c current bound: 9338
884.46/887.60	c current bound: 9338
885.17/888.31	c current bound: 9338
885.89/889.03	c current bound: 9338
886.60/889.76	c current bound: 9338
887.31/890.47	c current bound: 9338
888.02/891.18	c current bound: 9338
888.74/891.89	c current bound: 9338
889.47/892.63	c current bound: 9338
890.40/893.34	c current bound: 9338
890.89/894.05	c current bound: 9338
891.62/894.79	c current bound: 9338
892.58/895.50	c current bound: 9338
893.05/896.22	c current bound: 9338
893.78/896.95	c current bound: 9338
894.70/897.67	c current bound: 9338
895.22/898.38	c current bound: 9338
895.94/899.11	c current bound: 9338
896.89/899.83	c current bound: 9338
897.36/900.54	c current bound: 9338
898.09/901.27	c current bound: 9338
898.97/901.99	c current bound: 9338
899.52/902.72	c current bound: 9338
900.24/903.43	c current bound: 9338
901.16/904.16	c current bound: 9338
901.67/904.87	c current bound: 9338
902.38/905.60	c current bound: 9338
903.35/906.31	c current bound: 9338
903.81/907.02	c current bound: 9338
904.53/907.74	c current bound: 9338
905.23/908.45	c current bound: 9338
905.94/909.16	c current bound: 9338
906.66/909.88	c current bound: 9338
907.64/910.60	c current bound: 9338
908.11/911.33	c current bound: 9338
909.01/912.05	c current bound: 9338
909.53/912.76	c current bound: 9338
910.26/913.49	c current bound: 9338
911.22/914.21	c current bound: 9338
911.69/914.91	c current bound: 9338
912.42/915.64	c current bound: 9338
913.33/916.37	c current bound: 9338
913.84/917.08	c current bound: 9338
914.57/917.81	c current bound: 9338
915.53/918.54	c current bound: 9338
916.01/919.25	c current bound: 9338
916.74/919.98	c current bound: 9338
917.71/920.71	c current bound: 9338
918.18/921.42	c current bound: 9338
918.90/922.15	c current bound: 9338
919.81/922.87	c current bound: 9338
920.32/923.58	c current bound: 9338
921.03/924.30	c current bound: 9338
921.99/925.01	c current bound: 9338
922.48/925.75	c current bound: 9338
923.20/926.47	c current bound: 9338
923.91/927.18	c current bound: 9338
924.64/927.89	c current bound: 9338
925.35/928.60	c current bound: 9338
926.06/929.32	c current bound: 9338
926.76/930.03	c current bound: 9338
927.69/930.74	c current bound: 9338
928.19/931.45	c current bound: 9338
928.91/932.19	c current bound: 9338
929.88/932.90	c current bound: 9338
930.34/933.62	c current bound: 9338
931.08/934.35	c current bound: 9338
931.97/935.07	c current bound: 9338
932.50/935.78	c current bound: 9338
933.23/936.53	c current bound: 9338
934.17/937.25	c current bound: 9338
934.66/937.96	c current bound: 9338
935.38/938.69	c current bound: 9338
936.26/939.40	c current bound: 9338
936.80/940.11	c current bound: 9338
937.51/940.83	c current bound: 9338
938.42/941.54	c current bound: 9338
938.93/942.25	c current bound: 9338
939.66/942.98	c current bound: 9338
940.37/943.69	c current bound: 9338
941.10/944.41	c current bound: 9338
941.83/945.15	c current bound: 9338
942.54/945.86	c current bound: 9338
943.26/946.58	c current bound: 9338
943.97/947.30	c current bound: 9338
944.69/948.02	c current bound: 9338
945.40/948.73	c current bound: 9338
946.32/949.44	c current bound: 9338
946.82/950.15	c current bound: 9338
947.53/950.87	c current bound: 9338
948.42/951.59	c current bound: 9338
948.96/952.31	c current bound: 9338
949.69/953.04	c current bound: 9338
950.61/953.76	c current bound: 9338
951.12/954.47	c current bound: 9338
951.84/955.20	c current bound: 9338
952.80/955.92	c current bound: 9338
953.27/956.63	c current bound: 9338
953.99/957.35	c current bound: 9338
954.89/958.06	c current bound: 9338
955.41/958.77	c current bound: 9338
956.40/959.50	c current bound: 9338
957.09/960.21	c current bound: 9338
957.55/960.92	c current bound: 9338
958.26/961.64	c current bound: 9338
958.97/962.37	c current bound: 9338
959.70/963.08	c current bound: 9338
960.69/963.80	c current bound: 9338
961.13/964.52	c current bound: 9338
961.86/965.23	c current bound: 9338
962.83/966.02	c current bound: 9338
963.28/966.73	c current bound: 9338
963.98/967.45	c current bound: 9338
964.90/968.16	c current bound: 9338
965.42/968.87	c current bound: 9338
966.16/969.61	c current bound: 9338
967.09/970.32	c current bound: 9338
967.56/971.03	c current bound: 9338
968.30/971.78	c current bound: 9338
969.28/972.50	c current bound: 9338
969.74/973.22	c current bound: 9338
970.48/973.96	c current bound: 9338
971.38/974.68	c current bound: 9338
971.91/975.39	c current bound: 9338
972.63/976.12	c current bound: 9338
973.57/976.84	c current bound: 9338
974.06/977.56	c current bound: 9338
974.78/978.28	c current bound: 9338
975.66/979.00	c current bound: 9338
976.22/979.71	c current bound: 9338
976.96/980.45	c current bound: 9338
977.86/981.16	c current bound: 9338
978.37/981.87	c current bound: 9338
979.09/982.61	c current bound: 9338
980.05/983.36	c current bound: 9338
980.58/984.07	c current bound: 9338
981.29/984.80	c current bound: 9338
982.25/985.51	c current bound: 9338
982.72/986.24	c current bound: 9338
983.45/986.96	c current bound: 9338
984.15/987.67	c current bound: 9338
984.87/988.39	c current bound: 9338
985.59/989.10	c current bound: 9338
986.29/989.81	c current bound: 9338
987.04/990.55	c current bound: 9338
987.92/991.27	c current bound: 9338
988.47/991.98	c current bound: 9338
989.20/992.72	c current bound: 9338
990.13/993.43	c current bound: 9338
990.62/994.14	c current bound: 9338
991.34/994.87	c current bound: 9338
992.22/995.59	c current bound: 9338
992.77/996.30	c current bound: 9338
993.50/997.03	c current bound: 9338
994.41/997.74	c current bound: 9338
994.91/998.45	c current bound: 9338
995.64/999.18	c current bound: 9338
996.52/999.89	c current bound: 9338
997.07/1000.62	c current bound: 9338
997.80/1001.34	c current bound: 9338
998.70/1002.05	c current bound: 9338
999.22/1002.77	c current bound: 9338
999.94/1003.49	c current bound: 9338
1000.90/1004.21	c current bound: 9338
1001.36/1004.92	c current bound: 9338
1002.07/1005.64	c current bound: 9338
1002.79/1006.35	c current bound: 9338
1003.50/1007.06	c current bound: 9338
1004.22/1007.78	c current bound: 9338
1005.20/1008.50	c current bound: 9338
1005.68/1009.23	c current bound: 9338
1006.59/1009.95	c current bound: 9338
1007.10/1010.66	c current bound: 9338
1007.83/1011.40	c current bound: 9338
1008.78/1012.11	c current bound: 9338
1009.25/1012.83	c current bound: 9338
1009.97/1013.54	c current bound: 9338
1010.87/1014.26	c current bound: 9338
1011.40/1014.98	c current bound: 9338
1012.12/1015.71	c current bound: 9338
1013.05/1016.42	c current bound: 9338
1013.54/1017.14	c current bound: 9338
1014.28/1017.88	c current bound: 9338
1015.16/1018.59	c current bound: 9338
1015.71/1019.31	c current bound: 9338
1016.43/1020.05	c current bound: 9338
1017.36/1020.77	c current bound: 9338
1017.87/1021.48	c current bound: 9338
1018.61/1022.22	c current bound: 9338
1019.56/1022.94	c current bound: 9338
1020.05/1023.66	c current bound: 9338
1020.77/1024.39	c current bound: 9338
1021.50/1025.10	c current bound: 9338
1022.20/1025.81	c current bound: 9338
1022.91/1026.54	c current bound: 9338
1023.63/1027.25	c current bound: 9338
1024.34/1027.96	c current bound: 9338
1025.05/1028.68	c current bound: 9338
1025.77/1029.39	c current bound: 9338
1026.48/1030.11	c current bound: 9338
1027.40/1030.83	c current bound: 9338
1027.89/1031.54	c current bound: 9338
1028.60/1032.26	c current bound: 9338
1029.52/1032.97	c current bound: 9338
1030.04/1033.69	c current bound: 9338
1030.77/1034.42	c current bound: 9338
1031.71/1035.13	c current bound: 9338
1032.19/1035.84	c current bound: 9338
1032.91/1036.57	c current bound: 9338
1033.80/1037.28	c current bound: 9338
1034.61/1038.00	c current bound: 9338
1035.06/1038.72	c current bound: 9338
1036.01/1039.44	c current bound: 9338
1036.49/1040.16	c current bound: 9338
1037.21/1040.88	c current bound: 9338
1037.93/1041.60	c current bound: 9338
1038.64/1042.32	c current bound: 9338
1039.36/1043.04	c current bound: 9338
1040.07/1043.75	c current bound: 9338
1040.78/1044.47	c current bound: 9338
1041.50/1045.18	c current bound: 9338
1042.47/1045.90	c current bound: 9338
1042.92/1046.61	c current bound: 9338
1043.85/1047.34	c current bound: 9338
1044.37/1048.08	c current bound: 9338
1045.12/1048.82	c current bound: 9338
1046.05/1049.53	c current bound: 9338
1046.53/1050.25	c current bound: 9338
1047.27/1050.98	c current bound: 9338
1048.26/1051.70	c current bound: 9338
1048.70/1052.41	c current bound: 9338
1049.42/1053.15	c current bound: 9338
1050.34/1053.86	c current bound: 9338
1050.86/1054.58	c current bound: 9338
1051.58/1055.31	c current bound: 9338
1052.54/1056.02	c current bound: 9338
1053.01/1056.75	c current bound: 9338
1053.74/1057.48	c current bound: 9338
1054.61/1058.19	c current bound: 9338
1055.15/1058.90	c current bound: 9338
1055.87/1059.63	c current bound: 9338
1056.81/1060.34	c current bound: 9338
1057.31/1061.05	c current bound: 9338
1058.03/1061.79	c current bound: 9338
1058.76/1062.50	c current bound: 9338
1059.47/1063.23	c current bound: 9338
1060.21/1063.97	c current bound: 9338
1060.92/1064.69	c current bound: 9338
1061.64/1065.41	c current bound: 9338
1062.35/1066.13	c current bound: 9338
1063.07/1066.84	c current bound: 9338
1063.79/1067.56	c current bound: 9338
1064.52/1068.28	c current bound: 9338
1065.23/1069.00	c current bound: 9338
1065.94/1069.71	c current bound: 9338
1066.87/1070.44	c current bound: 9338
1067.37/1071.15	c current bound: 9338
1068.10/1071.88	c current bound: 9338
1069.07/1072.60	c current bound: 9338
1069.53/1073.31	c current bound: 9338
1070.25/1074.03	c current bound: 9338
1071.17/1074.76	c current bound: 9338
1071.69/1075.48	c current bound: 9338
1072.42/1076.21	c current bound: 9338
1073.36/1076.92	c current bound: 9338
1073.85/1077.64	c current bound: 9338
1074.57/1078.37	c current bound: 9338
1075.56/1079.12	c current bound: 9338
1076.04/1079.83	c current bound: 9338
1076.76/1080.57	c current bound: 9338
1077.65/1081.29	c current bound: 9338
1078.45/1082.00	c current bound: 9338
1078.90/1082.72	c current bound: 9338
1079.85/1083.44	c current bound: 9338
1080.33/1084.15	c current bound: 9338
1081.04/1084.87	c current bound: 9338
1081.75/1085.59	c current bound: 9338
1082.48/1086.31	c current bound: 9338
1083.21/1087.04	c current bound: 9338
1083.93/1087.75	c current bound: 9338
1084.64/1088.46	c current bound: 9338
1085.34/1089.17	c current bound: 9338
1086.05/1089.89	c current bound: 9338
1086.78/1090.63	c current bound: 9338
1087.71/1091.34	c current bound: 9338
1088.21/1092.07	c current bound: 9338
1088.95/1092.82	c current bound: 9338
1089.89/1093.55	c current bound: 9338
1090.41/1094.26	c current bound: 9338
1091.13/1094.99	c current bound: 9338
1092.09/1095.71	c current bound: 9338
1092.57/1096.42	c current bound: 9338
1093.28/1097.14	c current bound: 9338
1094.20/1097.86	c current bound: 9338
1094.71/1098.57	c current bound: 9338
1095.44/1099.31	c current bound: 9338
1096.40/1100.02	c current bound: 9338
1096.86/1100.73	c current bound: 9338
1097.59/1101.46	c current bound: 9338
1098.50/1102.17	c current bound: 9338
1099.00/1102.88	c current bound: 9338
1099.73/1103.61	c current bound: 9338
1100.67/1104.32	c current bound: 9338
1101.15/1105.04	c current bound: 9338
1101.86/1105.75	c current bound: 9338
1102.57/1106.47	c current bound: 9338
1103.29/1107.18	c current bound: 9338
1104.27/1107.90	c current bound: 9338
1104.70/1108.61	c current bound: 9338
1105.43/1109.32	c current bound: 9338
1106.34/1110.04	c current bound: 9338
1106.85/1110.75	c current bound: 9338
1107.56/1111.46	c current bound: 9338
1108.45/1112.18	c current bound: 9338
1108.99/1112.89	c current bound: 9338
1109.70/1113.62	c current bound: 9338
1110.64/1114.33	c current bound: 9338
1111.13/1115.05	c current bound: 9338
1111.85/1115.77	c current bound: 9338
1112.73/1116.49	c current bound: 9338
1113.29/1117.21	c current bound: 9338
1114.00/1117.93	c current bound: 9338
1114.94/1118.65	c current bound: 9338
1115.43/1119.36	c current bound: 9338
1116.15/1120.07	c current bound: 9338
1116.86/1120.78	c current bound: 9338
1117.83/1121.50	c current bound: 9338
1118.27/1122.22	c current bound: 9338
1118.98/1122.93	c current bound: 9338
1119.70/1123.64	c current bound: 9338
1120.60/1124.36	c current bound: 9338
1121.14/1125.07	c current bound: 9338
1121.87/1125.81	c current bound: 9338
1122.82/1126.53	c current bound: 9338
1123.30/1127.25	c current bound: 9338
1124.02/1127.96	c current bound: 9338
1124.91/1128.67	c current bound: 9338
1125.43/1129.38	c current bound: 9338
1126.16/1130.11	c current bound: 9338
1127.10/1130.82	c current bound: 9338
1127.60/1131.53	c current bound: 9338
1128.31/1132.27	c current bound: 9338
1129.21/1132.99	c current bound: 9338
1129.74/1133.70	c current bound: 9338
1130.49/1134.44	c current bound: 9338
1131.41/1135.18	c current bound: 9338
1131.97/1135.92	c current bound: 9338
1132.71/1136.65	c current bound: 9338
1133.62/1137.39	c current bound: 9338
1134.19/1138.13	c current bound: 9338
1134.92/1138.87	c current bound: 9338
1135.92/1139.61	c current bound: 9338
1136.41/1140.35	c current bound: 9338
1137.15/1141.09	c current bound: 9338
1138.11/1141.83	c current bound: 9338
1138.63/1142.57	c current bound: 9338
1139.37/1143.31	c current bound: 9338
1140.32/1144.05	c current bound: 9338
1140.86/1144.79	c current bound: 9338
1141.58/1145.52	c current bound: 9338
1142.51/1146.26	c current bound: 9338
1143.05/1146.99	c current bound: 9338
1143.78/1147.72	c current bound: 9338
1144.71/1148.44	c current bound: 9338
1145.20/1149.15	c current bound: 9338
1145.93/1149.88	c current bound: 9338
1146.80/1150.60	c current bound: 9338
1147.35/1151.31	c current bound: 9338
1148.08/1152.04	c current bound: 9338
1148.99/1152.76	c current bound: 9338
1149.51/1153.47	c current bound: 9338
1150.49/1154.20	c current bound: 9338
1151.19/1154.91	c current bound: 9338
1151.65/1155.62	c current bound: 9338
1152.36/1156.34	c current bound: 9338
1153.07/1157.05	c current bound: 9338
1153.79/1157.76	c current bound: 9338
1154.50/1158.48	c current bound: 9338
1155.21/1159.19	c current bound: 9338
1155.93/1159.91	c current bound: 9338
1156.88/1160.62	c current bound: 9338
1157.35/1161.33	c current bound: 9338
1158.07/1162.06	c current bound: 9338
1158.96/1162.78	c current bound: 9338
1159.50/1163.49	c current bound: 9338
1160.22/1164.22	c current bound: 9338
1161.15/1164.93	c current bound: 9338
1161.65/1165.64	c current bound: 9338
1162.35/1166.36	c current bound: 9338
1163.24/1167.08	c current bound: 9338
1164.06/1167.80	c current bound: 9338
1164.50/1168.52	c current bound: 9338
1165.44/1169.23	c current bound: 9338
1165.93/1169.94	c current bound: 9338
1166.64/1170.66	c current bound: 9338
1167.36/1171.37	c current bound: 9338
1168.05/1172.08	c current bound: 9338
1168.77/1172.80	c current bound: 9338
1169.48/1173.52	c current bound: 9338
1170.20/1174.23	c current bound: 9338
1171.12/1174.94	c current bound: 9338
1171.62/1175.65	c current bound: 9338
1172.36/1176.40	c current bound: 9338
1173.32/1177.12	c current bound: 9338
1173.79/1177.83	c current bound: 9338
1174.52/1178.56	c current bound: 9338
1175.41/1179.27	c current bound: 9338
1175.95/1179.98	c current bound: 9338
1176.92/1180.70	c current bound: 9338
1177.60/1181.42	c current bound: 9338
1178.07/1182.15	c current bound: 9338
1178.82/1182.89	c current bound: 9338
1179.70/1183.60	c current bound: 9338
1180.26/1184.31	c current bound: 9338
1180.98/1185.04	c current bound: 9338
1181.88/1185.75	c current bound: 9338
1182.38/1186.46	c current bound: 9338
1183.10/1187.18	c current bound: 9338
1183.82/1187.90	c current bound: 9338
1184.53/1188.61	c current bound: 9338
1185.25/1189.33	c current bound: 9338
1185.96/1190.05	c current bound: 9338
1186.66/1190.76	c current bound: 9338
1187.37/1191.47	c current bound: 9338
1188.08/1192.19	c current bound: 9338
1188.82/1192.92	c current bound: 9338
1189.75/1193.64	c current bound: 9338
1190.24/1194.35	c current bound: 9338
1190.95/1195.08	c current bound: 9338
1191.84/1195.79	c current bound: 9338
1192.65/1196.50	c current bound: 9338
1193.11/1197.23	c current bound: 9338
1194.05/1197.95	c current bound: 9338
1194.55/1198.66	c current bound: 9338
1195.27/1199.39	c current bound: 9338
1196.24/1200.11	c current bound: 9338
1196.69/1200.82	c current bound: 9338
1197.41/1201.53	c current bound: 9338
1198.33/1202.25	c current bound: 9338
1198.83/1202.96	c current bound: 9338
1199.54/1203.68	c current bound: 9338
1200.27/1204.39	c current bound: 9338
1200.98/1205.11	c current bound: 9338
1201.68/1205.82	c current bound: 9338
1202.40/1206.53	c current bound: 9338
1203.10/1207.25	c current bound: 9338
1204.01/1207.96	c current bound: 9338
1204.52/1208.67	c current bound: 9338
1205.24/1209.39	c current bound: 9338
1206.22/1210.10	c current bound: 9338
1206.67/1210.81	c current bound: 9338
1207.38/1211.52	c current bound: 9338
1208.32/1212.23	c current bound: 9338
1208.80/1212.95	c current bound: 9338
1209.52/1213.67	c current bound: 9338
1210.41/1214.38	c current bound: 9338
1210.94/1215.09	c current bound: 9338
1211.65/1215.82	c current bound: 9338
1212.60/1216.53	c current bound: 9338
1213.08/1217.25	c current bound: 9338
1213.80/1217.97	c current bound: 9338
1214.51/1218.69	c current bound: 9338
1215.22/1219.40	c current bound: 9338
1215.94/1220.14	c current bound: 9338
1216.67/1220.85	c current bound: 9338
1217.37/1221.56	c current bound: 9338
1218.08/1222.29	c current bound: 9338
1218.81/1223.00	c current bound: 9338
1219.52/1223.72	c current bound: 9338
1220.46/1224.42	c current bound: 9338
1220.96/1225.14	c current bound: 9338
1221.67/1225.88	c current bound: 9338
1222.56/1226.59	c current bound: 9338
1223.11/1227.30	c current bound: 9338
1223.83/1228.03	c current bound: 9338
1224.76/1228.75	c current bound: 9338
1225.25/1229.46	c current bound: 9338
1225.98/1230.18	c current bound: 9338
1226.85/1230.90	c current bound: 9338
1227.40/1231.61	c current bound: 9338
1228.11/1232.33	c current bound: 9338
1229.03/1233.04	c current bound: 9338
1229.54/1233.76	c current bound: 9338
1230.25/1234.48	c current bound: 9338
1230.97/1235.20	c current bound: 9338
1231.69/1235.91	c current bound: 9338
1232.39/1236.63	c current bound: 9338
1233.10/1237.35	c current bound: 9338
1233.82/1238.06	c current bound: 9338
1234.54/1238.78	c current bound: 9338
1235.25/1239.50	c current bound: 9338
1235.98/1240.24	c current bound: 9338
1236.90/1240.95	c current bound: 9338
1237.41/1241.66	c current bound: 9338
1238.13/1242.38	c current bound: 9338
1239.10/1243.10	c current bound: 9338
1239.54/1243.81	c current bound: 9338
1240.28/1244.55	c current bound: 9338
1241.19/1245.26	c current bound: 9338
1241.71/1245.97	c current bound: 9338
1242.42/1246.69	c current bound: 9338
1243.38/1247.41	c current bound: 9338
1243.83/1248.12	c current bound: 9338
1244.57/1248.86	c current bound: 9338
1245.48/1249.57	c current bound: 9338
1246.28/1250.30	c current bound: 9338
1246.73/1251.02	c current bound: 9338
1247.65/1251.73	c current bound: 9338
1248.14/1252.45	c current bound: 9338
1248.86/1253.16	c current bound: 9338
1249.56/1253.88	c current bound: 9338
1250.54/1254.60	c current bound: 9338
1250.99/1255.33	c current bound: 9338
1251.71/1256.06	c current bound: 9338
1252.44/1256.77	c current bound: 9338
1253.15/1257.48	c current bound: 9338
1254.13/1258.20	c current bound: 9338
1254.58/1258.91	c current bound: 9338
1255.54/1259.64	c current bound: 9338
1256.02/1260.35	c current bound: 9338
1256.75/1261.09	c current bound: 9338
1257.72/1261.81	c current bound: 9338
1258.19/1262.53	c current bound: 9338
1258.93/1263.26	c current bound: 9338
1259.82/1263.98	c current bound: 9338
1260.34/1264.69	c current bound: 9338
1261.07/1265.43	c current bound: 9338
1262.00/1266.14	c current bound: 9338
1262.51/1266.85	c current bound: 9338
1263.23/1267.58	c current bound: 9338
1264.11/1268.30	c current bound: 9338
1264.65/1269.02	c current bound: 9338
1265.39/1269.75	c current bound: 9338
1266.30/1270.46	c current bound: 9338
1266.82/1271.17	c current bound: 9338
1267.80/1271.90	c current bound: 9338
1268.49/1272.61	c current bound: 9338
1268.96/1273.34	c current bound: 9338
1269.69/1274.06	c current bound: 9338
1270.40/1274.77	c current bound: 9338
1271.12/1275.50	c current bound: 9338
1271.83/1276.21	c current bound: 9338
1272.54/1276.94	c current bound: 9338
1273.27/1277.65	c current bound: 9338
1274.18/1278.36	c current bound: 9338
1274.70/1279.08	c current bound: 9338
1275.42/1279.80	c current bound: 9338
1276.38/1280.51	c current bound: 9338
1276.84/1281.22	c current bound: 9338
1277.56/1281.96	c current bound: 9338
1278.47/1282.67	c current bound: 9338
1279.00/1283.38	c current bound: 9338
1279.72/1284.12	c current bound: 9338
1280.67/1284.83	c current bound: 9338
1281.14/1285.55	c current bound: 9338
1281.86/1286.27	c current bound: 9338
1282.76/1286.99	c current bound: 9338
1283.30/1287.70	c current bound: 9338
1284.01/1288.44	c current bound: 9338
1284.95/1289.19	c current bound: 9338
1285.50/1289.93	c current bound: 9338
1286.23/1290.66	c current bound: 9338
1287.17/1291.38	c current bound: 9338
1287.69/1292.12	c current bound: 9338
1288.44/1292.86	c current bound: 9338
1289.36/1293.59	c current bound: 9338
1289.90/1294.33	c current bound: 9338
1290.65/1295.07	c current bound: 9338
1291.57/1295.78	c current bound: 9338
1292.10/1296.51	c current bound: 9338
1292.84/1297.25	c current bound: 9338
1293.75/1297.99	c current bound: 9338
1294.30/1298.72	c current bound: 9338
1295.04/1299.46	c current bound: 9338
1295.96/1300.19	c current bound: 9338
1296.52/1300.92	c current bound: 9338
1297.25/1301.66	c current bound: 9338
1298.18/1302.37	c current bound: 9338
1298.70/1303.10	c current bound: 9338
1299.42/1303.84	c current bound: 9338
1300.38/1304.57	c current bound: 9338
1300.90/1305.31	c current bound: 9338
1301.63/1306.04	c current bound: 9338
1302.58/1306.78	c current bound: 9338
1303.10/1307.52	c current bound: 9338
1303.84/1308.26	c current bound: 9338
1304.77/1309.00	c current bound: 9338
1305.33/1309.73	c current bound: 9338
1306.06/1310.47	c current bound: 9338
1306.99/1311.20	c current bound: 9338
1307.53/1311.91	c current bound: 9338
1308.23/1312.64	c current bound: 9338
1309.16/1313.38	c current bound: 9338
1309.70/1314.11	c current bound: 9338
1310.44/1314.85	c current bound: 9338
1311.37/1315.60	c current bound: 9338
1311.93/1316.49	c current bound: 9338
1312.65/1317.22	c current bound: 9338
1313.61/1317.96	c current bound: 9338
1314.13/1318.70	c current bound: 9338
1314.88/1319.43	c current bound: 9338
1315.82/1320.16	c current bound: 9338
1316.34/1320.89	c current bound: 9338
1317.07/1321.62	c current bound: 9338
1318.02/1322.36	c current bound: 9338
1318.54/1323.09	c current bound: 9338
1319.27/1323.83	c current bound: 9338
1320.22/1324.57	c current bound: 9338
1321.04/1325.30	c current bound: 9338
1321.48/1326.04	c current bound: 9338
1322.42/1326.77	c current bound: 9338
1322.95/1327.50	c current bound: 9338
1323.68/1328.24	c current bound: 9338
1324.62/1328.97	c current bound: 9338
1325.16/1329.70	c current bound: 9338
1325.89/1330.44	c current bound: 9338
1326.81/1331.18	c current bound: 9338
1327.36/1331.90	c current bound: 9338
1328.09/1332.64	c current bound: 9338
1329.02/1333.38	c current bound: 9338
1329.56/1334.11	c current bound: 9338
1330.30/1334.85	c current bound: 9338
1331.23/1335.58	c current bound: 9338
1331.77/1336.31	c current bound: 9338
1332.50/1337.04	c current bound: 9338
1333.42/1337.78	c current bound: 9338
1333.96/1338.51	c current bound: 9338
1334.70/1339.25	c current bound: 9338
1335.63/1339.97	c current bound: 9338
1336.16/1340.71	c current bound: 9338
1336.91/1341.44	c current bound: 9338
1337.83/1342.15	c current bound: 9338
1338.35/1342.88	c current bound: 9338
1339.34/1343.60	c current bound: 9338
1340.02/1344.34	c current bound: 9338
1340.53/1345.06	c current bound: 9338
1341.26/1345.78	c current bound: 9338
1342.21/1346.52	c current bound: 9338
1342.71/1347.24	c current bound: 9338
1343.43/1347.97	c current bound: 9338
1344.42/1348.72	c current bound: 9338
1344.90/1349.45	c current bound: 9338
1345.64/1350.18	c current bound: 9338
1346.63/1350.92	c current bound: 9338
1347.10/1351.65	c current bound: 9338
1347.83/1352.39	c current bound: 9338
1348.82/1353.12	c current bound: 9338
1349.31/1353.85	c current bound: 9338
1350.04/1354.59	c current bound: 9338
1351.03/1355.32	c current bound: 9338
1351.51/1356.05	c current bound: 9338
1352.23/1356.78	c current bound: 9338
1353.17/1357.57	c current bound: 9338
1353.71/1358.30	c current bound: 9338
1354.45/1359.03	c current bound: 9338
1355.39/1359.77	c current bound: 9338
1356.20/1360.50	c current bound: 9338
1356.64/1361.23	c current bound: 9338
1357.64/1362.09	c current bound: 9338
1358.36/1362.82	c current bound: 9338
1358.84/1363.55	c current bound: 9338
1359.58/1364.28	c current bound: 9338
1360.57/1365.01	c current bound: 9338
1361.05/1365.75	c current bound: 9338
1361.78/1366.48	c current bound: 9338
1362.80/1367.36	c current bound: 9338
1363.25/1368.09	c current bound: 9338
1363.97/1368.82	c current bound: 9338
1364.93/1369.56	c current bound: 9338
1365.44/1370.29	c current bound: 9338
1366.17/1371.02	c current bound: 9338
1367.13/1371.75	c current bound: 9338
1367.64/1372.48	c current bound: 9338
1368.37/1373.21	c current bound: 9338
1369.34/1373.95	c current bound: 9338
1369.83/1374.68	c current bound: 9338
1370.58/1375.42	c current bound: 9338
1371.53/1376.15	c current bound: 9338
1372.04/1376.89	c current bound: 9338
1372.78/1377.62	c current bound: 9338
1373.73/1378.36	c current bound: 9338
1374.24/1379.09	c current bound: 9338
1374.98/1379.85	c current bound: 9338
1375.94/1380.59	c current bound: 9338
1376.48/1381.32	c current bound: 9338
1377.23/1382.06	c current bound: 9338
1378.24/1382.81	c current bound: 9338
1378.71/1383.55	c current bound: 9338
1379.44/1384.28	c current bound: 9338
1380.43/1385.03	c current bound: 9338
1380.94/1385.77	c current bound: 9338
1381.68/1386.50	c current bound: 9338
1382.65/1387.24	c current bound: 9338
1383.14/1387.97	c current bound: 9338
1383.88/1388.71	c current bound: 9338
1384.83/1389.42	c current bound: 9338
1385.32/1390.13	c current bound: 9338
1386.06/1390.87	c current bound: 9338
1386.93/1391.59	c current bound: 9338
1387.74/1392.30	c current bound: 9338
1388.20/1393.02	c current bound: 9338
1389.13/1393.74	c current bound: 9338
1389.63/1394.45	c current bound: 9338
1390.35/1395.18	c current bound: 9338
1391.22/1395.89	c current bound: 9338
1391.77/1396.61	c current bound: 9338
1392.49/1397.33	c current bound: 9338
1393.42/1398.04	c current bound: 9338
1393.91/1398.76	c current bound: 9338
1394.62/1399.47	c current bound: 9338
1395.32/1400.18	c current bound: 9338
1396.04/1400.90	c current bound: 9338
1396.76/1401.61	c current bound: 9338
1397.47/1402.32	c current bound: 9338
1398.18/1403.04	c current bound: 9338
1399.10/1403.75	c current bound: 9338
1399.60/1404.46	c current bound: 9338
1400.32/1405.18	c current bound: 9338
1401.19/1405.89	c current bound: 9338
1401.74/1406.61	c current bound: 9338
1402.47/1407.33	c current bound: 9338
1403.39/1408.04	c current bound: 9338
1403.88/1408.76	c current bound: 9338
1404.59/1409.47	c current bound: 9338
1405.47/1410.19	c current bound: 9338
1406.02/1410.90	c current bound: 9338
1406.74/1411.63	c current bound: 9338
1407.66/1412.34	c current bound: 9338
1408.16/1413.05	c current bound: 9338
1408.88/1413.77	c current bound: 9338
1409.60/1414.49	c current bound: 9338
1410.31/1415.21	c current bound: 9338
1411.03/1415.93	c current bound: 9338
1411.73/1416.64	c current bound: 9338
1412.44/1417.35	c current bound: 9338
1413.16/1418.08	c current bound: 9338
1413.88/1418.79	c current bound: 9338
1414.59/1419.52	c current bound: 9338
1415.54/1420.23	c current bound: 9338
1416.02/1420.94	c current bound: 9338
1416.75/1421.67	c current bound: 9338
1417.64/1422.39	c current bound: 9338
1418.19/1423.10	c current bound: 9338
1418.92/1423.85	c current bound: 9338
1419.84/1424.56	c current bound: 9338
1420.35/1425.27	c current bound: 9338
1421.09/1426.01	c current bound: 9338
1422.03/1426.72	c current bound: 9338
1422.49/1427.43	c current bound: 9338
1423.22/1428.15	c current bound: 9338
1424.13/1428.86	c current bound: 9338
1424.63/1429.58	c current bound: 9338
1425.36/1430.31	c current bound: 9338
1426.31/1431.02	c current bound: 9338
1426.78/1431.73	c current bound: 9338
1427.49/1432.45	c current bound: 9338
1428.21/1433.16	c current bound: 9338
1428.92/1433.87	c current bound: 9338
1429.64/1434.59	c current bound: 9338
1430.33/1435.30	c current bound: 9338
1431.05/1436.02	c current bound: 9338
1431.98/1436.73	c current bound: 9338
1432.48/1437.44	c current bound: 9338
1433.21/1438.17	c current bound: 9338
1434.09/1438.89	c current bound: 9338
1434.89/1439.60	c current bound: 9338
1435.35/1440.34	c current bound: 9338
1436.26/1441.05	c current bound: 9338
1436.77/1441.77	c current bound: 9338
1437.78/1442.50	c current bound: 9338
1438.47/1443.21	c current bound: 9338
1438.92/1443.92	c current bound: 9338
1439.65/1444.65	c current bound: 9338
1440.55/1445.37	c current bound: 9338
1441.07/1446.08	c current bound: 9338
1441.79/1446.80	c current bound: 9338
1442.75/1447.53	c current bound: 9338
1443.22/1448.24	c current bound: 9338
1443.94/1448.96	c current bound: 9338
1444.66/1449.68	c current bound: 9338
1445.64/1450.40	c current bound: 9338
1446.09/1451.11	c current bound: 9338
1446.79/1451.82	c current bound: 9338
1447.50/1452.54	c current bound: 9338
1448.40/1453.25	c current bound: 9338
1448.92/1453.96	c current bound: 9338
1449.92/1454.70	c current bound: 9338
1450.61/1455.41	c current bound: 9338
1451.08/1456.12	c current bound: 9338
1451.81/1456.85	c current bound: 9338
1452.71/1457.56	c current bound: 9338
1453.22/1458.28	c current bound: 9338
1453.94/1458.99	c current bound: 9338
1454.92/1459.70	c current bound: 9338
1455.37/1460.42	c current bound: 9338
1456.10/1461.15	c current bound: 9338
1456.98/1461.86	c current bound: 9338
1457.51/1462.58	c current bound: 9338
1458.23/1463.30	c current bound: 9338
1459.19/1464.02	c current bound: 9338
1459.67/1464.73	c current bound: 9338
1460.39/1465.45	c current bound: 9338
1461.08/1466.17	c current bound: 9338
1461.80/1466.88	c current bound: 9338
1462.52/1467.60	c current bound: 9338
1463.23/1468.31	c current bound: 9338
1463.95/1469.02	c current bound: 9338
1464.88/1469.74	c current bound: 9338
1465.36/1470.45	c current bound: 9338
1466.08/1471.17	c current bound: 9338
1466.97/1471.88	c current bound: 9338
1467.50/1472.59	c current bound: 9338
1468.21/1473.30	c current bound: 9338
1469.16/1474.01	c current bound: 9338
1469.63/1474.73	c current bound: 9338
1470.35/1475.45	c current bound: 9338
1471.25/1476.17	c current bound: 9338
1471.77/1476.88	c current bound: 9338
1472.50/1477.60	c current bound: 9338
1473.44/1478.32	c current bound: 9338
1473.91/1479.03	c current bound: 9338
1474.62/1479.74	c current bound: 9338
1475.34/1480.45	c current bound: 9338
1476.05/1481.16	c current bound: 9338
1476.76/1481.88	c current bound: 9338
1477.46/1482.59	c current bound: 9338
1478.17/1483.31	c current bound: 9338
1479.13/1484.01	c current bound: 9338
1479.59/1484.73	c current bound: 9338
1480.31/1485.44	c current bound: 9338
1481.22/1486.16	c current bound: 9338
1481.72/1486.87	c current bound: 9338
1482.71/1487.60	c current bound: 9338
1483.42/1488.31	c current bound: 9338
1483.87/1489.02	c current bound: 9338
1484.59/1489.74	c current bound: 9338
1485.50/1490.45	c current bound: 9338
1486.01/1491.17	c current bound: 9338
1486.73/1491.89	c current bound: 9338
1487.72/1492.60	c current bound: 9338
1488.15/1493.31	c current bound: 9338
1488.88/1494.04	c current bound: 9338
1489.59/1494.75	c current bound: 9338
1490.29/1495.46	c current bound: 9338
1491.01/1496.18	c current bound: 9338
1491.72/1496.89	c current bound: 9338
1492.46/1497.63	c current bound: 9338
1493.38/1498.34	c current bound: 9338
1493.87/1499.06	c current bound: 9338
1494.60/1499.79	c current bound: 9338
1495.56/1500.50	c current bound: 9338
1496.01/1501.21	c current bound: 9338
1496.75/1501.94	c current bound: 9338
1497.66/1502.66	c current bound: 9338
1498.17/1503.37	c current bound: 9338
1499.16/1504.10	c current bound: 9338
1499.85/1504.81	c current bound: 9338
1500.32/1505.53	c current bound: 9338
1501.02/1506.24	c current bound: 9338
1501.93/1506.96	c current bound: 9338
1502.44/1507.67	c current bound: 9338
1503.16/1508.39	c current bound: 9338
1504.15/1509.10	c current bound: 9338
1504.60/1509.82	c current bound: 9338
1505.31/1510.54	c current bound: 9338
1506.02/1511.26	c current bound: 9338
1506.73/1511.97	c current bound: 9338
1507.44/1512.69	c current bound: 9338
1508.15/1513.40	c current bound: 9338
1508.89/1514.14	c current bound: 9338
1509.81/1514.86	c current bound: 9338
1510.31/1515.57	c current bound: 9338
1511.06/1516.30	c current bound: 9338
1512.00/1517.05	c current bound: 9338
1512.52/1517.76	c current bound: 9338
1513.24/1518.49	c current bound: 9338
1514.21/1519.22	c current bound: 9338
1514.67/1519.93	c current bound: 9338
1515.39/1520.64	c current bound: 9338
1516.30/1521.36	c current bound: 9338
1516.81/1522.07	c current bound: 9338
1517.53/1522.79	c current bound: 9338
1518.50/1523.51	c current bound: 9338
1518.95/1524.22	c current bound: 9338
1519.67/1524.95	c current bound: 9338
1520.59/1525.66	c current bound: 9338
1521.10/1526.37	c current bound: 9338
1522.08/1527.10	c current bound: 9338
1522.78/1527.81	c current bound: 9338
1523.24/1528.52	c current bound: 9338
1523.95/1529.24	c current bound: 9338
1524.66/1529.95	c current bound: 9338
1525.38/1530.66	c current bound: 9338
1526.09/1531.39	c current bound: 9338
1526.82/1532.11	c current bound: 9338
1527.55/1532.83	c current bound: 9338
1528.47/1533.55	c current bound: 9338
1528.98/1534.27	c current bound: 9338
1529.72/1535.00	c current bound: 9338
1530.65/1535.71	c current bound: 9338
1531.13/1536.43	c current bound: 9338
1531.85/1537.15	c current bound: 9338
1532.75/1537.87	c current bound: 9338
1533.27/1538.58	c current bound: 9338
1534.00/1539.31	c current bound: 9338
1534.94/1540.02	c current bound: 9338
1535.43/1540.74	c current bound: 9338
1536.15/1541.46	c current bound: 9338
1537.04/1542.17	c current bound: 9338
1537.57/1542.88	c current bound: 9338
1538.28/1543.60	c current bound: 9338
1539.23/1544.34	c current bound: 9338
1539.72/1545.05	c current bound: 9338
1540.45/1545.77	c current bound: 9338
1541.16/1546.49	c current bound: 9338
1541.87/1547.21	c current bound: 9338
1542.59/1547.93	c current bound: 9338
1543.31/1548.65	c current bound: 9338
1544.02/1549.36	c current bound: 9338
1544.73/1550.07	c current bound: 9338
1545.44/1550.79	c current bound: 9338
1546.18/1551.53	c current bound: 9338
1547.11/1552.24	c current bound: 9338
1547.60/1552.95	c current bound: 9338
1548.34/1553.69	c current bound: 9338
1549.30/1554.40	c current bound: 9338
1549.76/1555.11	c current bound: 9338
1550.49/1555.85	c current bound: 9338
1551.40/1556.57	c current bound: 9338
1551.92/1557.28	c current bound: 9338
1552.65/1558.02	c current bound: 9338
1553.58/1558.73	c current bound: 9338
1554.08/1559.44	c current bound: 9338
1554.81/1560.17	c current bound: 9338
1555.70/1560.88	c current bound: 9338
1556.23/1561.59	c current bound: 9338
1556.94/1562.32	c current bound: 9338
1557.88/1563.03	c current bound: 9338
1558.36/1563.75	c current bound: 9338
1559.08/1564.46	c current bound: 9338
1559.80/1565.17	c current bound: 9338
1560.52/1565.89	c current bound: 9338
1561.22/1566.61	c current bound: 9338
1561.93/1567.33	c current bound: 9338
1562.65/1568.04	c current bound: 9338
1563.56/1568.75	c current bound: 9338
1564.07/1569.46	c current bound: 9338
1564.80/1570.19	c current bound: 9338
1565.76/1570.92	c current bound: 9338
1566.23/1571.63	c current bound: 9338
1566.94/1572.35	c current bound: 9338
1567.86/1573.06	c current bound: 9338
1568.37/1573.77	c current bound: 9338
1569.09/1574.50	c current bound: 9338
1570.05/1575.21	c current bound: 9338
1570.52/1575.92	c current bound: 9338
1571.23/1576.64	c current bound: 9338
1572.15/1577.35	c current bound: 9338
1572.66/1578.07	c current bound: 9338
1573.36/1578.78	c current bound: 9338
1574.08/1579.50	c current bound: 9338
1574.79/1580.21	c current bound: 9338
1575.50/1580.92	c current bound: 9338
1576.21/1581.63	c current bound: 9338
1576.91/1582.35	c current bound: 9338
1577.82/1583.06	c current bound: 9338
1578.33/1583.77	c current bound: 9338
1579.06/1584.50	c current bound: 9338
1580.03/1585.22	c current bound: 9338
1580.50/1585.93	c current bound: 9338
1581.23/1586.66	c current bound: 9338
1582.12/1587.37	c current bound: 9338
1582.64/1588.08	c current bound: 9338
1583.37/1588.81	c current bound: 9338
1584.32/1589.52	c current bound: 9338
1584.79/1590.24	c current bound: 9338
1585.51/1590.98	c current bound: 9338
1586.40/1591.69	c current bound: 9338
1587.20/1592.40	c current bound: 9338
1587.67/1593.12	c current bound: 9338
1588.61/1593.83	c current bound: 9338
1589.09/1594.55	c current bound: 9338
1589.80/1595.28	c current bound: 9338
1590.53/1596.00	c current bound: 9338
1591.24/1596.71	c current bound: 9338
1591.95/1597.43	c current bound: 9338
1592.66/1598.15	c current bound: 9338
1593.38/1598.86	c current bound: 9338
1594.10/1599.57	c current bound: 9338
1594.80/1600.28	c current bound: 9338
1595.53/1601.03	c current bound: 9338
1596.46/1601.74	c current bound: 9338
1596.97/1602.47	c current bound: 9338
1597.71/1603.20	c current bound: 9338
1598.66/1603.92	c current bound: 9338
1599.13/1604.63	c current bound: 9338
1599.85/1605.35	c current bound: 9338
1600.76/1606.06	c current bound: 9338
1601.28/1606.78	c current bound: 9338
1601.99/1607.51	c current bound: 9338
1602.94/1608.23	c current bound: 9338
1603.42/1608.94	c current bound: 9338
1604.14/1609.66	c current bound: 9338
1605.04/1610.39	c current bound: 9338
1605.56/1611.10	c current bound: 9338
1606.28/1611.82	c current bound: 9338
1607.23/1612.53	c current bound: 9338
1607.72/1613.24	c current bound: 9338
1608.42/1613.96	c current bound: 9338
1609.12/1614.67	c current bound: 9338
1609.83/1615.38	c current bound: 9338
1610.82/1616.10	c current bound: 9338
1611.26/1616.81	c current bound: 9338
1612.00/1617.56	c current bound: 9338
1613.02/1618.30	c current bound: 9338
1613.45/1619.01	c current bound: 9338
1614.18/1619.73	c current bound: 9338
1615.10/1620.44	c current bound: 9338
1615.60/1621.16	c current bound: 9338
1616.34/1621.90	c current bound: 9338
1617.30/1622.61	c current bound: 9338
1617.76/1623.32	c current bound: 9338
1618.49/1624.06	c current bound: 9338
1619.39/1624.77	c current bound: 9338
1619.93/1625.49	c current bound: 9338
1620.66/1626.23	c current bound: 9338
1621.59/1626.94	c current bound: 9338
1622.08/1627.65	c current bound: 9338
1622.82/1628.39	c current bound: 9338
1623.79/1629.10	c current bound: 9338
1624.24/1629.82	c current bound: 9338
1624.97/1630.55	c current bound: 9338
1625.88/1631.26	c current bound: 9338
1626.39/1631.97	c current bound: 9338
1627.11/1632.69	c current bound: 9338
1628.08/1633.40	c current bound: 9338
1628.52/1634.13	c current bound: 9338
1629.25/1634.86	c current bound: 9338
1629.98/1635.57	c current bound: 9338
1630.69/1636.28	c current bound: 9338
1631.40/1637.01	c current bound: 9338
1632.13/1637.72	c current bound: 9338
1632.83/1638.43	c current bound: 9338
1633.74/1639.14	c current bound: 9338
1634.25/1639.86	c current bound: 9338
1634.98/1640.59	c current bound: 9338
1635.94/1641.30	c current bound: 9338
1636.39/1642.01	c current bound: 9338
1637.12/1642.74	c current bound: 9338
1638.04/1643.45	c current bound: 9338
1638.54/1644.16	c current bound: 9338
1639.26/1644.90	c current bound: 9338
1640.25/1645.60	c current bound: 9338
1640.70/1646.32	c current bound: 9338
1641.40/1647.04	c current bound: 9338
1642.32/1647.76	c current bound: 9338
1642.83/1648.47	c current bound: 9338
1643.55/1649.19	c current bound: 9338
1644.52/1649.91	c current bound: 9338
1644.96/1650.62	c current bound: 9338
1645.68/1651.34	c current bound: 9338
1646.39/1652.05	c current bound: 9338
1647.10/1652.76	c current bound: 9338
1647.81/1653.48	c current bound: 9338
1648.53/1654.19	c current bound: 9338
1649.26/1654.93	c current bound: 9338
1650.19/1655.65	c current bound: 9338
1650.68/1656.36	c current bound: 9338
1651.41/1657.09	c current bound: 9338
1652.37/1657.81	c current bound: 9338
1652.84/1658.52	c current bound: 9338
1653.57/1659.26	c current bound: 9338
1654.47/1659.98	c current bound: 9338
1655.00/1660.69	c current bound: 9338
1655.73/1661.42	c current bound: 9338
1656.67/1662.14	c current bound: 9338
1657.16/1662.85	c current bound: 9338
1657.87/1663.58	c current bound: 9338
1658.75/1664.29	c current bound: 9338
1659.30/1665.01	c current bound: 9338
1660.03/1665.74	c current bound: 9338
1660.95/1666.45	c current bound: 9338
1661.44/1667.17	c current bound: 9338
1662.17/1667.89	c current bound: 9338
1663.16/1668.61	c current bound: 9338
1663.61/1669.32	c current bound: 9338
1664.31/1670.03	c current bound: 9338
1665.02/1670.75	c current bound: 9338
1665.74/1671.46	c current bound: 9338
1666.45/1672.18	c current bound: 9338
1667.16/1672.89	c current bound: 9338
1667.87/1673.61	c current bound: 9338
1668.82/1674.33	c current bound: 9338
1669.30/1675.04	c current bound: 9338
1670.03/1675.79	c current bound: 9338
1671.01/1676.50	c current bound: 9338
1671.48/1677.22	c current bound: 9338
1672.22/1677.95	c current bound: 9338
1673.11/1678.68	c current bound: 9338
1673.64/1679.39	c current bound: 9338
1674.36/1680.12	c current bound: 9338
1675.30/1680.83	c current bound: 9338
1675.79/1681.54	c current bound: 9338
1676.50/1682.27	c current bound: 9338
1677.39/1682.98	c current bound: 9338
1677.92/1683.69	c current bound: 9338
1678.64/1684.42	c current bound: 9338
1679.59/1685.13	c current bound: 9338
1680.06/1685.84	c current bound: 9338
1680.78/1686.56	c current bound: 9338
1681.49/1687.28	c current bound: 9338
1682.21/1687.99	c current bound: 9338
1682.93/1688.71	c current bound: 9338
1683.63/1689.44	c current bound: 9338
1684.37/1690.16	c current bound: 9338
1685.09/1690.87	c current bound: 9338
1685.80/1691.59	c current bound: 9338
1686.51/1692.31	c current bound: 9338
1687.45/1693.02	c current bound: 9338
1687.93/1693.73	c current bound: 9338
1688.66/1694.47	c current bound: 9338
1689.55/1695.18	c current bound: 9338
1690.09/1695.89	c current bound: 9338
1690.80/1696.61	c current bound: 9338
1691.76/1697.32	c current bound: 9338
1692.22/1698.04	c current bound: 9338
1692.94/1698.77	c current bound: 9338
1693.84/1699.48	c current bound: 9338
1694.37/1700.19	c current bound: 9338
1695.09/1700.91	c current bound: 9338
1696.02/1701.64	c current bound: 9338
1696.53/1702.37	c current bound: 9338
1697.26/1703.09	c current bound: 9338
1697.95/1703.80	c current bound: 9338
1698.66/1704.51	c current bound: 9338
1699.38/1705.23	c current bound: 9338
1700.10/1705.94	c current bound: 9338
1700.81/1706.67	c current bound: 9338
1701.54/1707.38	c current bound: 9338
1702.23/1708.09	c current bound: 9338
1702.96/1708.82	c current bound: 9338
1703.90/1709.53	c current bound: 9338
1704.39/1710.24	c current bound: 9338
1705.12/1710.97	c current bound: 9338
1706.00/1711.69	c current bound: 9338
1706.54/1712.40	c current bound: 9338
1707.28/1713.14	c current bound: 9338
1708.18/1713.85	c current bound: 9338
1708.69/1714.57	c current bound: 9338
1709.41/1715.29	c current bound: 9338
1710.28/1716.00	c current bound: 9338
1710.83/1716.71	c current bound: 9338
1711.55/1717.43	c current bound: 9338
1712.47/1718.15	c current bound: 9338
1712.96/1718.86	c current bound: 9338
1713.68/1719.58	c current bound: 9338
1714.41/1720.29	c current bound: 9338
1715.12/1721.01	c current bound: 9338
1715.82/1721.72	c current bound: 9338
1716.54/1722.43	c current bound: 9338
1717.25/1723.14	c current bound: 9338
1718.15/1723.86	c current bound: 9338
1718.66/1724.57	c current bound: 9338
1719.41/1725.30	c current bound: 9338
1720.34/1726.02	c current bound: 9338
1720.82/1726.73	c current bound: 9338
1721.54/1727.46	c current bound: 9338
1722.43/1728.17	c current bound: 9338
1722.97/1728.89	c current bound: 9338
1723.69/1729.62	c current bound: 9338
1724.64/1730.33	c current bound: 9338
1725.37/1731.10	c current bound: 9338
1725.84/1731.83	c current bound: 9338
1726.76/1732.55	c current bound: 9338
1727.27/1733.26	c current bound: 9338
1728.00/1733.99	c current bound: 9338
1728.97/1734.70	c current bound: 9338
1729.45/1735.44	c current bound: 9338
1730.18/1736.17	c current bound: 9338
1731.17/1736.91	c current bound: 9338
1731.65/1737.65	c current bound: 9338
1732.39/1738.39	c current bound: 9338
1733.37/1739.13	c current bound: 9338
1733.88/1739.87	c current bound: 9338
1734.62/1740.60	c current bound: 9338
1735.58/1741.32	c current bound: 9338
1736.08/1742.06	c current bound: 9338
1736.81/1742.79	c current bound: 9338
1737.78/1743.53	c current bound: 9338
1738.29/1744.27	c current bound: 9338
1739.03/1745.02	c current bound: 9338
1739.97/1745.76	c current bound: 9338
1740.52/1746.49	c current bound: 9338
1741.22/1747.23	c current bound: 9338
1742.17/1747.96	c current bound: 9338
1742.98/1748.70	c current bound: 9338
1743.43/1749.43	c current bound: 9338
1744.38/1750.16	c current bound: 9338
1744.91/1750.90	c current bound: 9338
1745.64/1751.63	c current bound: 9338
1746.58/1752.38	c current bound: 9338
1747.11/1753.09	c current bound: 9338
1747.83/1753.82	c current bound: 9338
1748.78/1754.56	c current bound: 9338
1749.30/1755.33	c current bound: 9338
1750.02/1756.06	c current bound: 9338
1751.05/1756.80	c current bound: 9338
1751.50/1757.53	c current bound: 9338
1752.23/1758.27	c current bound: 9338
1753.24/1759.00	c current bound: 9338
1753.99/1759.94	c current bound: 9338
1754.45/1760.67	c current bound: 9338
1755.17/1761.40	c current bound: 9338
1756.13/1762.13	c current bound: 9338
1756.63/1762.87	c current bound: 9338
1757.37/1763.60	c current bound: 9338
1758.35/1764.34	c current bound: 9338
1758.84/1765.07	c current bound: 9338
1759.58/1765.80	c current bound: 9338
1760.56/1766.54	c current bound: 9338
1761.04/1767.27	c current bound: 9338
1761.78/1768.01	c current bound: 9338
1762.75/1768.74	c current bound: 9338
1763.25/1769.48	c current bound: 9338
1763.98/1770.21	c current bound: 9338
1764.96/1770.97	c current bound: 9338
1765.49/1771.70	c current bound: 9338
1766.22/1772.44	c current bound: 9338
1767.16/1773.17	c current bound: 9338
1767.68/1773.91	c current bound: 9338
1768.42/1774.64	c current bound: 9338
1769.36/1775.38	c current bound: 9338
1769.89/1776.11	c current bound: 9338
1770.63/1776.86	c current bound: 9338
1771.56/1777.58	c current bound: 9338
1772.10/1778.31	c current bound: 9338
1772.83/1779.05	c current bound: 9338
1773.76/1779.79	c current bound: 9338
1774.32/1780.53	c current bound: 9338
1775.05/1781.26	c current bound: 9338
1775.96/1782.00	c current bound: 9338
1776.51/1782.73	c current bound: 9338
1777.25/1783.46	c current bound: 9338
1778.17/1784.20	c current bound: 9338
1778.72/1784.93	c current bound: 9338
1779.45/1785.66	c current bound: 9338
1780.35/1786.40	c current bound: 9338
1780.92/1787.13	c current bound: 9338
1781.67/1787.89	c current bound: 9338
1782.68/1788.62	c current bound: 9338
1783.16/1789.38	c current bound: 9338
1783.91/1790.09	c current bound: 9338
1784.87/1790.84	c current bound: 9338
1785.37/1791.55	c current bound: 9338
1786.07/1792.29	c current bound: 9338
1787.07/1793.02	c current bound: 9338
1787.54/1793.76	c current bound: 9338
1788.30/1794.49	c current bound: 9338
1789.28/1795.23	c current bound: 9338
1789.76/1795.95	c current bound: 9338
1790.49/1796.69	c current bound: 9338
1791.48/1797.43	c current bound: 9338
1791.96/1798.16	c current bound: 9338
1792.69/1798.89	c current bound: 9338
1793.67/1799.61	c current bound: 9338
1794.14/1800.35	c current bound: 9338
1794.88/1801.14	c current bound: 9338
1795.83/1801.88	c current bound: 9338
1796.35/1802.61	c current bound: 9338
1797.09/1803.35	c current bound: 9338
1798.03/1804.08	c current bound: 9338
1798.55/1804.81	c current bound: 9338
1799.28/1805.81	c current bound: 9338
1799.66/1805.90	HOME/npSolver-wbo-Itdqb.sh: line 18: 25407 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-3753118-1339210047/watcher-3753118-1339210047 -o /tmp/evaluation-result-3753118-1339210047/solver-3753118-1339210047 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753118-1339210047.wbo 1854381174 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25406
/proc/meminfo: memFree=28819604/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0

[startup+0.0142781 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25406
/proc/meminfo: memFree=28819604/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100311 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25406
/proc/meminfo: memFree=28819604/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300321 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25406
/proc/meminfo: memFree=28819604/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700142 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 25406
/proc/meminfo: memFree=28819604/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50015 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 25439
/proc/meminfo: memFree=28798100/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1.48 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 6667 34720 0 0 18 3 100 27 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197808 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29016

[startup+3.10033 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 25461
/proc/meminfo: memFree=28819448/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=3.04 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 12826 65162 0 0 45 6 198 55 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 29016

[startup+6.3003 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 25524
/proc/meminfo: memFree=28819252/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=5.9 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) R 25406 25406 23719 0 -1 4202496 20746 125202 0 0 76 9 394 111 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197808 5056727 0 0 4096 0 0 0 0 17 0 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 29016

[startup+12.7002 s]
/proc/loadavg: 1.91 1.97 1.99 3/183 25664
/proc/meminfo: memFree=28819680/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=12.12 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 37692 256745 0 0 150 18 817 227 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 12.12
Current children cumulated vsize (KiB) 29016

[startup+25.5004 s]
/proc/loadavg: 1.93 1.97 1.99 3/181 25950
/proc/meminfo: memFree=28836656/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=24.79 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 74971 516207 0 0 307 36 1660 476 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
[pid=25949] ppid=25407 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25949/stat : 25949 (satsolver.sh) S 25407 25406 23719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387134017 9367552 267 33554432000 4194304 5064252 140733722669424 140733722668336 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25949/statm: 2287 267 226 213 0 72 0
[pid=25950] ppid=25949 vsize=48840 CPUtime=0.3 cores=0,2,4,6
/proc/25950/stat : 25950 (glucose) R 25949 25406 23719 0 -1 4202496 10495 0 0 0 28 2 0 0 20 0 1 0 387134017 50012160 10650 33554432000 4194304 5208918 140736978035152 140733722668360 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25950/statm: 12210 10650 105 248 0 11959 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 87004

[startup+51.1003 s]
/proc/loadavg: 1.95 1.97 1.99 3/183 26490
/proc/meminfo: memFree=28817248/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=50.56 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 147481 1055550 0 0 590 70 3417 979 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 29016

[startup+102.307 s]
/proc/loadavg: 1.82 1.93 1.97 3/183 27607
/proc/meminfo: memFree=28780348/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=101.17 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 294550 2115205 0 0 1160 138 6837 1982 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
[pid=27603] ppid=25407 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27603/stat : 27603 (satsolver.sh) S 25407 25406 23719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387141694 9367552 266 33554432000 4194304 5064252 140735425049360 140735425048272 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27603/statm: 2287 266 226 213 0 72 0
[pid=27604] ppid=27603 vsize=48836 CPUtime=0.33 cores=0,2,4,6
/proc/27604/stat : 27604 (glucose) R 27603 25406 23719 0 -1 4202496 10185 0 0 0 31 2 0 0 20 0 1 0 387141694 50008064 10874 33554432000 4194304 5208918 140733854474224 140733854472632 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27604/statm: 12209 10874 105 248 0 11958 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 87000

[startup+162.3 s]
/proc/loadavg: 2.15 1.99 1.99 3/184 28898
/proc/meminfo: memFree=28802780/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19872 CPUtime=161.28 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) R 25406 25406 23719 0 -1 4202496 450159 3376754 0 0 1836 214 10924 3154 20 0 1 0 387131498 20348928 4380 33554432000 4194304 6006132 140735417205872 140735417197808 5195051 0 0 4096 0 0 0 0 17 4 0 0 36 0 0
/proc/25407/statm: 4968 4380 176 443 0 4521 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 29020

[startup+222.3 s]
/proc/loadavg: 1.89 1.95 1.98 2/184 30199
/proc/meminfo: memFree=28818268/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=221 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 536227 4621248 0 0 2550 293 14952 4305 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
[pid=30197] ppid=25407 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30197/stat : 30197 (cp2_post.sh) S 25407 25406 23719 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387153706 9367552 265 33554432000 4194304 5064252 140736349633376 140736349631664 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30197/statm: 2287 265 225 213 0 72 0
[pid=30199] ppid=30197 vsize=10132 CPUtime=0.2 cores=0,2,4,6
/proc/30199/stat : 30199 (coprocessor) R 30197 25406 23719 0 -1 4202496 2057 0 0 0 14 6 0 0 20 0 1 0 387153706 10375168 1709 33554432000 4194304 6586260 140737450862336 140737450859112 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2533 1709 148 584 0 1945 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 48296

[startup+282.3 s]
/proc/loadavg: 1.92 1.94 1.97 3/183 31474
/proc/meminfo: memFree=28745408/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=280.89 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 623327 5852657 0 0 3285 372 18945 5487 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 36 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 280.89

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

/proc/meminfo: memFree=28787376/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1238.13 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1545045 25883504 0 0 14116 1536 83869 24292 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 37 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1238.13
Current children cumulated vsize (KiB) 29016

[startup+1302.3 s]
/proc/loadavg: 1.98 1.97 1.94 3/183 21123
/proc/meminfo: memFree=28803568/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1297.99 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1589740 27124698 0 0 14787 1606 87941 25465 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 37 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
[pid=21121] ppid=25407 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21121/stat : 21121 (cp2_post.sh) S 25407 25406 23719 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 387261709 9367552 266 33554432000 4194304 5064252 140734120692080 140734120690368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21121/statm: 2287 266 225 213 0 72 0
[pid=21123] ppid=21121 vsize=10132 CPUtime=0.19 cores=0,2,4,6
/proc/21123/stat : 21123 (coprocessor) R 21121 25406 23719 0 -1 4202496 2059 0 0 0 13 6 0 0 20 0 1 0 387261709 10375168 1710 33554432000 4194304 6586260 140734906896368 140734120690392 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/21123/statm: 2533 1710 148 584 0 1945 0
Current children cumulated CPU time (s) 1298.18
Current children cumulated vsize (KiB) 48296

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/185 22397
/proc/meminfo: memFree=28772560/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1357.76 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1633889 28344767 0 0 15460 1675 91987 26654 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1357.76
Current children cumulated vsize (KiB) 29016

[startup+1422.31 s]
/proc/loadavg: 1.91 1.95 1.94 3/183 23700
/proc/meminfo: memFree=28769696/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1417.46 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1678054 29587284 0 0 16124 1744 96039 27839 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
[pid=23698] ppid=25407 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23698/stat : 23698 (cp2_post.sh) S 25407 25406 23719 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 387273710 9367552 265 33554432000 4194304 5064252 140736137220640 140736137218928 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23698/statm: 2287 265 225 213 0 72 0
[pid=23700] ppid=23698 vsize=10132 CPUtime=0.18 cores=0,2,4,6
/proc/23700/stat : 23700 (coprocessor) R 23698 25406 23719 0 -1 4202496 2056 0 0 0 11 7 0 0 20 0 1 0 387273710 10375168 1708 33554432000 4194304 6586260 140734449594896 140736137218952 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/23700/statm: 2533 1708 148 584 0 1945 0
Current children cumulated CPU time (s) 1417.64
Current children cumulated vsize (KiB) 48296

[startup+1482.3 s]
/proc/loadavg: 1.92 1.94 1.93 3/183 24986
/proc/meminfo: memFree=28768540/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1477.11 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1723280 30836957 0 0 16801 1814 100094 29002 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1477.11
Current children cumulated vsize (KiB) 29016

[startup+1542.3 s]
/proc/loadavg: 1.81 1.91 1.91 3/183 26307
/proc/meminfo: memFree=28809412/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1537.22 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1768514 32100432 0 0 17479 1886 104170 30187 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1537.22
Current children cumulated vsize (KiB) 29016

[startup+1602.3 s]
/proc/loadavg: 1.84 1.89 1.91 3/184 27591
/proc/meminfo: memFree=28803692/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1596.97 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1813218 33354683 0 0 18149 1958 108239 31351 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1596.97
Current children cumulated vsize (KiB) 29016

[startup+1662.3 s]
/proc/loadavg: 1.94 1.91 1.91 3/183 28893
/proc/meminfo: memFree=28800768/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1656.81 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1858444 34602994 0 0 18828 2028 112306 32519 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1656.81
Current children cumulated vsize (KiB) 29016

[startup+1722.3 s]
/proc/loadavg: 2.13 1.96 1.92 3/183 30178
/proc/meminfo: memFree=28737588/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1716.54 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1903147 35859899 0 0 19498 2097 116367 33692 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417196720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1716.54
Current children cumulated vsize (KiB) 29016

[startup+1782.3 s]
/proc/loadavg: 2.16 2.01 1.94 3/183 31476
/proc/meminfo: memFree=28775216/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1776.16 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1947296 37085262 0 0 20160 2168 120409 34879 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 46 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1776.16
Current children cumulated vsize (KiB) 29016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.9 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 31987
/proc/meminfo: memFree=28822156/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1799.66 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1964528 37566481 0 0 20419 2195 122002 35350 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 49 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 29016

Sending SIGTERM to process tree (bottom up)

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

[startup+1805.9 s]
/proc/loadavg: 1.97 1.98 1.93 3/179 31987
/proc/meminfo: memFree=28822156/32873648 swapFree=7372/7372
[pid=25406] ppid=25404 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25406/stat : 25406 (npSolver-wbo-It) S 25404 25406 23719 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131498 9367552 275 33554432000 4194304 5064252 140734676811504 140734676810416 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25406/statm: 2287 275 233 213 0 72 0
[pid=25407] ppid=25406 vsize=19868 CPUtime=1799.66 cores=0,2,4,6
/proc/25407/stat : 25407 (npSolver-wbo) S 25406 25406 23719 0 -1 4202496 1964528 37566481 0 0 20419 2195 122002 35350 20 0 1 0 387131498 20344832 4380 33554432000 4194304 6006132 140735417205872 140735417197232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 49 0 0
/proc/25407/statm: 4967 4380 176 443 0 4520 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 29016

Child status: 0

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

Real time (s): 1805.91
CPU time (s): 1800.35
CPU user time (s): 1424.86
CPU system time (s): 375.49
CPU usage (%): 99.6923
Max. virtual memory (cumulated for all children) (KiB): 87568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1424.22
system time used= 375.46
maximum resident set size= 44004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39531383
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34885816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 720480
involuntary context switches= 34152

runsolver used 6.17906 second user time and 14.6818 second system time

The end

Launcher Data

Begin job on node115 at 2012-06-09 04:47:27
IDJOB=3753118
IDBENCH=79398
IDSOLVER=2336
FILE ID=node115/3753118-1339210047
RUNJOBID= node115-1339208246-24475
PBS_JOBID= 14643864
Free space on /tmp= 70260 MiB

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

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

MD5SUM BENCH= af72756a7b8194161c8db176c46da286
RANDOM SEED=1854381174

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28819968 kB
Buffers:          329308 kB
Cached:          2757100 kB
SwapCached:         2180 kB
Active:          1447268 kB
Inactive:        1706288 kB
Active(anon):      63780 kB
Inactive(anon):     2272 kB
Active(file):    1383488 kB
Inactive(file):  1704016 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:             21972 kB
Writeback:             0 kB
AnonPages:         60564 kB
Mapped:             9856 kB
Shmem:                 0 kB
Slab:             761384 kB
SReclaimable:     205068 kB
SUnreclaim:       556316 kB
KernelStack:        1432 kB
PageTables:         4576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     191112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70252 MiB
End job on node115 at 2012-06-09 05:17:33