Trace number 3753114

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.2 1849.41

General information on the benchmark

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

Solver Data

0.00/0.02	c run usual solver
0.00/0.05	o 7883
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 40.2033
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 3941
0.00/0.65	c current bound: 3941
1.17/1.23	c current bound: 3941
1.53/1.82	c current bound: 3941
2.10/2.40	c current bound: 3941
2.70/2.99	c current bound: 3941
3.29/3.97	c current bound: 3941
4.06/4.57	c current bound: 3941
4.47/5.17	c current bound: 3941
5.08/5.77	c current bound: 3941
5.68/6.35	c current bound: 3941
6.26/6.94	c current bound: 3941
6.86/7.53	c current bound: 3941
7.45/8.11	c current bound: 3941
8.31/8.83	c current bound: 3941
8.63/9.41	c current bound: 3941
9.49/10.00	c current bound: 3941
9.80/10.59	c current bound: 3941
10.39/11.17	c current bound: 3941
10.98/11.76	c current bound: 3941
11.57/12.35	c current bound: 3941
12.16/12.94	c current bound: 3941
12.74/13.53	c current bound: 3941
13.36/14.12	c current bound: 3941
13.94/14.71	c current bound: 3941
14.78/15.32	c current bound: 3941
15.14/15.90	c current bound: 3941
15.89/16.50	c current bound: 3941
16.31/17.08	c current bound: 3941
17.09/17.67	c current bound: 3941
17.50/18.26	c current bound: 3941
18.35/19.08	c current bound: 3941
18.69/19.67	c current bound: 3941
19.27/20.25	c current bound: 3941
20.09/20.84	c current bound: 3941
20.46/21.45	c current bound: 3941
21.28/22.05	c current bound: 3941
21.65/22.64	c current bound: 3941
22.48/23.23	c current bound: 3941
23.11/24.07	c current bound: 3941
23.42/24.67	c current bound: 3941
24.21/25.26	c current bound: 3941
24.61/25.85	c current bound: 3941
25.43/26.44	c current bound: 3941
25.79/27.03	c current bound: 3941
26.62/27.64	c current bound: 3941
26.98/28.22	c current bound: 3941
27.57/28.81	c current bound: 3941
28.16/29.44	c current bound: 3941
28.75/30.03	c current bound: 3941
29.35/30.62	c current bound: 3941
29.92/31.20	c current bound: 3941
30.51/31.79	c current bound: 3941
31.10/32.38	c current bound: 3941
31.89/32.99	c current bound: 3941
32.32/33.58	c current bound: 3941
33.09/34.19	c current bound: 3941
33.51/34.78	c current bound: 3941
34.12/35.37	c current bound: 3941
34.71/35.97	c current bound: 3941
35.32/36.58	c current bound: 3941
35.91/37.16	c current bound: 3941
36.51/37.75	c current bound: 3941
37.09/38.34	c current bound: 3941
37.68/39.23	c current bound: 3941
38.28/39.82	c current bound: 3941
38.87/40.40	c current bound: 3941
39.74/41.00	c current bound: 3941
40.03/41.58	c current bound: 3941
40.63/42.16	c current bound: 3941
41.22/42.75	c current bound: 3941
41.81/43.34	c current bound: 3941
42.66/44.23	c current bound: 3941
42.99/44.82	c current bound: 3941
43.57/45.40	c current bound: 3941
44.16/45.99	c current bound: 3941
44.76/46.58	c current bound: 3941
45.34/47.17	c current bound: 3941
45.93/47.76	c current bound: 3941
46.74/48.35	c current bound: 3941
47.12/49.18	c current bound: 3941
47.70/49.77	c current bound: 3941
48.30/50.37	c current bound: 3941
48.91/50.96	c current bound: 3941
49.49/51.54	c current bound: 3941
50.08/52.13	c current bound: 3941
50.91/52.72	c current bound: 3941
51.25/53.31	c current bound: 3941
52.12/53.90	c current bound: 3941
52.44/54.64	c current bound: 3941
53.03/55.24	c current bound: 3941
53.64/55.85	c current bound: 3941
54.25/56.42	c current bound: 3941
54.82/57.02	c current bound: 3941
55.42/57.62	c current bound: 3941
56.28/58.21	c current bound: 3941
56.62/58.80	c current bound: 3941
57.49/59.40	c current bound: 3941
57.80/60.00	c current bound: 3941
58.66/60.60	c current bound: 3941
58.99/61.20	c current bound: 3941
59.89/61.80	c current bound: 3941
60.48/62.40	c current bound: 3941
61.09/63.00	c current bound: 3941
61.40/63.60	c current bound: 3941
62.30/64.36	c current bound: 3941
62.85/64.96	c current bound: 3941
63.23/65.56	c current bound: 3941
64.04/66.16	c current bound: 3941
64.42/66.76	c current bound: 3941
65.00/67.36	c current bound: 3941
65.62/67.96	c current bound: 3941
66.22/68.56	c current bound: 3941
67.09/69.40	c current bound: 3941
67.69/70.00	c current bound: 3941
68.00/70.60	c current bound: 3941
68.61/71.20	c current bound: 3941
69.22/71.80	c current bound: 3941
69.82/72.40	c current bound: 3941
70.42/73.00	c current bound: 3941
71.32/73.60	c current bound: 3941
71.63/74.47	c current bound: 3941
72.23/75.07	c current bound: 3941
72.82/75.67	c current bound: 3941
73.43/76.27	c current bound: 3941
74.02/76.87	c current bound: 3941
74.62/77.47	c current bound: 3941
75.43/78.08	c current bound: 3941
75.84/78.68	c current bound: 3941
76.73/79.60	c current bound: 3941
77.34/80.20	c current bound: 3941
77.94/80.80	c current bound: 3941
78.43/81.39	c current bound: 3941
78.84/81.99	c current bound: 3941
79.62/82.59	c current bound: 3941
80.03/83.19	c current bound: 3941
80.63/83.77	c current bound: 3941
81.48/84.62	c current bound: 3941
81.82/85.20	c current bound: 3941
82.69/85.80	c current bound: 3941
83.00/86.41	c current bound: 3941
83.87/87.01	c current bound: 3941
84.20/87.61	c current bound: 3941
84.81/88.21	c current bound: 3941
85.41/88.82	c current bound: 3941
86.02/89.70	c current bound: 3941
86.91/90.30	c current bound: 3941
87.52/90.90	c current bound: 3941
88.10/91.50	c current bound: 3941
88.70/92.10	c current bound: 3941
89.31/92.70	c current bound: 3941
89.90/93.30	c current bound: 3941
90.50/93.90	c current bound: 3941
91.11/94.69	c current bound: 3941
91.43/95.27	c current bound: 3941
92.21/95.88	c current bound: 3941
92.62/96.48	c current bound: 3941
93.21/97.08	c current bound: 3941
93.81/97.68	c current bound: 3941
94.41/98.27	c current bound: 3941
95.01/98.88	c current bound: 3941
95.61/99.74	c current bound: 3941
96.21/100.32	c current bound: 3941
96.79/100.93	c current bound: 3941
97.40/101.53	c current bound: 3941
98.00/102.13	c current bound: 3941
98.60/102.73	c current bound: 3941
99.45/103.32	c current bound: 3941
99.79/103.92	c current bound: 3941
100.67/104.82	c current bound: 3941
101.01/105.42	c current bound: 3941
101.61/106.02	c current bound: 3941
102.47/106.62	c current bound: 3941
102.80/107.22	c current bound: 3941
103.67/107.83	c current bound: 3941
104.01/108.42	c current bound: 3941
104.85/109.02	c current bound: 3941
105.21/109.87	c current bound: 3941
105.80/110.47	c current bound: 3941
106.60/111.07	c current bound: 3941
107.00/111.68	c current bound: 3941
107.82/112.28	c current bound: 3941
108.22/112.88	c current bound: 3941
109.01/113.48	c current bound: 3941
109.41/114.08	c current bound: 3941
110.30/114.91	c current bound: 3941
110.90/115.50	c current bound: 3941
111.22/116.08	c current bound: 3941
112.00/116.68	c current bound: 3941
112.40/117.28	c current bound: 3941
113.19/117.86	c current bound: 3941
113.57/118.45	c current bound: 3941
114.16/119.07	c current bound: 3941
115.07/119.90	c current bound: 3941
115.40/120.49	c current bound: 3941
116.29/121.10	c current bound: 3941
116.60/121.69	c current bound: 3941
117.20/122.27	c current bound: 3941
117.78/122.87	c current bound: 3941
118.39/123.47	c current bound: 3941
118.99/124.08	c current bound: 3941
119.59/124.68	c current bound: 3941
120.49/125.30	c current bound: 3941
120.80/125.90	c current bound: 3941
121.59/126.50	c current bound: 3941
122.29/127.10	c current bound: 3941
122.90/127.70	c current bound: 3941
123.20/128.30	c current bound: 3941
123.79/128.87	c current bound: 3941
124.38/129.45	c current bound: 3941
124.97/130.06	c current bound: 3941
125.57/130.66	c current bound: 3941
126.17/131.26	c current bound: 3941
126.77/131.86	c current bound: 3941
127.38/132.46	c current bound: 3941
128.20/133.06	c current bound: 3941
128.57/133.66	c current bound: 3941
129.39/134.26	c current bound: 3941
129.77/135.05	c current bound: 3941
130.37/135.65	c current bound: 3941
130.98/136.25	c current bound: 3941
131.57/136.87	c current bound: 3941
132.40/137.46	c current bound: 3941
132.79/138.04	c current bound: 3941
133.60/138.62	c current bound: 3941
134.22/139.20	c current bound: 3941
134.71/139.77	c current bound: 3941
135.11/140.38	c current bound: 3941
135.89/140.97	c current bound: 3941
136.29/141.55	c current bound: 3941
136.87/142.13	c current bound: 3941
137.45/142.71	c current bound: 3941
138.04/143.31	c current bound: 3941
138.91/143.90	c current bound: 3941
139.21/144.48	c current bound: 3941
140.05/145.22	c current bound: 3941
140.37/145.80	c current bound: 3941
141.12/146.38	c current bound: 3941
141.53/146.96	c current bound: 3941
142.32/147.55	c current bound: 3941
142.70/148.13	c current bound: 3941
143.28/148.71	c current bound: 3941
143.85/149.29	c current bound: 3941
144.44/149.88	c current bound: 3941
145.02/150.50	c current bound: 3941
145.89/151.10	c current bound: 3941
146.20/151.67	c current bound: 3941
146.78/152.25	c current bound: 3941
147.58/152.83	c current bound: 3941
147.94/153.41	c current bound: 3941
148.69/153.98	c current bound: 3941
149.09/154.56	c current bound: 3941
149.95/155.33	c current bound: 3941
150.24/155.92	c current bound: 3941
150.85/156.51	c current bound: 3941
151.42/157.09	c current bound: 3941
152.00/157.69	c current bound: 3941
152.58/158.26	c current bound: 3941
153.16/158.84	c current bound: 3941
153.98/159.43	c current bound: 3941
154.33/160.00	c current bound: 3941
155.13/160.69	c current bound: 3941
155.55/161.27	c current bound: 3941
156.33/161.88	c current bound: 3941
156.75/162.47	c current bound: 3941
157.34/163.06	c current bound: 3941
157.92/163.64	c current bound: 3941
158.52/164.23	c current bound: 3941
159.10/164.82	c current bound: 3941
159.69/165.40	c current bound: 3941
160.28/165.99	c current bound: 3941
160.87/166.58	c current bound: 3941
161.64/167.17	c current bound: 3941
162.04/167.76	c current bound: 3941
162.84/168.36	c current bound: 3941
163.23/168.95	c current bound: 3941
164.05/169.56	c current bound: 3941
164.45/170.27	c current bound: 3941
165.03/170.86	c current bound: 3941
165.62/171.45	c current bound: 3941
166.21/172.03	c current bound: 3941
167.02/172.62	c current bound: 3941
167.38/173.21	c current bound: 3941
168.13/173.80	c current bound: 3941
168.55/174.39	c current bound: 3941
169.33/174.99	c current bound: 3941
169.73/175.57	c current bound: 3941
170.52/176.18	c current bound: 3941
170.93/176.77	c current bound: 3941
171.52/177.36	c current bound: 3941
172.11/177.95	c current bound: 3941
172.71/178.53	c current bound: 3941
173.28/179.12	c current bound: 3941
173.87/179.71	c current bound: 3941
174.74/180.57	c current bound: 3941
175.05/181.16	c current bound: 3941
175.65/181.75	c current bound: 3941
176.25/182.34	c current bound: 3941
176.83/182.93	c current bound: 3941
177.41/183.52	c current bound: 3941
177.99/184.10	c current bound: 3941
178.60/184.69	c current bound: 3941
179.18/185.28	c current bound: 3941
180.03/185.92	c current bound: 3941
180.37/186.51	c current bound: 3941
181.22/187.11	c current bound: 3941
181.56/187.69	c current bound: 3941
182.14/188.28	c current bound: 3941
182.72/188.86	c current bound: 3941
183.32/189.45	c current bound: 3941
183.91/190.04	c current bound: 3941
184.50/190.75	c current bound: 3941
185.31/191.35	c current bound: 3941
185.67/191.93	c current bound: 3941
186.50/192.52	c current bound: 3941
186.85/193.11	c current bound: 3941
187.70/193.71	c current bound: 3941
188.04/194.30	c current bound: 3941
188.63/194.89	c current bound: 3941
189.21/195.70	c current bound: 3941
189.80/196.28	c current bound: 3941
190.58/196.87	c current bound: 3941
190.98/197.46	c current bound: 3941
191.79/198.06	c current bound: 3941
192.18/198.65	c current bound: 3941
192.98/199.26	c current bound: 3941
193.37/199.85	c current bound: 3941
193.97/200.44	c current bound: 3941
194.55/201.05	c current bound: 3941
195.14/201.64	c current bound: 3941
195.73/202.22	c current bound: 3941
196.31/202.81	c current bound: 3941
196.90/203.40	c current bound: 3941
197.48/203.98	c current bound: 3941
198.25/204.58	c current bound: 3941
198.66/205.16	c current bound: 3941
199.53/205.95	c current bound: 3941
199.84/206.55	c current bound: 3941
200.45/207.13	c current bound: 3941
201.04/207.72	c current bound: 3941
201.64/208.31	c current bound: 3941
202.21/208.89	c current bound: 3941
202.80/209.48	c current bound: 3941
203.58/210.07	c current bound: 3941
203.99/210.90	c current bound: 3941
204.57/211.49	c current bound: 3941
205.15/212.07	c current bound: 3941
205.74/212.66	c current bound: 3941
206.32/213.25	c current bound: 3941
206.92/213.83	c current bound: 3941
207.72/214.42	c current bound: 3941
208.09/215.01	c current bound: 3941
208.95/215.61	c current bound: 3941
209.28/216.24	c current bound: 3941
210.08/216.83	c current bound: 3941
210.46/217.42	c current bound: 3941
211.05/218.01	c current bound: 3941
211.90/218.60	c current bound: 3941
212.21/219.18	c current bound: 3941
212.80/219.76	c current bound: 3941
213.39/220.35	c current bound: 3941
214.24/221.10	c current bound: 3941
214.55/221.68	c current bound: 3941
215.33/222.27	c current bound: 3941
215.73/222.86	c current bound: 3941
216.53/223.46	c current bound: 3941
216.92/224.05	c current bound: 3941
217.51/224.63	c current bound: 3941
218.10/225.21	c current bound: 3941
218.95/225.80	c current bound: 3941
219.27/226.42	c current bound: 3941
219.87/227.01	c current bound: 3941
220.44/227.60	c current bound: 3941
221.04/228.18	c current bound: 3941
221.83/228.78	c current bound: 3941
222.23/229.36	c current bound: 3941
223.03/229.96	c current bound: 3941
223.42/230.55	c current bound: 3941
224.21/231.13	c current bound: 3941
224.58/231.73	c current bound: 3941
225.18/232.31	c current bound: 3941
226.03/232.90	c current bound: 3941
226.36/233.48	c current bound: 3941
226.94/234.07	c current bound: 3941
227.54/234.65	c current bound: 3941
228.11/235.24	c current bound: 3941
228.97/236.07	c current bound: 3941
229.47/236.68	c current bound: 3941
229.90/237.27	c current bound: 3941
230.49/237.85	c current bound: 3941
231.08/238.44	c current bound: 3941
231.65/239.02	c current bound: 3941
232.24/239.61	c current bound: 3941
232.83/240.20	c current bound: 3941
233.41/240.78	c current bound: 3941
234.27/241.40	c current bound: 3941
234.75/241.99	c current bound: 3941
235.16/242.58	c current bound: 3941
235.95/243.17	c current bound: 3941
236.35/243.76	c current bound: 3941
237.16/244.36	c current bound: 3941
237.53/244.94	c current bound: 3941
238.14/245.53	c current bound: 3941
238.73/246.26	c current bound: 3941
239.31/246.84	c current bound: 3941
240.13/247.43	c current bound: 3941
240.48/248.01	c current bound: 3941
241.32/248.61	c current bound: 3941
241.66/249.19	c current bound: 3941
242.43/249.79	c current bound: 3941
242.85/250.38	c current bound: 3941
243.68/251.26	c current bound: 3941
244.21/251.86	c current bound: 3941
244.61/252.44	c current bound: 3941
245.42/253.04	c current bound: 3941
245.80/253.62	c current bound: 3941
246.61/254.21	c current bound: 3941
246.96/254.81	c current bound: 3941
247.56/255.39	c current bound: 3941
248.42/256.21	c current bound: 3941
248.74/256.80	c current bound: 3941
249.52/257.39	c current bound: 3941
249.93/257.98	c current bound: 3941
250.70/258.58	c current bound: 3941
251.12/259.18	c current bound: 3941
251.72/259.79	c current bound: 3941
252.32/260.36	c current bound: 3941
252.88/260.94	c current bound: 3941
253.46/261.55	c current bound: 3941
254.06/262.15	c current bound: 3941
254.64/262.73	c current bound: 3941
255.23/263.31	c current bound: 3941
255.81/263.89	c current bound: 3941
256.39/264.47	c current bound: 3941
257.19/265.04	c current bound: 3941
257.54/265.62	c current bound: 3941
258.40/266.45	c current bound: 3941
258.70/267.05	c current bound: 3941
259.30/267.64	c current bound: 3941
259.89/268.21	c current bound: 3941
260.48/268.81	c current bound: 3941
261.08/269.40	c current bound: 3941
261.66/269.98	c current bound: 3941
262.45/270.56	c current bound: 3941
262.82/271.38	c current bound: 3941
263.40/271.97	c current bound: 3941
263.98/272.54	c current bound: 3941
264.57/273.13	c current bound: 3941
265.14/273.71	c current bound: 3941
265.74/274.30	c current bound: 3941
266.32/274.88	c current bound: 3941
266.89/275.46	c current bound: 3941
267.69/276.03	c current bound: 3941
268.04/276.61	c current bound: 3941
268.81/277.19	c current bound: 3941
269.20/277.76	c current bound: 3941
269.99/278.34	c current bound: 3941
270.36/278.92	c current bound: 3941
271.21/279.50	c current bound: 3941
271.53/280.07	c current bound: 3941
272.30/280.65	c current bound: 3941
272.94/281.51	c current bound: 3941
273.25/282.09	c current bound: 3941
274.02/282.66	c current bound: 3941
274.40/283.24	c current bound: 3941
275.21/283.82	c current bound: 3941
275.55/284.39	c current bound: 3941
276.31/284.97	c current bound: 3941
276.69/285.54	c current bound: 3941
277.51/286.12	c current bound: 3941
277.86/286.70	c current bound: 3941
278.44/287.30	c current bound: 3941
279.04/287.89	c current bound: 3941
279.62/288.47	c current bound: 3941
280.20/289.05	c current bound: 3941
280.79/289.64	c current bound: 3941
281.37/290.23	c current bound: 3941
281.95/290.81	c current bound: 3941
282.80/291.63	c current bound: 3941
283.12/292.20	c current bound: 3941
283.69/292.78	c current bound: 3941
284.27/293.36	c current bound: 3941
284.85/293.95	c current bound: 3941
285.42/294.52	c current bound: 3941
286.01/295.11	c current bound: 3941
286.58/295.69	c current bound: 3941
287.16/296.28	c current bound: 3941
287.75/296.85	c current bound: 3941
288.32/297.43	c current bound: 3941
289.14/298.02	c current bound: 3941
289.49/298.59	c current bound: 3941
290.26/299.17	c current bound: 3941
290.65/299.74	c current bound: 3941
291.47/300.34	c current bound: 3941
291.81/300.91	c current bound: 3941
292.66/301.77	c current bound: 3941
292.98/302.35	c current bound: 3941
293.55/302.92	c current bound: 3941
294.13/303.50	c current bound: 3941
294.71/304.08	c current bound: 3941
295.49/304.66	c current bound: 3941
295.86/305.24	c current bound: 3941
296.69/305.81	c current bound: 3941
297.01/306.39	c current bound: 3941
297.78/306.96	c current bound: 3941
298.17/307.55	c current bound: 3941
298.97/308.12	c current bound: 3941
299.59/308.70	c current bound: 3941
299.90/309.28	c current bound: 3941
300.48/309.85	c current bound: 3941
301.06/310.44	c current bound: 3941
301.63/311.01	c current bound: 3941
302.48/311.82	c current bound: 3941
302.95/312.39	c current bound: 3941
303.38/312.97	c current bound: 3941
304.15/313.55	c current bound: 3941
304.51/314.12	c current bound: 3941
305.35/314.70	c current bound: 3941
305.68/315.28	c current bound: 3941
306.44/315.86	c current bound: 3941
306.82/316.44	c current bound: 3941
307.69/317.10	c current bound: 3941
307.99/317.67	c current bound: 3941
308.58/318.27	c current bound: 3941
309.16/318.84	c current bound: 3941
309.74/319.42	c current bound: 3941
310.59/320.00	c current bound: 3941
310.90/320.58	c current bound: 3941
311.68/321.16	c current bound: 3941
312.06/322.03	c current bound: 3941
312.64/322.62	c current bound: 3941
313.23/323.20	c current bound: 3941
313.83/323.79	c current bound: 3941
314.40/324.37	c current bound: 3941
314.98/324.95	c current bound: 3941
315.80/325.53	c current bound: 3941
316.14/326.11	c current bound: 3941
316.89/326.69	c current bound: 3941
317.30/327.31	c current bound: 3941
318.06/327.88	c current bound: 3941
318.46/328.46	c current bound: 3941
319.26/329.03	c current bound: 3941
319.61/329.61	c current bound: 3941
320.19/330.19	c current bound: 3941
320.77/330.76	c current bound: 3941
321.35/331.37	c current bound: 3941
322.21/332.16	c current bound: 3941
322.52/332.74	c current bound: 3941
323.34/333.32	c current bound: 3941
323.68/333.89	c current bound: 3941
324.46/334.47	c current bound: 3941
324.84/335.04	c current bound: 3941
325.64/335.62	c current bound: 3941
326.26/336.20	c current bound: 3941
326.57/336.78	c current bound: 3941
327.15/337.41	c current bound: 3941
327.99/338.00	c current bound: 3941
328.31/338.58	c current bound: 3941
328.88/339.16	c current bound: 3941
329.46/339.74	c current bound: 3941
330.05/340.32	c current bound: 3941
330.63/340.89	c current bound: 3941
331.20/341.47	c current bound: 3941
332.06/342.23	c current bound: 3941
332.39/342.81	c current bound: 3941
332.96/343.39	c current bound: 3941
333.53/343.96	c current bound: 3941
334.12/344.55	c current bound: 3941
334.70/345.12	c current bound: 3941
335.26/345.71	c current bound: 3941
335.85/346.29	c current bound: 3941
336.44/346.88	c current bound: 3941
337.03/347.49	c current bound: 3941
337.60/348.07	c current bound: 3941
338.39/348.64	c current bound: 3941
338.76/349.22	c current bound: 3941
339.50/349.80	c current bound: 3941
339.91/350.38	c current bound: 3941
340.70/350.95	c current bound: 3941
341.07/351.53	c current bound: 3941
341.92/352.30	c current bound: 3941
342.23/352.88	c current bound: 3941
342.81/353.47	c current bound: 3941
343.41/354.05	c current bound: 3941
343.97/354.62	c current bound: 3941
344.82/355.20	c current bound: 3941
345.12/355.78	c current bound: 3941
345.90/356.36	c current bound: 3941
346.27/356.93	c current bound: 3941
347.10/357.51	c current bound: 3941
347.72/358.10	c current bound: 3941
348.22/358.68	c current bound: 3941
348.60/359.25	c current bound: 3941
349.39/359.84	c current bound: 3941
349.76/360.42	c current bound: 3941
350.34/361.00	c current bound: 3941
350.94/361.59	c current bound: 3941
351.52/362.42	c current bound: 3941
352.38/363.01	c current bound: 3941
352.99/363.60	c current bound: 3941
353.48/364.19	c current bound: 3941
353.91/364.79	c current bound: 3941
354.50/365.39	c current bound: 3941
355.10/365.98	c current bound: 3941
355.69/366.57	c current bound: 3941
356.28/367.16	c current bound: 3941
356.86/367.79	c current bound: 3941
357.47/368.39	c current bound: 3941
358.08/368.98	c current bound: 3941
358.84/369.57	c current bound: 3941
359.23/370.16	c current bound: 3941
360.05/370.74	c current bound: 3941
360.41/371.33	c current bound: 3941
361.24/371.93	c current bound: 3941
361.60/372.62	c current bound: 3941
362.19/373.21	c current bound: 3941
362.77/373.79	c current bound: 3941
363.35/374.37	c current bound: 3941
363.94/374.96	c current bound: 3941
364.51/375.54	c current bound: 3941
365.34/376.13	c current bound: 3941
365.69/376.72	c current bound: 3941
366.54/377.31	c current bound: 3941
366.86/377.95	c current bound: 3941
367.66/378.54	c current bound: 3941
368.04/379.13	c current bound: 3941
368.90/379.82	c current bound: 3941
369.22/380.41	c current bound: 3941
369.81/380.99	c current bound: 3941
370.39/381.57	c current bound: 3941
370.97/382.16	c current bound: 3941
371.76/382.74	c current bound: 3941
372.13/383.33	c current bound: 3941
372.96/383.94	c current bound: 3941
373.32/384.52	c current bound: 3941
374.15/385.12	c current bound: 3941
374.50/385.70	c current bound: 3941
375.08/386.29	c current bound: 3941
375.68/386.87	c current bound: 3941
376.26/387.71	c current bound: 3941
377.12/388.30	c current bound: 3941
377.45/388.89	c current bound: 3941
378.20/389.49	c current bound: 3941
378.61/390.07	c current bound: 3941
379.40/390.68	c current bound: 3941
379.81/391.28	c current bound: 3941
380.41/391.87	c current bound: 3941
381.00/392.45	c current bound: 3941
381.58/393.13	c current bound: 3941
382.42/393.71	c current bound: 3941
382.77/394.30	c current bound: 3941
383.53/394.90	c current bound: 3941
383.93/395.49	c current bound: 3941
384.73/396.08	c current bound: 3941
385.14/396.68	c current bound: 3941
385.93/397.28	c current bound: 3941
386.32/397.88	c current bound: 3941
386.93/398.48	c current bound: 3941
387.52/399.07	c current bound: 3941
388.12/399.66	c current bound: 3941
388.72/400.26	c current bound: 3941
389.31/400.86	c current bound: 3941
390.13/401.46	c current bound: 3941
390.52/402.05	c current bound: 3941
391.40/402.94	c current bound: 3941
391.71/403.54	c current bound: 3941
392.30/404.13	c current bound: 3941
393.14/404.73	c current bound: 3941
393.50/405.32	c current bound: 3941
394.35/405.92	c current bound: 3941
394.68/406.52	c current bound: 3941
395.54/407.11	c current bound: 3941
395.89/407.98	c current bound: 3941
396.49/408.58	c current bound: 3941
397.28/409.18	c current bound: 3941
397.68/409.78	c current bound: 3941
398.48/410.38	c current bound: 3941
398.89/410.98	c current bound: 3941
399.67/411.59	c current bound: 3941
400.09/412.19	c current bound: 3941
400.69/413.03	c current bound: 3941
401.54/413.63	c current bound: 3941
401.88/414.22	c current bound: 3941
402.72/414.82	c current bound: 3941
403.08/415.42	c current bound: 3941
403.66/416.03	c current bound: 3941
404.29/416.63	c current bound: 3941
404.89/417.23	c current bound: 3941
405.76/418.07	c current bound: 3941
406.07/418.67	c current bound: 3941
406.88/419.25	c current bound: 3941
407.25/419.85	c current bound: 3941
407.86/420.45	c current bound: 3941
408.46/421.05	c current bound: 3941
409.05/421.64	c current bound: 3941
409.65/422.23	c current bound: 3941
410.51/423.08	c current bound: 3941
411.01/423.68	c current bound: 3941
411.41/424.26	c current bound: 3941
412.00/424.85	c current bound: 3941
412.59/425.45	c current bound: 3941
413.20/426.05	c current bound: 3941
413.78/426.64	c current bound: 3941
414.37/427.22	c current bound: 3941
415.22/427.82	c current bound: 3941
415.55/428.41	c current bound: 3941
416.42/429.02	c current bound: 3941
416.75/429.61	c current bound: 3941
417.60/430.21	c current bound: 3941
417.94/430.81	c current bound: 3941
418.55/431.40	c current bound: 3941
419.14/432.00	c current bound: 3941
420.03/432.60	c current bound: 3941
420.34/433.20	c current bound: 3941
420.94/433.79	c current bound: 3941
421.52/434.39	c current bound: 3941
422.13/434.98	c current bound: 3941
422.93/435.57	c current bound: 3941
423.31/436.17	c current bound: 3941
424.13/436.77	c current bound: 3941
424.51/437.36	c current bound: 3941
425.40/438.24	c current bound: 3941
425.94/438.86	c current bound: 3941
426.33/439.46	c current bound: 3941
427.16/440.06	c current bound: 3941
427.52/440.67	c current bound: 3941
428.33/441.25	c current bound: 3941
428.71/441.85	c current bound: 3941
429.32/442.45	c current bound: 3941
430.19/443.30	c current bound: 3941
430.80/443.90	c current bound: 3941
431.29/444.49	c current bound: 3941
431.69/445.09	c current bound: 3941
432.48/445.66	c current bound: 3941
432.87/446.27	c current bound: 3941
433.47/446.86	c current bound: 3941
434.06/447.46	c current bound: 3941
434.66/448.29	c current bound: 3941
435.45/448.88	c current bound: 3941
435.87/449.48	c current bound: 3941
436.65/450.08	c current bound: 3941
437.06/450.67	c current bound: 3941
437.65/451.27	c current bound: 3941
438.26/451.87	c current bound: 3941
438.84/452.46	c current bound: 3941
439.72/453.35	c current bound: 3941
440.05/453.95	c current bound: 3941
440.64/454.56	c current bound: 3941
441.26/455.16	c current bound: 3941
441.85/455.75	c current bound: 3941
442.45/456.35	c current bound: 3941
443.04/456.95	c current bound: 3941
443.89/457.55	c current bound: 3941
444.24/458.36	c current bound: 3941
444.81/458.95	c current bound: 3941
445.41/459.56	c current bound: 3941
446.01/460.15	c current bound: 3941
446.60/460.75	c current bound: 3941
447.22/461.36	c current bound: 3941
448.03/461.95	c current bound: 3941
448.41/462.56	c current bound: 3941
449.30/463.39	c current bound: 3941
449.61/463.98	c current bound: 3941
450.19/464.58	c current bound: 3941
450.80/465.18	c current bound: 3941
451.40/465.77	c current bound: 3941
452.21/466.37	c current bound: 3941
452.61/466.97	c current bound: 3941
453.40/467.57	c current bound: 3941
454.09/468.41	c current bound: 3941
454.42/469.02	c current bound: 3941
455.27/469.62	c current bound: 3941
455.61/470.22	c current bound: 3941
456.47/470.82	c current bound: 3941
456.81/471.41	c current bound: 3941
457.68/472.01	c current bound: 3941
458.00/472.60	c current bound: 3941
458.59/473.44	c current bound: 3941
459.44/474.03	c current bound: 3941
459.78/474.63	c current bound: 3941
460.64/475.23	c current bound: 3941
460.98/475.82	c current bound: 3941
461.83/476.42	c current bound: 3941
462.17/477.02	c current bound: 3941
462.77/477.62	c current bound: 3941
463.65/478.49	c current bound: 3941
463.97/479.10	c current bound: 3941
464.75/479.69	c current bound: 3941
465.17/480.27	c current bound: 3941
465.95/480.86	c current bound: 3941
466.34/481.46	c current bound: 3941
466.93/482.07	c current bound: 3941
467.55/482.66	c current bound: 3941
468.44/483.56	c current bound: 3941
468.96/484.16	c current bound: 3941
469.33/484.76	c current bound: 3941
469.93/485.36	c current bound: 3941
470.53/485.94	c current bound: 3941
471.11/486.54	c current bound: 3941
471.70/487.14	c current bound: 3941
472.31/487.73	c current bound: 3941
473.17/488.58	c current bound: 3941
473.51/489.17	c current bound: 3941
474.10/489.77	c current bound: 3941
474.70/490.39	c current bound: 3941
475.32/490.99	c current bound: 3941
475.92/491.59	c current bound: 3941
476.53/492.18	c current bound: 3941
477.32/492.78	c current bound: 3941
477.71/493.65	c current bound: 3941
478.31/494.24	c current bound: 3941
478.90/494.84	c current bound: 3941
479.50/495.44	c current bound: 3941
480.34/496.03	c current bound: 3941
480.69/496.63	c current bound: 3941
481.54/497.23	c current bound: 3941
481.89/497.82	c current bound: 3941
482.77/498.74	c current bound: 3941
483.32/499.34	c current bound: 3941
483.70/499.94	c current bound: 3941
484.53/500.53	c current bound: 3941
484.89/501.13	c current bound: 3941
485.72/501.73	c current bound: 3941
486.08/502.33	c current bound: 3941
486.68/502.92	c current bound: 3941
487.56/503.77	c current bound: 3941
487.87/504.36	c current bound: 3941
488.68/504.96	c current bound: 3941
489.07/505.56	c current bound: 3941
489.89/506.15	c current bound: 3941
490.26/506.75	c current bound: 3941
490.86/507.35	c current bound: 3941
491.47/507.95	c current bound: 3941
492.35/508.81	c current bound: 3941
492.92/509.41	c current bound: 3941
493.25/510.00	c current bound: 3941
494.14/510.60	c current bound: 3941
494.43/511.19	c current bound: 3941
495.04/511.79	c current bound: 3941
495.64/512.37	c current bound: 3941
496.23/512.99	c current bound: 3941
497.14/513.90	c current bound: 3941
497.44/514.52	c current bound: 3941
498.07/515.12	c current bound: 3941
498.66/515.71	c current bound: 3941
499.28/516.32	c current bound: 3941
500.14/516.92	c current bound: 3941
500.74/517.50	c current bound: 3941
501.23/518.08	c current bound: 3941
501.90/518.92	c current bound: 3941
502.19/519.49	c current bound: 3941
502.78/520.07	c current bound: 3941
503.37/520.66	c current bound: 3941
503.95/521.24	c current bound: 3941
504.53/521.81	c current bound: 3941
505.10/522.39	c current bound: 3941
505.68/522.97	c current bound: 3941
506.47/523.55	c current bound: 3941
506.83/524.12	c current bound: 3941
507.57/524.70	c current bound: 3941
507.99/525.28	c current bound: 3941
508.78/525.86	c current bound: 3941
509.16/526.44	c current bound: 3941
509.96/527.02	c current bound: 3941
510.31/527.60	c current bound: 3941
510.89/528.19	c current bound: 3941
511.73/529.04	c current bound: 3941
512.04/529.62	c current bound: 3941
512.79/530.19	c current bound: 3941
513.20/530.77	c current bound: 3941
513.98/531.34	c current bound: 3941
514.35/531.92	c current bound: 3941
515.20/532.50	c current bound: 3941
515.51/533.08	c current bound: 3941
516.27/533.66	c current bound: 3941
516.66/534.23	c current bound: 3941
517.25/534.81	c current bound: 3941
517.83/535.39	c current bound: 3941
518.40/535.97	c current bound: 3941
518.97/536.55	c current bound: 3941
519.56/537.14	c current bound: 3941
520.14/537.71	c current bound: 3941
520.73/538.31	c current bound: 3941
521.58/539.14	c current bound: 3941
521.88/539.71	c current bound: 3941
522.74/540.30	c current bound: 3941
523.04/540.87	c current bound: 3941
523.61/541.45	c current bound: 3941
524.18/542.04	c current bound: 3941
524.79/542.63	c current bound: 3941
525.36/543.21	c current bound: 3941
526.22/543.80	c current bound: 3941
526.78/544.41	c current bound: 3941
527.10/544.99	c current bound: 3941
527.88/545.56	c current bound: 3941
528.27/546.14	c current bound: 3941
529.07/546.72	c current bound: 3941
529.69/547.30	c current bound: 3941
530.18/547.87	c current bound: 3941
530.57/548.45	c current bound: 3941
531.42/549.27	c current bound: 3941
531.72/549.85	c current bound: 3941
532.31/550.42	c current bound: 3941
532.88/551.00	c current bound: 3941
533.45/551.58	c current bound: 3941
534.23/552.17	c current bound: 3941
534.64/552.76	c current bound: 3941
535.45/553.34	c current bound: 3941
535.81/553.93	c current bound: 3941
536.59/554.57	c current bound: 3941
537.00/555.16	c current bound: 3941
537.59/555.75	c current bound: 3941
538.18/556.35	c current bound: 3941
538.78/556.93	c current bound: 3941
539.36/557.51	c current bound: 3941
539.93/558.09	c current bound: 3941
540.52/558.68	c current bound: 3941
541.38/559.42	c current bound: 3941
541.94/560.01	c current bound: 3941
542.28/560.59	c current bound: 3941
542.86/561.17	c current bound: 3941
543.44/561.76	c current bound: 3941
544.04/562.34	c current bound: 3941
544.62/562.93	c current bound: 3941
545.21/563.52	c current bound: 3941
546.06/564.38	c current bound: 3941
546.38/564.97	c current bound: 3941
547.16/565.56	c current bound: 3941
547.55/566.14	c current bound: 3941
548.13/566.73	c current bound: 3941
548.72/567.31	c current bound: 3941
549.32/567.90	c current bound: 3941
549.91/568.49	c current bound: 3941
550.49/569.08	c current bound: 3941
551.33/569.72	c current bound: 3941
551.69/570.30	c current bound: 3941
552.44/570.90	c current bound: 3941
552.86/571.48	c current bound: 3941
553.64/572.09	c current bound: 3941
554.05/572.67	c current bound: 3941
554.83/573.28	c current bound: 3941
555.24/573.87	c current bound: 3941
555.84/574.46	c current bound: 3941
556.41/575.04	c current bound: 3941
557.00/575.63	c current bound: 3941
557.59/576.22	c current bound: 3941
558.18/576.80	c current bound: 3941
558.76/577.39	c current bound: 3941
559.34/577.97	c current bound: 3941
560.13/578.56	c current bound: 3941
560.51/579.14	c current bound: 3941
561.29/579.78	c current bound: 3941
561.69/580.36	c current bound: 3941
562.49/580.97	c current bound: 3941
562.89/581.56	c current bound: 3941
563.48/582.16	c current bound: 3941
564.08/582.74	c current bound: 3941
564.66/583.32	c current bound: 3941
565.25/583.92	c current bound: 3941
565.84/584.52	c current bound: 3941
566.43/585.10	c current bound: 3941
567.01/585.68	c current bound: 3941
567.78/586.26	c current bound: 3941
568.17/586.85	c current bound: 3941
568.99/587.42	c current bound: 3941
569.33/588.00	c current bound: 3941
570.08/588.59	c current bound: 3941
570.51/589.17	c current bound: 3941
571.30/589.77	c current bound: 3941
571.69/590.36	c current bound: 3941
572.28/590.95	c current bound: 3941
572.87/591.53	c current bound: 3941
573.47/592.12	c current bound: 3941
574.06/592.70	c current bound: 3941
574.62/593.29	c current bound: 3941
575.22/593.87	c current bound: 3941
576.07/594.79	c current bound: 3941
576.38/595.37	c current bound: 3941
576.97/595.95	c current bound: 3941
577.56/596.54	c current bound: 3941
578.14/597.13	c current bound: 3941
578.73/597.71	c current bound: 3941
579.32/598.30	c current bound: 3941
579.90/598.88	c current bound: 3941
580.75/599.70	c current bound: 3941
581.07/600.28	c current bound: 3941
581.66/600.88	c current bound: 3941
582.26/601.48	c current bound: 3941
582.85/602.07	c current bound: 3941
583.44/602.65	c current bound: 3941
584.03/603.25	c current bound: 3941
584.86/603.83	c current bound: 3941
585.22/604.41	c current bound: 3941
585.99/605.07	c current bound: 3941
586.40/605.65	c current bound: 3941
587.19/606.24	c current bound: 3941
587.58/606.83	c current bound: 3941
588.15/607.41	c current bound: 3941
589.02/608.00	c current bound: 3941
589.33/608.60	c current bound: 3941
589.94/609.19	c current bound: 3941
590.79/609.83	c current bound: 3941
591.35/610.42	c current bound: 3941
591.69/611.00	c current bound: 3941
592.44/611.59	c current bound: 3941
592.87/612.18	c current bound: 3941
593.66/612.76	c current bound: 3941
594.04/613.36	c current bound: 3941
594.84/613.95	c current bound: 3941
595.23/614.53	c current bound: 3941
595.82/615.12	c current bound: 3941
596.41/615.70	c current bound: 3941
596.98/616.29	c current bound: 3941
597.57/616.87	c current bound: 3941
598.17/617.46	c current bound: 3941
598.76/618.05	c current bound: 3941
599.34/618.65	c current bound: 3941
600.17/619.24	c current bound: 3941
600.54/619.84	c current bound: 3941
601.38/620.43	c current bound: 3941
601.72/621.01	c current bound: 3941
602.57/621.61	c current bound: 3941
602.89/622.21	c current bound: 3941
603.49/622.81	c current bound: 3941
604.09/623.41	c current bound: 3941
604.70/624.01	c current bound: 3941
605.30/624.62	c current bound: 3941
605.91/625.23	c current bound: 3941
606.77/625.83	c current bound: 3941
607.10/626.42	c current bound: 3941
607.97/627.02	c current bound: 3941
608.32/627.63	c current bound: 3941
609.16/628.22	c current bound: 3941
609.51/628.82	c current bound: 3941
610.12/629.42	c current bound: 3941
610.72/630.02	c current bound: 3941
611.30/630.61	c current bound: 3941
611.90/631.21	c current bound: 3941
612.50/631.81	c current bound: 3941
613.38/632.41	c current bound: 3941
613.70/633.00	c current bound: 3941
614.47/633.58	c current bound: 3941
614.87/634.16	c current bound: 3941
615.70/634.86	c current bound: 3941
616.02/635.43	c current bound: 3941
616.60/636.02	c current bound: 3941
617.45/636.60	c current bound: 3941
617.76/637.18	c current bound: 3941
618.35/637.75	c current bound: 3941
618.92/638.34	c current bound: 3941
619.50/638.92	c current bound: 3941
620.08/639.49	c current bound: 3941
620.66/640.07	c current bound: 3941
621.23/640.65	c current bound: 3941
622.03/641.22	c current bound: 3941
622.39/641.80	c current bound: 3941
623.13/642.37	c current bound: 3941
623.53/642.95	c current bound: 3941
624.33/643.56	c current bound: 3941
624.71/644.13	c current bound: 3941
625.54/644.71	c current bound: 3941
625.87/645.32	c current bound: 3941
626.44/645.91	c current bound: 3941
627.02/646.49	c current bound: 3941
627.61/647.07	c current bound: 3941
628.19/647.65	c current bound: 3941
628.77/648.23	c current bound: 3941
629.34/648.81	c current bound: 3941
629.94/649.40	c current bound: 3941
630.77/650.23	c current bound: 3941
631.10/650.81	c current bound: 3941
631.68/651.38	c current bound: 3941
632.25/651.96	c current bound: 3941
632.82/652.54	c current bound: 3941
633.39/653.12	c current bound: 3941
633.97/653.69	c current bound: 3941
634.54/654.27	c current bound: 3941
635.12/654.85	c current bound: 3941
635.70/655.42	c current bound: 3941
636.28/656.00	c current bound: 3941
636.84/656.58	c current bound: 3941
637.43/657.15	c current bound: 3941
638.23/657.73	c current bound: 3941
638.58/658.30	c current bound: 3941
639.32/658.88	c current bound: 3941
639.73/659.45	c current bound: 3941
640.53/660.06	c current bound: 3941
640.88/660.63	c current bound: 3941
641.70/661.21	c current bound: 3941
642.03/661.79	c current bound: 3941
642.61/662.37	c current bound: 3941
643.18/662.94	c current bound: 3941
643.77/663.52	c current bound: 3941
644.34/664.10	c current bound: 3941
644.91/664.67	c current bound: 3941
645.49/665.37	c current bound: 3941
646.07/665.95	c current bound: 3941
646.88/666.53	c current bound: 3941
647.23/667.10	c current bound: 3941
647.98/667.68	c current bound: 3941
648.37/668.25	c current bound: 3941
649.18/668.83	c current bound: 3941
649.54/669.41	c current bound: 3941
650.28/669.98	c current bound: 3941
650.68/670.56	c current bound: 3941
651.48/671.14	c current bound: 3941
651.85/671.71	c current bound: 3941
652.42/672.29	c current bound: 3941
653.00/672.88	c current bound: 3941
653.57/673.46	c current bound: 3941
654.14/674.03	c current bound: 3941
654.73/674.61	c current bound: 3941
655.30/675.19	c current bound: 3941
655.88/675.81	c current bound: 3941
656.45/676.38	c current bound: 3941
657.04/676.96	c current bound: 3941
657.85/677.54	c current bound: 3941
658.18/678.12	c current bound: 3941
658.93/678.69	c current bound: 3941
659.34/679.26	c current bound: 3941
660.14/679.84	c current bound: 3941
660.50/680.69	c current bound: 3941
661.07/681.28	c current bound: 3941
661.65/681.85	c current bound: 3941
662.23/682.43	c current bound: 3941
663.08/683.00	c current bound: 3941
663.39/683.58	c current bound: 3941
664.16/684.15	c current bound: 3941
664.54/684.74	c current bound: 3941
665.37/685.31	c current bound: 3941
665.71/685.94	c current bound: 3941
666.51/686.51	c current bound: 3941
666.85/687.09	c current bound: 3941
667.44/687.67	c current bound: 3941
668.02/688.25	c current bound: 3941
668.60/688.84	c current bound: 3941
669.18/689.42	c current bound: 3941
669.76/690.00	c current bound: 3941
670.60/690.80	c current bound: 3941
670.93/691.38	c current bound: 3941
671.71/691.98	c current bound: 3941
672.11/692.59	c current bound: 3941
672.72/693.19	c current bound: 3941
673.33/693.77	c current bound: 3941
673.93/694.36	c current bound: 3941
674.50/694.94	c current bound: 3941
675.36/695.81	c current bound: 3941
675.94/696.41	c current bound: 3941
676.28/696.99	c current bound: 3941
676.86/697.58	c current bound: 3941
677.45/698.18	c current bound: 3941
678.03/698.76	c current bound: 3941
678.63/699.34	c current bound: 3941
679.20/699.94	c current bound: 3941
680.07/700.69	c current bound: 3941
680.41/701.28	c current bound: 3941
681.20/701.87	c current bound: 3941
681.59/702.45	c current bound: 3941
682.38/703.05	c current bound: 3941
682.78/703.64	c current bound: 3941
683.37/704.23	c current bound: 3941
683.94/704.81	c current bound: 3941
684.53/705.41	c current bound: 3941
685.14/706.01	c current bound: 3941
685.73/706.59	c current bound: 3941
686.32/707.18	c current bound: 3941
686.90/707.77	c current bound: 3941
687.70/708.36	c current bound: 3941
688.09/708.94	c current bound: 3941
688.89/709.54	c current bound: 3941
689.27/710.12	c current bound: 3941
690.13/710.94	c current bound: 3941
690.44/711.53	c current bound: 3941
691.01/712.11	c current bound: 3941
691.61/712.70	c current bound: 3941
692.19/713.28	c current bound: 3941
692.96/713.87	c current bound: 3941
693.36/714.46	c current bound: 3941
694.16/715.06	c current bound: 3941
694.56/715.64	c current bound: 3941
695.14/716.29	c current bound: 3941
695.74/716.88	c current bound: 3941
696.33/717.46	c current bound: 3941
696.91/718.05	c current bound: 3941
697.50/718.63	c current bound: 3941
698.09/719.22	c current bound: 3941
698.66/719.80	c current bound: 3941
699.25/720.39	c current bound: 3941
699.83/721.14	c current bound: 3941
700.63/721.74	c current bound: 3941
701.02/722.33	c current bound: 3941
701.61/722.92	c current bound: 3941
702.21/723.52	c current bound: 3941
702.80/724.13	c current bound: 3941
703.42/724.73	c current bound: 3941
704.03/725.31	c current bound: 3941
704.87/726.15	c current bound: 3941
705.21/726.74	c current bound: 3941
705.78/727.32	c current bound: 3941
706.38/727.91	c current bound: 3941
706.96/728.49	c current bound: 3941
707.55/729.08	c current bound: 3941
708.14/729.66	c current bound: 3941
708.73/730.25	c current bound: 3941
709.31/730.84	c current bound: 3941
710.08/731.49	c current bound: 3941
710.48/732.08	c current bound: 3941
711.28/732.69	c current bound: 3941
711.69/733.28	c current bound: 3941
712.46/733.89	c current bound: 3941
712.88/734.47	c current bound: 3941
713.47/735.06	c current bound: 3941
714.05/735.65	c current bound: 3941
714.65/736.23	c current bound: 3941
715.22/736.81	c current bound: 3941
716.08/737.40	c current bound: 3941
716.41/737.98	c current bound: 3941
717.00/738.57	c current bound: 3941
717.78/739.16	c current bound: 3941
718.17/739.75	c current bound: 3941
718.97/740.34	c current bound: 3941
719.63/741.20	c current bound: 3941
719.94/741.78	c current bound: 3941
720.52/742.38	c current bound: 3941
721.12/742.97	c current bound: 3941
721.93/743.56	c current bound: 3941
722.31/744.14	c current bound: 3941
723.13/744.74	c current bound: 3941
723.48/745.32	c current bound: 3941
724.31/745.93	c current bound: 3941
724.68/746.54	c current bound: 3941
725.27/747.13	c current bound: 3941
725.86/747.71	c current bound: 3941
726.45/748.30	c current bound: 3941
727.04/748.89	c current bound: 3941
727.63/749.49	c current bound: 3941
728.22/750.08	c current bound: 3941
728.82/750.68	c current bound: 3941
729.60/751.28	c current bound: 3941
730.01/751.86	c current bound: 3941
730.81/752.47	c current bound: 3941
731.21/753.07	c current bound: 3941
732.02/753.66	c current bound: 3941
732.40/754.26	c current bound: 3941
733.01/754.86	c current bound: 3941
733.60/755.46	c current bound: 3941
734.48/756.30	c current bound: 3941
735.07/756.90	c current bound: 3941
735.39/757.50	c current bound: 3941
736.00/758.10	c current bound: 3941
736.87/758.70	c current bound: 3941
737.19/759.30	c current bound: 3941
738.08/759.90	c current bound: 3941
738.39/760.49	c current bound: 3941
739.27/761.30	c current bound: 3941
739.58/761.88	c current bound: 3941
740.37/762.48	c current bound: 3941
740.77/763.08	c current bound: 3941
741.38/763.68	c current bound: 3941
741.97/764.29	c current bound: 3941
742.59/764.88	c current bound: 3941
743.18/765.49	c current bound: 3941
743.79/766.33	c current bound: 3941
744.39/766.92	c current bound: 3941
745.00/767.52	c current bound: 3941
745.60/768.12	c current bound: 3941
746.19/768.72	c current bound: 3941
746.80/769.31	c current bound: 3941
747.67/769.91	c current bound: 3941
747.99/770.51	c current bound: 3941
748.89/771.37	c current bound: 3941
749.19/771.96	c current bound: 3941
749.79/772.56	c current bound: 3941
750.38/773.16	c current bound: 3941
750.99/773.76	c current bound: 3941
751.81/774.36	c current bound: 3941
752.19/774.95	c current bound: 3941
753.01/775.53	c current bound: 3941
753.65/776.33	c current bound: 3941
753.96/776.93	c current bound: 3941
754.56/777.51	c current bound: 3941
755.15/778.10	c current bound: 3941
756.01/778.71	c current bound: 3941
756.34/779.31	c current bound: 3941
757.24/779.91	c current bound: 3941
757.54/780.50	c current bound: 3941
758.43/781.10	c current bound: 3941
758.73/781.75	c current bound: 3941
759.34/782.34	c current bound: 3941
759.94/782.94	c current bound: 3941
760.54/783.54	c current bound: 3941
761.14/784.14	c current bound: 3941
761.74/784.73	c current bound: 3941
762.58/785.34	c current bound: 3941
762.94/785.92	c current bound: 3941
763.77/786.52	c current bound: 3941
764.12/787.11	c current bound: 3941
764.98/787.70	c current bound: 3941
765.30/788.30	c current bound: 3941
766.18/788.90	c current bound: 3941
766.50/789.51	c current bound: 3941
767.11/790.12	c current bound: 3941
767.73/790.72	c current bound: 3941
768.59/791.58	c current bound: 3941
769.09/792.17	c current bound: 3941
769.49/792.77	c current bound: 3941
770.09/793.36	c current bound: 3941
770.69/793.96	c current bound: 3941
771.28/794.56	c current bound: 3941
771.88/795.16	c current bound: 3941
772.49/795.75	c current bound: 3941
773.35/796.59	c current bound: 3941
773.68/797.18	c current bound: 3941
774.29/797.78	c current bound: 3941
774.88/798.38	c current bound: 3941
775.49/798.98	c current bound: 3941
776.08/799.58	c current bound: 3941
776.69/800.18	c current bound: 3941
777.50/800.78	c current bound: 3941
777.89/801.68	c current bound: 3941
778.48/802.27	c current bound: 3941
779.09/802.87	c current bound: 3941
779.68/803.46	c current bound: 3941
780.50/804.06	c current bound: 3941
780.87/804.66	c current bound: 3941
781.69/805.25	c current bound: 3941
782.08/805.86	c current bound: 3941
782.95/806.69	c current bound: 3941
783.28/807.27	c current bound: 3941
783.86/807.87	c current bound: 3941
784.67/808.47	c current bound: 3941
785.05/809.07	c current bound: 3941
785.86/809.67	c current bound: 3941
786.25/810.27	c current bound: 3941
787.06/810.87	c current bound: 3941
787.44/811.69	c current bound: 3941
788.05/812.29	c current bound: 3941
788.86/812.89	c current bound: 3941
789.26/813.49	c current bound: 3941
790.04/814.08	c current bound: 3941
790.46/814.68	c current bound: 3941
791.25/815.28	c current bound: 3941
791.65/815.87	c current bound: 3941
792.54/816.71	c current bound: 3941
793.11/817.31	c current bound: 3941
793.44/817.91	c current bound: 3941
794.30/818.51	c current bound: 3941
794.64/819.10	c current bound: 3941
795.24/819.68	c current bound: 3941
795.80/820.27	c current bound: 3941
796.40/820.87	c current bound: 3941
797.00/821.47	c current bound: 3941
797.61/822.10	c current bound: 3941
798.49/822.71	c current bound: 3941
798.79/823.30	c current bound: 3941
799.58/823.90	c current bound: 3941
800.29/824.50	c current bound: 3941
800.78/825.09	c current bound: 3941
801.19/825.67	c current bound: 3941
801.97/826.26	c current bound: 3941
802.36/826.87	c current bound: 3941
802.97/827.47	c current bound: 3941
803.57/828.07	c current bound: 3941
804.18/828.67	c current bound: 3941
804.78/829.27	c current bound: 3941
805.38/829.87	c current bound: 3941
806.20/830.47	c current bound: 3941
806.57/831.07	c current bound: 3941
807.45/831.88	c current bound: 3941
807.77/832.48	c current bound: 3941
808.37/833.08	c current bound: 3941
808.96/833.68	c current bound: 3941
809.57/834.27	c current bound: 3941
810.38/834.87	c current bound: 3941
810.77/835.47	c current bound: 3941
811.59/836.07	c current bound: 3941
811.97/836.95	c current bound: 3941
812.56/837.55	c current bound: 3941
813.39/838.15	c current bound: 3941
813.78/838.76	c current bound: 3941
814.61/839.35	c current bound: 3941
814.97/839.96	c current bound: 3941
815.79/840.56	c current bound: 3941
816.17/841.15	c current bound: 3941
816.78/841.99	c current bound: 3941
817.56/842.59	c current bound: 3941
817.98/843.19	c current bound: 3941
818.77/843.78	c current bound: 3941
819.16/844.38	c current bound: 3941
819.95/844.96	c current bound: 3941
820.34/845.56	c current bound: 3941
820.93/846.16	c current bound: 3941
821.80/846.97	c current bound: 3941
822.14/847.57	c current bound: 3941
822.96/848.15	c current bound: 3941
823.32/848.75	c current bound: 3941
824.14/849.34	c current bound: 3941
824.50/849.94	c current bound: 3941
825.11/850.54	c current bound: 3941
825.70/851.14	c current bound: 3941
826.31/851.73	c current bound: 3941
826.91/852.35	c current bound: 3941
827.47/852.95	c current bound: 3941
828.30/853.55	c current bound: 3941
828.68/854.15	c current bound: 3941
829.52/854.75	c current bound: 3941
829.88/855.35	c current bound: 3941
830.70/855.95	c current bound: 3941
831.06/856.54	c current bound: 3941
831.66/857.15	c current bound: 3941
832.27/857.75	c current bound: 3941
832.88/858.34	c current bound: 3941
833.46/858.94	c current bound: 3941
834.07/859.54	c current bound: 3941
834.90/860.15	c current bound: 3941
835.28/860.75	c current bound: 3941
836.11/861.35	c current bound: 3941
836.77/862.23	c current bound: 3941
837.07/862.83	c current bound: 3941
837.93/863.42	c current bound: 3941
838.26/863.99	c current bound: 3941
839.04/864.59	c current bound: 3941
839.45/865.19	c current bound: 3941
840.24/865.78	c current bound: 3941
840.64/866.38	c current bound: 3941
841.51/867.23	c current bound: 3941
842.08/867.83	c current bound: 3941
842.44/868.43	c current bound: 3941
843.29/869.03	c current bound: 3941
843.62/869.62	c current bound: 3941
844.47/870.22	c current bound: 3941
844.82/870.81	c current bound: 3941
845.42/871.41	c current bound: 3941
846.29/872.26	c current bound: 3941
846.61/872.85	c current bound: 3941
847.44/873.45	c current bound: 3941
847.81/874.05	c current bound: 3941
848.64/874.65	c current bound: 3941
849.00/875.25	c current bound: 3941
849.61/875.85	c current bound: 3941
850.21/876.45	c current bound: 3941
850.81/877.31	c current bound: 3941
851.68/877.91	c current bound: 3941
852.01/878.51	c current bound: 3941
852.62/879.10	c current bound: 3941
853.20/879.69	c current bound: 3941
853.80/880.29	c current bound: 3941
854.41/880.89	c current bound: 3941
855.00/881.51	c current bound: 3941
855.91/882.40	c current bound: 3941
856.50/883.00	c current bound: 3941
856.82/883.57	c current bound: 3941
857.38/884.17	c current bound: 3941
858.00/884.77	c current bound: 3941
858.58/885.37	c current bound: 3941
859.18/885.97	c current bound: 3941
860.01/886.56	c current bound: 3941
860.39/887.43	c current bound: 3941
860.97/888.04	c current bound: 3941
861.58/888.64	c current bound: 3941
862.18/889.23	c current bound: 3941
863.03/889.83	c current bound: 3941
863.38/890.43	c current bound: 3941
864.23/891.03	c current bound: 3941
864.57/891.62	c current bound: 3941
865.47/892.46	c current bound: 3941
865.77/893.06	c current bound: 3941
866.37/893.66	c current bound: 3941
867.19/894.26	c current bound: 3941
867.57/894.85	c current bound: 3941
868.40/895.45	c current bound: 3941
868.77/896.03	c current bound: 3941
869.59/896.62	c current bound: 3941
869.93/897.50	c current bound: 3941
870.84/898.10	c current bound: 3941
871.34/898.70	c current bound: 3941
872.05/899.30	c current bound: 3941
872.64/899.90	c current bound: 3941
872.95/900.49	c current bound: 3941
873.55/901.08	c current bound: 3941
874.15/901.67	c current bound: 3941
874.74/902.49	c current bound: 3941
875.54/903.08	c current bound: 3941
875.93/903.69	c current bound: 3941
876.74/904.28	c current bound: 3941
877.14/904.88	c current bound: 3941
877.94/905.48	c current bound: 3941
878.33/906.07	c current bound: 3941
878.93/906.68	c current bound: 3941
879.82/907.55	c current bound: 3941
880.12/908.15	c current bound: 3941
880.96/908.75	c current bound: 3941
881.33/909.35	c current bound: 3941
881.92/909.94	c current bound: 3941
882.52/910.54	c current bound: 3941
883.12/911.14	c current bound: 3941
883.71/911.74	c current bound: 3941
884.32/912.57	c current bound: 3941
885.11/913.16	c current bound: 3941
885.49/913.75	c current bound: 3941
886.09/914.35	c current bound: 3941
886.69/914.95	c current bound: 3941
887.29/915.55	c current bound: 3941
887.87/916.14	c current bound: 3941
888.47/916.74	c current bound: 3941
889.36/917.64	c current bound: 3941
889.67/918.24	c current bound: 3941
890.27/918.84	c current bound: 3941
890.86/919.43	c current bound: 3941
891.46/920.05	c current bound: 3941
892.31/920.62	c current bound: 3941
892.66/921.22	c current bound: 3941
893.52/921.84	c current bound: 3941
893.87/922.72	c current bound: 3941
894.48/923.32	c current bound: 3941
895.36/923.91	c current bound: 3941
895.67/924.52	c current bound: 3941
896.55/925.11	c current bound: 3941
896.88/925.71	c current bound: 3941
897.75/926.31	c current bound: 3941
898.08/926.91	c current bound: 3941
898.67/927.77	c current bound: 3941
899.49/928.37	c current bound: 3941
899.87/928.96	c current bound: 3941
900.70/929.56	c current bound: 3941
901.08/930.16	c current bound: 3941
901.89/930.76	c current bound: 3941
902.27/931.36	c current bound: 3941
902.87/931.95	c current bound: 3941
903.75/932.78	c current bound: 3941
904.08/933.39	c current bound: 3941
904.87/933.99	c current bound: 3941
905.28/934.58	c current bound: 3941
906.09/935.18	c current bound: 3941
906.47/935.78	c current bound: 3941
907.07/936.38	c current bound: 3941
907.67/936.98	c current bound: 3941
908.57/937.85	c current bound: 3941
909.10/938.45	c current bound: 3941
909.48/939.05	c current bound: 3941
910.07/939.64	c current bound: 3941
910.67/940.24	c current bound: 3941
911.25/940.84	c current bound: 3941
911.86/941.44	c current bound: 3941
912.46/942.04	c current bound: 3941
913.35/942.93	c current bound: 3941
913.65/943.52	c current bound: 3941
914.25/944.12	c current bound: 3941
914.86/944.72	c current bound: 3941
915.45/945.31	c current bound: 3941
916.32/945.91	c current bound: 3941
916.65/946.51	c current bound: 3941
917.52/947.11	c current bound: 3941
918.14/947.93	c current bound: 3941
918.45/948.52	c current bound: 3941
919.04/949.12	c current bound: 3941
919.63/949.72	c current bound: 3941
920.49/950.31	c current bound: 3941
920.84/950.91	c current bound: 3941
921.70/951.51	c current bound: 3941
922.01/952.10	c current bound: 3941
922.89/953.00	c current bound: 3941
923.21/953.60	c current bound: 3941
924.09/954.20	c current bound: 3941
924.59/954.79	c current bound: 3941
925.01/955.39	c current bound: 3941
925.78/955.99	c current bound: 3941
926.19/956.59	c current bound: 3941
926.99/957.18	c current bound: 3941
927.68/958.06	c current bound: 3941
928.00/958.65	c current bound: 3941
928.82/959.25	c current bound: 3941
929.19/959.85	c current bound: 3941
930.01/960.45	c current bound: 3941
930.38/961.04	c current bound: 3941
930.98/961.64	c current bound: 3941
931.59/962.24	c current bound: 3941
932.45/963.10	c current bound: 3941
932.95/963.69	c current bound: 3941
933.37/964.27	c current bound: 3941
934.14/964.85	c current bound: 3941
934.53/965.45	c current bound: 3941
935.10/966.02	c current bound: 3941
935.69/966.60	c current bound: 3941
936.56/967.20	c current bound: 3941
937.16/967.80	c current bound: 3941
937.47/968.44	c current bound: 3941
938.32/969.03	c current bound: 3941
938.67/969.63	c current bound: 3941
939.51/970.23	c current bound: 3941
939.86/970.83	c current bound: 3941
940.70/971.43	c current bound: 3941
941.05/972.01	c current bound: 3941
941.64/972.61	c current bound: 3941
942.24/973.21	c current bound: 3941
942.84/973.80	c current bound: 3941
943.44/974.39	c current bound: 3941
944.02/974.98	c current bound: 3941
944.61/975.58	c current bound: 3941
945.21/976.18	c current bound: 3941
946.01/976.78	c current bound: 3941
946.42/977.37	c current bound: 3941
947.31/978.27	c current bound: 3941
947.61/978.86	c current bound: 3941
948.21/979.46	c current bound: 3941
949.03/980.06	c current bound: 3941
949.41/980.65	c current bound: 3941
950.22/981.24	c current bound: 3941
950.58/981.84	c current bound: 3941
951.43/982.43	c current bound: 3941
952.08/983.29	c current bound: 3941
952.38/983.89	c current bound: 3941
953.18/984.49	c current bound: 3941
953.59/985.08	c current bound: 3941
954.38/985.68	c current bound: 3941
954.77/986.28	c current bound: 3941
955.57/986.88	c current bound: 3941
955.98/987.47	c current bound: 3941
956.58/988.28	c current bound: 3941
957.36/988.88	c current bound: 3941
957.75/989.47	c current bound: 3941
958.56/990.05	c current bound: 3941
958.93/990.65	c current bound: 3941
959.76/991.23	c current bound: 3941
960.10/991.82	c current bound: 3941
960.69/992.42	c current bound: 3941
961.29/993.02	c current bound: 3941
961.89/993.64	c current bound: 3941
962.49/994.24	c current bound: 3941
963.09/994.84	c current bound: 3941
963.93/995.43	c current bound: 3941
964.28/996.03	c current bound: 3941
965.12/996.64	c current bound: 3941
965.50/997.22	c current bound: 3941
966.35/997.80	c current bound: 3941
966.67/998.41	c current bound: 3941
967.27/999.01	c current bound: 3941
967.89/999.60	c current bound: 3941
968.49/1000.19	c current bound: 3941
969.09/1000.78	c current bound: 3941
969.67/1001.38	c current bound: 3941
970.27/1001.97	c current bound: 3941
970.85/1002.55	c current bound: 3941
971.71/1003.39	c current bound: 3941
972.03/1003.97	c current bound: 3941
972.61/1004.56	c current bound: 3941
973.19/1005.14	c current bound: 3941
973.78/1005.73	c current bound: 3941
974.37/1006.31	c current bound: 3941
975.21/1006.90	c current bound: 3941
975.53/1007.48	c current bound: 3941
976.12/1008.07	c current bound: 3941
976.96/1008.72	c current bound: 3941
977.30/1009.30	c current bound: 3941
978.14/1009.91	c current bound: 3941
978.49/1010.49	c current bound: 3941
979.06/1011.07	c current bound: 3941
979.65/1011.66	c current bound: 3941
980.24/1012.25	c current bound: 3941
980.83/1012.83	c current bound: 3941
981.41/1013.56	c current bound: 3941
982.20/1014.17	c current bound: 3941
982.60/1014.75	c current bound: 3941
983.40/1015.34	c current bound: 3941
983.78/1015.93	c current bound: 3941
984.59/1016.53	c current bound: 3941
984.96/1017.12	c current bound: 3941
985.83/1017.70	c current bound: 3941
986.14/1018.49	c current bound: 3941
986.74/1019.07	c current bound: 3941
987.51/1019.66	c current bound: 3941
987.89/1020.25	c current bound: 3941
988.71/1020.85	c current bound: 3941
989.08/1021.43	c current bound: 3941
989.90/1022.03	c current bound: 3941
990.27/1022.62	c current bound: 3941
990.85/1023.21	c current bound: 3941
991.45/1023.85	c current bound: 3941
992.03/1024.44	c current bound: 3941
992.62/1025.02	c current bound: 3941
993.20/1025.60	c current bound: 3941
993.79/1026.19	c current bound: 3941
994.37/1026.77	c current bound: 3941
995.16/1027.36	c current bound: 3941
995.55/1027.95	c current bound: 3941
996.41/1028.69	c current bound: 3941
996.73/1029.28	c current bound: 3941
997.33/1029.87	c current bound: 3941
997.90/1030.45	c current bound: 3941
998.48/1031.05	c current bound: 3941
999.08/1031.63	c current bound: 3941
999.68/1032.22	c current bound: 3941
1000.53/1032.81	c current bound: 3941
1001.13/1033.67	c current bound: 3941
1001.44/1034.26	c current bound: 3941
1002.04/1034.85	c current bound: 3941
1002.62/1035.43	c current bound: 3941
1003.21/1036.02	c current bound: 3941
1003.80/1036.60	c current bound: 3941
1004.40/1037.19	c current bound: 3941
1004.98/1037.78	c current bound: 3941
1005.75/1038.36	c current bound: 3941
1006.15/1039.00	c current bound: 3941
1007.01/1039.60	c current bound: 3941
1007.35/1040.19	c current bound: 3941
1007.93/1040.77	c current bound: 3941
1008.52/1041.36	c current bound: 3941
1009.10/1041.94	c current bound: 3941
1009.69/1042.53	c current bound: 3941
1010.28/1043.11	c current bound: 3941
1011.12/1043.89	c current bound: 3941
1011.45/1044.47	c current bound: 3941
1012.23/1045.06	c current bound: 3941
1012.63/1045.65	c current bound: 3941
1013.43/1046.24	c current bound: 3941
1013.80/1046.82	c current bound: 3941
1014.39/1047.41	c current bound: 3941
1015.25/1048.00	c current bound: 3941
1015.56/1048.58	c current bound: 3941
1016.15/1049.20	c current bound: 3941
1016.74/1049.78	c current bound: 3941
1017.32/1050.37	c current bound: 3941
1017.91/1050.96	c current bound: 3941
1018.70/1051.55	c current bound: 3941
1019.08/1052.13	c current bound: 3941
1019.90/1052.73	c current bound: 3941
1020.26/1053.32	c current bound: 3941
1021.14/1054.06	c current bound: 3941
1021.46/1054.65	c current bound: 3941
1022.05/1055.25	c current bound: 3941
1022.65/1055.84	c current bound: 3941
1023.23/1056.42	c current bound: 3941
1024.07/1057.01	c current bound: 3941
1024.40/1057.59	c current bound: 3941
1025.17/1058.18	c current bound: 3941
1025.58/1059.03	c current bound: 3941
1026.16/1059.61	c current bound: 3941
1027.01/1060.20	c current bound: 3941
1027.32/1060.78	c current bound: 3941
1027.92/1061.39	c current bound: 3941
1028.52/1061.98	c current bound: 3941
1029.31/1062.57	c current bound: 3941
1029.72/1063.16	c current bound: 3941
1030.52/1063.74	c current bound: 3941
1030.89/1064.37	c current bound: 3941
1031.67/1064.97	c current bound: 3941
1032.07/1065.56	c current bound: 3941
1032.66/1066.14	c current bound: 3941
1033.24/1066.73	c current bound: 3941
1033.84/1067.31	c current bound: 3941
1034.42/1067.89	c current bound: 3941
1035.01/1068.48	c current bound: 3941
1035.84/1069.27	c current bound: 3941
1036.17/1069.85	c current bound: 3941
1036.98/1070.46	c current bound: 3941
1037.37/1071.05	c current bound: 3941
1037.96/1071.63	c current bound: 3941
1038.54/1072.22	c current bound: 3941
1039.12/1072.80	c current bound: 3941
1039.72/1073.39	c current bound: 3941
1040.58/1074.21	c current bound: 3941
1041.15/1074.81	c current bound: 3941
1041.48/1075.40	c current bound: 3941
1042.07/1075.99	c current bound: 3941
1042.66/1076.57	c current bound: 3941
1043.25/1077.16	c current bound: 3941
1043.84/1077.74	c current bound: 3941
1044.43/1078.33	c current bound: 3941
1045.00/1078.92	c current bound: 3941
1045.60/1079.54	c current bound: 3941
1046.41/1080.13	c current bound: 3941
1046.77/1080.72	c current bound: 3941
1047.63/1081.30	c current bound: 3941
1047.94/1081.89	c current bound: 3941
1048.71/1082.48	c current bound: 3941
1049.13/1083.07	c current bound: 3941
1049.92/1083.68	c current bound: 3941
1050.58/1084.34	c current bound: 3941
1050.89/1084.92	c current bound: 3941
1051.47/1085.50	c current bound: 3941
1052.06/1086.09	c current bound: 3941
1052.66/1086.67	c current bound: 3941
1053.25/1087.26	c current bound: 3941
1054.03/1087.85	c current bound: 3941
1054.42/1088.44	c current bound: 3941
1055.24/1089.04	c current bound: 3941
1055.62/1089.71	c current bound: 3941
1056.47/1090.30	c current bound: 3941
1056.79/1090.88	c current bound: 3941
1057.36/1091.47	c current bound: 3941
1057.95/1092.05	c current bound: 3941
1058.54/1092.64	c current bound: 3941
1059.12/1093.22	c current bound: 3941
1059.71/1093.82	c current bound: 3941
1060.55/1094.42	c current bound: 3941
1060.89/1095.00	c current bound: 3941
1061.62/1095.59	c current bound: 3941
1062.06/1096.18	c current bound: 3941
1062.85/1096.76	c current bound: 3941
1063.24/1097.35	c current bound: 3941
1064.03/1097.94	c current bound: 3941
1064.41/1098.53	c current bound: 3941
1065.00/1099.11	c current bound: 3941
1065.59/1099.76	c current bound: 3941
1066.19/1100.34	c current bound: 3941
1066.77/1100.93	c current bound: 3941
1067.35/1101.51	c current bound: 3941
1068.19/1102.11	c current bound: 3941
1068.53/1102.69	c current bound: 3941
1069.41/1103.30	c current bound: 3941
1070.00/1103.90	c current bound: 3941
1070.61/1104.57	c current bound: 3941
1070.93/1105.16	c current bound: 3941
1071.51/1105.74	c current bound: 3941
1072.11/1106.32	c current bound: 3941
1072.68/1106.93	c current bound: 3941
1073.29/1107.51	c current bound: 3941
1073.88/1108.09	c current bound: 3941
1074.47/1108.68	c current bound: 3941
1075.32/1109.55	c current bound: 3941
1075.63/1110.13	c current bound: 3941
1076.21/1110.71	c current bound: 3941
1077.08/1111.30	c current bound: 3941
1077.40/1111.88	c current bound: 3941
1077.98/1112.48	c current bound: 3941
1078.56/1113.06	c current bound: 3941
1079.15/1113.65	c current bound: 3941
1079.96/1114.23	c current bound: 3941
1080.33/1114.86	c current bound: 3941
1081.13/1115.45	c current bound: 3941
1081.50/1116.03	c current bound: 3941
1082.31/1116.62	c current bound: 3941
1082.67/1117.20	c current bound: 3941
1083.26/1117.79	c current bound: 3941
1083.84/1118.38	c current bound: 3941
1084.43/1118.97	c current bound: 3941
1085.29/1119.71	c current bound: 3941
1085.88/1120.30	c current bound: 3941
1086.38/1120.88	c current bound: 3941
1086.79/1121.47	c current bound: 3941
1087.58/1122.06	c current bound: 3941
1087.96/1122.64	c current bound: 3941
1088.75/1123.23	c current bound: 3941
1089.13/1123.82	c current bound: 3941
1089.72/1124.40	c current bound: 3941
1090.30/1125.04	c current bound: 3941
1090.91/1125.63	c current bound: 3941
1091.48/1126.22	c current bound: 3941
1092.05/1126.80	c current bound: 3941
1092.92/1127.41	c current bound: 3941
1093.53/1128.00	c current bound: 3941
1094.02/1128.58	c current bound: 3941
1094.44/1129.17	c current bound: 3941
1095.31/1129.82	c current bound: 3941
1095.88/1130.40	c current bound: 3941
1096.19/1130.98	c current bound: 3941
1096.78/1131.56	c current bound: 3941
1097.37/1132.15	c current bound: 3941
1097.96/1132.73	c current bound: 3941
1098.54/1133.32	c current bound: 3941
1099.13/1133.91	c current bound: 3941
1099.71/1134.49	c current bound: 3941
1100.55/1135.12	c current bound: 3941
1100.89/1135.71	c current bound: 3941
1101.67/1136.30	c current bound: 3941
1102.07/1136.88	c current bound: 3941
1102.85/1137.48	c current bound: 3941
1103.25/1138.07	c current bound: 3941
1104.05/1138.68	c current bound: 3941
1104.47/1139.27	c current bound: 3941
1105.31/1139.93	c current bound: 3941
1105.63/1140.51	c current bound: 3941
1106.21/1141.10	c current bound: 3941
1106.80/1141.68	c current bound: 3941
1107.39/1142.27	c current bound: 3941
1108.19/1142.85	c current bound: 3941
1108.57/1143.43	c current bound: 3941
1109.39/1144.03	c current bound: 3941
1109.75/1144.62	c current bound: 3941
1110.54/1145.26	c current bound: 3941
1110.93/1145.88	c current bound: 3941
1111.55/1146.47	c current bound: 3941
1112.13/1147.05	c current bound: 3941
1112.73/1147.63	c current bound: 3941
1113.31/1148.22	c current bound: 3941
1113.88/1148.82	c current bound: 3941
1114.75/1149.40	c current bound: 3941
1115.35/1150.04	c current bound: 3941
1115.90/1150.63	c current bound: 3941
1116.25/1151.22	c current bound: 3941
1117.08/1151.80	c current bound: 3941
1117.42/1152.39	c current bound: 3941
1118.00/1152.97	c current bound: 3941
1118.58/1153.56	c current bound: 3941
1119.18/1154.15	c current bound: 3941
1120.04/1155.02	c current bound: 3941
1120.34/1155.60	c current bound: 3941
1121.21/1156.20	c current bound: 3941
1121.54/1156.78	c current bound: 3941
1122.14/1157.37	c current bound: 3941
1122.70/1157.96	c current bound: 3941
1123.30/1158.54	c current bound: 3941
1123.88/1159.12	c current bound: 3941
1124.47/1159.71	c current bound: 3941
1125.06/1160.33	c current bound: 3941
1125.64/1160.92	c current bound: 3941
1126.47/1161.51	c current bound: 3941
1127.07/1162.10	c current bound: 3941
1127.58/1162.68	c current bound: 3941
1127.97/1163.26	c current bound: 3941
1128.77/1163.86	c current bound: 3941
1129.16/1164.45	c current bound: 3941
1130.01/1165.27	c current bound: 3941
1130.34/1165.86	c current bound: 3941
1130.92/1166.44	c current bound: 3941
1131.75/1167.03	c current bound: 3941
1132.11/1167.62	c current bound: 3941
1132.94/1168.21	c current bound: 3941
1133.55/1168.80	c current bound: 3941
1134.05/1169.39	c current bound: 3941
1134.47/1170.22	c current bound: 3941
1135.05/1170.80	c current bound: 3941
1135.64/1171.39	c current bound: 3941
1136.22/1171.97	c current bound: 3941
1137.00/1172.56	c current bound: 3941
1137.40/1173.15	c current bound: 3941
1138.21/1173.74	c current bound: 3941
1138.58/1174.33	c current bound: 3941
1139.41/1174.93	c current bound: 3941
1139.77/1175.53	c current bound: 3941
1140.35/1176.11	c current bound: 3941
1140.94/1176.70	c current bound: 3941
1141.52/1177.29	c current bound: 3941
1142.11/1177.87	c current bound: 3941
1142.69/1178.46	c current bound: 3941
1143.29/1179.05	c current bound: 3941
1143.87/1179.63	c current bound: 3941
1144.73/1180.34	c current bound: 3941
1145.05/1180.92	c current bound: 3941
1145.89/1181.52	c current bound: 3941
1146.23/1182.11	c current bound: 3941
1147.09/1182.70	c current bound: 3941
1147.42/1183.28	c current bound: 3941
1147.99/1183.86	c current bound: 3941
1148.59/1184.45	c current bound: 3941
1149.17/1185.05	c current bound: 3941
1149.77/1185.65	c current bound: 3941
1150.36/1186.23	c current bound: 3941
1151.19/1186.82	c current bound: 3941
1151.53/1187.41	c current bound: 3941
1152.39/1188.00	c current bound: 3941
1152.70/1188.59	c current bound: 3941
1153.48/1189.17	c current bound: 3941
1153.88/1189.75	c current bound: 3941
1154.74/1190.43	c current bound: 3941
1155.05/1191.01	c current bound: 3941
1155.64/1191.59	c current bound: 3941
1156.23/1192.18	c current bound: 3941
1156.82/1192.77	c current bound: 3941
1157.41/1193.37	c current bound: 3941
1158.01/1193.95	c current bound: 3941
1158.80/1194.54	c current bound: 3941
1159.18/1195.13	c current bound: 3941
1160.02/1195.72	c current bound: 3941
1160.37/1196.31	c current bound: 3941
1161.23/1196.90	c current bound: 3941
1161.54/1197.48	c current bound: 3941
1162.13/1198.08	c current bound: 3941
1162.74/1198.67	c current bound: 3941
1163.32/1199.26	c current bound: 3941
1163.90/1199.84	c current bound: 3941
1164.50/1200.69	c current bound: 3941
1165.27/1201.28	c current bound: 3941
1165.67/1201.86	c current bound: 3941
1166.45/1202.46	c current bound: 3941
1166.84/1203.04	c current bound: 3941
1167.43/1203.63	c current bound: 3941
1168.02/1204.21	c current bound: 3941
1168.60/1204.80	c current bound: 3941
1169.18/1205.38	c current bound: 3941
1169.78/1206.03	c current bound: 3941
1170.60/1206.62	c current bound: 3941
1170.96/1207.21	c current bound: 3941
1171.71/1207.79	c current bound: 3941
1172.12/1208.38	c current bound: 3941
1172.89/1208.97	c current bound: 3941
1173.30/1209.56	c current bound: 3941
1174.10/1210.15	c current bound: 3941
1174.74/1210.81	c current bound: 3941
1175.06/1211.39	c current bound: 3941
1175.64/1211.98	c current bound: 3941
1176.22/1212.57	c current bound: 3941
1176.82/1213.15	c current bound: 3941
1177.39/1213.73	c current bound: 3941
1178.23/1214.33	c current bound: 3941
1178.57/1214.92	c current bound: 3941
1179.41/1215.51	c current bound: 3941
1179.75/1216.13	c current bound: 3941
1180.58/1216.72	c current bound: 3941
1180.92/1217.31	c current bound: 3941
1181.52/1217.89	c current bound: 3941
1182.10/1218.47	c current bound: 3941
1182.68/1219.06	c current bound: 3941
1183.26/1219.64	c current bound: 3941
1183.85/1220.23	c current bound: 3941
1184.70/1221.00	c current bound: 3941
1185.03/1221.58	c current bound: 3941
1185.80/1222.16	c current bound: 3941
1186.19/1222.75	c current bound: 3941
1187.00/1223.34	c current bound: 3941
1187.35/1223.92	c current bound: 3941
1187.94/1224.50	c current bound: 3941
1188.54/1225.09	c current bound: 3941
1189.12/1225.67	c current bound: 3941
1189.71/1226.27	c current bound: 3941
1190.28/1226.85	c current bound: 3941
1190.86/1227.44	c current bound: 3941
1191.45/1228.03	c current bound: 3941
1192.29/1228.62	c current bound: 3941
1192.63/1229.20	c current bound: 3941
1193.38/1229.79	c current bound: 3941
1193.80/1230.39	c current bound: 3941
1194.66/1231.12	c current bound: 3941
1194.98/1231.71	c current bound: 3941
1195.58/1232.29	c current bound: 3941
1196.17/1232.88	c current bound: 3941
1196.75/1233.47	c current bound: 3941
1197.33/1234.05	c current bound: 3941
1197.93/1234.64	c current bound: 3941
1198.76/1235.22	c current bound: 3941
1199.37/1236.01	c current bound: 3941
1199.96/1236.60	c current bound: 3941
1200.27/1237.18	c current bound: 3941
1200.86/1237.77	c current bound: 3941
1201.46/1238.36	c current bound: 3941
1202.03/1238.94	c current bound: 3941
1202.62/1239.53	c current bound: 3941
1203.20/1240.11	c current bound: 3941
1204.05/1240.71	c current bound: 3941
1204.39/1241.33	c current bound: 3941
1205.22/1241.94	c current bound: 3941
1205.58/1242.52	c current bound: 3941
1206.41/1243.11	c current bound: 3941
1206.75/1243.69	c current bound: 3941
1207.35/1244.28	c current bound: 3941
1207.93/1244.87	c current bound: 3941
1208.52/1245.45	c current bound: 3941
1209.37/1246.28	c current bound: 3941
1209.69/1246.87	c current bound: 3941
1210.49/1247.46	c current bound: 3941
1210.87/1248.05	c current bound: 3941
1211.67/1248.64	c current bound: 3941
1212.05/1249.22	c current bound: 3941
1212.63/1249.81	c current bound: 3941
1213.22/1250.39	c current bound: 3941
1213.81/1250.98	c current bound: 3941
1214.40/1251.56	c current bound: 3941
1214.97/1252.14	c current bound: 3941
1215.55/1252.73	c current bound: 3941
1216.16/1253.31	c current bound: 3941
1216.74/1253.90	c current bound: 3941
1217.33/1254.48	c current bound: 3941
1218.10/1255.07	c current bound: 3941
1218.52/1255.66	c current bound: 3941
1219.34/1256.38	c current bound: 3941
1219.66/1256.96	c current bound: 3941
1220.26/1257.55	c current bound: 3941
1220.86/1258.14	c current bound: 3941
1221.44/1258.73	c current bound: 3941
1222.03/1259.31	c current bound: 3941
1222.61/1259.89	c current bound: 3941
1223.20/1260.48	c current bound: 3941
1223.77/1261.06	c current bound: 3941
1224.54/1261.68	c current bound: 3941
1224.95/1262.26	c current bound: 3941
1225.74/1262.85	c current bound: 3941
1226.13/1263.44	c current bound: 3941
1226.93/1264.04	c current bound: 3941
1227.30/1264.62	c current bound: 3941
1227.88/1265.21	c current bound: 3941
1228.47/1265.79	c current bound: 3941
1229.06/1266.55	c current bound: 3941
1229.86/1267.14	c current bound: 3941
1230.24/1267.73	c current bound: 3941
1231.07/1268.32	c current bound: 3941
1231.41/1268.90	c current bound: 3941
1232.16/1269.49	c current bound: 3941
1232.58/1270.07	c current bound: 3941
1233.35/1270.67	c current bound: 3941
1233.76/1271.25	c current bound: 3941
1234.34/1271.88	c current bound: 3941
1234.93/1272.46	c current bound: 3941
1235.51/1273.05	c current bound: 3941
1236.09/1273.63	c current bound: 3941
1236.68/1274.22	c current bound: 3941
1237.28/1274.80	c current bound: 3941
1237.85/1275.38	c current bound: 3941
1238.63/1275.98	c current bound: 3941
1239.02/1276.68	c current bound: 3941
1239.61/1277.27	c current bound: 3941
1240.19/1277.85	c current bound: 3941
1240.78/1278.43	c current bound: 3941
1241.37/1279.02	c current bound: 3941
1241.95/1279.60	c current bound: 3941
1242.53/1280.18	c current bound: 3941
1243.11/1280.77	c current bound: 3941
1243.70/1281.35	c current bound: 3941
1244.29/1282.01	c current bound: 3941
1245.04/1282.60	c current bound: 3941
1245.46/1283.18	c current bound: 3941
1246.23/1283.77	c current bound: 3941
1246.63/1284.35	c current bound: 3941
1247.43/1284.95	c current bound: 3941
1247.81/1285.53	c current bound: 3941
1248.39/1286.11	c current bound: 3941
1249.23/1286.96	c current bound: 3941
1249.55/1287.55	c current bound: 3941
1250.36/1288.14	c current bound: 3941
1250.72/1288.73	c current bound: 3941
1251.56/1289.34	c current bound: 3941
1251.92/1289.92	c current bound: 3941
1252.51/1290.50	c current bound: 3941
1253.10/1291.09	c current bound: 3941
1253.68/1291.68	c current bound: 3941
1254.27/1292.33	c current bound: 3941
1254.85/1292.91	c current bound: 3941
1255.44/1293.50	c current bound: 3941
1256.04/1294.08	c current bound: 3941
1256.81/1294.67	c current bound: 3941
1257.20/1295.25	c current bound: 3941
1258.01/1295.85	c current bound: 3941
1258.39/1296.43	c current bound: 3941
1259.24/1297.10	c current bound: 3941
1259.55/1297.69	c current bound: 3941
1260.14/1298.28	c current bound: 3941
1260.72/1298.86	c current bound: 3941
1261.31/1299.45	c current bound: 3941
1261.90/1300.03	c current bound: 3941
1262.47/1300.62	c current bound: 3941
1263.33/1301.20	c current bound: 3941
1263.65/1301.79	c current bound: 3941
1264.49/1302.42	c current bound: 3941
1265.10/1303.00	c current bound: 3941
1265.67/1303.62	c current bound: 3941
1266.03/1304.20	c current bound: 3941
1266.61/1304.79	c current bound: 3941
1267.19/1305.37	c current bound: 3941
1267.78/1305.95	c current bound: 3941
1268.37/1306.54	c current bound: 3941
1268.96/1307.23	c current bound: 3941
1269.79/1307.81	c current bound: 3941
1270.13/1308.41	c current bound: 3941
1271.00/1309.00	c current bound: 3941
1271.33/1309.60	c current bound: 3941
1272.19/1310.20	c current bound: 3941
1272.52/1310.78	c current bound: 3941
1273.11/1311.37	c current bound: 3941
1273.69/1311.96	c current bound: 3941
1274.28/1312.55	c current bound: 3941
1274.87/1313.13	c current bound: 3941
1275.46/1313.72	c current bound: 3941
1276.05/1314.30	c current bound: 3941
1276.62/1314.88	c current bound: 3941
1277.19/1315.46	c current bound: 3941
1277.79/1316.04	c current bound: 3941
1278.61/1316.64	c current bound: 3941
1278.97/1317.39	c current bound: 3941
1279.55/1317.99	c current bound: 3941
1280.14/1318.58	c current bound: 3941
1280.74/1319.16	c current bound: 3941
1281.32/1319.74	c current bound: 3941
1281.91/1320.33	c current bound: 3941
1282.49/1320.91	c current bound: 3941
1283.35/1321.50	c current bound: 3941
1283.94/1322.34	c current bound: 3941
1284.26/1322.92	c current bound: 3941
1284.85/1323.51	c current bound: 3941
1285.43/1324.09	c current bound: 3941
1286.02/1324.68	c current bound: 3941
1286.61/1325.26	c current bound: 3941
1287.20/1325.85	c current bound: 3941
1287.79/1326.44	c current bound: 3941
1288.37/1327.02	c current bound: 3941
1289.16/1327.65	c current bound: 3941
1289.55/1328.24	c current bound: 3941
1290.37/1328.84	c current bound: 3941
1290.73/1329.42	c current bound: 3941
1291.57/1330.00	c current bound: 3941
1291.91/1330.59	c current bound: 3941
1292.49/1331.18	c current bound: 3941
1293.09/1331.76	c current bound: 3941
1293.66/1332.46	c current bound: 3941
1294.25/1333.04	c current bound: 3941
1294.82/1333.63	c current bound: 3941
1295.66/1334.21	c current bound: 3941
1296.00/1334.80	c current bound: 3941
1296.76/1335.39	c current bound: 3941
1297.18/1335.98	c current bound: 3941
1297.97/1336.58	c current bound: 3941
1298.35/1337.16	c current bound: 3941
1298.94/1337.78	c current bound: 3941
1299.53/1338.37	c current bound: 3941
1300.13/1338.96	c current bound: 3941
1300.70/1339.54	c current bound: 3941
1301.29/1340.13	c current bound: 3941
1301.88/1340.72	c current bound: 3941
1302.73/1341.30	c current bound: 3941
1303.05/1341.88	c current bound: 3941
1303.91/1342.65	c current bound: 3941
1304.46/1343.23	c current bound: 3941
1304.80/1343.82	c current bound: 3941
1305.39/1344.40	c current bound: 3941
1305.98/1344.99	c current bound: 3941
1306.56/1345.57	c current bound: 3941
1307.16/1346.17	c current bound: 3941
1307.76/1346.76	c current bound: 3941
1308.34/1347.34	c current bound: 3941
1308.93/1347.99	c current bound: 3941
1309.70/1348.58	c current bound: 3941
1310.11/1349.17	c current bound: 3941
1310.91/1349.75	c current bound: 3941
1311.28/1350.34	c current bound: 3941
1312.09/1350.92	c current bound: 3941
1312.45/1351.51	c current bound: 3941
1313.04/1352.11	c current bound: 3941
1313.64/1352.79	c current bound: 3941
1314.22/1353.37	c current bound: 3941
1314.80/1353.95	c current bound: 3941
1315.39/1354.54	c current bound: 3941
1316.21/1355.13	c current bound: 3941
1316.56/1355.71	c current bound: 3941
1317.31/1356.29	c current bound: 3941
1317.75/1356.88	c current bound: 3941
1318.52/1357.48	c current bound: 3941
1318.92/1358.12	c current bound: 3941
1319.50/1358.70	c current bound: 3941
1320.10/1359.29	c current bound: 3941
1320.67/1359.88	c current bound: 3941
1321.26/1360.46	c current bound: 3941
1321.86/1361.04	c current bound: 3941
1322.43/1361.63	c current bound: 3941
1323.02/1362.22	c current bound: 3941
1323.88/1363.01	c current bound: 3941
1324.20/1363.60	c current bound: 3941
1324.80/1364.19	c current bound: 3941
1325.36/1364.79	c current bound: 3941
1325.97/1365.39	c current bound: 3941
1326.57/1365.99	c current bound: 3941
1327.17/1366.58	c current bound: 3941
1327.76/1367.18	c current bound: 3941
1328.35/1368.06	c current bound: 3941
1328.96/1368.66	c current bound: 3941
1329.56/1369.25	c current bound: 3941
1330.16/1369.83	c current bound: 3941
1330.73/1370.42	c current bound: 3941
1331.34/1371.03	c current bound: 3941
1332.18/1371.62	c current bound: 3941
1332.52/1372.22	c current bound: 3941
1333.41/1373.08	c current bound: 3941
1333.73/1373.68	c current bound: 3941
1334.32/1374.27	c current bound: 3941
1334.92/1374.87	c current bound: 3941
1335.51/1375.46	c current bound: 3941
1336.32/1376.07	c current bound: 3941
1336.72/1376.67	c current bound: 3941
1337.52/1377.27	c current bound: 3941
1337.91/1378.19	c current bound: 3941
1338.51/1378.80	c current bound: 3941
1339.42/1379.41	c current bound: 3941
1339.73/1380.01	c current bound: 3941
1340.59/1380.61	c current bound: 3941
1340.93/1381.20	c current bound: 3941
1341.81/1381.80	c current bound: 3941
1342.40/1382.40	c current bound: 3941
1342.72/1383.29	c current bound: 3941
1343.51/1383.89	c current bound: 3941
1343.92/1384.48	c current bound: 3941
1344.80/1385.11	c current bound: 3941
1345.10/1385.71	c current bound: 3941
1345.71/1386.31	c current bound: 3941
1346.31/1386.91	c current bound: 3941
1346.93/1387.52	c current bound: 3941
1347.79/1388.31	c current bound: 3941
1348.11/1388.92	c current bound: 3941
1348.72/1389.52	c current bound: 3941
1349.34/1390.12	c current bound: 3941
1349.92/1390.71	c current bound: 3941
1350.52/1391.32	c current bound: 3941
1351.40/1391.90	c current bound: 3941
1351.71/1392.50	c current bound: 3941
1352.31/1393.26	c current bound: 3941
1353.12/1393.86	c current bound: 3941
1353.51/1394.45	c current bound: 3941
1354.11/1395.05	c current bound: 3941
1354.71/1395.65	c current bound: 3941
1355.30/1396.26	c current bound: 3941
1355.91/1396.86	c current bound: 3941
1356.52/1397.45	c current bound: 3941
1357.34/1398.05	c current bound: 3941
1357.72/1398.66	c current bound: 3941
1358.52/1399.26	c current bound: 3941
1358.90/1399.85	c current bound: 3941
1359.73/1400.45	c current bound: 3941
1360.10/1401.05	c current bound: 3941
1360.70/1401.65	c current bound: 3941
1361.29/1402.25	c current bound: 3941
1361.89/1402.84	c current bound: 3941
1362.48/1403.44	c current bound: 3941
1363.09/1404.04	c current bound: 3941
1363.93/1404.64	c current bound: 3941
1364.29/1405.24	c current bound: 3941
1365.14/1405.83	c current bound: 3941
1365.50/1406.43	c current bound: 3941
1366.34/1407.04	c current bound: 3941
1366.69/1407.63	c current bound: 3941
1367.57/1408.32	c current bound: 3941
1367.88/1408.91	c current bound: 3941
1368.48/1409.49	c current bound: 3941
1369.06/1410.09	c current bound: 3941
1369.65/1410.68	c current bound: 3941
1370.45/1411.28	c current bound: 3941
1370.85/1411.88	c current bound: 3941
1371.66/1412.47	c current bound: 3941
1372.05/1413.07	c current bound: 3941
1372.85/1413.67	c current bound: 3941
1373.23/1414.27	c current bound: 3941
1373.83/1414.87	c current bound: 3941
1374.43/1415.46	c current bound: 3941
1375.03/1416.06	c current bound: 3941
1375.62/1416.66	c current bound: 3941
1376.22/1417.26	c current bound: 3941
1377.05/1417.85	c current bound: 3941
1377.41/1418.45	c current bound: 3941
1378.25/1419.05	c current bound: 3941
1378.62/1419.65	c current bound: 3941
1379.44/1420.24	c current bound: 3941
1379.81/1420.84	c current bound: 3941
1380.41/1421.43	c current bound: 3941
1380.99/1422.03	c current bound: 3941
1381.60/1422.64	c current bound: 3941
1382.48/1423.32	c current bound: 3941
1382.80/1423.92	c current bound: 3941
1383.64/1424.51	c current bound: 3941
1383.97/1425.11	c current bound: 3941
1384.84/1425.70	c current bound: 3941
1385.18/1426.30	c current bound: 3941
1386.06/1426.90	c current bound: 3941
1386.36/1427.49	c current bound: 3941
1386.96/1428.07	c current bound: 3941
1387.54/1428.66	c current bound: 3941
1388.14/1429.27	c current bound: 3941
1388.73/1429.87	c current bound: 3941
1389.33/1430.46	c current bound: 3941
1390.15/1431.06	c current bound: 3941
1390.54/1431.66	c current bound: 3941
1391.36/1432.25	c current bound: 3941
1391.73/1432.85	c current bound: 3941
1392.62/1433.61	c current bound: 3941
1392.92/1434.21	c current bound: 3941
1393.52/1434.81	c current bound: 3941
1394.12/1435.40	c current bound: 3941
1394.72/1435.98	c current bound: 3941
1395.50/1436.57	c current bound: 3941
1395.90/1437.15	c current bound: 3941
1396.70/1437.75	c current bound: 3941
1397.06/1438.35	c current bound: 3941
1397.90/1438.95	c current bound: 3941
1398.26/1439.54	c current bound: 3941
1398.84/1440.14	c current bound: 3941
1399.45/1440.73	c current bound: 3941
1400.05/1441.33	c current bound: 3941
1400.65/1441.93	c current bound: 3941
1401.25/1442.53	c current bound: 3941
1402.10/1443.13	c current bound: 3941
1402.74/1443.93	c current bound: 3941
1403.06/1444.53	c current bound: 3941
1403.65/1445.15	c current bound: 3941
1404.26/1445.72	c current bound: 3941
1404.83/1446.32	c current bound: 3941
1405.44/1446.92	c current bound: 3941
1406.30/1447.51	c current bound: 3941
1406.63/1448.11	c current bound: 3941
1407.52/1448.71	c current bound: 3941
1407.83/1449.30	c current bound: 3941
1408.70/1449.90	c current bound: 3941
1409.02/1450.49	c current bound: 3941
1409.61/1451.07	c current bound: 3941
1410.19/1451.66	c current bound: 3941
1410.78/1452.26	c current bound: 3941
1411.39/1452.86	c current bound: 3941
1411.99/1453.45	c current bound: 3941
1412.58/1454.05	c current bound: 3941
1413.18/1454.65	c current bound: 3941
1414.01/1455.23	c current bound: 3941
1414.35/1455.83	c current bound: 3941
1415.21/1456.41	c current bound: 3941
1415.53/1457.01	c current bound: 3941
1416.31/1457.60	c current bound: 3941
1416.72/1458.18	c current bound: 3941
1417.55/1459.01	c current bound: 3941
1417.88/1459.59	c current bound: 3941
1418.46/1460.17	c current bound: 3941
1419.25/1460.74	c current bound: 3941
1419.61/1461.32	c current bound: 3941
1420.34/1461.90	c current bound: 3941
1420.76/1462.48	c current bound: 3941
1421.54/1463.06	c current bound: 3941
1421.92/1463.63	c current bound: 3941
1422.74/1464.21	c current bound: 3941
1423.07/1464.78	c current bound: 3941
1423.84/1465.36	c current bound: 3941
1424.23/1465.94	c current bound: 3941
1424.81/1466.52	c current bound: 3941
1425.40/1467.10	c current bound: 3941
1425.97/1467.69	c current bound: 3941
1426.55/1468.26	c current bound: 3941
1427.14/1468.85	c current bound: 3941
1427.71/1469.47	c current bound: 3941
1428.29/1470.05	c current bound: 3941
1429.11/1470.63	c current bound: 3941
1429.45/1471.21	c current bound: 3941
1430.21/1471.79	c current bound: 3941
1430.60/1472.36	c current bound: 3941
1431.40/1472.94	c current bound: 3941
1431.76/1473.52	c current bound: 3941
1432.60/1474.29	c current bound: 3941
1432.90/1474.87	c current bound: 3941
1433.49/1475.46	c current bound: 3941
1434.07/1476.03	c current bound: 3941
1434.65/1476.61	c current bound: 3941
1435.22/1477.19	c current bound: 3941
1435.80/1477.77	c current bound: 3941
1436.60/1478.34	c current bound: 3941
1436.96/1478.92	c current bound: 3941
1437.71/1479.49	c current bound: 3941
1438.11/1480.07	c current bound: 3941
1438.90/1480.65	c current bound: 3941
1439.26/1481.23	c current bound: 3941
1440.09/1481.81	c current bound: 3941
1440.43/1482.39	c current bound: 3941
1441.00/1482.96	c current bound: 3941
1441.58/1483.54	c current bound: 3941
1442.17/1484.42	c current bound: 3941
1442.92/1485.00	c current bound: 3941
1443.34/1485.58	c current bound: 3941
1444.11/1486.15	c current bound: 3941
1444.49/1486.73	c current bound: 3941
1445.32/1487.31	c current bound: 3941
1445.65/1487.89	c current bound: 3941
1446.41/1488.47	c current bound: 3941
1446.80/1489.05	c current bound: 3941
1447.40/1489.68	c current bound: 3941
1447.97/1490.25	c current bound: 3941
1448.56/1490.84	c current bound: 3941
1449.14/1491.41	c current bound: 3941
1449.72/1492.00	c current bound: 3941
1450.29/1492.58	c current bound: 3941
1450.87/1493.16	c current bound: 3941
1451.67/1493.73	c current bound: 3941
1452.02/1494.54	c current bound: 3941
1452.60/1495.12	c current bound: 3941
1453.46/1495.70	c current bound: 3941
1453.78/1496.28	c current bound: 3941
1454.35/1496.86	c current bound: 3941
1454.94/1497.45	c current bound: 3941
1455.53/1498.03	c current bound: 3941
1456.10/1498.61	c current bound: 3941
1456.67/1499.19	c current bound: 3941
1457.25/1499.81	c current bound: 3941
1458.00/1500.40	c current bound: 3941
1458.43/1500.99	c current bound: 3941
1459.21/1501.56	c current bound: 3941
1459.58/1502.14	c current bound: 3941
1460.40/1502.72	c current bound: 3941
1461.02/1503.30	c current bound: 3941
1461.33/1503.87	c current bound: 3941
1462.17/1504.63	c current bound: 3941
1462.49/1505.20	c current bound: 3941
1463.06/1505.78	c current bound: 3941
1463.64/1506.35	c current bound: 3941
1464.44/1506.93	c current bound: 3941
1464.79/1507.51	c current bound: 3941
1465.54/1508.09	c current bound: 3941
1465.93/1508.66	c current bound: 3941
1466.73/1509.24	c current bound: 3941
1467.09/1509.82	c current bound: 3941
1467.84/1510.39	c current bound: 3941
1468.25/1510.97	c current bound: 3941
1469.03/1511.54	c current bound: 3941
1469.40/1512.12	c current bound: 3941
1469.98/1512.70	c current bound: 3941
1470.56/1513.28	c current bound: 3941
1471.14/1513.86	c current bound: 3941
1471.71/1514.44	c current bound: 3941
1472.29/1515.07	c current bound: 3941
1472.87/1515.65	c current bound: 3941
1473.46/1516.23	c current bound: 3941
1474.31/1516.80	c current bound: 3941
1474.61/1517.38	c current bound: 3941
1475.39/1517.96	c current bound: 3941
1475.77/1518.53	c current bound: 3941
1476.60/1519.11	c current bound: 3941
1476.92/1519.87	c current bound: 3941
1477.50/1520.45	c current bound: 3941
1478.08/1521.02	c current bound: 3941
1478.65/1521.61	c current bound: 3941
1479.23/1522.19	c current bound: 3941
1479.83/1522.79	c current bound: 3941
1480.40/1523.37	c current bound: 3941
1480.99/1523.95	c current bound: 3941
1481.80/1524.53	c current bound: 3941
1482.14/1525.15	c current bound: 3941
1482.96/1525.72	c current bound: 3941
1483.30/1526.30	c current bound: 3941
1484.06/1526.88	c current bound: 3941
1484.46/1527.46	c current bound: 3941
1485.26/1528.03	c current bound: 3941
1485.60/1528.61	c current bound: 3941
1486.19/1529.19	c current bound: 3941
1487.03/1529.96	c current bound: 3941
1487.34/1530.55	c current bound: 3941
1488.16/1531.12	c current bound: 3941
1488.50/1531.70	c current bound: 3941
1489.27/1532.29	c current bound: 3941
1489.67/1532.87	c current bound: 3941
1490.46/1533.45	c current bound: 3941
1490.83/1534.03	c current bound: 3941
1491.66/1534.61	c current bound: 3941
1491.99/1535.22	c current bound: 3941
1492.56/1535.81	c current bound: 3941
1493.15/1536.39	c current bound: 3941
1493.73/1536.97	c current bound: 3941
1494.31/1537.55	c current bound: 3941
1494.90/1538.14	c current bound: 3941
1495.48/1538.71	c current bound: 3941
1496.06/1539.29	c current bound: 3941
1496.89/1539.98	c current bound: 3941
1497.21/1540.55	c current bound: 3941
1498.01/1541.13	c current bound: 3941
1498.37/1541.71	c current bound: 3941
1499.11/1542.28	c current bound: 3941
1499.52/1542.86	c current bound: 3941
1500.30/1543.44	c current bound: 3941
1500.66/1544.02	c current bound: 3941
1501.25/1544.60	c current bound: 3941
1501.83/1545.18	c current bound: 3941
1502.40/1545.76	c current bound: 3941
1502.98/1546.34	c current bound: 3941
1503.57/1546.92	c current bound: 3941
1504.42/1547.50	c current bound: 3941
1505.02/1548.10	c current bound: 3941
1505.32/1548.67	c current bound: 3941
1505.89/1549.25	c current bound: 3941
1506.70/1549.83	c current bound: 3941
1507.06/1550.43	c current bound: 3941
1507.89/1551.01	c current bound: 3941
1508.21/1551.59	c current bound: 3941
1508.98/1552.17	c current bound: 3941
1509.37/1552.75	c current bound: 3941
1510.17/1553.32	c current bound: 3941
1510.79/1553.90	c current bound: 3941
1511.09/1554.48	c current bound: 3941
1511.95/1555.31	c current bound: 3941
1512.26/1555.90	c current bound: 3941
1513.02/1556.49	c current bound: 3941
1513.43/1557.07	c current bound: 3941
1514.24/1557.65	c current bound: 3941
1514.59/1558.22	c current bound: 3941
1515.42/1558.80	c current bound: 3941
1515.76/1559.38	c current bound: 3941
1516.54/1559.96	c current bound: 3941
1516.92/1560.57	c current bound: 3941
1517.49/1561.16	c current bound: 3941
1518.08/1561.74	c current bound: 3941
1518.67/1562.34	c current bound: 3941
1519.25/1562.92	c current bound: 3941
1519.83/1563.50	c current bound: 3941
1520.40/1564.08	c current bound: 3941
1520.98/1564.66	c current bound: 3941
1521.83/1565.35	c current bound: 3941
1522.15/1565.93	c current bound: 3941
1522.97/1566.50	c current bound: 3941
1523.29/1567.08	c current bound: 3941
1524.08/1567.66	c current bound: 3941
1524.46/1568.23	c current bound: 3941
1525.03/1568.81	c current bound: 3941
1525.61/1569.39	c current bound: 3941
1526.19/1569.97	c current bound: 3941
1526.76/1570.54	c current bound: 3941
1527.34/1571.12	c current bound: 3941
1527.91/1571.70	c current bound: 3941
1528.78/1572.30	c current bound: 3941
1529.09/1572.88	c current bound: 3941
1529.69/1573.46	c current bound: 3941
1530.48/1574.04	c current bound: 3941
1530.83/1574.62	c current bound: 3941
1531.68/1575.32	c current bound: 3941
1531.99/1575.89	c current bound: 3941
1532.56/1576.47	c current bound: 3941
1533.15/1577.05	c current bound: 3941
1533.73/1577.64	c current bound: 3941
1534.31/1578.21	c current bound: 3941
1534.89/1578.80	c current bound: 3941
1535.46/1579.38	c current bound: 3941
1536.06/1579.97	c current bound: 3941
1536.63/1580.54	c current bound: 3941
1537.20/1581.12	c current bound: 3941
1537.78/1581.70	c current bound: 3941
1538.37/1582.28	c current bound: 3941
1539.16/1582.85	c current bound: 3941
1539.53/1583.43	c current bound: 3941
1540.36/1584.01	c current bound: 3941
1540.69/1584.59	c current bound: 3941
1541.47/1585.17	c current bound: 3941
1541.85/1585.81	c current bound: 3941
1542.44/1586.39	c current bound: 3941
1543.01/1586.98	c current bound: 3941
1543.60/1587.56	c current bound: 3941
1544.18/1588.14	c current bound: 3941
1544.77/1588.74	c current bound: 3941
1545.34/1589.31	c current bound: 3941
1545.94/1589.91	c current bound: 3941
1546.77/1590.54	c current bound: 3941
1547.10/1591.12	c current bound: 3941
1547.84/1591.69	c current bound: 3941
1548.26/1592.27	c current bound: 3941
1549.05/1592.85	c current bound: 3941
1549.41/1593.43	c current bound: 3941
1550.24/1594.01	c current bound: 3941
1550.57/1594.59	c current bound: 3941
1551.33/1595.16	c current bound: 3941
1551.71/1595.74	c current bound: 3941
1552.29/1596.32	c current bound: 3941
1553.14/1596.90	c current bound: 3941
1553.45/1597.48	c current bound: 3941
1554.02/1598.07	c current bound: 3941
1554.62/1598.66	c current bound: 3941
1555.21/1599.24	c current bound: 3941
1555.78/1599.82	c current bound: 3941
1556.37/1600.40	c current bound: 3941
1556.94/1601.02	c current bound: 3941
1557.77/1601.61	c current bound: 3941
1558.10/1602.19	c current bound: 3941
1558.88/1602.76	c current bound: 3941
1559.26/1603.34	c current bound: 3941
1560.07/1603.92	c current bound: 3941
1560.41/1604.49	c current bound: 3941
1560.98/1605.09	c current bound: 3941
1561.84/1605.91	c current bound: 3941
1562.17/1606.51	c current bound: 3941
1562.91/1607.08	c current bound: 3941
1563.32/1607.66	c current bound: 3941
1564.12/1608.25	c current bound: 3941
1564.49/1608.83	c current bound: 3941
1565.32/1609.40	c current bound: 3941
1565.64/1609.98	c current bound: 3941
1566.41/1610.56	c current bound: 3941
1566.80/1611.15	c current bound: 3941
1567.38/1611.74	c current bound: 3941
1567.96/1612.32	c current bound: 3941
1568.54/1612.89	c current bound: 3941
1569.12/1613.47	c current bound: 3941
1569.70/1614.07	c current bound: 3941
1570.28/1614.64	c current bound: 3941
1570.87/1615.22	c current bound: 3941
1571.69/1615.93	c current bound: 3941
1572.01/1616.51	c current bound: 3941
1572.77/1617.09	c current bound: 3941
1573.17/1617.66	c current bound: 3941
1573.96/1618.24	c current bound: 3941
1574.32/1618.82	c current bound: 3941
1574.89/1619.40	c current bound: 3941
1575.48/1619.98	c current bound: 3941
1576.05/1620.56	c current bound: 3941
1576.63/1621.14	c current bound: 3941
1577.21/1621.73	c current bound: 3941
1577.79/1622.31	c current bound: 3941
1578.65/1622.90	c current bound: 3941
1578.97/1623.48	c current bound: 3941
1579.54/1624.05	c current bound: 3941
1580.34/1624.63	c current bound: 3941
1580.70/1625.21	c current bound: 3941
1581.53/1626.03	c current bound: 3941
1581.85/1626.61	c current bound: 3941
1582.45/1627.20	c current bound: 3941
1583.01/1627.78	c current bound: 3941
1583.61/1628.37	c current bound: 3941
1584.17/1628.95	c current bound: 3941
1584.76/1629.53	c current bound: 3941
1585.59/1630.13	c current bound: 3941
1585.92/1630.71	c current bound: 3941
1586.71/1631.34	c current bound: 3941
1587.07/1631.93	c current bound: 3941
1587.91/1632.51	c current bound: 3941
1588.24/1633.09	c current bound: 3941
1588.83/1633.66	c current bound: 3941
1589.41/1634.24	c current bound: 3941
1589.98/1634.82	c current bound: 3941
1590.56/1635.40	c current bound: 3941
1591.14/1636.16	c current bound: 3941
1591.94/1636.73	c current bound: 3941
1592.29/1637.31	c current bound: 3941
1593.05/1637.88	c current bound: 3941
1593.45/1638.46	c current bound: 3941
1594.25/1639.05	c current bound: 3941
1594.61/1639.63	c current bound: 3941
1595.44/1640.20	c current bound: 3941
1595.78/1640.79	c current bound: 3941
1596.35/1641.37	c current bound: 3941
1596.94/1641.95	c current bound: 3941
1597.52/1642.53	c current bound: 3941
1598.10/1643.10	c current bound: 3941
1598.67/1643.69	c current bound: 3941
1599.25/1644.27	c current bound: 3941
1599.84/1644.86	c current bound: 3941
1600.43/1645.43	c current bound: 3941
1601.00/1646.00	c current bound: 3941
1601.82/1646.63	c current bound: 3941
1602.16/1647.20	c current bound: 3941
1602.92/1647.78	c current bound: 3941
1603.32/1648.36	c current bound: 3941
1604.12/1648.95	c current bound: 3941
1604.49/1649.53	c current bound: 3941
1605.31/1650.10	c current bound: 3941
1605.63/1650.68	c current bound: 3941
1606.49/1651.47	c current bound: 3941
1606.79/1652.04	c current bound: 3941
1607.37/1652.62	c current bound: 3941
1607.95/1653.19	c current bound: 3941
1608.53/1653.78	c current bound: 3941
1609.31/1654.36	c current bound: 3941
1609.69/1654.94	c current bound: 3941
1610.52/1655.51	c current bound: 3941
1610.85/1656.10	c current bound: 3941
1611.59/1656.68	c current bound: 3941
1611.99/1657.25	c current bound: 3941
1612.80/1657.83	c current bound: 3941
1613.16/1658.41	c current bound: 3941
1613.73/1658.99	c current bound: 3941
1614.30/1659.56	c current bound: 3941
1614.88/1660.15	c current bound: 3941
1615.47/1660.73	c current bound: 3941
1616.06/1661.58	c current bound: 3941
1616.85/1662.15	c current bound: 3941
1617.22/1662.73	c current bound: 3941
1618.05/1663.31	c current bound: 3941
1618.38/1663.88	c current bound: 3941
1619.13/1664.46	c current bound: 3941
1619.53/1665.08	c current bound: 3941
1620.10/1665.66	c current bound: 3941
1620.68/1666.25	c current bound: 3941
1621.27/1666.88	c current bound: 3941
1621.85/1667.46	c current bound: 3941
1622.44/1668.04	c current bound: 3941
1623.27/1668.61	c current bound: 3941
1623.58/1669.20	c current bound: 3941
1624.36/1669.78	c current bound: 3941
1624.74/1670.35	c current bound: 3941
1625.55/1670.93	c current bound: 3941
1625.90/1671.73	c current bound: 3941
1626.48/1672.32	c current bound: 3941
1627.33/1672.90	c current bound: 3941
1627.65/1673.48	c current bound: 3941
1628.22/1674.06	c current bound: 3941
1628.80/1674.63	c current bound: 3941
1629.63/1675.21	c current bound: 3941
1629.96/1675.79	c current bound: 3941
1630.74/1676.36	c current bound: 3941
1631.39/1677.00	c current bound: 3941
1631.88/1677.57	c current bound: 3941
1632.27/1678.15	c current bound: 3941
1633.07/1678.73	c current bound: 3941
1633.41/1679.30	c current bound: 3941
1634.00/1679.88	c current bound: 3941
1634.57/1680.46	c current bound: 3941
1635.15/1681.04	c current bound: 3941
1636.00/1681.84	c current bound: 3941
1636.31/1682.42	c current bound: 3941
1637.15/1683.01	c current bound: 3941
1637.48/1683.59	c current bound: 3941
1638.26/1684.17	c current bound: 3941
1638.63/1684.75	c current bound: 3941
1639.45/1685.33	c current bound: 3941
1639.81/1685.91	c current bound: 3941
1640.39/1686.49	c current bound: 3941
1640.97/1687.12	c current bound: 3941
1641.53/1687.69	c current bound: 3941
1642.10/1688.27	c current bound: 3941
1642.70/1688.87	c current bound: 3941
1643.27/1689.44	c current bound: 3941
1643.85/1690.02	c current bound: 3941
1644.43/1690.60	c current bound: 3941
1645.01/1691.18	c current bound: 3941
1645.86/1691.97	c current bound: 3941
1646.18/1692.55	c current bound: 3941
1646.75/1693.13	c current bound: 3941
1647.33/1693.71	c current bound: 3941
1647.91/1694.29	c current bound: 3941
1648.48/1694.87	c current bound: 3941
1649.06/1695.46	c current bound: 3941
1649.65/1696.03	c current bound: 3941
1650.22/1696.61	c current bound: 3941
1651.03/1697.23	c current bound: 3941
1651.39/1697.81	c current bound: 3941
1652.14/1698.39	c current bound: 3941
1652.55/1698.97	c current bound: 3941
1653.33/1699.54	c current bound: 3941
1653.69/1700.12	c current bound: 3941
1654.44/1700.69	c current bound: 3941
1654.85/1701.27	c current bound: 3941
1655.69/1702.09	c current bound: 3941
1656.02/1702.68	c current bound: 3941
1656.60/1703.26	c current bound: 3941
1657.41/1703.85	c current bound: 3941
1657.78/1704.43	c current bound: 3941
1658.60/1705.04	c current bound: 3941
1658.95/1705.62	c current bound: 3941
1659.79/1706.22	c current bound: 3941
1660.15/1707.04	c current bound: 3941
1660.74/1707.62	c current bound: 3941
1661.58/1708.21	c current bound: 3941
1661.91/1708.79	c current bound: 3941
1662.68/1709.38	c current bound: 3941
1663.09/1709.97	c current bound: 3941
1663.87/1710.57	c current bound: 3941
1664.26/1711.15	c current bound: 3941
1665.06/1711.74	c current bound: 3941
1665.44/1712.37	c current bound: 3941
1666.03/1712.96	c current bound: 3941
1666.62/1713.55	c current bound: 3941
1667.21/1714.16	c current bound: 3941
1667.82/1714.75	c current bound: 3941
1668.41/1715.33	c current bound: 3941
1669.24/1715.92	c current bound: 3941
1669.58/1716.50	c current bound: 3941
1670.43/1717.12	c current bound: 3941
1670.76/1717.71	c current bound: 3941
1671.60/1718.31	c current bound: 3941
1672.22/1718.90	c current bound: 3941
1672.53/1719.48	c current bound: 3941
1673.11/1720.07	c current bound: 3941
1673.71/1720.66	c current bound: 3941
1674.28/1721.24	c current bound: 3941
1674.88/1721.83	c current bound: 3941
1675.47/1722.46	c current bound: 3941
1676.06/1723.04	c current bound: 3941
1676.87/1723.63	c current bound: 3941
1677.23/1724.21	c current bound: 3941
1678.08/1724.81	c current bound: 3941
1678.42/1725.39	c current bound: 3941
1679.20/1725.98	c current bound: 3941
1679.61/1726.56	c current bound: 3941
1680.45/1727.33	c current bound: 3941
1680.79/1727.91	c current bound: 3941
1681.64/1728.50	c current bound: 3941
1681.95/1729.08	c current bound: 3941
1682.55/1729.68	c current bound: 3941
1683.35/1730.26	c current bound: 3941
1683.73/1730.85	c current bound: 3941
1684.53/1731.45	c current bound: 3941
1685.18/1732.28	c current bound: 3941
1685.49/1732.88	c current bound: 3941
1686.10/1733.47	c current bound: 3941
1686.70/1734.05	c current bound: 3941
1687.50/1734.64	c current bound: 3941
1687.86/1735.23	c current bound: 3941
1688.70/1735.82	c current bound: 3941
1689.04/1736.41	c current bound: 3941
1689.88/1737.01	c current bound: 3941
1690.22/1737.65	c current bound: 3941
1690.82/1738.23	c current bound: 3941
1691.40/1738.82	c current bound: 3941
1691.98/1739.40	c current bound: 3941
1692.57/1739.99	c current bound: 3941
1693.16/1740.57	c current bound: 3941
1693.74/1741.17	c current bound: 3941
1694.35/1741.76	c current bound: 3941
1695.18/1742.54	c current bound: 3941
1695.51/1743.13	c current bound: 3941
1696.11/1743.72	c current bound: 3941
1696.71/1744.32	c current bound: 3941
1697.31/1744.92	c current bound: 3941
1698.15/1745.50	c current bound: 3941
1698.49/1746.08	c current bound: 3941
1699.08/1746.67	c current bound: 3941
1699.94/1747.51	c current bound: 3941
1700.25/1748.09	c current bound: 3941
1700.84/1748.68	c current bound: 3941
1701.42/1749.26	c current bound: 3941
1702.01/1749.85	c current bound: 3941
1702.58/1750.43	c current bound: 3941
1703.17/1751.02	c current bound: 3941
1703.76/1751.61	c current bound: 3941
1704.36/1752.19	c current bound: 3941
1704.94/1752.82	c current bound: 3941
1705.77/1753.41	c current bound: 3941
1706.39/1754.00	c current bound: 3941
1706.87/1754.58	c current bound: 3941
1707.29/1755.17	c current bound: 3941
1708.09/1755.77	c current bound: 3941
1708.47/1756.36	c current bound: 3941
1709.06/1756.95	c current bound: 3941
1709.65/1757.69	c current bound: 3941
1710.24/1758.27	c current bound: 3941
1711.03/1758.86	c current bound: 3941
1711.42/1759.45	c current bound: 3941
1712.23/1760.04	c current bound: 3941
1712.60/1760.63	c current bound: 3941
1713.42/1761.21	c current bound: 3941
1713.78/1761.82	c current bound: 3941
1714.65/1762.67	c current bound: 3941
1715.17/1763.25	c current bound: 3941
1715.54/1763.83	c current bound: 3941
1716.38/1764.42	c current bound: 3941
1716.73/1765.01	c current bound: 3941
1717.48/1765.59	c current bound: 3941
1717.91/1766.18	c current bound: 3941
1718.49/1766.77	c current bound: 3941
1719.08/1767.36	c current bound: 3941
1719.66/1767.99	c current bound: 3941
1720.24/1768.57	c current bound: 3941
1720.84/1769.16	c current bound: 3941
1721.41/1769.74	c current bound: 3941
1722.00/1770.33	c current bound: 3941
1722.83/1770.92	c current bound: 3941
1723.19/1771.50	c current bound: 3941
1723.94/1772.09	c current bound: 3941
1724.62/1772.81	c current bound: 3941
1725.22/1773.40	c current bound: 3941
1725.52/1773.98	c current bound: 3941
1726.11/1774.57	c current bound: 3941
1726.71/1775.15	c current bound: 3941
1727.28/1775.74	c current bound: 3941
1727.87/1776.32	c current bound: 3941
1728.46/1776.91	c current bound: 3941
1729.05/1777.50	c current bound: 3941
1729.63/1778.11	c current bound: 3941
1730.38/1778.70	c current bound: 3941
1730.82/1779.29	c current bound: 3941
1731.58/1779.87	c current bound: 3941
1731.98/1780.46	c current bound: 3941
1732.78/1781.06	c current bound: 3941
1733.16/1781.65	c current bound: 3941
1733.76/1782.25	c current bound: 3941
1734.62/1783.04	c current bound: 3941
1734.95/1783.63	c current bound: 3941
1735.78/1784.21	c current bound: 3941
1736.10/1784.81	c current bound: 3941
1736.96/1785.40	c current bound: 3941
1737.30/1785.99	c current bound: 3941
1737.87/1786.59	c current bound: 3941
1738.49/1787.18	c current bound: 3941
1739.34/1788.07	c current bound: 3941
1739.86/1788.66	c current bound: 3941
1740.26/1789.25	c current bound: 3941
1741.06/1789.84	c current bound: 3941
1741.43/1790.42	c current bound: 3941
1742.01/1791.01	c current bound: 3941
1742.62/1791.59	c current bound: 3941
1743.20/1792.18	c current bound: 3941
1744.08/1793.00	c current bound: 3941
1744.40/1793.58	c current bound: 3941
1745.16/1794.19	c current bound: 3941
1745.58/1794.77	c current bound: 3941
1746.35/1795.39	c current bound: 3941
1746.77/1795.97	c current bound: 3941
1747.37/1796.56	c current bound: 3941
1747.95/1797.14	c current bound: 3941
1748.53/1797.73	c current bound: 3941
1749.12/1798.35	c current bound: 3941
1749.72/1798.94	c current bound: 3941
1750.52/1799.52	c current bound: 3941
1750.88/1800.11	c current bound: 3941
1751.74/1800.71	c current bound: 3941
1752.05/1801.29	c current bound: 3941
1752.83/1801.88	c current bound: 3941
1753.25/1802.47	c current bound: 3941
1754.11/1803.18	c current bound: 3941
1754.44/1803.76	c current bound: 3941
1755.03/1804.35	c current bound: 3941
1755.59/1804.93	c current bound: 3941
1756.18/1805.52	c current bound: 3941
1757.03/1806.11	c current bound: 3941
1757.37/1806.69	c current bound: 3941
1758.14/1807.28	c current bound: 3941
1758.55/1807.86	c current bound: 3941
1759.31/1808.48	c current bound: 3941
1759.70/1809.06	c current bound: 3941
1760.49/1809.65	c current bound: 3941
1760.87/1810.24	c current bound: 3941
1761.47/1810.82	c current bound: 3941
1762.04/1811.41	c current bound: 3941
1762.90/1812.00	c current bound: 3941
1763.22/1812.58	c current bound: 3941
1764.08/1813.33	c current bound: 3941
1764.63/1813.92	c current bound: 3941
1764.99/1814.52	c current bound: 3941
1765.83/1815.11	c current bound: 3941
1766.17/1815.69	c current bound: 3941
1766.76/1816.28	c current bound: 3941
1767.34/1816.86	c current bound: 3941
1767.94/1817.45	c current bound: 3941
1768.51/1818.03	c current bound: 3941
1769.09/1818.68	c current bound: 3941
1769.70/1819.27	c current bound: 3941
1770.29/1819.86	c current bound: 3941
1771.09/1820.45	c current bound: 3941
1771.46/1821.03	c current bound: 3941
1772.28/1821.62	c current bound: 3941
1772.64/1822.21	c current bound: 3941
1773.49/1822.81	c current bound: 3941
1774.11/1823.42	c current bound: 3941
1774.42/1824.00	c current bound: 3941
1775.00/1824.58	c current bound: 3941
1775.59/1825.19	c current bound: 3941
1776.20/1825.77	c current bound: 3941
1776.78/1826.36	c current bound: 3941
1777.36/1826.95	c current bound: 3941
1777.95/1827.55	c current bound: 3941
1778.83/1828.29	c current bound: 3941
1779.15/1828.88	c current bound: 3941
1779.95/1829.46	c current bound: 3941
1780.33/1830.06	c current bound: 3941
1780.94/1830.66	c current bound: 3941
1781.53/1831.26	c current bound: 3941
1782.12/1831.85	c current bound: 3941
1782.73/1832.44	c current bound: 3941
1783.32/1833.04	c current bound: 3941
1784.21/1834.27	c current bound: 3941
1784.72/1834.87	c current bound: 3941
1785.10/1835.46	c current bound: 3941
1785.93/1836.07	c current bound: 3941
1786.31/1836.67	c current bound: 3941
1786.90/1837.27	c current bound: 3941
1787.50/1837.87	c current bound: 3941
1788.10/1838.46	c current bound: 3941
1788.69/1839.07	c current bound: 3941
1789.30/1839.65	c current bound: 3941
1790.11/1840.24	c current bound: 3941
1790.46/1840.82	c current bound: 3941
1791.31/1841.42	c current bound: 3941
1791.65/1842.01	c current bound: 3941
1792.51/1842.61	c current bound: 3941
1792.84/1843.38	c current bound: 3941
1793.44/1843.97	c current bound: 3941
1794.04/1844.55	c current bound: 3941
1794.62/1845.15	c current bound: 3941
1795.45/1845.75	c current bound: 3941
1795.82/1846.34	c current bound: 3941
1796.66/1846.94	c current bound: 3941
1797.01/1847.54	c current bound: 3941
1797.85/1848.13	c current bound: 3941
1798.19/1848.74	c current bound: 3941
1798.82/1849.34	c current bound: 3941
1799.17/1849.40	HOME/npSolver-wbo-Itdqb.sh: line 18: 32631 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-3753114-1339210016/watcher-3753114-1339210016 -o /tmp/evaluation-result-3753114-1339210016/solver-3753114-1339210016 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753114-1339210016.wbo 507332614 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.11 3/176 32629
/proc/meminfo: memFree=29636832/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0

[startup+0.0886881 s]
/proc/loadavg: 1.00 1.00 1.11 3/176 32629
/proc/meminfo: memFree=29636832/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100262 s]
/proc/loadavg: 1.00 1.00 1.11 3/176 32629
/proc/meminfo: memFree=29636832/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300284 s]
/proc/loadavg: 1.00 1.00 1.11 3/176 32629
/proc/meminfo: memFree=29636832/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700168 s]
/proc/loadavg: 1.00 1.00 1.11 3/176 32629
/proc/meminfo: memFree=29636832/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.00 1.00 1.11 5/184 32669
/proc/meminfo: memFree=29576412/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1.3 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 8624 34591 0 0 27 4 69 30 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 29016

[startup+3.10028 s]
/proc/loadavg: 1.00 1.00 1.11 4/181 32689
/proc/meminfo: memFree=29552900/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=3.07 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 15305 79230 0 0 53 7 174 73 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29016

[startup+6.30028 s]
/proc/loadavg: 1.08 1.02 1.11 4/183 32747
/proc/meminfo: memFree=29505916/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=5.68 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 24220 150169 0 0 88 11 338 131 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 29016

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

[startup+10.9004 s]
/proc/loadavg: 1.15 1.03 1.12 4/183 386
/proc/meminfo: memFree=29537900/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=10.39 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 42036 269344 0 0 157 19 617 246 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
[pid=382] ppid=32631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/382/stat : 382 (satsolver.sh) S 32631 32629 30487 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387131137 9367552 267 33554432000 4194304 5064252 140735226615088 140735226614000 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/382/statm: 2287 267 226 213 0 72 0
[pid=383] ppid=382 vsize=0 CPUtime=0.2 cores=0,2,4,6
/proc/383/stat : 383 (glucose) R 382 32629 30487 0 -1 4202500 10436 0 0 0 19 1 0 0 20 0 1 0 387131137 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/383/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 38164

[startup+11.007 s]
/proc/loadavg: 1.15 1.03 1.12 4/183 386
/proc/meminfo: memFree=29537900/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=10.39 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 42036 269344 0 0 157 19 617 246 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 29016
#
############


[startup+12.7002 s]
/proc/loadavg: 1.15 1.03 1.12 5/183 407
/proc/meminfo: memFree=29538032/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=12.16 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 48717 313860 0 0 184 22 722 288 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 29016

[startup+25.5003 s]
/proc/loadavg: 1.34 1.08 1.13 4/183 655
/proc/meminfo: memFree=29539564/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=24.39 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 95477 616450 0 0 366 42 1440 591 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 29016

[startup+51.1003 s]
/proc/loadavg: 1.50 1.14 1.15 4/183 1127
/proc/meminfo: memFree=29527884/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=49.27 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 189011 1243038 0 0 731 84 2921 1191 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 29016

[startup+102.307 s]
/proc/loadavg: 1.78 1.27 1.19 4/181 2114
/proc/meminfo: memFree=29548880/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=98.38 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 371625 2461706 0 0 1389 160 5886 2403 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 98.38
Current children cumulated vsize (KiB) 29016

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

[startup+122 s]
/proc/loadavg: 1.84 1.31 1.20 4/181 2471
/proc/meminfo: memFree=29547588/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0

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

/proc/meminfo: memFree=29560572/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1205.58 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1103118 30467160 0 0 16894 1683 72431 29550 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 196 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1205.58
Current children cumulated vsize (KiB) 29016

[startup+1302.3 s]
/proc/loadavg: 1.95 1.94 1.73 4/183 24302
/proc/meminfo: memFree=29523944/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1264.24 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1121418 31957690 0 0 17761 1765 75932 30966 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 220 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
[pid=24300] ppid=32631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24300/stat : 24300 (cp2_post.sh) S 32631 32629 30487 0 -1 4202496 611 224 0 0 0 0 0 0 20 0 1 0 387260282 9367552 266 33554432000 4194304 5064252 140735530348192 140735530346480 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24300/statm: 2287 266 225 213 0 72 0
[pid=24302] ppid=24300 vsize=10132 CPUtime=0.15 cores=0,2,4,6
/proc/24302/stat : 24302 (coprocessor) R 24300 32629 30487 0 -1 4202496 2060 0 0 0 11 4 0 0 20 0 1 0 387260282 10375168 1711 33554432000 4194304 6586260 140737426540992 140737426538008 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24302/statm: 2533 1711 148 584 0 1945 0
Current children cumulated CPU time (s) 1264.39
Current children cumulated vsize (KiB) 48296

[startup+1362.3 s]
/proc/loadavg: 1.85 1.91 1.73 4/179 25408
/proc/meminfo: memFree=29584180/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1323.37 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) R 32629 32629 30487 0 -1 4202496 1139892 33452371 0 0 18634 1848 79460 32395 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287616 4619212 0 0 4096 0 0 0 0 17 0 0 0 240 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1323.37
Current children cumulated vsize (KiB) 29016

[startup+1422.31 s]
/proc/loadavg: 1.95 1.93 1.74 4/181 26519
/proc/meminfo: memFree=29542140/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1381.38 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1157645 34904645 0 0 19408 1924 82971 33835 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 241 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
[pid=26516] ppid=32631 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26516/stat : 26516 (satsolver.sh) S 32631 32629 30487 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387272280 9367552 267 33554432000 4194304 5064252 140734309885328 140734309884240 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26516/statm: 2287 267 226 213 0 72 0
[pid=26517] ppid=26516 vsize=48468 CPUtime=0.17 cores=0,2,4,6
/proc/26517/stat : 26517 (glucose) R 26516 32629 30487 0 -1 4202496 10436 0 0 0 15 2 0 0 20 0 1 0 387272281 49631232 10568 33554432000 4194304 5208918 140737060792640 140734309884264 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26517/statm: 12117 10568 105 248 0 11866 0
Current children cumulated CPU time (s) 1381.55
Current children cumulated vsize (KiB) 86632

[startup+1482.3 s]
/proc/loadavg: 1.96 1.94 1.75 4/183 27631
/proc/meminfo: memFree=29522796/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1440.43 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1175952 36408400 0 0 20203 2003 86540 35297 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 245 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1440.43
Current children cumulated vsize (KiB) 29016

[startup+1542.3 s]
/proc/loadavg: 1.98 1.95 1.76 4/181 28763
/proc/meminfo: memFree=29570052/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1499.23 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) R 32629 32629 30487 0 -1 4202496 1194604 37914238 0 0 21005 2081 90079 36758 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287616 4583813 0 0 4096 0 0 0 0 17 4 0 0 255 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1499.23
Current children cumulated vsize (KiB) 29016

[startup+1602.3 s]
/proc/loadavg: 1.79 1.90 1.76 4/183 29881
/proc/meminfo: memFree=29556420/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1558.46 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1213277 39440312 0 0 21819 2161 93645 38221 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 268 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1558.46
Current children cumulated vsize (KiB) 29016

[startup+1662.3 s]
/proc/loadavg: 1.92 1.92 1.77 5/183 31016
/proc/meminfo: memFree=29522000/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1617 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1231760 40945602 0 0 22620 2238 97186 39656 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 279 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1617
Current children cumulated vsize (KiB) 29016

[startup+1722.3 s]
/proc/loadavg: 1.97 1.93 1.78 4/183 32126
/proc/meminfo: memFree=29498840/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1675.47 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1250067 42453799 0 0 23438 2315 100728 41066 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859286528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 306 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1675.47
Current children cumulated vsize (KiB) 29016

[startup+1782.3 s]
/proc/loadavg: 1.99 1.94 1.79 4/183 803
/proc/meminfo: memFree=29490204/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1734.09 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) R 32629 32629 30487 0 -1 4202496 1268355 43937122 0 0 24305 2396 104219 42489 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287616 4537270 0 0 4096 0 0 0 0 17 0 0 0 322 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1734.09
Current children cumulated vsize (KiB) 29016

[startup+1842.3 s]
/proc/loadavg: 2.23 2.00 1.82 3/183 1918
/proc/meminfo: memFree=28852156/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1792.02 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) S 32629 32629 30487 0 -1 4202496 1286294 45404363 0 0 25142 2475 107697 43888 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287040 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 334 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1792.02
Current children cumulated vsize (KiB) 29016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1849.4 s]
/proc/loadavg: 2.19 2.00 1.82 3/181 2011
/proc/meminfo: memFree=28858028/32873844 swapFree=7384/7384
[pid=32629] ppid=32627 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32629/stat : 32629 (npSolver-wbo-It) S 32627 32629 30487 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 387130068 9367552 274 33554432000 4194304 5064252 140736795607552 140736795606464 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32629/statm: 2287 274 233 213 0 72 0
[pid=32631] ppid=32629 vsize=19868 CPUtime=1799.17 cores=0,2,4,6
/proc/32631/stat : 32631 (npSolver-wbo) R 32629 32629 30487 0 -1 4202496 1288488 45584073 0 0 25236 2484 108131 44066 20 0 1 0 387130068 20344832 4029 33554432000 4194304 6006132 140736859295680 140736859287616 4537521 0 0 4096 0 0 0 0 17 2 0 0 334 0 0
/proc/32631/statm: 4967 4029 176 443 0 4520 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 29016

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): 1.0101
#  lost CPU user time (s): 0.920049
#  lost CPU system time (s): 0.0899637

Real time (s): 1849.41
CPU time (s): 1800.2
CPU user time (s): 1334.6
CPU system time (s): 465.6
CPU usage (%): 97.3392
Max. virtual memory (cumulated for all children) (KiB): 87200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1333.68
system time used= 465.51
maximum resident set size= 43732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46872935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42205048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 889367
involuntary context switches= 37958

runsolver used 4.26535 second user time and 11.1863 second system time

The end

Launcher Data

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

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

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

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=507332614

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29637988 kB
Buffers:          454272 kB
Cached:          1834264 kB
SwapCached:         2376 kB
Active:           556552 kB
Inactive:        1737428 kB
Active(anon):       2512 kB
Inactive(anon):     5560 kB
Active(file):     554040 kB
Inactive(file):  1731868 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67100756 kB
Dirty:             17092 kB
Writeback:            24 kB
AnonPages:         10664 kB
Mapped:             8148 kB
Shmem:                 0 kB
Slab:             801408 kB
SReclaimable:     243260 kB
SUnreclaim:       558148 kB
KernelStack:        1400 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     106276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70872 MiB
End job on node106 at 2012-06-09 05:17:45