Trace number 3715817

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh203_wcsp.wbo
MD5SUM542e56009f24e88bce5dd1146eaa3ca2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark0.011997
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
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.06	o 10784
0.00/0.06	c starting approximation
0.00/0.06	c factor = 2
0.00/0.06	c factor still to low - shrinking to 31.3491
0.00/0.06	c approx number of clauses: 1e+06
0.00/0.06	c current bound: 5392
0.00/0.64	c current bound: 5392
1.16/1.22	c current bound: 5392
1.78/1.80	c current bound: 5392
2.26/2.36	c current bound: 5392
2.63/2.91	c current bound: 5392
3.44/3.59	c current bound: 5392
3.75/4.17	c current bound: 5392
4.34/4.75	c current bound: 5392
4.92/5.34	c current bound: 5392
5.50/5.92	c current bound: 5392
6.08/6.49	c current bound: 5392
6.66/7.07	c current bound: 5392
7.46/7.65	c current bound: 5392
7.81/8.21	c current bound: 5392
8.57/8.79	c current bound: 5392
8.97/9.37	c current bound: 5392
9.77/9.95	c current bound: 5392
10.12/10.53	c current bound: 5392
10.96/11.11	c current bound: 5392
11.28/11.69	c current bound: 5392
12.07/12.27	c current bound: 5392
12.45/12.85	c current bound: 5392
13.02/13.58	c current bound: 5392
13.62/14.16	c current bound: 5392
14.19/14.74	c current bound: 5392
15.02/15.32	c current bound: 5392
15.34/15.89	c current bound: 5392
16.13/16.47	c current bound: 5392
16.52/17.05	c current bound: 5392
17.32/17.63	c current bound: 5392
17.66/18.21	c current bound: 5392
18.43/18.78	c current bound: 5392
18.81/19.37	c current bound: 5392
19.61/19.94	c current bound: 5392
19.98/20.52	c current bound: 5392
20.83/21.10	c current bound: 5392
21.13/21.68	c current bound: 5392
21.71/22.26	c current bound: 5392
22.28/22.84	c current bound: 5392
22.88/23.42	c current bound: 5392
23.65/24.17	c current bound: 5392
24.03/24.75	c current bound: 5392
24.86/25.32	c current bound: 5392
25.18/25.90	c current bound: 5392
25.95/26.47	c current bound: 5392
26.34/27.03	c current bound: 5392
27.15/27.61	c current bound: 5392
27.48/28.18	c current bound: 5392
28.33/28.86	c current bound: 5392
28.62/29.44	c current bound: 5392
29.21/30.02	c current bound: 5392
29.78/30.61	c current bound: 5392
30.37/31.19	c current bound: 5392
30.95/31.77	c current bound: 5392
31.53/32.35	c current bound: 5392
32.36/32.94	c current bound: 5392
32.71/33.52	c current bound: 5392
33.52/34.14	c current bound: 5392
33.87/34.72	c current bound: 5392
34.72/35.30	c current bound: 5392
35.04/35.88	c current bound: 5392
35.82/36.46	c current bound: 5392
36.19/37.04	c current bound: 5392
36.77/37.62	c current bound: 5392
37.36/38.19	c current bound: 5392
37.93/38.98	c current bound: 5392
38.70/39.56	c current bound: 5392
39.07/40.14	c current bound: 5392
39.91/40.72	c current bound: 5392
40.23/41.30	c current bound: 5392
41.00/41.88	c current bound: 5392
41.38/42.47	c current bound: 5392
42.21/43.05	c current bound: 5392
42.55/43.63	c current bound: 5392
43.14/44.25	c current bound: 5392
43.72/44.83	c current bound: 5392
44.29/45.41	c current bound: 5392
45.18/46.00	c current bound: 5392
45.48/46.58	c current bound: 5392
46.05/47.16	c current bound: 5392
46.65/47.74	c current bound: 5392
47.47/48.32	c current bound: 5392
48.07/49.13	c current bound: 5392
48.37/49.70	c current bound: 5392
48.94/50.28	c current bound: 5392
49.52/50.86	c current bound: 5392
50.11/51.46	c current bound: 5392
50.69/52.04	c current bound: 5392
51.28/52.62	c current bound: 5392
52.15/53.20	c current bound: 5392
52.45/53.78	c current bound: 5392
53.03/54.38	c current bound: 5392
53.81/54.97	c current bound: 5392
54.19/55.55	c current bound: 5392
55.01/56.13	c current bound: 5392
55.34/56.70	c current bound: 5392
56.11/57.28	c current bound: 5392
56.49/57.87	c current bound: 5392
57.29/58.44	c current bound: 5392
57.66/59.19	c current bound: 5392
58.23/59.77	c current bound: 5392
58.81/60.35	c current bound: 5392
59.39/60.92	c current bound: 5392
59.97/61.50	c current bound: 5392
60.55/62.08	c current bound: 5392
61.34/62.65	c current bound: 5392
61.70/63.23	c current bound: 5392
62.55/63.81	c current bound: 5392
62.87/64.43	c current bound: 5392
63.70/65.01	c current bound: 5392
64.03/65.59	c current bound: 5392
64.80/66.18	c current bound: 5392
65.21/66.76	c current bound: 5392
65.78/67.34	c current bound: 5392
66.37/67.92	c current bound: 5392
67.22/68.50	c current bound: 5392
67.80/69.23	c current bound: 5392
68.10/69.81	c current bound: 5392
68.86/70.39	c current bound: 5392
69.26/70.97	c current bound: 5392
70.05/71.55	c current bound: 5392
70.41/72.13	c current bound: 5392
71.26/72.71	c current bound: 5392
71.58/73.29	c current bound: 5392
72.36/73.87	c current bound: 5392
72.74/74.52	c current bound: 5392
73.32/75.08	c current bound: 5392
73.88/75.66	c current bound: 5392
74.45/76.23	c current bound: 5392
75.04/76.79	c current bound: 5392
75.59/77.38	c current bound: 5392
76.20/77.97	c current bound: 5392
76.78/78.53	c current bound: 5392
77.62/79.37	c current bound: 5392
77.92/79.95	c current bound: 5392
78.49/80.53	c current bound: 5392
79.08/81.09	c current bound: 5392
79.63/81.67	c current bound: 5392
80.22/82.25	c current bound: 5392
80.80/82.83	c current bound: 5392
81.37/83.41	c current bound: 5392
81.97/84.14	c current bound: 5392
82.81/84.72	c current bound: 5392
83.13/85.31	c current bound: 5392
83.89/85.89	c current bound: 5392
84.30/86.47	c current bound: 5392
85.09/87.04	c current bound: 5392
85.45/87.65	c current bound: 5392
86.04/88.23	c current bound: 5392
86.62/88.80	c current bound: 5392
87.20/89.38	c current bound: 5392
87.78/89.96	c current bound: 5392
88.36/90.54	c current bound: 5392
88.95/91.12	c current bound: 5392
89.52/91.71	c current bound: 5392
90.11/92.28	c current bound: 5392
90.69/92.86	c current bound: 5392
91.50/93.45	c current bound: 5392
91.85/94.04	c current bound: 5392
92.70/94.64	c current bound: 5392
93.03/95.22	c current bound: 5392
93.88/95.80	c current bound: 5392
94.19/96.38	c current bound: 5392
95.00/96.96	c current bound: 5392
95.35/97.54	c current bound: 5392
95.95/98.12	c current bound: 5392
96.51/98.69	c current bound: 5392
97.38/99.49	c current bound: 5392
97.88/100.05	c current bound: 5392
98.23/100.62	c current bound: 5392
98.99/101.18	c current bound: 5392
99.36/101.73	c current bound: 5392
100.08/102.29	c current bound: 5392
100.48/102.85	c current bound: 5392
101.29/103.40	c current bound: 5392
101.59/103.96	c current bound: 5392
102.38/104.52	c current bound: 5392
102.72/105.08	c current bound: 5392
103.49/105.64	c current bound: 5392
104.08/106.20	c current bound: 5392
104.59/106.75	c current bound: 5392
104.95/107.31	c current bound: 5392
105.68/107.87	c current bound: 5392
106.07/108.42	c current bound: 5392
106.78/108.98	c current bound: 5392
107.18/109.53	c current bound: 5392
107.89/110.09	c current bound: 5392
108.29/110.65	c current bound: 5392
109.09/111.21	c current bound: 5392
109.42/111.77	c current bound: 5392
110.18/112.32	c current bound: 5392
110.52/112.88	c current bound: 5392
111.30/113.44	c current bound: 5392
111.65/114.01	c current bound: 5392
112.23/114.58	c current bound: 5392
112.81/115.15	c current bound: 5392
113.37/115.72	c current bound: 5392
113.95/116.29	c current bound: 5392
114.52/116.86	c current bound: 5392
115.09/117.44	c current bound: 5392
115.68/118.01	c current bound: 5392
116.26/118.58	c current bound: 5392
116.82/119.16	c current bound: 5392
117.40/119.73	c current bound: 5392
117.97/120.29	c current bound: 5392
118.54/120.86	c current bound: 5392
119.11/121.42	c current bound: 5392
119.66/121.98	c current bound: 5392
120.23/122.55	c current bound: 5392
121.03/123.12	c current bound: 5392
121.37/123.68	c current bound: 5392
122.14/124.25	c current bound: 5392
122.48/124.88	c current bound: 5392
123.26/125.46	c current bound: 5392
123.65/126.03	c current bound: 5392
124.37/126.59	c current bound: 5392
124.78/127.16	c current bound: 5392
125.57/127.75	c current bound: 5392
125.93/128.31	c current bound: 5392
126.51/128.88	c current bound: 5392
127.07/129.69	c current bound: 5392
127.63/130.25	c current bound: 5392
128.43/130.82	c current bound: 5392
128.76/131.38	c current bound: 5392
129.52/131.95	c current bound: 5392
129.90/132.52	c current bound: 5392
130.64/133.09	c current bound: 5392
131.04/133.68	c current bound: 5392
131.83/134.26	c current bound: 5392
132.21/134.83	c current bound: 5392
133.04/135.41	c current bound: 5392
133.37/135.97	c current bound: 5392
134.14/136.56	c current bound: 5392
134.78/137.31	c current bound: 5392
135.07/137.87	c current bound: 5392
135.65/138.44	c current bound: 5392
136.22/139.01	c current bound: 5392
137.04/139.81	c current bound: 5392
137.35/140.38	c current bound: 5392
138.13/140.97	c current bound: 5392
138.51/141.53	c current bound: 5392
139.33/142.10	c current bound: 5392
139.64/142.67	c current bound: 5392
140.21/143.24	c current bound: 5392
140.80/143.81	c current bound: 5392
141.37/144.37	c current bound: 5392
141.93/144.94	c current bound: 5392
142.49/145.50	c current bound: 5392
143.08/146.07	c current bound: 5392
143.64/146.63	c current bound: 5392
144.19/147.19	c current bound: 5392
144.76/147.76	c current bound: 5392
145.33/148.32	c current bound: 5392
145.90/148.89	c current bound: 5392
146.46/149.46	c current bound: 5392
147.03/150.04	c current bound: 5392
147.84/150.61	c current bound: 5392
148.17/151.18	c current bound: 5392
148.92/151.75	c current bound: 5392
149.31/152.31	c current bound: 5392
150.05/152.88	c current bound: 5392
150.45/153.45	c current bound: 5392
151.24/154.03	c current bound: 5392
151.86/154.71	c current bound: 5392
152.17/155.30	c current bound: 5392
152.75/155.88	c current bound: 5392
153.33/156.47	c current bound: 5392
153.92/157.05	c current bound: 5392
154.50/157.63	c current bound: 5392
155.09/158.21	c current bound: 5392
155.67/158.79	c current bound: 5392
156.24/159.35	c current bound: 5392
156.80/159.92	c current bound: 5392
157.64/160.51	c current bound: 5392
157.96/161.08	c current bound: 5392
158.74/161.66	c current bound: 5392
159.11/162.24	c current bound: 5392
159.94/162.82	c current bound: 5392
160.27/163.39	c current bound: 5392
161.04/163.97	c current bound: 5392
161.41/164.55	c current bound: 5392
162.20/165.18	c current bound: 5392
162.58/165.76	c current bound: 5392
163.16/166.33	c current bound: 5392
163.75/166.92	c current bound: 5392
164.31/167.49	c current bound: 5392
164.90/168.07	c current bound: 5392
165.48/168.65	c current bound: 5392
166.07/169.23	c current bound: 5392
166.91/170.01	c current bound: 5392
167.39/170.58	c current bound: 5392
167.78/171.16	c current bound: 5392
168.59/171.74	c current bound: 5392
168.94/172.33	c current bound: 5392
169.53/172.90	c current bound: 5392
170.11/173.48	c current bound: 5392
170.69/174.06	c current bound: 5392
171.27/174.64	c current bound: 5392
171.85/175.27	c current bound: 5392
172.44/175.86	c current bound: 5392
173.01/176.44	c current bound: 5392
173.85/177.01	c current bound: 5392
174.16/177.59	c current bound: 5392
174.95/178.15	c current bound: 5392
175.30/178.74	c current bound: 5392
176.15/179.32	c current bound: 5392
176.75/180.04	c current bound: 5392
177.05/180.62	c current bound: 5392
177.64/181.20	c current bound: 5392
178.21/181.78	c current bound: 5392
178.80/182.36	c current bound: 5392
179.36/182.94	c current bound: 5392
179.94/183.52	c current bound: 5392
180.81/184.10	c current bound: 5392
181.11/184.68	c current bound: 5392
181.70/185.31	c current bound: 5392
182.45/185.87	c current bound: 5392
182.84/186.45	c current bound: 5392
183.66/187.03	c current bound: 5392
184.00/187.61	c current bound: 5392
184.77/188.19	c current bound: 5392
185.17/188.77	c current bound: 5392
185.96/189.36	c current bound: 5392
186.62/190.03	c current bound: 5392
186.91/190.60	c current bound: 5392
187.48/191.17	c current bound: 5392
188.05/191.75	c current bound: 5392
188.65/192.33	c current bound: 5392
189.22/192.91	c current bound: 5392
189.80/193.49	c current bound: 5392
190.38/194.07	c current bound: 5392
191.18/194.65	c current bound: 5392
191.54/195.23	c current bound: 5392
192.40/195.81	c current bound: 5392
192.70/196.39	c current bound: 5392
193.49/196.96	c current bound: 5392
193.85/197.54	c current bound: 5392
194.67/198.12	c current bound: 5392
195.01/198.70	c current bound: 5392
195.58/199.26	c current bound: 5392
196.15/199.84	c current bound: 5392
196.72/200.46	c current bound: 5392
197.31/201.04	c current bound: 5392
197.88/201.62	c current bound: 5392
198.74/202.20	c current bound: 5392
199.04/202.78	c current bound: 5392
199.62/203.33	c current bound: 5392
200.18/203.91	c current bound: 5392
200.76/204.47	c current bound: 5392
201.58/205.25	c current bound: 5392
202.13/205.83	c current bound: 5392
202.49/206.41	c current bound: 5392
203.05/206.97	c current bound: 5392
203.61/207.56	c current bound: 5392
204.20/208.13	c current bound: 5392
204.77/208.71	c current bound: 5392
205.36/209.29	c current bound: 5392
205.93/209.87	c current bound: 5392
206.51/210.46	c current bound: 5392
207.10/211.03	c current bound: 5392
207.69/211.61	c current bound: 5392
208.27/212.20	c current bound: 5392
208.85/212.78	c current bound: 5392
209.64/213.36	c current bound: 5392
210.00/213.94	c current bound: 5392
210.84/214.52	c current bound: 5392
211.17/215.36	c current bound: 5392
211.72/215.94	c current bound: 5392
212.30/216.52	c current bound: 5392
213.16/217.10	c current bound: 5392
213.46/217.67	c current bound: 5392
214.03/218.25	c current bound: 5392
214.87/218.83	c current bound: 5392
215.20/219.41	c current bound: 5392
215.97/219.99	c current bound: 5392
216.37/220.60	c current bound: 5392
217.13/221.17	c current bound: 5392
217.52/221.76	c current bound: 5392
218.33/222.34	c current bound: 5392
218.69/222.91	c current bound: 5392
219.27/223.49	c current bound: 5392
219.84/224.06	c current bound: 5392
220.42/224.64	c current bound: 5392
221.26/225.34	c current bound: 5392
221.57/225.92	c current bound: 5392
222.15/226.50	c current bound: 5392
222.73/227.07	c current bound: 5392
223.54/227.63	c current bound: 5392
223.85/228.20	c current bound: 5392
224.63/228.76	c current bound: 5392
225.01/229.35	c current bound: 5392
225.83/229.93	c current bound: 5392
226.17/230.50	c current bound: 5392
226.94/231.06	c current bound: 5392
227.30/231.64	c current bound: 5392
228.13/232.22	c current bound: 5392
228.47/232.81	c current bound: 5392
229.06/233.39	c current bound: 5392
229.63/233.97	c current bound: 5392
230.22/234.55	c current bound: 5392
230.79/235.26	c current bound: 5392
231.38/235.83	c current bound: 5392
232.21/236.41	c current bound: 5392
232.54/236.99	c current bound: 5392
233.31/237.57	c current bound: 5392
233.69/238.15	c current bound: 5392
234.51/238.73	c current bound: 5392
234.85/239.30	c current bound: 5392
235.62/239.88	c current bound: 5392
236.01/240.46	c current bound: 5392
236.82/241.04	c current bound: 5392
237.16/241.62	c current bound: 5392
237.74/242.19	c current bound: 5392
238.31/242.77	c current bound: 5392
238.90/243.35	c current bound: 5392
239.48/243.94	c current bound: 5392
240.07/244.53	c current bound: 5392
240.65/245.11	c current bound: 5392
241.24/245.72	c current bound: 5392
241.82/246.30	c current bound: 5392
242.40/246.88	c current bound: 5392
243.20/247.46	c current bound: 5392
243.56/248.04	c current bound: 5392
244.40/248.62	c current bound: 5392
244.72/249.21	c current bound: 5392
245.51/249.79	c current bound: 5392
246.18/250.60	c current bound: 5392
246.47/251.15	c current bound: 5392
247.03/251.73	c current bound: 5392
247.61/252.31	c current bound: 5392
248.19/252.89	c current bound: 5392
248.77/253.47	c current bound: 5392
249.57/254.03	c current bound: 5392
249.91/254.61	c current bound: 5392
250.68/255.18	c current bound: 5392
251.07/255.82	c current bound: 5392
251.92/256.41	c current bound: 5392
252.25/257.01	c current bound: 5392
252.84/257.56	c current bound: 5392
253.40/258.14	c current bound: 5392
253.98/258.72	c current bound: 5392
254.55/259.32	c current bound: 5392
255.44/259.90	c current bound: 5392
256.02/260.61	c current bound: 5392
256.32/261.18	c current bound: 5392
257.12/261.76	c current bound: 5392
257.47/262.34	c current bound: 5392
258.29/262.92	c current bound: 5392
258.63/263.50	c current bound: 5392
259.41/264.09	c current bound: 5392
259.80/264.67	c current bound: 5392
260.60/265.25	c current bound: 5392
260.96/265.86	c current bound: 5392
261.54/266.44	c current bound: 5392
262.37/267.00	c current bound: 5392
262.68/267.56	c current bound: 5392
263.23/268.11	c current bound: 5392
263.78/268.68	c current bound: 5392
264.36/269.24	c current bound: 5392
264.92/269.80	c current bound: 5392
265.73/270.69	c current bound: 5392
266.05/271.26	c current bound: 5392
266.83/271.81	c current bound: 5392
267.15/272.37	c current bound: 5392
267.94/272.93	c current bound: 5392
268.28/273.48	c current bound: 5392
269.04/274.04	c current bound: 5392
269.39/274.59	c current bound: 5392
270.14/275.15	c current bound: 5392
270.50/275.71	c current bound: 5392
271.07/276.27	c current bound: 5392
271.63/276.83	c current bound: 5392
272.18/277.39	c current bound: 5392
272.74/277.95	c current bound: 5392
273.30/278.51	c current bound: 5392
273.86/279.07	c current bound: 5392
274.41/279.63	c current bound: 5392
274.98/280.18	c current bound: 5392
275.54/280.75	c current bound: 5392
276.09/281.30	c current bound: 5392
276.65/281.86	c current bound: 5392
277.20/282.43	c current bound: 5392
278.05/283.00	c current bound: 5392
278.35/283.55	c current bound: 5392
278.90/284.12	c current bound: 5392
279.45/284.67	c current bound: 5392
280.02/285.23	c current bound: 5392
280.57/285.79	c current bound: 5392
281.14/286.36	c current bound: 5392
281.70/286.92	c current bound: 5392
282.25/287.47	c current bound: 5392
282.82/288.04	c current bound: 5392
283.37/288.59	c current bound: 5392
283.95/289.15	c current bound: 5392
284.49/289.70	c current bound: 5392
285.06/290.26	c current bound: 5392
285.62/290.82	c current bound: 5392
286.16/291.37	c current bound: 5392
286.72/291.93	c current bound: 5392
287.28/292.49	c current bound: 5392
287.83/293.04	c current bound: 5392
288.39/293.60	c current bound: 5392
288.96/294.15	c current bound: 5392
289.74/294.71	c current bound: 5392
290.06/295.27	c current bound: 5392
290.85/295.83	c current bound: 5392
291.19/296.39	c current bound: 5392
291.95/296.96	c current bound: 5392
292.32/297.53	c current bound: 5392
293.04/298.10	c current bound: 5392
293.45/298.67	c current bound: 5392
294.24/299.25	c current bound: 5392
294.60/299.81	c current bound: 5392
295.35/300.39	c current bound: 5392
295.76/300.96	c current bound: 5392
296.54/301.55	c current bound: 5392
296.92/302.11	c current bound: 5392
297.48/302.68	c current bound: 5392
298.05/303.25	c current bound: 5392
298.62/303.81	c current bound: 5392
299.19/304.38	c current bound: 5392
299.76/304.94	c current bound: 5392
300.32/305.50	c current bound: 5392
300.89/306.11	c current bound: 5392
301.45/306.72	c current bound: 5392
302.07/307.28	c current bound: 5392
302.62/307.85	c current bound: 5392
303.20/308.41	c current bound: 5392
303.76/308.98	c current bound: 5392
304.33/309.55	c current bound: 5392
305.13/310.12	c current bound: 5392
305.47/310.91	c current bound: 5392
306.04/311.47	c current bound: 5392
306.60/312.04	c current bound: 5392
307.16/312.61	c current bound: 5392
307.72/313.18	c current bound: 5392
308.30/313.76	c current bound: 5392
308.87/314.33	c current bound: 5392
309.72/314.90	c current bound: 5392
310.03/315.47	c current bound: 5392
310.60/316.03	c current bound: 5392
311.16/316.59	c current bound: 5392
311.73/317.16	c current bound: 5392
312.29/317.73	c current bound: 5392
312.85/318.30	c current bound: 5392
313.44/318.86	c current bound: 5392
314.00/319.43	c current bound: 5392
314.56/319.99	c current bound: 5392
315.13/320.56	c current bound: 5392
315.91/321.12	c current bound: 5392
316.25/321.68	c current bound: 5392
317.03/322.25	c current bound: 5392
317.39/322.82	c current bound: 5392
318.13/323.38	c current bound: 5392
318.53/323.95	c current bound: 5392
319.33/324.52	c current bound: 5392
319.66/325.09	c current bound: 5392
320.49/325.77	c current bound: 5392
320.79/326.33	c current bound: 5392
321.62/326.90	c current bound: 5392
321.93/327.46	c current bound: 5392
322.49/328.03	c current bound: 5392
323.06/328.59	c current bound: 5392
323.63/329.16	c current bound: 5392
324.20/329.73	c current bound: 5392
324.78/330.31	c current bound: 5392
325.61/331.21	c current bound: 5392
325.91/331.78	c current bound: 5392
326.67/332.36	c current bound: 5392
327.07/332.93	c current bound: 5392
327.62/333.50	c current bound: 5392
328.20/334.06	c current bound: 5392
328.77/334.63	c current bound: 5392
329.33/335.19	c current bound: 5392
329.89/335.76	c current bound: 5392
330.46/336.34	c current bound: 5392
331.03/336.92	c current bound: 5392
331.62/337.49	c current bound: 5392
332.19/338.07	c current bound: 5392
332.78/338.65	c current bound: 5392
333.35/339.24	c current bound: 5392
334.20/339.82	c current bound: 5392
334.52/340.39	c current bound: 5392
335.38/341.11	c current bound: 5392
335.67/341.69	c current bound: 5392
336.45/342.26	c current bound: 5392
336.81/342.84	c current bound: 5392
337.40/343.42	c current bound: 5392
338.27/344.00	c current bound: 5392
338.56/344.58	c current bound: 5392
339.14/345.16	c current bound: 5392
339.72/345.73	c current bound: 5392
340.31/346.31	c current bound: 5392
340.89/346.89	c current bound: 5392
341.46/347.48	c current bound: 5392
342.06/348.05	c current bound: 5392
342.86/348.63	c current bound: 5392
343.21/349.21	c current bound: 5392
343.97/349.79	c current bound: 5392
344.36/350.37	c current bound: 5392
345.18/350.95	c current bound: 5392
345.54/351.57	c current bound: 5392
346.34/352.15	c current bound: 5392
346.71/352.71	c current bound: 5392
347.27/353.29	c current bound: 5392
347.85/353.87	c current bound: 5392
348.43/354.45	c current bound: 5392
349.02/355.03	c current bound: 5392
349.60/355.63	c current bound: 5392
350.46/356.33	c current bound: 5392
350.79/356.91	c current bound: 5392
351.54/357.50	c current bound: 5392
351.95/358.07	c current bound: 5392
352.75/358.65	c current bound: 5392
353.11/359.23	c current bound: 5392
353.94/359.83	c current bound: 5392
354.30/360.41	c current bound: 5392
354.86/360.99	c current bound: 5392
355.45/361.57	c current bound: 5392
356.03/362.15	c current bound: 5392
356.62/362.73	c current bound: 5392
357.19/363.31	c current bound: 5392
357.78/363.89	c current bound: 5392
358.36/364.47	c current bound: 5392
358.94/365.05	c current bound: 5392
359.52/365.64	c current bound: 5392
360.37/366.37	c current bound: 5392
360.70/366.95	c current bound: 5392
361.52/367.53	c current bound: 5392
361.85/368.10	c current bound: 5392
362.44/368.66	c current bound: 5392
363.00/369.24	c current bound: 5392
363.57/369.82	c current bound: 5392
364.15/370.40	c current bound: 5392
364.72/370.97	c current bound: 5392
365.31/371.55	c current bound: 5392
365.89/372.13	c current bound: 5392
366.46/372.71	c current bound: 5392
367.08/373.30	c current bound: 5392
367.66/373.88	c current bound: 5392
368.23/374.47	c current bound: 5392
369.05/375.04	c current bound: 5392
369.40/375.62	c current bound: 5392
370.15/376.20	c current bound: 5392
370.55/376.81	c current bound: 5392
371.29/377.39	c current bound: 5392
371.69/377.97	c current bound: 5392
372.49/378.55	c current bound: 5392
372.85/379.13	c current bound: 5392
373.43/379.70	c current bound: 5392
374.00/380.28	c current bound: 5392
374.58/380.87	c current bound: 5392
375.43/381.67	c current bound: 5392
375.75/382.25	c current bound: 5392
376.57/382.83	c current bound: 5392
376.91/383.41	c current bound: 5392
377.68/383.99	c current bound: 5392
378.07/384.56	c current bound: 5392
378.87/385.14	c current bound: 5392
379.23/385.71	c current bound: 5392
379.80/386.29	c current bound: 5392
380.38/386.91	c current bound: 5392
380.98/387.49	c current bound: 5392
381.55/388.05	c current bound: 5392
382.11/388.63	c current bound: 5392
382.69/389.21	c current bound: 5392
383.27/389.79	c current bound: 5392
383.85/390.37	c current bound: 5392
384.42/390.95	c current bound: 5392
385.26/391.55	c current bound: 5392
385.60/392.13	c current bound: 5392
386.45/392.71	c current bound: 5392
386.75/393.29	c current bound: 5392
387.54/393.87	c current bound: 5392
387.91/394.45	c current bound: 5392
388.74/395.03	c current bound: 5392
389.08/395.60	c current bound: 5392
389.64/396.16	c current bound: 5392
390.21/396.74	c current bound: 5392
390.79/397.32	c current bound: 5392
391.66/397.90	c current bound: 5392
391.94/398.48	c current bound: 5392
392.54/399.05	c current bound: 5392
393.12/399.63	c current bound: 5392
393.69/400.21	c current bound: 5392
394.29/400.81	c current bound: 5392
394.87/401.38	c current bound: 5392
395.45/401.97	c current bound: 5392
396.25/402.55	c current bound: 5392
396.62/403.15	c current bound: 5392
397.47/403.73	c current bound: 5392
397.79/404.31	c current bound: 5392
398.55/404.89	c current bound: 5392
398.97/405.47	c current bound: 5392
399.76/406.02	c current bound: 5392
400.09/406.76	c current bound: 5392
400.68/407.34	c current bound: 5392
401.25/407.93	c current bound: 5392
401.84/408.50	c current bound: 5392
402.42/409.08	c current bound: 5392
402.99/409.66	c current bound: 5392
403.81/410.24	c current bound: 5392
404.15/410.82	c current bound: 5392
404.92/411.39	c current bound: 5392
405.32/411.97	c current bound: 5392
406.12/412.55	c current bound: 5392
406.48/413.12	c current bound: 5392
407.31/413.70	c current bound: 5392
407.61/414.28	c current bound: 5392
408.41/414.86	c current bound: 5392
408.79/415.44	c current bound: 5392
409.38/416.01	c current bound: 5392
409.96/416.74	c current bound: 5392
410.78/417.30	c current bound: 5392
411.08/417.87	c current bound: 5392
411.65/418.44	c current bound: 5392
412.48/419.00	c current bound: 5392
412.79/419.57	c current bound: 5392
413.57/420.14	c current bound: 5392
413.94/420.71	c current bound: 5392
414.66/421.28	c current bound: 5392
415.33/421.94	c current bound: 5392
415.88/422.52	c current bound: 5392
416.22/423.08	c current bound: 5392
416.98/423.65	c current bound: 5392
417.36/424.21	c current bound: 5392
417.93/424.78	c current bound: 5392
418.48/425.35	c current bound: 5392
419.04/425.91	c current bound: 5392
419.60/426.48	c current bound: 5392
420.19/427.04	c current bound: 5392
420.76/427.61	c current bound: 5392
421.32/428.18	c current bound: 5392
421.89/428.74	c current bound: 5392
422.45/429.31	c current bound: 5392
423.02/429.87	c current bound: 5392
423.59/430.43	c current bound: 5392
424.15/431.00	c current bound: 5392
424.72/431.56	c current bound: 5392
425.29/432.13	c current bound: 5392
426.12/432.70	c current bound: 5392
426.41/433.26	c current bound: 5392
426.99/433.83	c current bound: 5392
427.55/434.39	c current bound: 5392
428.12/434.97	c current bound: 5392
428.92/435.54	c current bound: 5392
429.53/436.10	c current bound: 5392
430.01/436.67	c current bound: 5392
430.41/437.31	c current bound: 5392
431.16/437.88	c current bound: 5392
431.57/438.45	c current bound: 5392
432.36/439.03	c current bound: 5392
432.72/439.60	c current bound: 5392
433.29/440.18	c current bound: 5392
433.86/440.75	c current bound: 5392
434.44/441.32	c current bound: 5392
435.29/442.17	c current bound: 5392
435.59/442.73	c current bound: 5392
436.30/443.30	c current bound: 5392
436.71/443.87	c current bound: 5392
437.51/444.44	c current bound: 5392
437.87/445.01	c current bound: 5392
438.61/445.59	c current bound: 5392
439.01/446.16	c current bound: 5392
439.79/446.72	c current bound: 5392
440.15/447.32	c current bound: 5392
440.71/447.89	c current bound: 5392
441.27/448.45	c current bound: 5392
441.84/449.02	c current bound: 5392
442.41/449.58	c current bound: 5392
442.97/450.15	c current bound: 5392
443.54/450.71	c current bound: 5392
444.11/451.28	c current bound: 5392
444.67/451.98	c current bound: 5392
445.24/452.55	c current bound: 5392
446.03/453.11	c current bound: 5392
446.39/453.68	c current bound: 5392
447.14/454.25	c current bound: 5392
447.52/454.82	c current bound: 5392
448.24/455.40	c current bound: 5392
448.66/455.96	c current bound: 5392
449.46/456.55	c current bound: 5392
449.82/457.17	c current bound: 5392
450.58/457.76	c current bound: 5392
450.96/458.32	c current bound: 5392
451.54/458.91	c current bound: 5392
452.12/459.48	c current bound: 5392
452.68/460.04	c current bound: 5392
453.25/460.60	c current bound: 5392
453.82/461.17	c current bound: 5392
454.37/461.73	c current bound: 5392
455.20/462.30	c current bound: 5392
455.52/462.87	c current bound: 5392
456.07/463.43	c current bound: 5392
456.92/464.00	c current bound: 5392
457.22/464.57	c current bound: 5392
457.79/465.14	c current bound: 5392
458.35/465.70	c current bound: 5392
458.91/466.26	c current bound: 5392
459.48/466.83	c current bound: 5392
460.25/467.44	c current bound: 5392
460.86/468.00	c current bound: 5392
461.37/468.57	c current bound: 5392
461.75/469.14	c current bound: 5392
462.55/469.71	c current bound: 5392
462.90/470.28	c current bound: 5392
463.64/470.85	c current bound: 5392
464.03/471.42	c current bound: 5392
464.86/472.10	c current bound: 5392
465.16/472.67	c current bound: 5392
465.73/473.23	c current bound: 5392
466.57/473.80	c current bound: 5392
466.86/474.36	c current bound: 5392
467.44/474.92	c current bound: 5392
468.00/475.49	c current bound: 5392
468.58/476.06	c current bound: 5392
469.15/476.63	c current bound: 5392
469.72/477.29	c current bound: 5392
470.27/477.85	c current bound: 5392
471.09/478.43	c current bound: 5392
471.43/478.99	c current bound: 5392
472.17/479.57	c current bound: 5392
472.57/480.13	c current bound: 5392
473.28/480.70	c current bound: 5392
473.70/481.26	c current bound: 5392
474.49/481.84	c current bound: 5392
474.83/482.54	c current bound: 5392
475.41/483.11	c current bound: 5392
475.97/483.67	c current bound: 5392
476.55/484.24	c current bound: 5392
477.10/484.81	c current bound: 5392
477.68/485.38	c current bound: 5392
478.24/485.94	c current bound: 5392
478.81/486.51	c current bound: 5392
479.64/487.14	c current bound: 5392
479.94/487.70	c current bound: 5392
480.51/488.27	c current bound: 5392
481.08/488.83	c current bound: 5392
481.64/489.40	c current bound: 5392
482.21/489.97	c current bound: 5392
483.00/490.54	c current bound: 5392
483.35/491.11	c current bound: 5392
484.10/491.68	c current bound: 5392
484.49/492.25	c current bound: 5392
485.30/492.81	c current bound: 5392
485.63/493.38	c current bound: 5392
486.39/493.96	c current bound: 5392
486.78/494.53	c current bound: 5392
487.59/495.11	c current bound: 5392
487.91/495.67	c current bound: 5392
488.70/496.25	c current bound: 5392
489.06/496.82	c current bound: 5392
489.62/497.38	c current bound: 5392
490.19/497.94	c current bound: 5392
490.75/498.51	c current bound: 5392
491.32/499.08	c current bound: 5392
491.90/499.64	c current bound: 5392
492.47/500.20	c current bound: 5392
493.04/500.77	c current bound: 5392
493.59/501.32	c current bound: 5392
494.14/501.89	c current bound: 5392
494.71/502.45	c current bound: 5392
495.29/503.02	c current bound: 5392
495.84/503.58	c current bound: 5392
496.41/504.15	c current bound: 5392
496.97/504.71	c current bound: 5392
497.53/505.27	c current bound: 5392
498.09/505.83	c current bound: 5392
498.65/506.39	c current bound: 5392
499.20/506.94	c current bound: 5392
500.02/507.50	c current bound: 5392
500.32/508.05	c current bound: 5392
500.86/508.62	c current bound: 5392
501.44/509.17	c current bound: 5392
501.98/509.73	c current bound: 5392
502.55/510.29	c current bound: 5392
503.10/510.84	c current bound: 5392
503.66/511.40	c current bound: 5392
504.22/511.96	c current bound: 5392
505.00/512.51	c current bound: 5392
505.60/513.13	c current bound: 5392
506.04/513.69	c current bound: 5392
506.44/514.24	c current bound: 5392
507.16/514.80	c current bound: 5392
507.56/515.35	c current bound: 5392
508.36/515.91	c current bound: 5392
508.67/516.47	c current bound: 5392
509.46/517.02	c current bound: 5392
509.79/517.58	c current bound: 5392
510.57/518.14	c current bound: 5392
510.90/518.69	c current bound: 5392
511.67/519.25	c current bound: 5392
512.02/519.81	c current bound: 5392
512.75/520.37	c current bound: 5392
513.14/520.92	c current bound: 5392
513.86/521.48	c current bound: 5392
514.26/522.03	c current bound: 5392
514.98/522.59	c current bound: 5392
515.38/523.15	c current bound: 5392
516.17/523.71	c current bound: 5392
516.49/524.27	c current bound: 5392
517.27/524.82	c current bound: 5392
517.60/525.38	c current bound: 5392
518.38/525.94	c current bound: 5392
518.72/526.49	c current bound: 5392
519.47/527.05	c current bound: 5392
519.84/527.61	c current bound: 5392
520.40/528.17	c current bound: 5392
520.96/528.72	c current bound: 5392
521.51/529.28	c current bound: 5392
522.06/529.84	c current bound: 5392
522.62/530.40	c current bound: 5392
523.19/530.96	c current bound: 5392
523.75/531.52	c current bound: 5392
524.30/532.08	c current bound: 5392
524.88/532.65	c current bound: 5392
525.44/533.20	c current bound: 5392
525.99/533.76	c current bound: 5392
526.55/534.32	c current bound: 5392
527.12/534.88	c current bound: 5392
527.66/535.44	c current bound: 5392
528.49/536.00	c current bound: 5392
528.79/536.56	c current bound: 5392
529.36/537.13	c current bound: 5392
529.94/537.69	c current bound: 5392
530.50/538.26	c current bound: 5392
531.06/538.82	c current bound: 5392
531.64/539.38	c current bound: 5392
532.19/539.95	c current bound: 5392
532.75/540.51	c current bound: 5392
533.32/541.07	c current bound: 5392
533.88/541.64	c current bound: 5392
534.70/542.21	c current bound: 5392
535.03/542.78	c current bound: 5392
535.80/543.35	c current bound: 5392
536.15/543.91	c current bound: 5392
536.91/544.48	c current bound: 5392
537.30/545.04	c current bound: 5392
538.09/545.62	c current bound: 5392
538.42/546.18	c current bound: 5392
539.19/546.76	c current bound: 5392
539.57/547.33	c current bound: 5392
540.40/547.91	c current bound: 5392
540.73/548.48	c current bound: 5392
541.51/549.06	c current bound: 5392
541.88/549.63	c current bound: 5392
542.45/550.19	c current bound: 5392
543.01/550.76	c current bound: 5392
543.58/551.33	c current bound: 5392
544.15/551.89	c current bound: 5392
544.72/552.46	c current bound: 5392
545.29/553.03	c current bound: 5392
545.85/553.59	c current bound: 5392
546.41/554.15	c current bound: 5392
546.99/554.72	c current bound: 5392
547.56/555.29	c current bound: 5392
548.12/555.85	c current bound: 5392
548.69/556.42	c current bound: 5392
549.26/556.98	c current bound: 5392
549.82/557.54	c current bound: 5392
550.38/558.11	c current bound: 5392
551.14/558.78	c current bound: 5392
551.52/559.34	c current bound: 5392
552.34/559.91	c current bound: 5392
552.66/560.47	c current bound: 5392
553.42/561.05	c current bound: 5392
553.80/561.61	c current bound: 5392
554.54/562.18	c current bound: 5392
554.94/562.75	c current bound: 5392
555.77/563.53	c current bound: 5392
556.32/564.10	c current bound: 5392
556.62/564.66	c current bound: 5392
557.19/565.24	c current bound: 5392
557.78/565.81	c current bound: 5392
558.35/566.38	c current bound: 5392
558.93/566.95	c current bound: 5392
559.74/567.52	c current bound: 5392
560.06/568.08	c current bound: 5392
560.81/568.65	c current bound: 5392
561.19/569.21	c current bound: 5392
561.92/569.78	c current bound: 5392
562.33/570.35	c current bound: 5392
563.13/570.92	c current bound: 5392
563.46/571.48	c current bound: 5392
564.23/572.05	c current bound: 5392
564.60/572.62	c current bound: 5392
565.42/573.20	c current bound: 5392
565.74/573.76	c current bound: 5392
566.52/574.33	c current bound: 5392
566.88/574.90	c current bound: 5392
567.45/575.47	c current bound: 5392
568.01/576.04	c current bound: 5392
568.57/576.61	c current bound: 5392
569.14/577.17	c current bound: 5392
569.72/577.73	c current bound: 5392
570.29/578.30	c current bound: 5392
570.84/578.91	c current bound: 5392
571.42/579.48	c current bound: 5392
571.98/580.05	c current bound: 5392
572.56/580.62	c current bound: 5392
573.13/581.18	c current bound: 5392
573.70/581.75	c current bound: 5392
574.25/582.32	c current bound: 5392
574.83/582.88	c current bound: 5392
575.65/583.72	c current bound: 5392
575.95/584.28	c current bound: 5392
576.53/584.85	c current bound: 5392
577.09/585.41	c current bound: 5392
577.66/585.98	c current bound: 5392
578.23/586.56	c current bound: 5392
579.08/587.33	c current bound: 5392
579.38/587.89	c current bound: 5392
580.22/588.72	c current bound: 5392
580.52/589.28	c current bound: 5392
581.08/589.85	c current bound: 5392
581.65/590.41	c current bound: 5392
582.23/590.98	c current bound: 5392
582.80/591.55	c current bound: 5392
583.36/592.11	c current bound: 5392
583.92/592.68	c current bound: 5392
584.50/593.24	c current bound: 5392
585.06/593.81	c current bound: 5392
585.62/594.37	c current bound: 5392
586.19/594.94	c current bound: 5392
586.76/595.50	c current bound: 5392
587.32/596.06	c current bound: 5392
587.89/596.63	c current bound: 5392
588.45/597.19	c current bound: 5392
589.02/597.76	c current bound: 5392
589.81/598.33	c current bound: 5392
590.15/598.89	c current bound: 5392
590.92/599.46	c current bound: 5392
591.30/600.03	c current bound: 5392
592.13/600.61	c current bound: 5392
592.44/601.17	c current bound: 5392
593.23/601.75	c current bound: 5392
593.58/602.31	c current bound: 5392
594.32/602.89	c current bound: 5392
594.73/603.45	c current bound: 5392
595.52/604.02	c current bound: 5392
595.86/604.58	c current bound: 5392
596.63/605.17	c current bound: 5392
597.00/605.73	c current bound: 5392
597.57/606.31	c current bound: 5392
598.15/606.87	c current bound: 5392
598.72/607.44	c current bound: 5392
599.28/608.01	c current bound: 5392
599.86/608.57	c current bound: 5392
600.42/609.13	c current bound: 5392
601.24/609.70	c current bound: 5392
601.54/610.26	c current bound: 5392
602.11/610.83	c current bound: 5392
602.94/611.40	c current bound: 5392
603.25/611.96	c current bound: 5392
603.81/612.53	c current bound: 5392
604.38/613.09	c current bound: 5392
604.94/613.66	c current bound: 5392
605.52/614.23	c current bound: 5392
606.09/614.80	c current bound: 5392
606.66/615.37	c current bound: 5392
607.43/615.94	c current bound: 5392
607.80/616.51	c current bound: 5392
608.54/617.08	c current bound: 5392
608.93/617.64	c current bound: 5392
609.75/618.22	c current bound: 5392
610.07/618.78	c current bound: 5392
610.81/619.39	c current bound: 5392
611.21/619.95	c current bound: 5392
612.00/620.52	c current bound: 5392
612.35/621.08	c current bound: 5392
613.11/621.66	c current bound: 5392
613.50/622.23	c current bound: 5392
614.06/622.81	c current bound: 5392
614.64/623.37	c current bound: 5392
615.20/624.06	c current bound: 5392
615.76/624.63	c current bound: 5392
616.32/625.19	c current bound: 5392
616.89/625.77	c current bound: 5392
617.48/626.33	c current bound: 5392
618.04/626.90	c current bound: 5392
618.61/627.46	c current bound: 5392
619.40/628.04	c current bound: 5392
619.75/628.60	c current bound: 5392
620.59/629.27	c current bound: 5392
620.90/629.83	c current bound: 5392
621.72/630.40	c current bound: 5392
622.05/630.97	c current bound: 5392
622.82/631.54	c current bound: 5392
623.17/632.11	c current bound: 5392
623.74/632.67	c current bound: 5392
624.31/633.24	c current bound: 5392
624.88/633.81	c current bound: 5392
625.70/634.68	c current bound: 5392
626.01/635.25	c current bound: 5392
626.83/635.83	c current bound: 5392
627.16/636.39	c current bound: 5392
627.92/636.96	c current bound: 5392
628.30/637.53	c current bound: 5392
629.13/638.10	c current bound: 5392
629.43/638.66	c current bound: 5392
630.21/639.25	c current bound: 5392
630.58/639.88	c current bound: 5392
631.15/640.45	c current bound: 5392
631.72/641.01	c current bound: 5392
632.27/641.57	c current bound: 5392
632.84/642.14	c current bound: 5392
633.41/642.70	c current bound: 5392
633.98/643.27	c current bound: 5392
634.55/643.84	c current bound: 5392
635.12/644.47	c current bound: 5392
635.69/645.06	c current bound: 5392
636.51/645.64	c current bound: 5392
636.86/646.22	c current bound: 5392
637.71/646.81	c current bound: 5392
638.03/647.39	c current bound: 5392
638.81/647.97	c current bound: 5392
639.19/648.55	c current bound: 5392
640.00/649.13	c current bound: 5392
640.36/649.72	c current bound: 5392
641.22/650.30	c current bound: 5392
641.51/650.88	c current bound: 5392
642.09/651.45	c current bound: 5392
642.66/652.03	c current bound: 5392
643.25/652.59	c current bound: 5392
643.81/653.17	c current bound: 5392
644.39/653.75	c current bound: 5392
644.95/654.33	c current bound: 5392
645.55/654.96	c current bound: 5392
646.36/655.53	c current bound: 5392
646.71/656.11	c current bound: 5392
647.47/656.70	c current bound: 5392
647.87/657.27	c current bound: 5392
648.67/657.85	c current bound: 5392
649.02/658.41	c current bound: 5392
649.77/658.99	c current bound: 5392
650.43/659.76	c current bound: 5392
650.74/660.34	c current bound: 5392
651.32/660.92	c current bound: 5392
651.90/661.49	c current bound: 5392
652.49/662.07	c current bound: 5392
653.06/662.64	c current bound: 5392
653.88/663.22	c current bound: 5392
654.48/663.80	c current bound: 5392
654.98/664.37	c current bound: 5392
655.37/664.95	c current bound: 5392
656.19/665.53	c current bound: 5392
656.52/666.11	c current bound: 5392
657.28/666.69	c current bound: 5392
657.67/667.27	c current bound: 5392
658.50/667.85	c current bound: 5392
658.84/668.42	c current bound: 5392
659.43/669.00	c current bound: 5392
660.01/669.73	c current bound: 5392
660.58/670.29	c current bound: 5392
661.14/670.87	c current bound: 5392
661.72/671.45	c current bound: 5392
662.55/672.05	c current bound: 5392
662.91/672.63	c current bound: 5392
663.77/673.21	c current bound: 5392
664.06/673.78	c current bound: 5392
664.85/674.36	c current bound: 5392
665.21/674.94	c current bound: 5392
666.04/675.53	c current bound: 5392
666.38/676.11	c current bound: 5392
666.96/676.66	c current bound: 5392
667.52/677.25	c current bound: 5392
668.12/677.83	c current bound: 5392
668.70/678.41	c current bound: 5392
669.28/678.99	c current bound: 5392
669.85/679.57	c current bound: 5392
670.44/680.20	c current bound: 5392
671.02/680.78	c current bound: 5392
671.60/681.36	c current bound: 5392
672.42/681.94	c current bound: 5392
672.77/682.52	c current bound: 5392
673.52/683.09	c current bound: 5392
673.93/683.68	c current bound: 5392
674.73/684.26	c current bound: 5392
675.08/685.08	c current bound: 5392
675.66/685.64	c current bound: 5392
676.23/686.22	c current bound: 5392
676.81/686.80	c current bound: 5392
677.38/687.38	c current bound: 5392
677.97/687.96	c current bound: 5392
678.78/688.54	c current bound: 5392
679.14/689.12	c current bound: 5392
679.88/689.70	c current bound: 5392
680.30/690.41	c current bound: 5392
680.87/690.99	c current bound: 5392
681.46/691.57	c current bound: 5392
682.04/692.15	c current bound: 5392
682.60/692.73	c current bound: 5392
683.19/693.28	c current bound: 5392
683.74/693.86	c current bound: 5392
684.33/694.44	c current bound: 5392
684.91/695.02	c current bound: 5392
685.48/695.58	c current bound: 5392
686.05/696.14	c current bound: 5392
686.61/696.71	c current bound: 5392
687.18/697.28	c current bound: 5392
687.77/697.85	c current bound: 5392
688.56/698.43	c current bound: 5392
688.90/698.99	c current bound: 5392
689.65/699.56	c current bound: 5392
690.05/700.13	c current bound: 5392
690.88/700.70	c current bound: 5392
691.18/701.27	c current bound: 5392
691.96/701.84	c current bound: 5392
692.32/702.41	c current bound: 5392
693.06/702.99	c current bound: 5392
693.46/703.55	c current bound: 5392
694.26/704.14	c current bound: 5392
694.62/704.70	c current bound: 5392
695.18/705.26	c current bound: 5392
695.74/705.83	c current bound: 5392
696.31/706.39	c current bound: 5392
696.89/706.96	c current bound: 5392
697.45/707.53	c current bound: 5392
698.01/708.09	c current bound: 5392
698.57/708.66	c current bound: 5392
699.14/709.22	c current bound: 5392
699.72/709.79	c current bound: 5392
700.28/710.35	c current bound: 5392
700.84/710.91	c current bound: 5392
701.41/711.48	c current bound: 5392
701.98/712.05	c current bound: 5392
702.56/712.61	c current bound: 5392
703.12/713.18	c current bound: 5392
703.69/713.76	c current bound: 5392
704.26/714.32	c current bound: 5392
704.83/714.89	c current bound: 5392
705.40/715.47	c current bound: 5392
706.16/716.05	c current bound: 5392
706.53/716.62	c current bound: 5392
707.26/717.20	c current bound: 5392
707.68/717.76	c current bound: 5392
708.46/718.34	c current bound: 5392
708.83/718.90	c current bound: 5392
709.57/719.47	c current bound: 5392
710.19/720.46	c current bound: 5392
710.53/721.03	c current bound: 5392
711.25/721.60	c current bound: 5392
711.66/722.17	c current bound: 5392
712.45/722.74	c current bound: 5392
712.82/723.31	c current bound: 5392
713.55/723.89	c current bound: 5392
713.98/724.46	c current bound: 5392
714.80/725.15	c current bound: 5392
715.11/725.71	c current bound: 5392
715.69/726.28	c current bound: 5392
716.26/726.84	c current bound: 5392
716.82/727.40	c current bound: 5392
717.39/727.97	c current bound: 5392
717.96/728.53	c current bound: 5392
718.51/729.09	c current bound: 5392
719.08/729.66	c current bound: 5392
719.65/730.22	c current bound: 5392
720.22/730.79	c current bound: 5392
720.78/731.35	c current bound: 5392
721.35/731.92	c current bound: 5392
721.92/732.49	c current bound: 5392
722.49/733.07	c current bound: 5392
723.29/733.64	c current bound: 5392
723.64/734.21	c current bound: 5392
724.39/734.78	c current bound: 5392
724.79/735.35	c current bound: 5392
725.59/735.94	c current bound: 5392
725.94/736.50	c current bound: 5392
726.69/737.07	c current bound: 5392
727.07/737.63	c current bound: 5392
727.89/738.20	c current bound: 5392
728.21/738.77	c current bound: 5392
728.98/739.35	c current bound: 5392
729.37/739.91	c current bound: 5392
729.93/740.48	c current bound: 5392
730.49/741.05	c current bound: 5392
731.05/741.61	c current bound: 5392
731.63/742.18	c current bound: 5392
732.19/742.74	c current bound: 5392
732.75/743.30	c current bound: 5392
733.32/743.87	c current bound: 5392
733.89/744.44	c current bound: 5392
734.47/745.00	c current bound: 5392
735.02/745.63	c current bound: 5392
735.59/746.20	c current bound: 5392
736.16/746.77	c current bound: 5392
736.73/747.33	c current bound: 5392
737.29/747.90	c current bound: 5392
737.85/748.46	c current bound: 5392
738.65/749.03	c current bound: 5392
739.26/749.60	c current bound: 5392
739.82/750.32	c current bound: 5392
740.13/750.89	c current bound: 5392
740.90/751.46	c current bound: 5392
741.26/752.02	c current bound: 5392
741.81/752.58	c current bound: 5392
742.38/753.14	c current bound: 5392
742.95/753.71	c current bound: 5392
743.52/754.28	c current bound: 5392
744.08/754.84	c current bound: 5392
744.64/755.51	c current bound: 5392
745.21/756.07	c current bound: 5392
745.77/756.63	c current bound: 5392
746.61/757.20	c current bound: 5392
746.91/757.76	c current bound: 5392
747.48/758.32	c current bound: 5392
748.04/758.90	c current bound: 5392
748.62/759.46	c current bound: 5392
749.41/760.02	c current bound: 5392
749.74/760.59	c current bound: 5392
750.51/761.17	c current bound: 5392
750.89/761.73	c current bound: 5392
751.61/762.30	c current bound: 5392
752.02/762.86	c current bound: 5392
752.81/763.44	c current bound: 5392
753.17/764.00	c current bound: 5392
753.92/764.57	c current bound: 5392
754.30/765.13	c current bound: 5392
755.11/765.72	c current bound: 5392
755.44/766.28	c current bound: 5392
756.21/766.84	c current bound: 5392
756.57/767.42	c current bound: 5392
757.15/767.98	c current bound: 5392
757.72/768.55	c current bound: 5392
758.29/769.13	c current bound: 5392
758.87/769.69	c current bound: 5392
759.43/770.26	c current bound: 5392
760.00/770.82	c current bound: 5392
760.57/771.39	c current bound: 5392
761.14/771.96	c current bound: 5392
761.70/772.53	c current bound: 5392
762.29/773.09	c current bound: 5392
762.84/773.66	c current bound: 5392
763.41/774.23	c current bound: 5392
763.98/774.79	c current bound: 5392
764.55/775.36	c current bound: 5392
765.11/775.92	c current bound: 5392
765.68/776.50	c current bound: 5392
766.26/777.06	c current bound: 5392
767.05/777.63	c current bound: 5392
767.39/778.19	c current bound: 5392
768.13/778.77	c current bound: 5392
768.52/779.33	c current bound: 5392
769.24/779.90	c current bound: 5392
769.67/780.47	c current bound: 5392
770.46/781.03	c current bound: 5392
770.80/781.59	c current bound: 5392
771.55/782.16	c current bound: 5392
771.93/782.72	c current bound: 5392
772.74/783.30	c current bound: 5392
773.09/783.87	c current bound: 5392
773.84/784.44	c current bound: 5392
774.21/785.01	c current bound: 5392
774.79/785.57	c current bound: 5392
775.36/786.14	c current bound: 5392
775.92/786.70	c current bound: 5392
776.47/787.27	c current bound: 5392
777.04/787.83	c current bound: 5392
777.61/788.39	c current bound: 5392
778.17/788.96	c current bound: 5392
778.73/789.52	c current bound: 5392
779.30/790.09	c current bound: 5392
779.87/790.66	c current bound: 5392
780.44/791.22	c current bound: 5392
781.01/791.79	c current bound: 5392
781.57/792.35	c current bound: 5392
782.14/792.92	c current bound: 5392
782.70/793.48	c current bound: 5392
783.27/794.05	c current bound: 5392
783.84/794.62	c current bound: 5392
784.41/795.20	c current bound: 5392
784.98/795.76	c current bound: 5392
785.77/796.33	c current bound: 5392
786.11/796.89	c current bound: 5392
786.88/797.46	c current bound: 5392
787.25/798.02	c current bound: 5392
787.96/798.59	c current bound: 5392
788.38/799.16	c current bound: 5392
789.17/799.72	c current bound: 5392
789.53/800.29	c current bound: 5392
790.27/800.88	c current bound: 5392
790.69/801.45	c current bound: 5392
791.48/802.04	c current bound: 5392
791.84/802.60	c current bound: 5392
792.39/803.16	c current bound: 5392
792.97/803.73	c current bound: 5392
793.53/804.31	c current bound: 5392
794.10/804.88	c current bound: 5392
794.69/805.46	c current bound: 5392
795.26/806.02	c current bound: 5392
795.82/806.58	c current bound: 5392
796.39/807.14	c current bound: 5392
796.95/807.71	c current bound: 5392
797.52/808.27	c current bound: 5392
798.08/808.83	c current bound: 5392
798.90/809.40	c current bound: 5392
799.21/809.96	c current bound: 5392
799.77/810.52	c current bound: 5392
800.34/811.08	c current bound: 5392
800.89/811.68	c current bound: 5392
801.46/812.26	c current bound: 5392
802.26/812.82	c current bound: 5392
802.60/813.39	c current bound: 5392
803.35/813.97	c current bound: 5392
803.74/814.54	c current bound: 5392
804.55/815.11	c current bound: 5392
804.89/815.68	c current bound: 5392
805.71/816.33	c current bound: 5392
806.03/816.90	c current bound: 5392
806.59/817.47	c current bound: 5392
807.16/818.03	c current bound: 5392
807.99/818.60	c current bound: 5392
808.28/819.16	c current bound: 5392
808.86/819.73	c current bound: 5392
809.42/820.30	c current bound: 5392
810.01/820.87	c current bound: 5392
810.58/821.43	c current bound: 5392
811.41/822.00	c current bound: 5392
811.70/822.56	c current bound: 5392
812.26/823.12	c current bound: 5392
812.85/823.69	c current bound: 5392
813.40/824.26	c current bound: 5392
813.96/824.83	c current bound: 5392
814.81/825.40	c current bound: 5392
815.12/825.96	c current bound: 5392
815.69/826.53	c current bound: 5392
816.26/827.10	c current bound: 5392
816.83/827.67	c current bound: 5392
817.62/828.26	c current bound: 5392
817.99/828.82	c current bound: 5392
818.71/829.40	c current bound: 5392
819.13/829.96	c current bound: 5392
819.91/830.54	c current bound: 5392
820.27/831.11	c current bound: 5392
821.01/831.69	c current bound: 5392
821.41/832.25	c current bound: 5392
822.20/832.83	c current bound: 5392
822.82/833.40	c current bound: 5392
823.13/833.96	c current bound: 5392
823.69/834.52	c current bound: 5392
824.25/835.09	c current bound: 5392
824.81/835.66	c current bound: 5392
825.39/836.22	c current bound: 5392
825.96/836.84	c current bound: 5392
826.52/837.41	c current bound: 5392
827.10/837.97	c current bound: 5392
827.66/838.54	c current bound: 5392
828.23/839.11	c current bound: 5392
828.81/839.67	c current bound: 5392
829.38/840.24	c current bound: 5392
829.94/840.81	c current bound: 5392
830.76/841.48	c current bound: 5392
831.07/842.04	c current bound: 5392
831.88/842.61	c current bound: 5392
832.21/843.17	c current bound: 5392
832.98/843.75	c current bound: 5392
833.35/844.31	c current bound: 5392
834.08/844.88	c current bound: 5392
834.47/845.44	c current bound: 5392
835.27/846.01	c current bound: 5392
835.61/846.57	c current bound: 5392
836.37/847.16	c current bound: 5392
836.76/847.73	c current bound: 5392
837.59/848.30	c current bound: 5392
837.91/848.87	c current bound: 5392
838.47/849.43	c current bound: 5392
839.03/850.00	c current bound: 5392
839.62/850.57	c current bound: 5392
840.17/851.14	c current bound: 5392
840.76/851.71	c current bound: 5392
841.32/852.28	c current bound: 5392
841.90/852.85	c current bound: 5392
842.47/853.41	c current bound: 5392
843.04/853.98	c current bound: 5392
843.60/854.55	c current bound: 5392
844.18/855.12	c current bound: 5392
844.74/855.69	c current bound: 5392
845.31/856.26	c current bound: 5392
846.11/856.83	c current bound: 5392
846.45/857.39	c current bound: 5392
847.21/857.96	c current bound: 5392
847.58/858.53	c current bound: 5392
848.31/859.09	c current bound: 5392
848.70/859.65	c current bound: 5392
849.52/860.23	c current bound: 5392
850.11/860.80	c current bound: 5392
850.60/861.38	c current bound: 5392
851.00/862.01	c current bound: 5392
851.57/862.57	c current bound: 5392
852.14/863.14	c current bound: 5392
852.70/863.71	c current bound: 5392
853.27/864.27	c current bound: 5392
853.84/864.84	c current bound: 5392
854.40/865.41	c current bound: 5392
854.97/865.97	c current bound: 5392
855.80/866.71	c current bound: 5392
856.11/867.27	c current bound: 5392
856.88/867.84	c current bound: 5392
857.25/868.41	c current bound: 5392
857.99/868.98	c current bound: 5392
858.38/869.55	c current bound: 5392
859.17/870.12	c current bound: 5392
859.80/870.70	c current bound: 5392
860.28/871.27	c current bound: 5392
860.68/871.84	c current bound: 5392
861.48/872.43	c current bound: 5392
862.09/873.00	c current bound: 5392
862.39/873.56	c current bound: 5392
862.96/874.13	c current bound: 5392
863.53/874.69	c current bound: 5392
864.09/875.28	c current bound: 5392
864.67/875.84	c current bound: 5392
865.25/876.41	c current bound: 5392
865.81/876.97	c current bound: 5392
866.37/877.53	c current bound: 5392
866.93/878.10	c current bound: 5392
867.50/878.67	c current bound: 5392
868.07/879.23	c current bound: 5392
868.89/879.80	c current bound: 5392
869.19/880.36	c current bound: 5392
869.76/880.92	c current bound: 5392
870.33/881.49	c current bound: 5392
871.12/882.13	c current bound: 5392
871.47/882.69	c current bound: 5392
872.22/883.26	c current bound: 5392
872.60/883.83	c current bound: 5392
873.43/884.40	c current bound: 5392
873.75/884.97	c current bound: 5392
874.51/885.55	c current bound: 5392
874.89/886.12	c current bound: 5392
875.71/886.76	c current bound: 5392
876.04/887.33	c current bound: 5392
876.87/887.90	c current bound: 5392
877.17/888.46	c current bound: 5392
877.74/889.03	c current bound: 5392
878.30/889.60	c current bound: 5392
878.89/890.17	c current bound: 5392
879.45/890.74	c current bound: 5392
880.03/891.31	c current bound: 5392
880.58/891.87	c current bound: 5392
881.16/892.44	c current bound: 5392
881.73/893.00	c current bound: 5392
882.30/893.57	c current bound: 5392
882.87/894.14	c current bound: 5392
883.43/894.71	c current bound: 5392
883.99/895.27	c current bound: 5392
884.56/895.84	c current bound: 5392
885.37/896.41	c current bound: 5392
885.70/896.98	c current bound: 5392
886.48/897.56	c current bound: 5392
886.86/898.12	c current bound: 5392
887.58/898.69	c current bound: 5392
887.99/899.26	c current bound: 5392
888.77/899.84	c current bound: 5392
889.13/900.40	c current bound: 5392
889.88/900.98	c current bound: 5392
890.27/901.54	c current bound: 5392
891.07/902.12	c current bound: 5392
891.42/902.69	c current bound: 5392
892.17/903.28	c current bound: 5392
892.56/903.84	c current bound: 5392
893.13/904.40	c current bound: 5392
893.69/904.97	c current bound: 5392
894.25/905.53	c current bound: 5392
894.83/906.09	c current bound: 5392
895.39/906.66	c current bound: 5392
895.95/907.25	c current bound: 5392
896.51/907.81	c current bound: 5392
897.07/908.38	c current bound: 5392
897.63/908.94	c current bound: 5392
898.20/909.50	c current bound: 5392
898.77/910.06	c current bound: 5392
899.33/910.63	c current bound: 5392
899.90/911.19	c current bound: 5392
900.70/911.90	c current bound: 5392
901.02/912.47	c current bound: 5392
901.80/913.04	c current bound: 5392
902.42/913.60	c current bound: 5392
902.89/914.16	c current bound: 5392
903.28/914.73	c current bound: 5392
904.11/915.30	c current bound: 5392
904.41/915.88	c current bound: 5392
905.20/916.46	c current bound: 5392
905.57/917.02	c current bound: 5392
906.13/917.59	c current bound: 5392
906.71/918.15	c current bound: 5392
907.27/918.71	c current bound: 5392
907.85/919.28	c current bound: 5392
908.40/919.84	c current bound: 5392
908.97/920.41	c current bound: 5392
909.54/920.98	c current bound: 5392
910.12/921.55	c current bound: 5392
910.68/922.12	c current bound: 5392
911.27/922.69	c current bound: 5392
911.83/923.26	c current bound: 5392
912.40/923.83	c current bound: 5392
912.97/924.39	c current bound: 5392
913.56/924.96	c current bound: 5392
914.12/925.53	c current bound: 5392
914.70/926.10	c current bound: 5392
915.25/926.67	c current bound: 5392
916.04/927.25	c current bound: 5392
916.40/927.82	c current bound: 5392
917.15/928.38	c current bound: 5392
917.53/928.95	c current bound: 5392
918.34/929.51	c current bound: 5392
918.67/930.08	c current bound: 5392
919.43/930.66	c current bound: 5392
919.81/931.22	c current bound: 5392
920.63/931.81	c current bound: 5392
920.96/932.40	c current bound: 5392
921.52/932.97	c current bound: 5392
922.08/933.53	c current bound: 5392
922.90/934.10	c current bound: 5392
923.21/934.66	c current bound: 5392
923.78/935.22	c current bound: 5392
924.34/935.78	c current bound: 5392
924.91/936.35	c current bound: 5392
925.47/937.04	c current bound: 5392
926.05/937.60	c current bound: 5392
926.61/938.17	c current bound: 5392
927.17/938.73	c current bound: 5392
927.75/939.29	c current bound: 5392
928.30/939.87	c current bound: 5392
929.10/940.43	c current bound: 5392
929.46/940.99	c current bound: 5392
930.21/941.56	c current bound: 5392
930.58/942.13	c current bound: 5392
931.40/942.72	c current bound: 5392
931.73/943.28	c current bound: 5392
932.50/943.86	c current bound: 5392
932.87/944.42	c current bound: 5392
933.69/945.01	c current bound: 5392
934.03/945.58	c current bound: 5392
934.79/946.15	c current bound: 5392
935.17/946.72	c current bound: 5392
935.75/947.29	c current bound: 5392
936.31/947.85	c current bound: 5392
936.89/948.42	c current bound: 5392
937.45/948.99	c current bound: 5392
938.02/949.55	c current bound: 5392
938.59/950.12	c current bound: 5392
939.16/950.69	c current bound: 5392
939.73/951.25	c current bound: 5392
940.28/951.82	c current bound: 5392
940.86/952.39	c current bound: 5392
941.43/952.95	c current bound: 5392
941.98/953.52	c current bound: 5392
942.56/954.08	c current bound: 5392
943.12/954.65	c current bound: 5392
943.68/955.22	c current bound: 5392
944.26/955.78	c current bound: 5392
944.82/956.35	c current bound: 5392
945.61/956.91	c current bound: 5392
945.95/957.48	c current bound: 5392
946.72/958.04	c current bound: 5392
947.07/958.61	c current bound: 5392
947.82/959.18	c current bound: 5392
948.22/959.74	c current bound: 5392
949.04/960.31	c current bound: 5392
949.36/960.88	c current bound: 5392
950.11/961.46	c current bound: 5392
950.50/962.02	c current bound: 5392
951.31/962.61	c current bound: 5392
951.65/963.18	c current bound: 5392
952.39/963.75	c current bound: 5392
952.78/964.31	c current bound: 5392
953.34/964.88	c current bound: 5392
953.92/965.45	c current bound: 5392
954.48/966.01	c current bound: 5392
955.03/966.57	c current bound: 5392
955.84/967.25	c current bound: 5392
956.16/967.80	c current bound: 5392
956.70/968.36	c current bound: 5392
957.26/968.92	c current bound: 5392
957.82/969.47	c current bound: 5392
958.37/970.03	c current bound: 5392
958.94/970.59	c current bound: 5392
959.48/971.14	c current bound: 5392
960.30/971.70	c current bound: 5392
960.85/972.33	c current bound: 5392
961.17/972.89	c current bound: 5392
961.93/973.45	c current bound: 5392
962.29/974.00	c current bound: 5392
963.04/974.56	c current bound: 5392
963.39/975.12	c current bound: 5392
964.14/975.68	c current bound: 5392
964.52/976.24	c current bound: 5392
965.23/976.80	c current bound: 5392
965.64/977.35	c current bound: 5392
966.44/977.91	c current bound: 5392
966.74/978.47	c current bound: 5392
967.54/979.03	c current bound: 5392
967.88/979.58	c current bound: 5392
968.64/980.15	c current bound: 5392
968.99/980.71	c current bound: 5392
969.74/981.26	c current bound: 5392
970.10/981.82	c current bound: 5392
970.84/982.38	c current bound: 5392
971.23/982.94	c current bound: 5392
972.03/983.51	c current bound: 5392
972.38/984.09	c current bound: 5392
973.14/984.65	c current bound: 5392
973.50/985.21	c current bound: 5392
974.06/985.77	c current bound: 5392
974.62/986.32	c current bound: 5392
975.18/986.88	c current bound: 5392
975.72/987.44	c current bound: 5392
976.29/988.00	c current bound: 5392
976.84/988.56	c current bound: 5392
977.39/989.12	c current bound: 5392
977.97/989.68	c current bound: 5392
978.53/990.24	c current bound: 5392
979.07/990.81	c current bound: 5392
979.65/991.37	c current bound: 5392
980.21/991.93	c current bound: 5392
981.03/992.50	c current bound: 5392
981.32/993.05	c current bound: 5392
981.90/993.62	c current bound: 5392
982.45/994.18	c current bound: 5392
983.00/994.73	c current bound: 5392
983.56/995.29	c current bound: 5392
984.14/995.86	c current bound: 5392
984.70/996.42	c current bound: 5392
985.27/996.98	c current bound: 5392
985.82/997.54	c current bound: 5392
986.38/998.09	c current bound: 5392
986.94/998.65	c current bound: 5392
987.49/999.21	c current bound: 5392
988.06/999.77	c current bound: 5392
988.61/1000.33	c current bound: 5392
989.18/1000.89	c current bound: 5392
989.74/1001.45	c current bound: 5392
990.56/1002.00	c current bound: 5392
990.86/1002.56	c current bound: 5392
991.66/1003.12	c current bound: 5392
991.97/1003.67	c current bound: 5392
992.75/1004.24	c current bound: 5392
993.36/1004.80	c current bound: 5392
993.85/1005.35	c current bound: 5392
994.22/1005.91	c current bound: 5392
994.95/1006.47	c current bound: 5392
995.33/1007.03	c current bound: 5392
996.06/1007.58	c current bound: 5392
996.45/1008.14	c current bound: 5392
997.27/1008.70	c current bound: 5392
997.58/1009.26	c current bound: 5392
998.37/1009.82	c current bound: 5392
998.69/1010.38	c current bound: 5392
999.47/1010.93	c current bound: 5392
999.81/1011.49	c current bound: 5392
1000.57/1012.07	c current bound: 5392
1000.95/1012.62	c current bound: 5392
1001.68/1013.18	c current bound: 5392
1002.06/1013.75	c current bound: 5392
1002.86/1014.31	c current bound: 5392
1003.20/1014.88	c current bound: 5392
1003.97/1015.44	c current bound: 5392
1004.57/1016.00	c current bound: 5392
1005.06/1016.56	c current bound: 5392
1005.43/1017.11	c current bound: 5392
1005.99/1017.67	c current bound: 5392
1006.54/1018.23	c current bound: 5392
1007.11/1018.79	c current bound: 5392
1007.67/1019.36	c current bound: 5392
1008.24/1019.93	c current bound: 5392
1008.81/1020.48	c current bound: 5392
1009.36/1021.06	c current bound: 5392
1009.92/1021.62	c current bound: 5392
1010.50/1022.19	c current bound: 5392
1011.05/1022.74	c current bound: 5392
1011.61/1023.31	c current bound: 5392
1012.18/1023.87	c current bound: 5392
1012.75/1024.44	c current bound: 5392
1013.30/1025.00	c current bound: 5392
1013.86/1025.57	c current bound: 5392
1014.43/1026.13	c current bound: 5392
1014.99/1026.68	c current bound: 5392
1015.54/1027.24	c current bound: 5392
1016.10/1027.80	c current bound: 5392
1016.67/1028.35	c current bound: 5392
1017.22/1028.91	c current bound: 5392
1017.77/1029.47	c current bound: 5392
1018.33/1030.02	c current bound: 5392
1018.89/1030.58	c current bound: 5392
1019.45/1031.13	c current bound: 5392
1020.00/1031.69	c current bound: 5392
1020.57/1032.25	c current bound: 5392
1021.37/1032.80	c current bound: 5392
1021.67/1033.36	c current bound: 5392
1022.46/1033.92	c current bound: 5392
1022.80/1034.47	c current bound: 5392
1023.57/1035.03	c current bound: 5392
1023.90/1035.59	c current bound: 5392
1024.66/1036.14	c current bound: 5392
1025.02/1036.70	c current bound: 5392
1025.77/1037.26	c current bound: 5392
1026.15/1037.82	c current bound: 5392
1026.87/1038.38	c current bound: 5392
1027.26/1038.94	c current bound: 5392
1027.98/1039.50	c current bound: 5392
1028.38/1040.05	c current bound: 5392
1029.17/1040.61	c current bound: 5392
1029.49/1041.19	c current bound: 5392
1030.27/1041.75	c current bound: 5392
1030.63/1042.31	c current bound: 5392
1031.39/1042.87	c current bound: 5392
1031.74/1043.43	c current bound: 5392
1032.48/1043.98	c current bound: 5392
1032.87/1044.54	c current bound: 5392
1033.58/1045.10	c current bound: 5392
1033.98/1045.66	c current bound: 5392
1034.77/1046.21	c current bound: 5392
1035.10/1046.77	c current bound: 5392
1035.88/1047.33	c current bound: 5392
1036.22/1047.88	c current bound: 5392
1036.97/1048.44	c current bound: 5392
1037.59/1049.00	c current bound: 5392
1037.89/1049.56	c current bound: 5392
1038.44/1050.11	c current bound: 5392
1039.01/1050.68	c current bound: 5392
1039.57/1051.23	c current bound: 5392
1040.12/1051.79	c current bound: 5392
1040.67/1052.35	c current bound: 5392
1041.24/1052.91	c current bound: 5392
1041.80/1053.47	c current bound: 5392
1042.37/1054.03	c current bound: 5392
1042.93/1054.59	c current bound: 5392
1043.49/1055.16	c current bound: 5392
1044.04/1055.72	c current bound: 5392
1044.62/1056.29	c current bound: 5392
1045.16/1056.84	c current bound: 5392
1045.99/1057.40	c current bound: 5392
1046.29/1057.96	c current bound: 5392
1046.85/1058.53	c current bound: 5392
1047.42/1059.09	c current bound: 5392
1048.00/1059.67	c current bound: 5392
1048.55/1060.22	c current bound: 5392
1049.11/1060.78	c current bound: 5392
1049.67/1061.33	c current bound: 5392
1050.23/1061.89	c current bound: 5392
1050.78/1062.45	c current bound: 5392
1051.34/1063.01	c current bound: 5392
1051.91/1063.57	c current bound: 5392
1052.47/1064.12	c current bound: 5392
1053.02/1064.68	c current bound: 5392
1053.58/1065.24	c current bound: 5392
1054.13/1065.79	c current bound: 5392
1054.69/1066.35	c current bound: 5392
1055.51/1066.90	c current bound: 5392
1055.79/1067.46	c current bound: 5392
1056.60/1068.02	c current bound: 5392
1056.91/1068.57	c current bound: 5392
1057.69/1069.13	c current bound: 5392
1058.03/1069.69	c current bound: 5392
1058.79/1070.24	c current bound: 5392
1059.14/1070.80	c current bound: 5392
1059.89/1071.36	c current bound: 5392
1060.26/1071.92	c current bound: 5392
1061.00/1072.48	c current bound: 5392
1061.38/1073.04	c current bound: 5392
1062.10/1073.60	c current bound: 5392
1062.51/1074.16	c current bound: 5392
1063.29/1074.71	c current bound: 5392
1063.62/1075.27	c current bound: 5392
1064.39/1075.83	c current bound: 5392
1064.73/1076.38	c current bound: 5392
1065.50/1076.94	c current bound: 5392
1066.10/1077.50	c current bound: 5392
1066.59/1078.05	c current bound: 5392
1066.96/1078.61	c current bound: 5392
1067.69/1079.17	c current bound: 5392
1068.07/1079.73	c current bound: 5392
1068.79/1080.28	c current bound: 5392
1069.19/1080.84	c current bound: 5392
1070.00/1081.40	c current bound: 5392
1070.31/1081.96	c current bound: 5392
1071.08/1082.52	c current bound: 5392
1071.42/1083.07	c current bound: 5392
1072.18/1083.63	c current bound: 5392
1072.54/1084.19	c current bound: 5392
1073.28/1084.74	c current bound: 5392
1073.66/1085.30	c current bound: 5392
1074.20/1085.88	c current bound: 5392
1074.79/1086.44	c current bound: 5392
1075.61/1087.00	c current bound: 5392
1075.91/1087.56	c current bound: 5392
1076.46/1088.12	c current bound: 5392
1077.02/1088.67	c current bound: 5392
1077.57/1089.24	c current bound: 5392
1078.14/1089.79	c current bound: 5392
1078.69/1090.36	c current bound: 5392
1079.25/1090.92	c current bound: 5392
1079.83/1091.49	c current bound: 5392
1080.38/1092.05	c current bound: 5392
1080.96/1092.62	c current bound: 5392
1081.51/1093.17	c current bound: 5392
1082.08/1093.74	c current bound: 5392
1082.64/1094.31	c current bound: 5392
1083.23/1094.88	c current bound: 5392
1083.79/1095.44	c current bound: 5392
1084.60/1096.00	c current bound: 5392
1084.90/1096.56	c current bound: 5392
1085.45/1097.11	c current bound: 5392
1086.02/1097.67	c current bound: 5392
1086.59/1098.23	c current bound: 5392
1087.13/1098.78	c current bound: 5392
1087.69/1099.34	c current bound: 5392
1088.25/1099.90	c current bound: 5392
1088.80/1100.45	c current bound: 5392
1089.61/1101.01	c current bound: 5392
1089.95/1101.59	c current bound: 5392
1090.71/1102.14	c current bound: 5392
1091.05/1102.70	c current bound: 5392
1091.80/1103.26	c current bound: 5392
1092.17/1103.81	c current bound: 5392
1092.90/1104.37	c current bound: 5392
1093.29/1104.93	c current bound: 5392
1094.00/1105.49	c current bound: 5392
1094.41/1106.05	c current bound: 5392
1095.22/1106.61	c current bound: 5392
1095.52/1107.16	c current bound: 5392
1096.31/1107.72	c current bound: 5392
1096.62/1108.28	c current bound: 5392
1097.40/1108.83	c current bound: 5392
1097.76/1109.39	c current bound: 5392
1098.50/1109.94	c current bound: 5392
1098.86/1110.50	c current bound: 5392
1099.63/1111.06	c current bound: 5392
1099.99/1111.62	c current bound: 5392
1100.71/1112.17	c current bound: 5392
1101.10/1112.73	c current bound: 5392
1101.82/1113.29	c current bound: 5392
1102.21/1113.84	c current bound: 5392
1103.01/1114.40	c current bound: 5392
1103.33/1114.96	c current bound: 5392
1104.11/1115.52	c current bound: 5392
1104.46/1116.08	c current bound: 5392
1105.22/1116.63	c current bound: 5392
1105.57/1117.19	c current bound: 5392
1106.32/1117.75	c current bound: 5392
1106.68/1118.30	c current bound: 5392
1107.23/1118.88	c current bound: 5392
1107.81/1119.44	c current bound: 5392
1108.38/1120.00	c current bound: 5392
1108.94/1120.56	c current bound: 5392
1109.50/1121.12	c current bound: 5392
1110.05/1121.68	c current bound: 5392
1110.62/1122.25	c current bound: 5392
1111.19/1122.81	c current bound: 5392
1111.75/1123.38	c current bound: 5392
1112.31/1123.93	c current bound: 5392
1112.87/1124.51	c current bound: 5392
1113.44/1125.07	c current bound: 5392
1114.01/1125.64	c current bound: 5392
1114.58/1126.20	c current bound: 5392
1115.14/1126.77	c current bound: 5392
1115.69/1127.33	c current bound: 5392
1116.26/1127.88	c current bound: 5392
1116.81/1128.44	c current bound: 5392
1117.37/1128.99	c current bound: 5392
1117.93/1129.55	c current bound: 5392
1118.49/1130.11	c current bound: 5392
1119.04/1130.66	c current bound: 5392
1119.60/1131.23	c current bound: 5392
1120.16/1131.78	c current bound: 5392
1120.73/1132.34	c current bound: 5392
1121.28/1132.90	c current bound: 5392
1121.84/1133.45	c current bound: 5392
1122.63/1134.01	c current bound: 5392
1122.95/1134.56	c current bound: 5392
1123.73/1135.12	c current bound: 5392
1124.06/1135.68	c current bound: 5392
1124.83/1136.24	c current bound: 5392
1125.17/1136.79	c current bound: 5392
1125.93/1137.35	c current bound: 5392
1126.29/1137.91	c current bound: 5392
1127.03/1138.47	c current bound: 5392
1127.40/1139.03	c current bound: 5392
1128.13/1139.59	c current bound: 5392
1128.52/1140.14	c current bound: 5392
1129.22/1140.70	c current bound: 5392
1129.63/1141.25	c current bound: 5392
1130.43/1141.81	c current bound: 5392
1130.75/1142.37	c current bound: 5392
1131.54/1142.92	c current bound: 5392
1132.12/1143.51	c current bound: 5392
1132.61/1144.06	c current bound: 5392
1132.97/1144.62	c current bound: 5392
1133.71/1145.18	c current bound: 5392
1134.10/1145.73	c current bound: 5392
1134.80/1146.29	c current bound: 5392
1135.20/1146.85	c current bound: 5392
1136.00/1147.40	c current bound: 5392
1136.32/1147.96	c current bound: 5392
1137.10/1148.51	c current bound: 5392
1137.43/1149.07	c current bound: 5392
1138.19/1149.63	c current bound: 5392
1138.53/1150.18	c current bound: 5392
1139.30/1150.74	c current bound: 5392
1139.91/1151.30	c current bound: 5392
1140.40/1151.85	c current bound: 5392
1140.76/1152.41	c current bound: 5392
1141.33/1152.97	c current bound: 5392
1141.89/1153.52	c current bound: 5392
1142.44/1154.09	c current bound: 5392
1143.00/1154.65	c current bound: 5392
1143.58/1155.21	c current bound: 5392
1144.13/1155.77	c current bound: 5392
1144.69/1156.34	c current bound: 5392
1145.52/1156.90	c current bound: 5392
1145.81/1157.46	c current bound: 5392
1146.37/1158.02	c current bound: 5392
1146.95/1158.59	c current bound: 5392
1147.52/1159.15	c current bound: 5392
1148.08/1159.72	c current bound: 5392
1148.64/1160.28	c current bound: 5392
1149.21/1160.85	c current bound: 5392
1149.77/1161.41	c current bound: 5392
1150.32/1161.97	c current bound: 5392
1150.88/1162.53	c current bound: 5392
1151.44/1163.08	c current bound: 5392
1152.01/1163.64	c current bound: 5392
1152.56/1164.20	c current bound: 5392
1153.11/1164.75	c current bound: 5392
1153.67/1165.31	c current bound: 5392
1154.23/1165.86	c current bound: 5392
1154.79/1166.42	c current bound: 5392
1155.33/1166.97	c current bound: 5392
1155.89/1167.53	c current bound: 5392
1156.46/1168.09	c current bound: 5392
1157.01/1168.64	c current bound: 5392
1157.57/1169.20	c current bound: 5392
1158.13/1169.76	c current bound: 5392
1158.90/1170.31	c current bound: 5392
1159.24/1170.87	c current bound: 5392
1160.01/1171.43	c current bound: 5392
1160.35/1171.98	c current bound: 5392
1161.12/1172.54	c current bound: 5392
1161.46/1173.09	c current bound: 5392
1162.22/1173.65	c current bound: 5392
1162.57/1174.21	c current bound: 5392
1163.31/1174.76	c current bound: 5392
1163.69/1175.32	c current bound: 5392
1164.41/1175.88	c current bound: 5392
1164.81/1176.43	c current bound: 5392
1165.52/1177.00	c current bound: 5392
1165.92/1177.56	c current bound: 5392
1166.71/1178.12	c current bound: 5392
1167.04/1178.67	c current bound: 5392
1167.81/1179.23	c current bound: 5392
1168.16/1179.79	c current bound: 5392
1168.92/1180.34	c current bound: 5392
1169.26/1180.90	c current bound: 5392
1170.00/1181.46	c current bound: 5392
1170.37/1182.02	c current bound: 5392
1171.10/1182.58	c current bound: 5392
1171.49/1183.13	c current bound: 5392
1172.22/1183.69	c current bound: 5392
1172.62/1184.25	c current bound: 5392
1173.40/1184.81	c current bound: 5392
1173.72/1185.37	c current bound: 5392
1174.51/1185.93	c current bound: 5392
1174.84/1186.49	c current bound: 5392
1175.62/1187.05	c current bound: 5392
1175.97/1187.61	c current bound: 5392
1176.53/1188.17	c current bound: 5392
1177.09/1188.73	c current bound: 5392
1177.92/1189.30	c current bound: 5392
1178.22/1189.86	c current bound: 5392
1178.78/1190.43	c current bound: 5392
1179.34/1190.99	c current bound: 5392
1179.91/1191.55	c current bound: 5392
1180.47/1192.11	c current bound: 5392
1181.03/1192.68	c current bound: 5392
1181.59/1193.25	c current bound: 5392
1182.15/1193.82	c current bound: 5392
1182.73/1194.38	c current bound: 5392
1183.30/1194.94	c current bound: 5392
1183.86/1195.50	c current bound: 5392
1184.41/1196.06	c current bound: 5392
1184.96/1196.62	c current bound: 5392
1185.51/1197.18	c current bound: 5392
1186.08/1197.73	c current bound: 5392
1186.64/1198.29	c current bound: 5392
1187.19/1198.86	c current bound: 5392
1187.76/1199.41	c current bound: 5392
1188.31/1199.97	c current bound: 5392
1188.87/1200.53	c current bound: 5392
1189.44/1201.09	c current bound: 5392
1190.00/1201.65	c current bound: 5392
1190.81/1202.20	c current bound: 5392
1191.11/1202.76	c current bound: 5392
1191.90/1203.32	c current bound: 5392
1192.22/1203.88	c current bound: 5392
1192.99/1204.45	c current bound: 5392
1193.35/1205.00	c current bound: 5392
1194.10/1205.56	c current bound: 5392
1194.47/1206.12	c current bound: 5392
1195.19/1206.68	c current bound: 5392
1195.58/1207.25	c current bound: 5392
1196.40/1207.80	c current bound: 5392
1196.72/1208.36	c current bound: 5392
1197.49/1208.92	c current bound: 5392
1197.83/1209.47	c current bound: 5392
1198.61/1210.03	c current bound: 5392
1198.94/1210.59	c current bound: 5392
1199.70/1211.15	c current bound: 5392
1200.06/1211.70	c current bound: 5392
1200.81/1212.26	c current bound: 5392
1201.17/1212.83	c current bound: 5392
1201.89/1213.38	c current bound: 5392
1202.29/1213.94	c current bound: 5392
1203.12/1214.50	c current bound: 5392
1203.41/1215.06	c current bound: 5392
1204.20/1215.61	c current bound: 5392
1204.53/1216.17	c current bound: 5392
1205.29/1216.73	c current bound: 5392
1205.65/1217.29	c current bound: 5392
1206.40/1217.85	c current bound: 5392
1206.78/1218.41	c current bound: 5392
1207.33/1218.97	c current bound: 5392
1207.87/1219.52	c current bound: 5392
1208.44/1220.09	c current bound: 5392
1209.01/1220.64	c current bound: 5392
1209.56/1221.21	c current bound: 5392
1210.12/1221.76	c current bound: 5392
1210.68/1222.33	c current bound: 5392
1211.24/1222.89	c current bound: 5392
1211.81/1223.45	c current bound: 5392
1212.37/1224.01	c current bound: 5392
1212.93/1224.58	c current bound: 5392
1213.49/1225.13	c current bound: 5392
1214.06/1225.70	c current bound: 5392
1214.62/1226.26	c current bound: 5392
1215.19/1226.83	c current bound: 5392
1215.75/1227.39	c current bound: 5392
1216.31/1227.96	c current bound: 5392
1216.87/1228.52	c current bound: 5392
1217.42/1229.07	c current bound: 5392
1217.98/1229.63	c current bound: 5392
1218.53/1230.19	c current bound: 5392
1219.11/1230.75	c current bound: 5392
1219.66/1231.30	c current bound: 5392
1220.20/1231.86	c current bound: 5392
1220.77/1232.41	c current bound: 5392
1221.32/1232.97	c current bound: 5392
1221.88/1233.53	c current bound: 5392
1222.44/1234.08	c current bound: 5392
1222.98/1234.64	c current bound: 5392
1223.55/1235.19	c current bound: 5392
1224.11/1235.75	c current bound: 5392
1224.90/1236.31	c current bound: 5392
1225.22/1236.87	c current bound: 5392
1226.02/1237.42	c current bound: 5392
1226.34/1237.98	c current bound: 5392
1227.12/1238.54	c current bound: 5392
1227.71/1239.10	c current bound: 5392
1228.22/1239.66	c current bound: 5392
1228.59/1240.21	c current bound: 5392
1229.32/1240.77	c current bound: 5392
1229.69/1241.33	c current bound: 5392
1230.43/1241.88	c current bound: 5392
1230.81/1242.44	c current bound: 5392
1231.52/1243.00	c current bound: 5392
1231.93/1243.56	c current bound: 5392
1232.71/1244.11	c current bound: 5392
1233.04/1244.67	c current bound: 5392
1233.82/1245.23	c current bound: 5392
1234.14/1245.79	c current bound: 5392
1234.92/1246.35	c current bound: 5392
1235.28/1246.91	c current bound: 5392
1236.04/1247.47	c current bound: 5392
1236.40/1248.03	c current bound: 5392
1237.12/1248.58	c current bound: 5392
1237.51/1249.14	c current bound: 5392
1238.33/1249.70	c current bound: 5392
1238.62/1250.26	c current bound: 5392
1239.42/1250.82	c current bound: 5392
1239.75/1251.38	c current bound: 5392
1240.50/1251.94	c current bound: 5392
1241.13/1252.50	c current bound: 5392
1241.61/1253.06	c current bound: 5392
1241.99/1253.61	c current bound: 5392
1242.55/1254.18	c current bound: 5392
1243.11/1254.74	c current bound: 5392
1243.67/1255.30	c current bound: 5392
1244.23/1255.86	c current bound: 5392
1244.79/1256.43	c current bound: 5392
1245.34/1256.99	c current bound: 5392
1245.91/1257.56	c current bound: 5392
1246.48/1258.12	c current bound: 5392
1247.03/1258.68	c current bound: 5392
1247.59/1259.24	c current bound: 5392
1248.16/1259.82	c current bound: 5392
1248.73/1260.38	c current bound: 5392
1249.30/1260.95	c current bound: 5392
1249.85/1261.51	c current bound: 5392
1250.44/1262.08	c current bound: 5392
1250.98/1262.64	c current bound: 5392
1251.54/1263.19	c current bound: 5392
1252.09/1263.75	c current bound: 5392
1252.66/1264.31	c current bound: 5392
1253.21/1264.86	c current bound: 5392
1253.76/1265.42	c current bound: 5392
1254.32/1265.98	c current bound: 5392
1254.89/1266.53	c current bound: 5392
1255.44/1267.09	c current bound: 5392
1256.00/1267.65	c current bound: 5392
1256.82/1268.20	c current bound: 5392
1257.10/1268.76	c current bound: 5392
1257.89/1269.32	c current bound: 5392
1258.22/1269.88	c current bound: 5392
1259.00/1270.43	c current bound: 5392
1259.34/1270.99	c current bound: 5392
1260.10/1271.55	c current bound: 5392
1260.46/1272.11	c current bound: 5392
1261.20/1272.67	c current bound: 5392
1261.58/1273.22	c current bound: 5392
1262.29/1273.78	c current bound: 5392
1262.68/1274.34	c current bound: 5392
1263.40/1274.89	c current bound: 5392
1263.81/1275.45	c current bound: 5392
1264.61/1276.01	c current bound: 5392
1264.92/1276.57	c current bound: 5392
1265.71/1277.12	c current bound: 5392
1266.06/1277.68	c current bound: 5392
1266.81/1278.25	c current bound: 5392
1267.18/1278.80	c current bound: 5392
1267.92/1279.37	c current bound: 5392
1268.29/1279.92	c current bound: 5392
1269.03/1280.48	c current bound: 5392
1269.41/1281.04	c current bound: 5392
1270.14/1281.59	c current bound: 5392
1270.53/1282.15	c current bound: 5392
1271.31/1282.71	c current bound: 5392
1271.65/1283.27	c current bound: 5392
1272.41/1283.83	c current bound: 5392
1272.77/1284.39	c current bound: 5392
1273.52/1284.95	c current bound: 5392
1273.89/1285.51	c current bound: 5392
1274.46/1286.07	c current bound: 5392
1275.01/1286.62	c current bound: 5392
1275.57/1287.18	c current bound: 5392
1276.12/1287.74	c current bound: 5392
1276.94/1288.30	c current bound: 5392
1277.25/1288.86	c current bound: 5392
1277.81/1289.42	c current bound: 5392
1278.36/1289.98	c current bound: 5392
1278.93/1290.55	c current bound: 5392
1279.49/1291.11	c current bound: 5392
1280.06/1291.68	c current bound: 5392
1280.62/1292.24	c current bound: 5392
1281.19/1292.80	c current bound: 5392
1281.74/1293.36	c current bound: 5392
1282.30/1293.93	c current bound: 5392
1282.86/1294.49	c current bound: 5392
1283.43/1295.05	c current bound: 5392
1283.99/1295.61	c current bound: 5392
1284.55/1296.17	c current bound: 5392
1285.10/1296.74	c current bound: 5392
1285.93/1297.30	c current bound: 5392
1286.23/1297.86	c current bound: 5392
1286.80/1298.42	c current bound: 5392
1287.36/1298.98	c current bound: 5392
1287.91/1299.54	c current bound: 5392
1288.46/1300.09	c current bound: 5392
1289.03/1300.65	c current bound: 5392
1289.83/1301.21	c current bound: 5392
1290.15/1301.77	c current bound: 5392
1290.92/1302.32	c current bound: 5392
1291.27/1302.88	c current bound: 5392
1292.03/1303.44	c current bound: 5392
1292.65/1304.00	c current bound: 5392
1293.13/1304.56	c current bound: 5392
1293.50/1305.11	c current bound: 5392
1294.24/1305.67	c current bound: 5392
1294.62/1306.23	c current bound: 5392
1295.34/1306.79	c current bound: 5392
1295.74/1307.34	c current bound: 5392
1296.44/1307.90	c current bound: 5392
1296.85/1308.45	c current bound: 5392
1297.65/1309.01	c current bound: 5392
1297.97/1309.57	c current bound: 5392
1298.74/1310.13	c current bound: 5392
1299.09/1310.69	c current bound: 5392
1299.85/1311.25	c current bound: 5392
1300.20/1311.80	c current bound: 5392
1300.96/1312.36	c current bound: 5392
1301.34/1312.92	c current bound: 5392
1302.07/1313.48	c current bound: 5392
1302.45/1314.03	c current bound: 5392
1303.16/1314.59	c current bound: 5392
1303.56/1315.16	c current bound: 5392
1304.36/1315.71	c current bound: 5392
1304.69/1316.27	c current bound: 5392
1305.45/1316.83	c current bound: 5392
1305.80/1317.39	c current bound: 5392
1306.57/1317.94	c current bound: 5392
1306.91/1318.50	c current bound: 5392
1307.46/1319.07	c current bound: 5392
1308.05/1319.63	c current bound: 5392
1308.60/1320.19	c current bound: 5392
1309.16/1320.75	c current bound: 5392
1309.74/1321.32	c current bound: 5392
1310.29/1321.88	c current bound: 5392
1310.87/1322.45	c current bound: 5392
1311.43/1323.01	c current bound: 5392
1311.98/1323.58	c current bound: 5392
1312.56/1324.14	c current bound: 5392
1313.13/1324.71	c current bound: 5392
1313.68/1325.27	c current bound: 5392
1314.25/1325.84	c current bound: 5392
1315.06/1326.40	c current bound: 5392
1315.36/1326.96	c current bound: 5392
1315.93/1327.52	c current bound: 5392
1316.48/1328.08	c current bound: 5392
1317.04/1328.64	c current bound: 5392
1317.86/1329.20	c current bound: 5392
1318.17/1329.76	c current bound: 5392
1318.72/1330.31	c current bound: 5392
1319.28/1330.87	c current bound: 5392
1319.85/1331.43	c current bound: 5392
1320.39/1331.99	c current bound: 5392
1320.97/1332.55	c current bound: 5392
1321.77/1333.11	c current bound: 5392
1322.08/1333.67	c current bound: 5392
1322.87/1334.23	c current bound: 5392
1323.21/1334.79	c current bound: 5392
1323.95/1335.35	c current bound: 5392
1324.32/1335.92	c current bound: 5392
1325.06/1336.47	c current bound: 5392
1325.45/1337.04	c current bound: 5392
1326.27/1337.61	c current bound: 5392
1326.57/1338.17	c current bound: 5392
1327.35/1338.73	c current bound: 5392
1327.69/1339.29	c current bound: 5392
1328.44/1339.84	c current bound: 5392
1328.82/1340.40	c current bound: 5392
1329.57/1340.96	c current bound: 5392
1329.93/1341.52	c current bound: 5392
1330.67/1342.08	c current bound: 5392
1331.04/1342.63	c current bound: 5392
1331.87/1343.25	c current bound: 5392
1332.16/1343.81	c current bound: 5392
1332.72/1344.36	c current bound: 5392
1333.28/1344.92	c current bound: 5392
1333.84/1345.48	c current bound: 5392
1334.41/1346.04	c current bound: 5392
1334.97/1346.61	c current bound: 5392
1335.52/1347.16	c current bound: 5392
1336.07/1347.73	c current bound: 5392
1336.64/1348.29	c current bound: 5392
1337.21/1348.85	c current bound: 5392
1337.76/1349.40	c current bound: 5392
1338.32/1349.97	c current bound: 5392
1338.87/1350.52	c current bound: 5392
1339.43/1351.09	c current bound: 5392
1340.01/1351.65	c current bound: 5392
1340.55/1352.21	c current bound: 5392
1341.13/1352.78	c current bound: 5392
1341.68/1353.34	c current bound: 5392
1342.51/1353.90	c current bound: 5392
1342.82/1354.47	c current bound: 5392
1343.38/1355.03	c current bound: 5392
1343.93/1355.59	c current bound: 5392
1344.50/1356.16	c current bound: 5392
1345.07/1356.72	c current bound: 5392
1345.63/1357.28	c current bound: 5392
1346.18/1357.84	c current bound: 5392
1346.74/1358.39	c current bound: 5392
1347.31/1358.95	c current bound: 5392
1348.11/1359.51	c current bound: 5392
1348.43/1360.07	c current bound: 5392
1349.22/1360.62	c current bound: 5392
1349.53/1361.18	c current bound: 5392
1350.32/1361.74	c current bound: 5392
1350.91/1362.30	c current bound: 5392
1351.41/1362.85	c current bound: 5392
1351.76/1363.41	c current bound: 5392
1352.51/1363.97	c current bound: 5392
1352.88/1364.53	c current bound: 5392
1353.60/1365.08	c current bound: 5392
1354.00/1365.64	c current bound: 5392
1354.70/1366.20	c current bound: 5392
1355.12/1366.76	c current bound: 5392
1355.90/1367.32	c current bound: 5392
1356.23/1367.87	c current bound: 5392
1357.02/1368.43	c current bound: 5392
1357.35/1368.99	c current bound: 5392
1358.11/1369.54	c current bound: 5392
1358.47/1370.11	c current bound: 5392
1359.21/1370.67	c current bound: 5392
1359.58/1371.22	c current bound: 5392
1360.31/1371.78	c current bound: 5392
1360.70/1372.34	c current bound: 5392
1361.51/1372.90	c current bound: 5392
1361.81/1373.47	c current bound: 5392
1362.59/1374.03	c current bound: 5392
1362.95/1374.59	c current bound: 5392
1363.72/1375.15	c current bound: 5392
1364.09/1375.71	c current bound: 5392
1364.64/1376.27	c current bound: 5392
1365.20/1376.83	c current bound: 5392
1366.03/1377.40	c current bound: 5392
1366.33/1377.96	c current bound: 5392
1366.89/1378.52	c current bound: 5392
1367.46/1379.08	c current bound: 5392
1368.01/1379.64	c current bound: 5392
1368.58/1380.20	c current bound: 5392
1369.14/1380.77	c current bound: 5392
1369.70/1381.33	c current bound: 5392
1370.27/1381.90	c current bound: 5392
1370.85/1382.46	c current bound: 5392
1371.39/1383.03	c current bound: 5392
1371.96/1383.59	c current bound: 5392
1372.50/1384.15	c current bound: 5392
1373.07/1384.71	c current bound: 5392
1373.65/1385.28	c current bound: 5392
1374.19/1385.84	c current bound: 5392
1375.02/1386.40	c current bound: 5392
1375.32/1386.96	c current bound: 5392
1375.89/1387.52	c current bound: 5392
1376.44/1388.08	c current bound: 5392
1377.01/1388.63	c current bound: 5392
1377.56/1389.19	c current bound: 5392
1378.12/1389.75	c current bound: 5392
1378.91/1390.31	c current bound: 5392
1379.24/1390.87	c current bound: 5392
1380.02/1391.43	c current bound: 5392
1380.35/1391.98	c current bound: 5392
1381.11/1392.54	c current bound: 5392
1381.47/1393.10	c current bound: 5392
1382.23/1393.66	c current bound: 5392
1382.59/1394.23	c current bound: 5392
1383.33/1394.79	c current bound: 5392
1383.72/1395.35	c current bound: 5392
1384.52/1395.92	c current bound: 5392
1384.84/1396.48	c current bound: 5392
1385.62/1397.04	c current bound: 5392
1385.97/1397.59	c current bound: 5392
1386.72/1398.15	c current bound: 5392
1387.08/1398.71	c current bound: 5392
1387.83/1399.27	c current bound: 5392
1388.20/1399.82	c current bound: 5392
1388.93/1400.39	c current bound: 5392
1389.33/1400.95	c current bound: 5392
1390.12/1401.50	c current bound: 5392
1390.44/1402.06	c current bound: 5392
1391.24/1402.63	c current bound: 5392
1391.57/1403.18	c current bound: 5392
1392.32/1403.74	c current bound: 5392
1392.67/1404.30	c current bound: 5392
1393.22/1404.86	c current bound: 5392
1393.79/1405.42	c current bound: 5392
1394.34/1405.98	c current bound: 5392
1394.90/1406.54	c current bound: 5392
1395.46/1407.10	c current bound: 5392
1396.02/1407.65	c current bound: 5392
1396.58/1408.22	c current bound: 5392
1397.14/1408.77	c current bound: 5392
1397.70/1409.34	c current bound: 5392
1398.51/1409.90	c current bound: 5392
1398.82/1410.47	c current bound: 5392
1399.39/1411.03	c current bound: 5392
1400.21/1411.60	c current bound: 5392
1400.52/1412.16	c current bound: 5392
1401.08/1412.72	c current bound: 5392
1401.63/1413.28	c current bound: 5392
1402.20/1413.85	c current bound: 5392
1402.77/1414.41	c current bound: 5392
1403.32/1414.97	c current bound: 5392
1403.87/1415.53	c current bound: 5392
1404.44/1416.08	c current bound: 5392
1404.99/1416.64	c current bound: 5392
1405.55/1417.21	c current bound: 5392
1406.12/1417.76	c current bound: 5392
1406.68/1418.32	c current bound: 5392
1407.24/1418.88	c current bound: 5392
1407.80/1419.44	c current bound: 5392
1408.36/1420.00	c current bound: 5392
1408.92/1420.56	c current bound: 5392
1409.71/1421.12	c current bound: 5392
1410.05/1421.68	c current bound: 5392
1410.81/1422.25	c current bound: 5392
1411.16/1422.80	c current bound: 5392
1411.91/1423.37	c current bound: 5392
1412.28/1423.92	c current bound: 5392
1413.01/1424.48	c current bound: 5392
1413.40/1425.04	c current bound: 5392
1414.22/1425.60	c current bound: 5392
1414.51/1426.16	c current bound: 5392
1415.31/1426.72	c current bound: 5392
1415.63/1427.28	c current bound: 5392
1416.40/1427.83	c current bound: 5392
1416.76/1428.39	c current bound: 5392
1417.51/1428.95	c current bound: 5392
1417.85/1429.51	c current bound: 5392
1418.62/1430.06	c current bound: 5392
1418.99/1430.62	c current bound: 5392
1419.70/1431.18	c current bound: 5392
1420.09/1431.73	c current bound: 5392
1420.81/1432.29	c current bound: 5392
1421.22/1432.85	c current bound: 5392
1422.00/1433.41	c current bound: 5392
1422.34/1433.96	c current bound: 5392
1423.11/1434.53	c current bound: 5392
1423.46/1435.08	c current bound: 5392
1424.22/1435.64	c current bound: 5392
1424.58/1436.20	c current bound: 5392
1425.32/1436.75	c current bound: 5392
1425.68/1437.31	c current bound: 5392
1426.25/1437.88	c current bound: 5392
1426.81/1438.43	c current bound: 5392
1427.37/1438.99	c current bound: 5392
1427.93/1439.55	c current bound: 5392
1428.49/1440.11	c current bound: 5392
1429.04/1440.67	c current bound: 5392
1429.62/1441.24	c current bound: 5392
1430.17/1441.80	c current bound: 5392
1430.73/1442.36	c current bound: 5392
1431.30/1442.92	c current bound: 5392
1431.85/1443.48	c current bound: 5392
1432.41/1444.04	c current bound: 5392
1433.23/1444.60	c current bound: 5392
1433.52/1445.16	c current bound: 5392
1434.09/1445.73	c current bound: 5392
1434.66/1446.29	c current bound: 5392
1435.22/1446.85	c current bound: 5392
1435.78/1447.41	c current bound: 5392
1436.34/1447.97	c current bound: 5392
1436.89/1448.53	c current bound: 5392
1437.45/1449.08	c current bound: 5392
1438.00/1449.65	c current bound: 5392
1438.57/1450.21	c current bound: 5392
1439.14/1450.77	c current bound: 5392
1439.69/1451.33	c current bound: 5392
1440.25/1451.90	c current bound: 5392
1440.82/1452.46	c current bound: 5392
1441.60/1453.01	c current bound: 5392
1441.94/1453.57	c current bound: 5392
1442.71/1454.14	c current bound: 5392
1443.33/1454.70	c current bound: 5392
1443.82/1455.26	c current bound: 5392
1444.19/1455.82	c current bound: 5392
1444.93/1456.38	c current bound: 5392
1445.31/1456.93	c current bound: 5392
1446.01/1457.49	c current bound: 5392
1446.42/1458.05	c current bound: 5392
1447.24/1458.61	c current bound: 5392
1447.54/1459.16	c current bound: 5392
1448.33/1459.72	c current bound: 5392
1448.65/1460.28	c current bound: 5392
1449.43/1460.84	c current bound: 5392
1449.77/1461.40	c current bound: 5392
1450.52/1461.96	c current bound: 5392
1450.89/1462.51	c current bound: 5392
1451.63/1463.07	c current bound: 5392
1452.01/1463.63	c current bound: 5392
1452.74/1464.19	c current bound: 5392
1453.13/1464.75	c current bound: 5392
1453.93/1465.31	c current bound: 5392
1454.23/1465.86	c current bound: 5392
1455.02/1466.42	c current bound: 5392
1455.35/1466.98	c current bound: 5392
1456.13/1467.54	c current bound: 5392
1456.48/1468.09	c current bound: 5392
1457.23/1468.65	c current bound: 5392
1457.59/1469.21	c current bound: 5392
1458.14/1469.77	c current bound: 5392
1458.71/1470.33	c current bound: 5392
1459.54/1470.90	c current bound: 5392
1459.84/1471.45	c current bound: 5392
1460.40/1472.02	c current bound: 5392
1460.96/1472.58	c current bound: 5392
1461.54/1473.14	c current bound: 5392
1462.08/1473.70	c current bound: 5392
1462.64/1474.26	c current bound: 5392
1463.21/1474.82	c current bound: 5392
1463.79/1475.40	c current bound: 5392
1464.34/1475.96	c current bound: 5392
1464.90/1476.53	c current bound: 5392
1465.47/1477.09	c current bound: 5392
1466.02/1477.65	c current bound: 5392
1466.58/1478.21	c current bound: 5392
1467.15/1478.79	c current bound: 5392
1467.73/1479.34	c current bound: 5392
1468.27/1479.90	c current bound: 5392
1468.83/1480.46	c current bound: 5392
1469.39/1481.02	c current bound: 5392
1469.95/1481.57	c current bound: 5392
1470.51/1482.14	c current bound: 5392
1471.34/1482.70	c current bound: 5392
1471.63/1483.26	c current bound: 5392
1472.43/1483.82	c current bound: 5392
1472.75/1484.38	c current bound: 5392
1473.53/1484.93	c current bound: 5392
1473.87/1485.49	c current bound: 5392
1474.63/1486.05	c current bound: 5392
1474.99/1486.62	c current bound: 5392
1475.74/1487.17	c current bound: 5392
1476.10/1487.73	c current bound: 5392
1476.83/1488.29	c current bound: 5392
1477.23/1488.85	c current bound: 5392
1478.04/1489.40	c current bound: 5392
1478.35/1489.96	c current bound: 5392
1479.14/1490.52	c current bound: 5392
1479.47/1491.08	c current bound: 5392
1480.24/1491.64	c current bound: 5392
1480.58/1492.21	c current bound: 5392
1481.35/1492.78	c current bound: 5392
1481.72/1493.34	c current bound: 5392
1482.54/1493.90	c current bound: 5392
1482.85/1494.45	c current bound: 5392
1483.64/1495.01	c current bound: 5392
1483.96/1495.57	c current bound: 5392
1484.73/1496.13	c current bound: 5392
1485.08/1496.69	c current bound: 5392
1485.84/1497.25	c current bound: 5392
1486.19/1497.81	c current bound: 5392
1486.76/1498.37	c current bound: 5392
1487.31/1498.92	c current bound: 5392
1487.87/1499.49	c current bound: 5392
1488.43/1500.04	c current bound: 5392
1488.98/1500.60	c current bound: 5392
1489.54/1501.16	c current bound: 5392
1490.10/1501.73	c current bound: 5392
1490.66/1502.28	c current bound: 5392
1491.23/1502.85	c current bound: 5392
1491.79/1503.41	c current bound: 5392
1492.35/1503.98	c current bound: 5392
1492.91/1504.53	c current bound: 5392
1493.73/1505.10	c current bound: 5392
1494.02/1505.66	c current bound: 5392
1494.60/1506.23	c current bound: 5392
1495.17/1506.79	c current bound: 5392
1495.73/1507.36	c current bound: 5392
1496.28/1507.92	c current bound: 5392
1496.84/1508.47	c current bound: 5392
1497.39/1509.03	c current bound: 5392
1497.96/1509.59	c current bound: 5392
1498.52/1510.15	c current bound: 5392
1499.07/1510.70	c current bound: 5392
1499.63/1511.26	c current bound: 5392
1500.19/1511.81	c current bound: 5392
1500.74/1512.37	c current bound: 5392
1501.30/1512.93	c current bound: 5392
1501.87/1513.49	c current bound: 5392
1502.42/1514.06	c current bound: 5392
1503.22/1514.62	c current bound: 5392
1503.54/1515.17	c current bound: 5392
1504.34/1515.74	c current bound: 5392
1504.68/1516.33	c current bound: 5392
1505.43/1516.89	c current bound: 5392
1505.82/1517.44	c current bound: 5392
1506.52/1518.00	c current bound: 5392
1506.93/1518.56	c current bound: 5392
1507.72/1519.12	c current bound: 5392
1508.06/1519.68	c current bound: 5392
1508.83/1520.23	c current bound: 5392
1509.17/1520.79	c current bound: 5392
1509.92/1521.35	c current bound: 5392
1510.28/1521.90	c current bound: 5392
1511.03/1522.46	c current bound: 5392
1511.40/1523.02	c current bound: 5392
1512.13/1523.57	c current bound: 5392
1512.52/1524.13	c current bound: 5392
1513.23/1524.69	c current bound: 5392
1513.63/1525.24	c current bound: 5392
1514.44/1525.80	c current bound: 5392
1514.74/1526.35	c current bound: 5392
1515.54/1526.91	c current bound: 5392
1515.85/1527.47	c current bound: 5392
1516.63/1528.03	c current bound: 5392
1516.96/1528.58	c current bound: 5392
1517.73/1529.14	c current bound: 5392
1518.34/1529.70	c current bound: 5392
1518.83/1530.25	c current bound: 5392
1519.19/1530.82	c current bound: 5392
1519.76/1531.38	c current bound: 5392
1520.32/1531.94	c current bound: 5392
1520.88/1532.51	c current bound: 5392
1521.44/1533.06	c current bound: 5392
1522.01/1533.63	c current bound: 5392
1522.57/1534.19	c current bound: 5392
1523.12/1534.75	c current bound: 5392
1523.68/1535.30	c current bound: 5392
1524.25/1535.87	c current bound: 5392
1524.80/1536.43	c current bound: 5392
1525.37/1537.01	c current bound: 5392
1525.94/1537.58	c current bound: 5392
1526.52/1538.15	c current bound: 5392
1527.07/1538.70	c current bound: 5392
1527.63/1539.27	c current bound: 5392
1528.19/1539.82	c current bound: 5392
1528.75/1540.38	c current bound: 5392
1529.30/1540.94	c current bound: 5392
1530.12/1541.50	c current bound: 5392
1530.42/1542.06	c current bound: 5392
1530.98/1542.61	c current bound: 5392
1531.54/1543.17	c current bound: 5392
1532.10/1543.73	c current bound: 5392
1532.66/1544.28	c current bound: 5392
1533.22/1544.85	c current bound: 5392
1534.03/1545.41	c current bound: 5392
1534.35/1545.97	c current bound: 5392
1535.13/1546.52	c current bound: 5392
1535.46/1547.08	c current bound: 5392
1536.22/1547.63	c current bound: 5392
1536.58/1548.19	c current bound: 5392
1537.32/1548.75	c current bound: 5392
1537.68/1549.30	c current bound: 5392
1538.42/1549.86	c current bound: 5392
1538.79/1550.42	c current bound: 5392
1539.54/1550.98	c current bound: 5392
1539.92/1551.54	c current bound: 5392
1540.62/1552.09	c current bound: 5392
1541.03/1552.65	c current bound: 5392
1541.84/1553.21	c current bound: 5392
1542.15/1553.77	c current bound: 5392
1542.93/1554.34	c current bound: 5392
1543.26/1554.89	c current bound: 5392
1544.04/1555.45	c current bound: 5392
1544.37/1556.00	c current bound: 5392
1545.11/1556.56	c current bound: 5392
1545.49/1557.12	c current bound: 5392
1546.23/1557.67	c current bound: 5392
1546.59/1558.23	c current bound: 5392
1547.32/1558.79	c current bound: 5392
1547.72/1559.34	c current bound: 5392
1548.50/1559.90	c current bound: 5392
1548.84/1560.46	c current bound: 5392
1549.61/1561.02	c current bound: 5392
1549.94/1561.57	c current bound: 5392
1550.72/1562.13	c current bound: 5392
1551.07/1562.69	c current bound: 5392
1551.83/1563.25	c current bound: 5392
1552.19/1563.81	c current bound: 5392
1552.75/1564.37	c current bound: 5392
1553.32/1564.93	c current bound: 5392
1553.87/1565.49	c current bound: 5392
1554.43/1566.05	c current bound: 5392
1554.99/1566.61	c current bound: 5392
1555.55/1567.17	c current bound: 5392
1556.11/1567.73	c current bound: 5392
1556.67/1568.29	c current bound: 5392
1557.23/1568.85	c current bound: 5392
1557.80/1569.41	c current bound: 5392
1558.36/1569.98	c current bound: 5392
1558.91/1570.54	c current bound: 5392
1559.49/1571.11	c current bound: 5392
1560.04/1571.67	c current bound: 5392
1560.61/1572.24	c current bound: 5392
1561.42/1572.80	c current bound: 5392
1561.73/1573.36	c current bound: 5392
1562.30/1573.92	c current bound: 5392
1562.85/1574.48	c current bound: 5392
1563.41/1575.03	c current bound: 5392
1563.96/1575.59	c current bound: 5392
1564.52/1576.16	c current bound: 5392
1565.10/1576.71	c current bound: 5392
1565.65/1577.27	c current bound: 5392
1566.20/1577.83	c current bound: 5392
1566.77/1578.39	c current bound: 5392
1567.32/1578.94	c current bound: 5392
1567.88/1579.50	c current bound: 5392
1568.43/1580.06	c current bound: 5392
1569.24/1580.62	c current bound: 5392
1569.56/1581.18	c current bound: 5392
1570.33/1581.73	c current bound: 5392
1570.68/1582.29	c current bound: 5392
1571.43/1582.86	c current bound: 5392
1571.80/1583.43	c current bound: 5392
1572.54/1584.00	c current bound: 5392
1572.93/1584.56	c current bound: 5392
1573.74/1585.12	c current bound: 5392
1574.06/1585.68	c current bound: 5392
1574.83/1586.24	c current bound: 5392
1575.18/1586.79	c current bound: 5392
1575.94/1587.35	c current bound: 5392
1576.29/1587.91	c current bound: 5392
1577.03/1588.49	c current bound: 5392
1577.43/1589.04	c current bound: 5392
1578.23/1589.60	c current bound: 5392
1578.55/1590.16	c current bound: 5392
1579.34/1590.72	c current bound: 5392
1579.67/1591.28	c current bound: 5392
1580.43/1591.84	c current bound: 5392
1580.79/1592.40	c current bound: 5392
1581.35/1592.98	c current bound: 5392
1581.92/1593.54	c current bound: 5392
1582.75/1594.10	c current bound: 5392
1583.04/1594.66	c current bound: 5392
1583.62/1595.22	c current bound: 5392
1584.17/1595.79	c current bound: 5392
1584.73/1596.35	c current bound: 5392
1585.29/1596.90	c current bound: 5392
1585.85/1597.48	c current bound: 5392
1586.42/1598.04	c current bound: 5392
1586.98/1598.60	c current bound: 5392
1587.55/1599.17	c current bound: 5392
1588.10/1599.73	c current bound: 5392
1588.68/1600.29	c current bound: 5392
1589.23/1600.85	c current bound: 5392
1589.79/1601.40	c current bound: 5392
1590.37/1601.98	c current bound: 5392
1590.92/1602.53	c current bound: 5392
1591.48/1603.09	c current bound: 5392
1592.04/1603.64	c current bound: 5392
1592.59/1604.20	c current bound: 5392
1593.15/1604.76	c current bound: 5392
1593.70/1605.31	c current bound: 5392
1594.26/1605.87	c current bound: 5392
1594.82/1606.43	c current bound: 5392
1595.37/1606.99	c current bound: 5392
1595.93/1607.55	c current bound: 5392
1596.74/1608.11	c current bound: 5392
1597.06/1608.67	c current bound: 5392
1597.85/1609.23	c current bound: 5392
1598.18/1609.79	c current bound: 5392
1598.94/1610.35	c current bound: 5392
1599.30/1610.90	c current bound: 5392
1600.03/1611.46	c current bound: 5392
1600.41/1612.02	c current bound: 5392
1601.15/1612.58	c current bound: 5392
1601.53/1613.13	c current bound: 5392
1602.35/1613.70	c current bound: 5392
1602.66/1614.26	c current bound: 5392
1603.44/1614.82	c current bound: 5392
1603.77/1615.38	c current bound: 5392
1604.54/1615.94	c current bound: 5392
1604.89/1616.49	c current bound: 5392
1605.64/1617.05	c current bound: 5392
1606.00/1617.61	c current bound: 5392
1606.74/1618.17	c current bound: 5392
1607.12/1618.72	c current bound: 5392
1607.95/1619.31	c current bound: 5392
1608.26/1619.86	c current bound: 5392
1609.04/1620.42	c current bound: 5392
1609.38/1620.98	c current bound: 5392
1610.12/1621.54	c current bound: 5392
1610.48/1622.24	c current bound: 5392
1611.05/1622.81	c current bound: 5392
1611.61/1623.37	c current bound: 5392
1612.18/1623.94	c current bound: 5392
1613.00/1624.50	c current bound: 5392
1613.32/1625.07	c current bound: 5392
1613.87/1625.63	c current bound: 5392
1614.43/1626.18	c current bound: 5392
1614.98/1626.74	c current bound: 5392
1615.54/1627.35	c current bound: 5392
1616.35/1627.91	c current bound: 5392
1616.66/1628.46	c current bound: 5392
1617.44/1629.02	c current bound: 5392
1617.77/1629.58	c current bound: 5392
1618.54/1630.13	c current bound: 5392
1618.89/1630.69	c current bound: 5392
1619.65/1631.25	c current bound: 5392
1620.00/1631.80	c current bound: 5392
1620.80/1632.41	c current bound: 5392
1621.12/1632.97	c current bound: 5392
1621.89/1633.52	c current bound: 5392
1622.23/1634.08	c current bound: 5392
1623.00/1634.64	c current bound: 5392
1623.61/1635.20	c current bound: 5392
1624.10/1635.76	c current bound: 5392
1624.47/1636.32	c current bound: 5392
1625.22/1636.87	c current bound: 5392
1625.84/1637.50	c current bound: 5392
1626.14/1638.06	c current bound: 5392
1626.70/1638.61	c current bound: 5392
1627.25/1639.18	c current bound: 5392
1627.83/1639.73	c current bound: 5392
1628.38/1640.29	c current bound: 5392
1628.95/1640.85	c current bound: 5392
1629.50/1641.41	c current bound: 5392
1630.05/1642.10	c current bound: 5392
1630.62/1642.68	c current bound: 5392
1631.18/1643.24	c current bound: 5392
1631.74/1643.79	c current bound: 5392
1632.31/1644.35	c current bound: 5392
1632.86/1644.90	c current bound: 5392
1633.40/1645.46	c current bound: 5392
1633.97/1646.02	c current bound: 5392
1634.52/1646.57	c current bound: 5392
1635.07/1647.18	c current bound: 5392
1635.85/1647.74	c current bound: 5392
1636.20/1648.29	c current bound: 5392
1636.95/1648.85	c current bound: 5392
1637.30/1649.41	c current bound: 5392
1638.05/1649.96	c current bound: 5392
1638.42/1650.52	c current bound: 5392
1639.15/1651.08	c current bound: 5392
1639.52/1651.65	c current bound: 5392
1640.36/1652.21	c current bound: 5392
1640.67/1652.76	c current bound: 5392
1641.44/1653.32	c current bound: 5392
1641.77/1653.87	c current bound: 5392
1642.54/1654.43	c current bound: 5392
1643.14/1655.00	c current bound: 5392
1643.65/1655.55	c current bound: 5392
1644.00/1656.11	c current bound: 5392
1644.75/1656.67	c current bound: 5392
1645.12/1657.24	c current bound: 5392
1645.83/1657.79	c current bound: 5392
1646.23/1658.35	c current bound: 5392
1647.03/1658.91	c current bound: 5392
1647.35/1659.46	c current bound: 5392
1648.12/1660.02	c current bound: 5392
1648.45/1660.57	c current bound: 5392
1649.23/1661.13	c current bound: 5392
1649.58/1661.69	c current bound: 5392
1650.38/1662.30	c current bound: 5392
1650.68/1662.86	c current bound: 5392
1651.25/1663.42	c current bound: 5392
1651.82/1663.98	c current bound: 5392
1652.37/1664.54	c current bound: 5392
1652.94/1665.10	c current bound: 5392
1653.50/1665.67	c current bound: 5392
1654.06/1666.23	c current bound: 5392
1654.62/1666.79	c current bound: 5392
1655.18/1667.35	c current bound: 5392
1655.73/1667.92	c current bound: 5392
1656.30/1668.47	c current bound: 5392
1656.87/1669.05	c current bound: 5392
1657.43/1669.61	c current bound: 5392
1658.00/1670.18	c current bound: 5392
1658.56/1670.74	c current bound: 5392
1659.12/1671.29	c current bound: 5392
1659.67/1671.85	c current bound: 5392
1660.23/1672.41	c current bound: 5392
1660.81/1672.99	c current bound: 5392
1661.36/1673.55	c current bound: 5392
1661.93/1674.10	c current bound: 5392
1662.48/1674.67	c current bound: 5392
1663.28/1675.23	c current bound: 5392
1663.60/1675.78	c current bound: 5392
1664.37/1676.34	c current bound: 5392
1664.99/1676.90	c current bound: 5392
1665.48/1677.46	c current bound: 5392
1665.84/1678.01	c current bound: 5392
1666.58/1678.57	c current bound: 5392
1666.96/1679.13	c current bound: 5392
1667.68/1679.68	c current bound: 5392
1668.07/1680.24	c current bound: 5392
1668.77/1680.80	c current bound: 5392
1669.19/1681.35	c current bound: 5392
1669.98/1681.91	c current bound: 5392
1670.31/1682.47	c current bound: 5392
1671.09/1683.03	c current bound: 5392
1671.44/1683.59	c current bound: 5392
1672.19/1684.15	c current bound: 5392
1672.56/1684.71	c current bound: 5392
1673.29/1685.26	c current bound: 5392
1673.66/1685.82	c current bound: 5392
1674.39/1686.39	c current bound: 5392
1674.78/1686.95	c current bound: 5392
1675.59/1687.51	c current bound: 5392
1675.92/1688.07	c current bound: 5392
1676.68/1688.62	c current bound: 5392
1677.02/1689.19	c current bound: 5392
1677.79/1689.75	c current bound: 5392
1678.15/1690.30	c current bound: 5392
1678.70/1690.88	c current bound: 5392
1679.28/1691.44	c current bound: 5392
1679.83/1692.00	c current bound: 5392
1680.39/1692.56	c current bound: 5392
1680.95/1693.12	c current bound: 5392
1681.51/1693.67	c current bound: 5392
1682.06/1694.24	c current bound: 5392
1682.62/1694.80	c current bound: 5392
1683.19/1695.36	c current bound: 5392
1683.74/1695.92	c current bound: 5392
1684.31/1696.49	c current bound: 5392
1684.88/1697.04	c current bound: 5392
1685.44/1697.61	c current bound: 5392
1686.00/1698.17	c current bound: 5392
1686.57/1698.75	c current bound: 5392
1687.15/1699.31	c current bound: 5392
1687.71/1699.87	c current bound: 5392
1688.27/1700.43	c current bound: 5392
1688.82/1700.99	c current bound: 5392
1689.38/1701.55	c current bound: 5392
1689.95/1702.11	c current bound: 5392
1690.50/1702.67	c current bound: 5392
1691.07/1703.24	c current bound: 5392
1691.64/1703.80	c current bound: 5392
1692.20/1704.38	c current bound: 5392
1692.99/1704.95	c current bound: 5392
1693.34/1705.50	c current bound: 5392
1694.09/1706.06	c current bound: 5392
1694.46/1706.62	c current bound: 5392
1695.19/1707.17	c current bound: 5392
1695.58/1707.73	c current bound: 5392
1696.29/1708.29	c current bound: 5392
1696.69/1708.85	c current bound: 5392
1697.50/1709.41	c current bound: 5392
1697.82/1709.97	c current bound: 5392
1698.61/1710.53	c current bound: 5392
1698.93/1711.09	c current bound: 5392
1699.71/1711.65	c current bound: 5392
1700.07/1712.20	c current bound: 5392
1700.80/1712.76	c current bound: 5392
1701.17/1713.32	c current bound: 5392
1701.90/1713.88	c current bound: 5392
1702.28/1714.43	c current bound: 5392
1703.00/1714.99	c current bound: 5392
1703.41/1715.55	c current bound: 5392
1704.21/1716.11	c current bound: 5392
1704.52/1716.66	c current bound: 5392
1705.32/1717.22	c current bound: 5392
1705.65/1717.78	c current bound: 5392
1706.42/1718.34	c current bound: 5392
1706.76/1718.89	c current bound: 5392
1707.51/1719.45	c current bound: 5392
1707.87/1720.01	c current bound: 5392
1708.43/1720.57	c current bound: 5392
1708.99/1721.12	c current bound: 5392
1709.54/1721.68	c current bound: 5392
1710.10/1722.24	c current bound: 5392
1710.66/1722.80	c current bound: 5392
1711.21/1723.36	c current bound: 5392
1711.79/1723.92	c current bound: 5392
1712.33/1724.48	c current bound: 5392
1712.89/1725.04	c current bound: 5392
1713.46/1725.61	c current bound: 5392
1714.03/1726.18	c current bound: 5392
1714.59/1726.74	c current bound: 5392
1715.15/1727.30	c current bound: 5392
1715.72/1727.86	c current bound: 5392
1716.28/1728.43	c current bound: 5392
1716.83/1728.99	c current bound: 5392
1717.40/1729.56	c current bound: 5392
1717.98/1730.11	c current bound: 5392
1718.53/1730.68	c current bound: 5392
1719.10/1731.24	c current bound: 5392
1719.92/1731.80	c current bound: 5392
1720.22/1732.35	c current bound: 5392
1720.77/1732.92	c current bound: 5392
1721.35/1733.47	c current bound: 5392
1721.89/1734.03	c current bound: 5392
1722.46/1734.59	c current bound: 5392
1723.02/1735.15	c current bound: 5392
1723.83/1735.70	c current bound: 5392
1724.13/1736.26	c current bound: 5392
1724.93/1736.82	c current bound: 5392
1725.25/1737.38	c current bound: 5392
1726.01/1737.93	c current bound: 5392
1726.36/1738.49	c current bound: 5392
1727.13/1739.05	c current bound: 5392
1727.47/1739.60	c current bound: 5392
1728.20/1740.16	c current bound: 5392
1728.58/1740.72	c current bound: 5392
1729.32/1741.28	c current bound: 5392
1729.70/1741.83	c current bound: 5392
1730.42/1742.39	c current bound: 5392
1730.82/1742.95	c current bound: 5392
1731.63/1743.51	c current bound: 5392
1731.92/1744.06	c current bound: 5392
1732.71/1744.62	c current bound: 5392
1733.05/1745.18	c current bound: 5392
1733.83/1745.73	c current bound: 5392
1734.17/1746.29	c current bound: 5392
1734.93/1746.85	c current bound: 5392
1735.27/1747.41	c current bound: 5392
1736.03/1747.96	c current bound: 5392
1736.40/1748.52	c current bound: 5392
1737.13/1749.08	c current bound: 5392
1737.51/1749.63	c current bound: 5392
1738.24/1750.19	c current bound: 5392
1738.62/1750.75	c current bound: 5392
1739.43/1751.30	c current bound: 5392
1739.74/1751.86	c current bound: 5392
1740.53/1752.42	c current bound: 5392
1740.86/1752.98	c current bound: 5392
1741.62/1753.53	c current bound: 5392
1741.97/1754.09	c current bound: 5392
1742.73/1754.65	c current bound: 5392
1743.09/1755.21	c current bound: 5392
1743.65/1755.77	c current bound: 5392
1744.21/1756.32	c current bound: 5392
1744.77/1756.89	c current bound: 5392
1745.32/1757.44	c current bound: 5392
1746.13/1758.00	c current bound: 5392
1746.43/1758.56	c current bound: 5392
1747.00/1759.12	c current bound: 5392
1747.56/1759.68	c current bound: 5392
1748.12/1760.24	c current bound: 5392
1748.67/1760.80	c current bound: 5392
1749.24/1761.37	c current bound: 5392
1749.80/1761.93	c current bound: 5392
1750.37/1762.50	c current bound: 5392
1750.94/1763.06	c current bound: 5392
1751.51/1763.64	c current bound: 5392
1752.33/1764.20	c current bound: 5392
1752.64/1764.78	c current bound: 5392
1753.21/1765.33	c current bound: 5392
1753.76/1765.89	c current bound: 5392
1754.31/1766.45	c current bound: 5392
1754.87/1767.00	c current bound: 5392
1755.43/1767.56	c current bound: 5392
1755.99/1768.12	c current bound: 5392
1756.55/1768.68	c current bound: 5392
1757.11/1769.24	c current bound: 5392
1757.67/1769.79	c current bound: 5392
1758.22/1770.35	c current bound: 5392
1759.02/1770.91	c current bound: 5392
1759.35/1771.48	c current bound: 5392
1760.13/1772.03	c current bound: 5392
1760.74/1772.60	c current bound: 5392
1761.23/1773.16	c current bound: 5392
1761.60/1773.72	c current bound: 5392
1762.33/1774.27	c current bound: 5392
1762.71/1774.83	c current bound: 5392
1763.44/1775.39	c current bound: 5392
1763.82/1775.95	c current bound: 5392
1764.63/1776.51	c current bound: 5392
1764.94/1777.06	c current bound: 5392
1765.73/1777.62	c current bound: 5392
1766.05/1778.18	c current bound: 5392
1766.83/1778.74	c current bound: 5392
1767.43/1779.30	c current bound: 5392
1767.93/1779.86	c current bound: 5392
1768.31/1780.41	c current bound: 5392
1769.03/1780.97	c current bound: 5392
1769.41/1781.53	c current bound: 5392
1770.13/1782.08	c current bound: 5392
1770.52/1782.64	c current bound: 5392
1771.35/1783.20	c current bound: 5392
1771.63/1783.75	c current bound: 5392
1772.43/1784.31	c current bound: 5392
1772.74/1784.87	c current bound: 5392
1773.53/1785.43	c current bound: 5392
1773.88/1785.98	c current bound: 5392
1774.63/1786.54	c current bound: 5392
1774.98/1787.10	c current bound: 5392
1775.73/1787.65	c current bound: 5392
1776.10/1788.21	c current bound: 5392
1776.67/1788.77	c current bound: 5392
1777.22/1789.33	c current bound: 5392
1777.78/1789.90	c current bound: 5392
1778.35/1790.46	c current bound: 5392
1778.90/1791.02	c current bound: 5392
1779.47/1791.58	c current bound: 5392
1780.03/1792.14	c current bound: 5392
1780.59/1792.70	c current bound: 5392
1781.15/1793.27	c current bound: 5392
1781.70/1793.83	c current bound: 5392
1782.26/1794.39	c current bound: 5392
1782.83/1794.95	c current bound: 5392
1783.39/1795.51	c current bound: 5392
1783.94/1796.07	c current bound: 5392
1784.52/1796.64	c current bound: 5392
1785.07/1797.19	c current bound: 5392
1785.63/1797.75	c current bound: 5392
1786.18/1798.31	c current bound: 5392
1786.75/1798.87	c current bound: 5392
1787.30/1799.42	c current bound: 5392
1787.87/1799.98	c current bound: 5392
1788.42/1800.54	c current bound: 5392
1789.25/1801.10	c current bound: 5392
1789.53/1801.65	c current bound: 5392
1790.09/1802.21	c current bound: 5392
1790.66/1802.77	c current bound: 5392
1791.21/1803.33	c current bound: 5392
1791.77/1803.89	c current bound: 5392
1792.33/1804.45	c current bound: 5392
1793.15/1805.00	c current bound: 5392
1793.46/1805.57	c current bound: 5392
1794.25/1806.13	c current bound: 5392
1794.58/1806.68	c current bound: 5392
1795.35/1807.24	c current bound: 5392
1795.95/1807.80	c current bound: 5392
1796.44/1808.35	c current bound: 5392
1796.81/1808.91	c current bound: 5392
1797.54/1809.47	c current bound: 5392
1797.93/1810.03	c current bound: 5392
1798.65/1810.58	c current bound: 5392
1799.03/1811.14	c current bound: 5392
1799.75/1811.70	c current bound: 5392
1800.15/1812.01	HOME/npSolver-wbo-Itdqb.sh: line 18:  1978 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-3715817-1338242449/watcher-3715817-1338242449 -o /tmp/evaluation-result-3715817-1338242449/solver-3715817-1338242449 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715817-1338242449.wbo 1974251280 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.07 2.00 3/180 1976
/proc/meminfo: memFree=28661584/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (runsolver) D 1974 1976 25271 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 290369825 12095488 51 33554432000 4194304 5436572 140735395558576 140735395554872 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/1976/statm: 2953 51 31 304 0 2645 0

[startup+0.0506509 s]
/proc/loadavg: 2.19 2.07 2.00 3/180 1976
/proc/meminfo: memFree=28661584/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100254 s]
/proc/loadavg: 2.19 2.07 2.00 3/180 1976
/proc/meminfo: memFree=28661584/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300293 s]
/proc/loadavg: 2.19 2.07 2.00 3/180 1976
/proc/meminfo: memFree=28661584/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700228 s]
/proc/loadavg: 2.19 2.07 2.00 3/180 1976
/proc/meminfo: memFree=28661584/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 2.19 2.07 2.00 4/185 2014
/proc/meminfo: memFree=28633044/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1.28 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 6781 35779 0 0 23 4 71 30 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 28592

[startup+3.10032 s]
/proc/loadavg: 2.19 2.07 2.00 4/184 2041
/proc/meminfo: memFree=28637012/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=2.98 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 12412 79189 0 0 46 8 175 69 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 28592

[startup+6.30025 s]
/proc/loadavg: 2.17 2.07 2.00 3/182 2115
/proc/meminfo: memFree=28652292/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=6.08 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 21804 163173 0 0 85 14 368 141 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 28592

[startup+12.7002 s]
/proc/loadavg: 2.16 2.07 2.00 4/183 2305
/proc/meminfo: memFree=28658836/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=12.45 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 42451 326954 0 0 169 28 749 299 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 28592

[startup+25.5003 s]
/proc/loadavg: 2.20 2.08 2.00 3/184 2625
/proc/meminfo: memFree=28630600/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=24.97 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 83738 637158 0 0 336 55 1491 615 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 16 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 28592

[startup+51.1003 s]
/proc/loadavg: 2.13 2.07 2.00 3/184 3238
/proc/meminfo: memFree=28595900/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=49.9 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 164449 1265109 0 0 664 109 2976 1241 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 23 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (KiB) 28592

[startup+102.307 s]
/proc/loadavg: 2.06 2.06 2.00 3/183 4498
/proc/meminfo: memFree=28628020/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=5108 CPUtime=100.2 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) R 1976 1976 25271 0 -1 4202496 326572 2538899 0 0 1323 214 5994 2489 20 0 1 0 290369825 5230592 889 33554432000 4194304 5990268 140735032600368 140735032592352 5042529 0 0 4096 0 0 0 0 17 4 0 0 31 0 0
/proc/1978/statm: 1277 890 177 439 0 834 0
Current children cumulated CPU time (s) 100.2
Current children cumulated vsize (KiB) 14256

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

[startup+139.6 s]
/proc/loadavg: 1.90 2.02 1.99 1/182 5421
/proc/meminfo: memFree=28643180/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=136.79 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 447883 3490267 0 0 1844 294 8161 3380 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 37 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
[pid=5416] ppid=1978 vsize=9148 CPUtime=0.25 cores=0,2,4,6
/proc/5416/stat : 5416 (cp2_post.sh) S 1978 1976 25271 0 -1 4202496 635 2418 0 0 0 0 15 10 20 0 1 0 290383756 9367552 269 33554432000 4194304 5064252 140736674852336 140736674851248 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5416/statm: 2287 269 228 213 0 72 0
[pid=5421] ppid=5416 vsize=16692 CPUtime=0 cores=0,2,4,6
/proc/5421/stat : 5421 (mv) D 5416 1976 25271 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 290383782 17092608 186 33554432000 4194304 4296580 140737145978416 140737145976648 223651183959 0 0 4096 0 18446744071580543392 0 0 17 4 0 0 0 0 0
/proc/5421/statm: 4173 186 154 25 0 73 0
Current children cumulated CPU time (s) 137.04
Current children cumulated vsize (KiB) 54432

[startup+139.706 s]
/proc/loadavg: 1.90 2.02 1.99 1/182 5421
/proc/meminfo: memFree=28643180/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=137.04 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 447929 3493588 0 0 1844 294 8176 3390 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032592352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 37 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 137.04
Current children cumulated vsize (KiB) 28592
#
############


[startup+162.3 s]
/proc/loadavg: 1.72 1.97 1.97 3/183 5961
/proc/meminfo: memFree=28599796/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=11252 CPUtime=159.45 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) R 1976 1976 25271 0 -1 4202496 522810 4066166 0 0 2165 342 9496 3942 20 0 1 0 290369825 11522048 2430 33554432000 4194304 5990268 140735032600368 140735032592352 5042551 0 0 4096 0 0 0 0 17 2 0 0 39 0 0
/proc/1978/statm: 2813 2430 177 439 0 2370 0
Current children cumulated CPU time (s) 159.45
Current children cumulated vsize (KiB) 20400


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

[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1350.91 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) R 1976 1976 25271 0 -1 4202496 4464709 34882700 0 0 18890 2980 80363 32858 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032592352 5173822 0 65536 4102 0 0 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1350.91
Current children cumulated vsize (KiB) 28592

[startup+1422.31 s]
/proc/loadavg: 1.81 1.87 1.89 3/183 4820
/proc/meminfo: memFree=28621864/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=11252 CPUtime=1410.92 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) R 1976 1976 25271 0 -1 4202496 4667258 36453839 0 0 19714 3116 83965 34297 20 0 1 0 290369825 11522048 2462 33554432000 4194304 5990268 140735032600368 140735032592352 5042551 0 0 4096 0 0 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 2813 2462 177 439 0 2370 0
Current children cumulated CPU time (s) 1410.92
Current children cumulated vsize (KiB) 20400

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

[startup+1469.5 s]
/proc/loadavg: 1.92 1.89 1.90 3/183 6004
/proc/meminfo: memFree=28552400/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1457.94 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 4825040 37684536 0 0 20360 3221 86829 35384 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
[pid=6001] ppid=1978 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6001/stat : 6001 (satsolver.sh) S 1978 1976 25271 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290516754 9367552 267 33554432000 4194304 5064252 140733960120864 140733960119776 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6001/statm: 2287 267 226 213 0 72 0
[pid=6002] ppid=6001 vsize=0 CPUtime=0.2 cores=0,2,4,6
/proc/6002/stat : 6002 (glucose) R 6001 1976 25271 0 -1 4202500 9993 0 0 0 18 2 0 0 20 0 1 0 290516755 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6002/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1458.14
Current children cumulated vsize (KiB) 37740

[startup+1469.61 s]
/proc/loadavg: 1.92 1.89 1.90 3/183 6004
/proc/meminfo: memFree=28552400/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1458.14 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 4825047 37695134 0 0 20360 3221 86847 35386 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1458.14
Current children cumulated vsize (KiB) 28592
#
############


[startup+1482.3 s]
/proc/loadavg: 1.93 1.89 1.90 3/179 6308
/proc/meminfo: memFree=28666596/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1470.87 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 4868211 38022995 0 0 20535 3250 87606 35696 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1470.87
Current children cumulated vsize (KiB) 28592

[startup+1542.3 s]
/proc/loadavg: 1.91 1.89 1.90 3/181 7823
/proc/meminfo: memFree=28620780/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1530.78 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 5069050 39594587 0 0 21353 3383 91181 37161 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1530.78
Current children cumulated vsize (KiB) 28592

[startup+1602.3 s]
/proc/loadavg: 1.87 1.88 1.90 3/183 9309
/proc/meminfo: memFree=28596192/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1590.92 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 5269896 41172690 0 0 22172 3515 94782 38623 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 171 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1590.92
Current children cumulated vsize (KiB) 28592

[startup+1662.3 s]
/proc/loadavg: 1.75 1.84 1.88 3/184 10817
/proc/meminfo: memFree=28625516/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1650.38 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 5468904 42735370 0 0 22983 3644 98340 40071 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032592352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 189 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1650.38
Current children cumulated vsize (KiB) 28592

[startup+1722.3 s]
/proc/loadavg: 2.06 1.90 1.90 3/183 12298
/proc/meminfo: memFree=28553944/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=11252 CPUtime=1710.41 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) R 1976 1976 25271 0 -1 4202496 5671421 44308517 0 0 23807 3775 101947 41512 20 0 1 0 290369825 11522048 2430 33554432000 4194304 5990268 140735032600368 140735032592352 5042551 0 0 4096 0 0 0 0 17 4 0 0 189 0 0
/proc/1978/statm: 2813 2430 177 439 0 2370 0
Current children cumulated CPU time (s) 1710.41
Current children cumulated vsize (KiB) 20400

[startup+1782.3 s]
/proc/loadavg: 2.37 2.03 1.94 4/185 13819
/proc/meminfo: memFree=28623320/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1770.32 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 5872406 45882077 0 0 24627 3908 105521 42976 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 189 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (KiB) 28592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812 s]
/proc/loadavg: 2.11 2.00 1.93 3/185 14573
/proc/meminfo: memFree=28592740/32873844 swapFree=6856/6856
[pid=1976] ppid=1974 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1976/stat : 1976 (npSolver-wbo-It) S 1974 1976 25271 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290369825 9367552 275 33554432000 4194304 5064252 140734326711856 140734326710768 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/1976/statm: 2287 275 233 213 0 72 0
[pid=1978] ppid=1976 vsize=19444 CPUtime=1800.15 cores=0,2,4,6
/proc/1978/stat : 1978 (npSolver-wbo) S 1976 1976 25271 0 -1 4202496 5971894 46670296 0 0 25032 3973 107309 43701 20 0 1 0 290369825 19910656 4107 33554432000 4194304 5990268 140735032600368 140735032591264 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 189 0 0
/proc/1978/statm: 4861 4107 177 439 0 4418 0
[pid=14571] ppid=1978 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14571/stat : 14571 (cp2_post.sh) S 1978 1976 25271 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 290551024 9367552 266 33554432000 4194304 5064252 140735402955760 140735402954048 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14571/statm: 2287 266 225 213 0 72 0
[pid=14572] ppid=14571 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/14572/stat : 14572 (cat) S 14571 1976 25271 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 290551024 4100096 122 33554432000 4194304 4236627 140737389688512 140737389687608 223651644896 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/14572/statm: 1001 122 96 11 0 67 0
[pid=14573] ppid=14571 vsize=6356 CPUtime=0 cores=0,2,4,6
/proc/14573/stat : 14573 (coprocessor) R 14571 1976 25271 0 -1 4202496 1204 0 0 0 0 0 0 0 20 0 1 0 290551024 6508544 1084 33554432000 4194304 6586260 140735898938960 140735402954072 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/14573/statm: 1589 1084 148 584 0 1001 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 48100

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1812.02
CPU time (s): 1800.18
CPU user time (s): 1323.42
CPU system time (s): 476.755
CPU usage (%): 99.3467
Max. virtual memory (cumulated for all children) (KiB): 86344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1323.42
system time used= 476.755
maximum resident set size= 43488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52644208
page faults= 0
swaps= 0
block input operations= 8
block output operations= 43287544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 888078
involuntary context switches= 40075

runsolver used 2.73058 second user time and 7.29389 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-29 00:00:49
IDJOB=3715817
IDBENCH=79411
IDSOLVER=2297
FILE ID=node144/3715817-1338242449
RUNJOBID= node144-1338226780-25287
PBS_JOBID= 14624625
Free space on /tmp= 71460 MiB

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

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

MD5SUM BENCH= 542e56009f24e88bce5dd1146eaa3ca2
RANDOM SEED=1974251280

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28662460 kB
Buffers:          605888 kB
Cached:          2706080 kB
SwapCached:            0 kB
Active:          1173748 kB
Inactive:        2185960 kB
Active(anon):      41000 kB
Inactive(anon):      172 kB
Active(file):    1132748 kB
Inactive(file):  2185788 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15396 kB
Writeback:             0 kB
AnonPages:         51476 kB
Mapped:            15584 kB
Shmem:               200 kB
Slab:             711428 kB
SReclaimable:     152204 kB
SUnreclaim:       559224 kB
KernelStack:        1536 kB
PageTables:         4116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     154724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71444 MiB
End job on node144 at 2012-05-29 00:31:01