Trace number 3715626

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.14 1805.81

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
MD5SUM8c7284b7ccf7c3e8bad0ea1f2a54ab5e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark0.759884
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints69
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1247
Number of bits of the biggest sum of numbers11
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.05	c run usual solver
0.00/0.49	o 1231
0.00/0.49	c starting approximation
0.00/0.49	c factor = 2
0.00/0.49	c current bound: 615
0.00/0.88	c current bound: 615
1.17/1.29	c current bound: 615
1.29/1.69	c current bound: 615
1.69/2.10	c current bound: 615
2.44/2.51	c current bound: 615
2.83/2.91	c current bound: 615
3.29/3.30	c current bound: 615
3.63/3.71	c current bound: 615
4.04/4.12	c current bound: 615
4.46/4.52	c current bound: 615
4.91/5.00	c current bound: 615
5.29/5.41	c current bound: 615
5.66/5.82	c current bound: 615
6.08/6.22	c current bound: 615
6.48/6.63	c current bound: 615
6.88/7.04	c current bound: 615
7.29/7.44	c current bound: 615
7.70/7.86	c current bound: 615
7.79/8.27	c current bound: 615
8.19/8.68	c current bound: 615
8.60/9.08	c current bound: 615
9.00/9.48	c current bound: 615
9.69/9.89	c current bound: 615
9.81/10.29	c current bound: 615
10.21/10.69	c current bound: 615
10.96/11.10	c current bound: 615
11.35/11.50	c current bound: 615
11.76/11.91	c current bound: 615
12.17/12.31	c current bound: 615
12.55/12.70	c current bound: 615
12.99/13.12	c current bound: 615
13.37/13.53	c current bound: 615
13.77/13.94	c current bound: 615
14.19/14.35	c current bound: 615
14.26/14.76	c current bound: 615
14.67/15.15	c current bound: 615
15.40/15.55	c current bound: 615
15.46/15.96	c current bound: 615
15.88/16.36	c current bound: 615
16.57/16.76	c current bound: 615
16.67/17.16	c current bound: 615
17.38/17.57	c current bound: 615
17.48/17.96	c current bound: 615
17.87/18.37	c current bound: 615
18.58/18.78	c current bound: 615
18.69/19.18	c current bound: 615
19.09/19.58	c current bound: 615
19.79/19.99	c current bound: 615
19.91/20.39	c current bound: 615
20.70/20.80	c current bound: 615
21.06/21.21	c current bound: 615
21.46/21.62	c current bound: 615
21.89/22.04	c current bound: 615
21.96/22.45	c current bound: 615
22.69/22.85	c current bound: 615
23.08/23.26	c current bound: 615
23.17/23.66	c current bound: 615
23.57/24.06	c current bound: 615
24.29/24.48	c current bound: 615
24.40/24.88	c current bound: 615
25.10/25.28	c current bound: 615
25.20/25.68	c current bound: 615
25.61/26.08	c current bound: 615
26.29/26.48	c current bound: 615
26.41/26.88	c current bound: 615
26.81/27.29	c current bound: 615
27.61/27.70	c current bound: 615
27.97/28.11	c current bound: 615
28.42/28.51	c current bound: 615
28.76/28.90	c current bound: 615
29.17/29.31	c current bound: 615
29.58/29.72	c current bound: 615
29.99/30.13	c current bound: 615
30.40/30.54	c current bound: 615
30.82/30.94	c current bound: 615
31.21/31.35	c current bound: 615
31.61/31.74	c current bound: 615
32.01/32.14	c current bound: 615
32.07/32.55	c current bound: 615
32.82/32.97	c current bound: 615
32.91/33.38	c current bound: 615
33.31/33.79	c current bound: 615
34.07/34.20	c current bound: 615
34.47/34.61	c current bound: 615
34.89/35.02	c current bound: 615
35.28/35.42	c current bound: 615
35.70/35.83	c current bound: 615
36.12/36.24	c current bound: 615
36.51/36.65	c current bound: 615
36.58/37.06	c current bound: 615
37.33/37.46	c current bound: 615
37.40/37.87	c current bound: 615
37.81/38.27	c current bound: 615
38.51/38.67	c current bound: 615
38.60/39.07	c current bound: 615
39.01/39.48	c current bound: 615
39.70/39.89	c current bound: 615
40.21/40.30	c current bound: 615
40.56/40.71	c current bound: 615
40.98/41.12	c current bound: 615
41.39/41.52	c current bound: 615
41.80/41.93	c current bound: 615
42.19/42.33	c current bound: 615
42.61/42.73	c current bound: 615
43.02/43.14	c current bound: 615
43.08/43.55	c current bound: 615
43.82/43.96	c current bound: 615
43.90/44.38	c current bound: 615
44.31/44.78	c current bound: 615
45.12/45.20	c current bound: 615
45.47/45.61	c current bound: 615
45.87/46.01	c current bound: 615
46.28/46.41	c current bound: 615
46.69/46.82	c current bound: 615
47.10/47.23	c current bound: 615
47.50/47.63	c current bound: 615
47.89/48.03	c current bound: 615
48.29/48.42	c current bound: 615
48.70/48.83	c current bound: 615
49.09/49.24	c current bound: 615
49.51/49.64	c current bound: 615
49.58/50.05	c current bound: 615
49.98/50.47	c current bound: 615
50.70/50.87	c current bound: 615
50.80/51.27	c current bound: 615
51.52/51.68	c current bound: 615
51.61/52.08	c current bound: 615
52.01/52.48	c current bound: 615
52.70/52.89	c current bound: 615
53.22/53.30	c current bound: 615
53.61/53.70	c current bound: 615
54.01/54.10	c current bound: 615
54.39/54.52	c current bound: 615
54.81/54.93	c current bound: 615
55.19/55.33	c current bound: 615
55.59/55.73	c current bound: 615
55.99/56.14	c current bound: 615
56.41/56.55	c current bound: 615
56.48/56.96	c current bound: 615
57.21/57.37	c current bound: 615
57.30/57.77	c current bound: 615
57.72/58.18	c current bound: 615
58.12/58.59	c current bound: 615
58.85/59.00	c current bound: 615
59.26/59.41	c current bound: 615
59.67/59.80	c current bound: 615
60.08/60.21	c current bound: 615
60.48/60.62	c current bound: 615
60.89/61.02	c current bound: 615
61.30/61.43	c current bound: 615
61.69/61.83	c current bound: 615
62.10/62.24	c current bound: 615
62.51/62.65	c current bound: 615
62.58/63.06	c current bound: 615
63.00/63.48	c current bound: 615
63.71/63.89	c current bound: 615
63.83/64.29	c current bound: 615
64.62/64.70	c current bound: 615
64.98/65.12	c current bound: 615
65.40/65.53	c current bound: 615
65.80/65.93	c current bound: 615
66.21/66.34	c current bound: 615
66.27/66.75	c current bound: 615
67.01/67.17	c current bound: 615
67.10/67.57	c current bound: 615
67.51/67.98	c current bound: 615
68.20/68.39	c current bound: 615
68.67/68.80	c current bound: 615
69.11/69.21	c current bound: 615
69.49/69.62	c current bound: 615
69.88/70.02	c current bound: 615
70.30/70.43	c current bound: 615
70.71/70.84	c current bound: 615
71.11/71.25	c current bound: 615
71.52/71.64	c current bound: 615
71.59/72.05	c current bound: 615
71.99/72.46	c current bound: 615
72.71/72.86	c current bound: 615
72.80/73.26	c current bound: 615
73.52/73.66	c current bound: 615
73.61/74.06	c current bound: 615
74.00/74.46	c current bound: 615
74.72/74.87	c current bound: 615
74.81/75.28	c current bound: 615
75.23/75.69	c current bound: 615
75.91/76.09	c current bound: 615
76.37/76.50	c current bound: 615
76.44/76.90	c current bound: 615
77.18/77.31	c current bound: 615
77.60/77.72	c current bound: 615
78.00/78.12	c current bound: 615
78.40/78.53	c current bound: 615
78.81/78.92	c current bound: 615
79.21/79.33	c current bound: 615
79.63/79.75	c current bound: 615
79.69/80.16	c current bound: 615
80.41/80.56	c current bound: 615
80.51/80.97	c current bound: 615
81.22/81.38	c current bound: 615
81.32/81.78	c current bound: 615
81.72/82.18	c current bound: 615
82.41/82.58	c current bound: 615
82.52/82.99	c current bound: 615
83.28/83.40	c current bound: 615
83.68/83.81	c current bound: 615
84.11/84.22	c current bound: 615
84.53/84.62	c current bound: 615
84.90/85.06	c current bound: 615
84.98/85.46	c current bound: 615
85.70/85.86	c current bound: 615
85.77/86.26	c current bound: 615
86.16/86.66	c current bound: 615
86.86/87.07	c current bound: 615
86.97/87.48	c current bound: 615
87.37/87.88	c current bound: 615
88.07/88.29	c current bound: 615
88.18/88.69	c current bound: 615
88.98/89.10	c current bound: 615
89.31/89.50	c current bound: 615
89.73/89.91	c current bound: 615
90.12/90.32	c current bound: 615
90.52/90.72	c current bound: 615
90.94/91.13	c current bound: 615
91.34/91.54	c current bound: 615
91.76/91.95	c current bound: 615
92.14/92.36	c current bound: 615
92.23/92.77	c current bound: 615
92.64/93.17	c current bound: 615
93.34/93.58	c current bound: 615
93.43/93.97	c current bound: 615
93.82/94.38	c current bound: 615
94.63/94.80	c current bound: 615
94.98/95.21	c current bound: 615
95.43/95.60	c current bound: 615
95.78/96.00	c current bound: 615
96.19/96.41	c current bound: 615
96.59/96.81	c current bound: 615
96.99/97.22	c current bound: 615
97.41/97.63	c current bound: 615
97.79/98.03	c current bound: 615
98.20/98.44	c current bound: 615
98.61/98.84	c current bound: 615
98.99/99.24	c current bound: 615
99.39/99.64	c current bound: 615
99.81/100.07	c current bound: 615
99.88/100.47	c current bound: 615
100.27/100.86	c current bound: 615
100.98/101.28	c current bound: 615
101.08/101.68	c current bound: 615
101.48/102.09	c current bound: 615
102.27/102.50	c current bound: 615
102.29/102.89	c current bound: 615
102.68/103.30	c current bound: 615
103.46/103.70	c current bound: 615
103.86/104.10	c current bound: 615
104.15/104.50	c current bound: 615
104.61/104.90	c current bound: 615
105.02/105.31	c current bound: 615
105.40/105.71	c current bound: 615
105.80/106.11	c current bound: 615
106.22/106.53	c current bound: 615
106.62/106.93	c current bound: 615
107.01/107.33	c current bound: 615
107.43/107.73	c current bound: 615
107.81/108.13	c current bound: 615
108.23/108.54	c current bound: 615
108.61/108.94	c current bound: 615
109.02/109.35	c current bound: 615
109.43/109.75	c current bound: 615
109.81/110.17	c current bound: 615
109.90/110.58	c current bound: 615
110.31/110.98	c current bound: 615
111.13/111.40	c current bound: 615
111.47/111.81	c current bound: 615
111.88/112.22	c current bound: 615
112.28/112.62	c current bound: 615
112.68/113.02	c current bound: 615
113.10/113.43	c current bound: 615
113.50/113.84	c current bound: 615
113.90/114.24	c current bound: 615
114.30/114.64	c current bound: 615
114.37/115.05	c current bound: 615
115.09/115.46	c current bound: 615
115.17/115.87	c current bound: 615
115.57/116.27	c current bound: 615
116.29/116.68	c current bound: 615
116.39/117.09	c current bound: 615
117.13/117.50	c current bound: 615
117.52/117.90	c current bound: 615
117.94/118.31	c current bound: 615
118.37/118.71	c current bound: 615
118.74/119.11	c current bound: 615
119.13/119.51	c current bound: 615
119.55/119.92	c current bound: 615
119.96/120.33	c current bound: 615
120.36/120.74	c current bound: 615
120.74/121.16	c current bound: 615
120.85/121.56	c current bound: 615
121.25/121.96	c current bound: 615
121.95/122.37	c current bound: 615
122.06/122.78	c current bound: 615
122.76/123.18	c current bound: 615
122.85/123.59	c current bound: 615
123.26/123.99	c current bound: 615
124.01/124.40	c current bound: 615
124.39/124.80	c current bound: 615
124.80/125.21	c current bound: 615
125.21/125.63	c current bound: 615
125.62/126.04	c current bound: 615
126.03/126.45	c current bound: 615
126.10/126.85	c current bound: 615
126.50/127.27	c current bound: 615
127.21/127.68	c current bound: 615
127.31/128.09	c current bound: 615
128.12/128.50	c current bound: 615
128.46/128.91	c current bound: 615
128.86/129.31	c current bound: 615
129.31/129.72	c current bound: 615
129.67/130.11	c current bound: 615
130.08/130.55	c current bound: 615
130.48/130.95	c current bound: 615
130.86/131.35	c current bound: 615
130.94/131.76	c current bound: 615
131.65/132.17	c current bound: 615
131.76/132.58	c current bound: 615
132.17/132.99	c current bound: 615
132.57/133.39	c current bound: 615
133.37/133.80	c current bound: 615
133.77/134.21	c current bound: 615
134.13/134.62	c current bound: 615
134.54/135.03	c current bound: 615
134.96/135.44	c current bound: 615
135.36/135.85	c current bound: 615
135.43/136.25	c current bound: 615
136.14/136.67	c current bound: 615
136.25/137.08	c current bound: 615
136.96/137.48	c current bound: 615
137.07/137.88	c current bound: 615
137.86/138.30	c current bound: 615
138.21/138.70	c current bound: 615
138.65/139.10	c current bound: 615
139.01/139.51	c current bound: 615
139.42/139.91	c current bound: 615
139.81/140.32	c current bound: 615
140.24/140.72	c current bound: 615
140.63/141.11	c current bound: 615
141.03/141.53	c current bound: 615
141.43/141.93	c current bound: 615
141.84/142.33	c current bound: 615
142.25/142.74	c current bound: 615
142.64/143.14	c current bound: 615
143.04/143.53	c current bound: 615
143.44/143.94	c current bound: 615
143.86/144.35	c current bound: 615
143.93/144.76	c current bound: 615
144.66/145.17	c current bound: 615
144.75/145.58	c current bound: 615
145.16/145.99	c current bound: 615
145.96/146.40	c current bound: 615
146.32/146.81	c current bound: 615
146.72/147.22	c current bound: 615
147.15/147.63	c current bound: 615
147.54/148.04	c current bound: 615
147.95/148.45	c current bound: 615
148.03/148.86	c current bound: 615
148.43/149.27	c current bound: 615
149.15/149.67	c current bound: 615
149.24/150.08	c current bound: 615
149.66/150.48	c current bound: 615
150.35/150.88	c current bound: 615
150.45/151.29	c current bound: 615
151.26/151.70	c current bound: 615
151.61/152.11	c current bound: 615
152.02/152.51	c current bound: 615
152.41/152.92	c current bound: 615
152.81/153.31	c current bound: 615
153.23/153.72	c current bound: 615
153.65/154.14	c current bound: 615
154.05/154.55	c current bound: 615
154.46/154.95	c current bound: 615
154.83/155.35	c current bound: 615
154.94/155.76	c current bound: 615
155.67/156.15	c current bound: 615
155.74/156.56	c current bound: 615
156.14/156.97	c current bound: 615
156.86/157.38	c current bound: 615
156.96/157.79	c current bound: 615
157.37/158.19	c current bound: 615
158.11/158.60	c current bound: 615
158.51/159.00	c current bound: 615
158.95/159.42	c current bound: 615
159.33/159.83	c current bound: 615
159.74/160.25	c current bound: 615
160.13/160.65	c current bound: 615
160.20/161.06	c current bound: 615
160.62/161.46	c current bound: 615
161.32/161.87	c current bound: 615
161.42/162.28	c current bound: 615
161.84/162.68	c current bound: 615
162.52/163.09	c current bound: 615
162.98/163.50	c current bound: 615
163.40/163.91	c current bound: 615
163.79/164.32	c current bound: 615
164.22/164.74	c current bound: 615
164.63/165.15	c current bound: 615
164.69/165.55	c current bound: 615
165.09/165.96	c current bound: 615
165.82/166.36	c current bound: 615
165.92/166.77	c current bound: 615
166.63/167.18	c current bound: 615
166.73/167.57	c current bound: 615
167.12/167.98	c current bound: 615
167.83/168.39	c current bound: 615
167.94/168.79	c current bound: 615
168.68/169.21	c current bound: 615
169.08/169.61	c current bound: 615
169.48/170.00	c current bound: 615
169.55/170.40	c current bound: 615
170.27/170.80	c current bound: 615
170.69/171.21	c current bound: 615
171.08/171.61	c current bound: 615
171.49/172.02	c current bound: 615
171.93/172.44	c current bound: 615
172.32/172.86	c current bound: 615
172.40/173.27	c current bound: 615
172.81/173.68	c current bound: 615
173.23/174.09	c current bound: 615
174.02/174.50	c current bound: 615
174.44/174.91	c current bound: 615
174.79/175.32	c current bound: 615
175.21/175.73	c current bound: 615
175.61/176.13	c current bound: 615
176.02/176.54	c current bound: 615
176.43/176.95	c current bound: 615
176.83/177.35	c current bound: 615
176.90/177.75	c current bound: 615
177.65/178.15	c current bound: 615
177.71/178.57	c current bound: 615
178.12/178.97	c current bound: 615
178.83/179.37	c current bound: 615
178.93/179.78	c current bound: 615
179.34/180.19	c current bound: 615
180.13/180.60	c current bound: 615
180.50/181.01	c current bound: 615
180.93/181.41	c current bound: 615
181.29/181.81	c current bound: 615
181.69/182.22	c current bound: 615
182.10/182.63	c current bound: 615
182.51/183.04	c current bound: 615
182.91/183.44	c current bound: 615
183.33/183.85	c current bound: 615
183.72/184.25	c current bound: 615
183.79/184.66	c current bound: 615
184.51/185.06	c current bound: 615
184.60/185.46	c current bound: 615
185.32/185.88	c current bound: 615
185.43/186.29	c current bound: 615
185.84/186.69	c current bound: 615
186.51/187.09	c current bound: 615
186.63/187.49	c current bound: 615
187.38/187.90	c current bound: 615
187.78/188.30	c current bound: 615
188.18/188.71	c current bound: 615
188.61/189.12	c current bound: 615
189.00/189.53	c current bound: 615
189.40/189.93	c current bound: 615
189.81/190.34	c current bound: 615
189.89/190.75	c current bound: 615
190.29/191.16	c current bound: 615
191.00/191.57	c current bound: 615
191.12/191.97	c current bound: 615
191.52/192.37	c current bound: 615
192.21/192.77	c current bound: 615
192.31/193.17	c current bound: 615
193.03/193.57	c current bound: 615
193.11/193.98	c current bound: 615
193.53/194.39	c current bound: 615
194.33/194.80	c current bound: 615
194.67/195.21	c current bound: 615
195.08/195.61	c current bound: 615
195.49/196.01	c current bound: 615
195.89/196.41	c current bound: 615
196.32/196.81	c current bound: 615
196.69/197.23	c current bound: 615
197.11/197.63	c current bound: 615
197.53/198.05	c current bound: 615
197.60/198.46	c current bound: 615
198.00/198.85	c current bound: 615
198.71/199.27	c current bound: 615
198.82/199.67	c current bound: 615
199.21/200.07	c current bound: 615
199.92/200.47	c current bound: 615
200.02/200.89	c current bound: 615
200.73/201.30	c current bound: 615
201.19/201.70	c current bound: 615
201.60/202.11	c current bound: 615
202.01/202.52	c current bound: 615
202.41/202.93	c current bound: 615
202.81/203.33	c current bound: 615
203.21/203.73	c current bound: 615
203.61/204.13	c current bound: 615
204.03/204.55	c current bound: 615
204.43/204.95	c current bound: 615
204.49/205.35	c current bound: 615
205.23/205.75	c current bound: 615
205.29/206.15	c current bound: 615
205.70/206.56	c current bound: 615
206.42/206.96	c current bound: 615
206.52/207.36	c current bound: 615
206.91/207.77	c current bound: 615
207.62/208.17	c current bound: 615
207.71/208.57	c current bound: 615
208.42/208.97	c current bound: 615
208.53/209.38	c current bound: 615
208.92/209.78	c current bound: 615
209.61/210.19	c current bound: 615
210.13/210.60	c current bound: 615
210.48/211.00	c current bound: 615
210.88/211.41	c current bound: 615
211.29/211.81	c current bound: 615
211.71/212.22	c current bound: 615
212.08/212.62	c current bound: 615
212.48/213.02	c current bound: 615
212.89/213.42	c current bound: 615
213.30/213.83	c current bound: 615
213.70/214.23	c current bound: 615
214.12/214.64	c current bound: 615
214.52/215.05	c current bound: 615
214.58/215.46	c current bound: 615
215.30/215.87	c current bound: 615
215.41/216.27	c current bound: 615
216.11/216.68	c current bound: 615
216.21/217.08	c current bound: 615
216.62/217.49	c current bound: 615
217.41/217.90	c current bound: 615
217.77/218.30	c current bound: 615
218.18/218.71	c current bound: 615
218.59/219.12	c current bound: 615
218.98/219.52	c current bound: 615
219.41/219.93	c current bound: 615
219.81/220.36	c current bound: 615
219.89/220.76	c current bound: 615
220.59/221.17	c current bound: 615
220.68/221.58	c current bound: 615
221.09/221.99	c current bound: 615
221.91/222.40	c current bound: 615
222.26/222.81	c current bound: 615
222.70/223.21	c current bound: 615
223.06/223.62	c current bound: 615
223.48/224.04	c current bound: 615
223.90/224.44	c current bound: 615
223.96/224.86	c current bound: 615
224.36/225.25	c current bound: 615
225.08/225.66	c current bound: 615
225.17/226.07	c current bound: 615
225.58/226.48	c current bound: 615
226.29/226.87	c current bound: 615
226.39/227.28	c current bound: 615
227.10/227.70	c current bound: 615
227.21/228.10	c current bound: 615
227.98/228.50	c current bound: 615
228.35/228.90	c current bound: 615
228.76/229.31	c current bound: 615
229.15/229.72	c current bound: 615
229.57/230.13	c current bound: 615
229.97/230.53	c current bound: 615
230.39/230.94	c current bound: 615
230.79/231.35	c current bound: 615
230.86/231.76	c current bound: 615
231.58/232.17	c current bound: 615
231.68/232.58	c current bound: 615
232.09/232.99	c current bound: 615
232.78/233.40	c current bound: 615
233.24/233.80	c current bound: 615
233.68/234.22	c current bound: 615
234.06/234.62	c current bound: 615
234.46/235.03	c current bound: 615
234.87/235.46	c current bound: 615
234.94/235.86	c current bound: 615
235.34/236.27	c current bound: 615
236.06/236.67	c current bound: 615
236.15/237.08	c current bound: 615
236.56/237.48	c current bound: 615
236.97/237.89	c current bound: 615
237.37/238.29	c current bound: 615
238.05/238.70	c current bound: 615
238.52/239.11	c current bound: 615
238.93/239.52	c current bound: 615
239.33/239.93	c current bound: 615
239.74/240.34	c current bound: 615
240.16/240.75	c current bound: 615
240.55/241.15	c current bound: 615
240.62/241.56	c current bound: 615
241.36/241.95	c current bound: 615
241.44/242.37	c current bound: 615
241.84/242.77	c current bound: 615
242.55/243.17	c current bound: 615
242.66/243.56	c current bound: 615
243.04/243.98	c current bound: 615
243.74/244.37	c current bound: 615
243.85/244.77	c current bound: 615
244.26/245.18	c current bound: 615
244.66/245.59	c current bound: 615
245.07/245.99	c current bound: 615
245.82/246.41	c current bound: 615
246.23/246.82	c current bound: 615
246.61/247.21	c current bound: 615
247.02/247.61	c current bound: 615
247.42/248.01	c current bound: 615
247.82/248.42	c current bound: 615
248.25/248.83	c current bound: 615
248.65/249.24	c current bound: 615
249.06/249.65	c current bound: 615
249.14/250.07	c current bound: 615
249.55/250.48	c current bound: 615
250.25/250.89	c current bound: 615
250.72/251.30	c current bound: 615
251.12/251.71	c current bound: 615
251.54/252.13	c current bound: 615
251.94/252.53	c current bound: 615
252.35/252.94	c current bound: 615
252.76/253.35	c current bound: 615
253.16/253.75	c current bound: 615
253.55/254.16	c current bound: 615
253.65/254.57	c current bound: 615
254.05/254.98	c current bound: 615
254.74/255.39	c current bound: 615
254.87/255.79	c current bound: 615
255.28/256.19	c current bound: 615
256.01/256.60	c current bound: 615
256.41/257.01	c current bound: 615
256.84/257.42	c current bound: 615
257.23/257.83	c current bound: 615
257.64/258.23	c current bound: 615
258.06/258.64	c current bound: 615
258.46/259.05	c current bound: 615
258.52/259.45	c current bound: 615
259.27/259.85	c current bound: 615
259.33/260.26	c current bound: 615
260.06/260.67	c current bound: 615
260.16/261.08	c current bound: 615
260.57/261.49	c current bound: 615
261.26/261.89	c current bound: 615
261.72/262.30	c current bound: 615
262.11/262.70	c current bound: 615
262.52/263.10	c current bound: 615
262.93/263.51	c current bound: 615
263.36/263.92	c current bound: 615
263.73/264.32	c current bound: 615
264.13/264.72	c current bound: 615
264.54/265.12	c current bound: 615
264.93/265.53	c current bound: 615
265.34/265.94	c current bound: 615
265.75/266.35	c current bound: 615
266.14/266.74	c current bound: 615
266.54/267.14	c current bound: 615
266.95/267.55	c current bound: 615
267.34/267.95	c current bound: 615
267.75/268.36	c current bound: 615
267.82/268.76	c current bound: 615
268.23/269.16	c current bound: 615
268.93/269.57	c current bound: 615
269.04/269.98	c current bound: 615
269.44/270.38	c current bound: 615
270.14/270.79	c current bound: 615
270.66/271.20	c current bound: 615
271.06/271.61	c current bound: 615
271.41/272.01	c current bound: 615
271.81/272.42	c current bound: 615
272.21/272.81	c current bound: 615
272.60/273.21	c current bound: 615
273.01/273.62	c current bound: 615
273.42/274.02	c current bound: 615
273.82/274.43	c current bound: 615
274.24/274.84	c current bound: 615
274.64/275.25	c current bound: 615
274.71/275.66	c current bound: 615
275.44/276.06	c current bound: 615
275.52/276.47	c current bound: 615
275.94/276.88	c current bound: 615
276.65/277.29	c current bound: 615
277.09/277.70	c current bound: 615
277.50/278.10	c current bound: 615
277.91/278.51	c current bound: 615
278.32/278.93	c current bound: 615
278.74/279.34	c current bound: 615
279.14/279.74	c current bound: 615
279.53/280.15	c current bound: 615
279.94/280.54	c current bound: 615
280.33/280.94	c current bound: 615
280.74/281.35	c current bound: 615
281.13/281.76	c current bound: 615
281.22/282.15	c current bound: 615
281.63/282.56	c current bound: 615
282.33/282.96	c current bound: 615
282.43/283.37	c current bound: 615
283.15/283.77	c current bound: 615
283.25/284.18	c current bound: 615
283.65/284.59	c current bound: 615
284.44/285.00	c current bound: 615
284.79/285.40	c current bound: 615
285.19/285.80	c current bound: 615
285.60/286.21	c current bound: 615
286.01/286.62	c current bound: 615
286.43/287.03	c current bound: 615
286.83/287.44	c current bound: 615
287.22/287.84	c current bound: 615
287.62/288.24	c current bound: 615
288.03/288.64	c current bound: 615
288.10/289.05	c current bound: 615
288.83/289.45	c current bound: 615
289.24/289.85	c current bound: 615
289.64/290.25	c current bound: 615
290.03/290.66	c current bound: 615
290.12/291.07	c current bound: 615
290.84/291.48	c current bound: 615
290.93/291.87	c current bound: 615
291.34/292.28	c current bound: 615
292.04/292.67	c current bound: 615
292.14/293.08	c current bound: 615
292.54/293.48	c current bound: 615
293.24/293.88	c current bound: 615
293.34/294.29	c current bound: 615
293.75/294.70	c current bound: 615
294.51/295.11	c current bound: 615
294.90/295.51	c current bound: 615
295.31/295.91	c current bound: 615
295.70/296.31	c current bound: 615
296.10/296.72	c current bound: 615
296.50/297.11	c current bound: 615
296.92/297.53	c current bound: 615
297.33/297.94	c current bound: 615
297.72/298.34	c current bound: 615
298.13/298.75	c current bound: 615
298.55/299.15	c current bound: 615
298.62/299.55	c current bound: 615
299.02/299.96	c current bound: 615
299.75/300.36	c current bound: 615
299.81/300.77	c current bound: 615
300.23/301.18	c current bound: 615
300.93/301.59	c current bound: 615
301.44/302.00	c current bound: 615
301.83/302.41	c current bound: 615
302.22/302.82	c current bound: 615
302.62/303.23	c current bound: 615
303.03/303.64	c current bound: 615
303.44/304.04	c current bound: 615
303.85/304.45	c current bound: 615
304.24/304.85	c current bound: 615
304.31/305.26	c current bound: 615
304.73/305.68	c current bound: 615
305.43/306.08	c current bound: 615
305.53/306.49	c current bound: 615
306.22/306.90	c current bound: 615
306.69/307.31	c current bound: 615
307.09/307.71	c current bound: 615
307.48/308.11	c current bound: 615
307.88/308.50	c current bound: 615
308.29/308.91	c current bound: 615
308.69/309.32	c current bound: 615
309.09/309.71	c current bound: 615
309.52/310.12	c current bound: 615
309.90/310.52	c current bound: 615
310.29/310.92	c current bound: 615
310.71/311.33	c current bound: 615
311.12/311.74	c current bound: 615
311.51/312.13	c current bound: 615
311.93/312.55	c current bound: 615
312.33/312.95	c current bound: 615
312.73/313.34	c current bound: 615
313.12/313.75	c current bound: 615
313.21/314.16	c current bound: 615
313.93/314.57	c current bound: 615
314.02/314.97	c current bound: 615
314.42/315.37	c current bound: 615
315.13/315.77	c current bound: 615
315.24/316.18	c current bound: 615
315.64/316.58	c current bound: 615
316.33/316.99	c current bound: 615
316.78/317.40	c current bound: 615
317.23/317.81	c current bound: 615
317.61/318.22	c current bound: 615
318.01/318.62	c current bound: 615
318.41/319.03	c current bound: 615
318.83/319.44	c current bound: 615
319.22/319.84	c current bound: 615
319.62/320.25	c current bound: 615
319.72/320.65	c current bound: 615
320.11/321.06	c current bound: 615
320.82/321.47	c current bound: 615
320.93/321.88	c current bound: 615
321.64/322.29	c current bound: 615
321.74/322.69	c current bound: 615
322.15/323.10	c current bound: 615
322.84/323.49	c current bound: 615
323.29/323.90	c current bound: 615
323.70/324.31	c current bound: 615
324.10/324.71	c current bound: 615
324.50/325.12	c current bound: 615
324.93/325.53	c current bound: 615
325.32/325.94	c current bound: 615
325.73/326.35	c current bound: 615
326.11/326.75	c current bound: 615
326.18/327.15	c current bound: 615
326.60/327.56	c current bound: 615
327.32/327.96	c current bound: 615
327.40/328.37	c current bound: 615
327.80/328.78	c current bound: 615
328.51/329.19	c current bound: 615
328.64/329.59	c current bound: 615
329.39/330.01	c current bound: 615
329.78/330.40	c current bound: 615
330.18/330.80	c current bound: 615
330.60/331.21	c current bound: 615
331.00/331.61	c current bound: 615
331.39/332.01	c current bound: 615
331.79/332.41	c current bound: 615
332.21/332.82	c current bound: 615
332.62/333.23	c current bound: 615
333.00/333.63	c current bound: 615
333.40/334.02	c current bound: 615
333.81/334.42	c current bound: 615
334.20/334.82	c current bound: 615
334.60/335.22	c current bound: 615
335.01/335.63	c current bound: 615
335.42/336.04	c current bound: 615
335.82/336.44	c current bound: 615
336.22/336.84	c current bound: 615
336.62/337.25	c current bound: 615
337.05/337.65	c current bound: 615
337.10/338.05	c current bound: 615
337.83/338.45	c current bound: 615
338.23/338.85	c current bound: 615
338.62/339.25	c current bound: 615
339.03/339.64	c current bound: 615
339.42/340.05	c current bound: 615
339.51/340.46	c current bound: 615
339.92/340.88	c current bound: 615
340.33/341.29	c current bound: 615
340.75/341.69	c current bound: 615
341.43/342.10	c current bound: 615
341.90/342.51	c current bound: 615
342.31/342.92	c current bound: 615
342.72/343.33	c current bound: 615
343.14/343.74	c current bound: 615
343.54/344.14	c current bound: 615
343.94/344.55	c current bound: 615
344.01/344.96	c current bound: 615
344.74/345.36	c current bound: 615
344.82/345.77	c current bound: 615
345.23/346.18	c current bound: 615
345.93/346.59	c current bound: 615
346.45/347.00	c current bound: 615
346.80/347.40	c current bound: 615
347.20/347.82	c current bound: 615
347.61/348.23	c current bound: 615
348.03/348.64	c current bound: 615
348.43/349.04	c current bound: 615
348.50/349.45	c current bound: 615
349.25/349.85	c current bound: 615
349.31/350.27	c current bound: 615
349.73/350.67	c current bound: 615
350.43/351.08	c current bound: 615
350.54/351.48	c current bound: 615
350.95/351.89	c current bound: 615
351.75/352.30	c current bound: 615
352.10/352.70	c current bound: 615
352.52/353.12	c current bound: 615
352.92/353.52	c current bound: 615
353.32/353.92	c current bound: 615
353.72/354.32	c current bound: 615
354.11/354.71	c current bound: 615
354.52/355.13	c current bound: 615
354.94/355.54	c current bound: 615
355.34/355.94	c current bound: 615
355.75/356.35	c current bound: 615
355.82/356.76	c current bound: 615
356.22/357.17	c current bound: 615
356.95/357.58	c current bound: 615
357.05/357.97	c current bound: 615
357.44/358.39	c current bound: 615
358.13/358.79	c current bound: 615
358.60/359.21	c current bound: 615
359.04/359.62	c current bound: 615
359.41/360.01	c current bound: 615
359.82/360.42	c current bound: 615
360.21/360.82	c current bound: 615
360.61/361.22	c current bound: 615
361.01/361.63	c current bound: 615
361.43/362.03	c current bound: 615
361.82/362.43	c current bound: 615
362.22/362.83	c current bound: 615
362.63/363.24	c current bound: 615
363.03/363.64	c current bound: 615
363.42/364.03	c current bound: 615
363.82/364.44	c current bound: 615
364.23/364.85	c current bound: 615
364.65/365.26	c current bound: 615
364.72/365.65	c current bound: 615
365.11/366.06	c current bound: 615
365.83/366.47	c current bound: 615
365.92/366.88	c current bound: 615
366.33/367.29	c current bound: 615
366.75/367.70	c current bound: 615
367.16/368.09	c current bound: 615
367.83/368.50	c current bound: 615
368.29/368.91	c current bound: 615
368.70/369.31	c current bound: 615
369.09/369.71	c current bound: 615
369.49/370.11	c current bound: 615
369.90/370.52	c current bound: 615
370.32/370.93	c current bound: 615
370.72/371.33	c current bound: 615
371.13/371.74	c current bound: 615
371.54/372.14	c current bound: 615
371.92/372.54	c current bound: 615
372.34/372.95	c current bound: 615
372.41/373.36	c current bound: 615
372.82/373.77	c current bound: 615
373.53/374.17	c current bound: 615
373.63/374.57	c current bound: 615
374.02/374.97	c current bound: 615
374.73/375.37	c current bound: 615
374.83/375.78	c current bound: 615
375.52/376.19	c current bound: 615
375.64/376.59	c current bound: 615
376.43/377.00	c current bound: 615
376.82/377.40	c current bound: 615
377.24/377.80	c current bound: 615
377.64/378.20	c current bound: 615
377.98/378.61	c current bound: 615
378.39/379.00	c current bound: 615
378.46/379.40	c current bound: 615
379.20/379.82	c current bound: 615
379.60/380.22	c current bound: 615
380.00/380.62	c current bound: 615
380.43/381.04	c current bound: 615
380.83/381.45	c current bound: 615
381.24/381.85	c current bound: 615
381.64/382.25	c current bound: 615
381.71/382.66	c current bound: 615
382.44/383.06	c current bound: 615
382.53/383.46	c current bound: 615
383.24/383.88	c current bound: 615
383.33/384.28	c current bound: 615
383.75/384.68	c current bound: 615
384.44/385.09	c current bound: 615
384.95/385.50	c current bound: 615
385.34/385.90	c current bound: 615
385.70/386.31	c current bound: 615
386.09/386.71	c current bound: 615
386.54/387.12	c current bound: 615
386.92/387.53	c current bound: 615
387.33/387.94	c current bound: 615
387.74/388.35	c current bound: 615
387.80/388.76	c current bound: 615
388.22/389.17	c current bound: 615
388.93/389.57	c current bound: 615
389.03/389.96	c current bound: 615
389.42/390.37	c current bound: 615
390.13/390.79	c current bound: 615
390.64/391.20	c current bound: 615
391.04/391.60	c current bound: 615
391.44/392.00	c current bound: 615
391.81/392.41	c current bound: 615
392.21/392.81	c current bound: 615
392.60/393.21	c current bound: 615
392.99/393.61	c current bound: 615
393.42/394.01	c current bound: 615
393.82/394.43	c current bound: 615
394.23/394.83	c current bound: 615
394.64/395.25	c current bound: 615
394.71/395.65	c current bound: 615
395.44/396.07	c current bound: 615
395.53/396.48	c current bound: 615
395.94/396.88	c current bound: 615
396.64/397.30	c current bound: 615
397.09/397.71	c current bound: 615
397.53/398.12	c current bound: 615
397.92/398.53	c current bound: 615
398.32/398.94	c current bound: 615
398.73/399.35	c current bound: 615
399.14/399.75	c current bound: 615
399.20/400.16	c current bound: 615
399.92/400.55	c current bound: 615
400.01/400.96	c current bound: 615
400.42/401.36	c current bound: 615
401.13/401.77	c current bound: 615
401.22/402.17	c current bound: 615
401.93/402.58	c current bound: 615
402.03/402.99	c current bound: 615
402.78/403.40	c current bound: 615
403.19/403.80	c current bound: 615
403.59/404.20	c current bound: 615
404.00/404.61	c current bound: 615
404.41/405.02	c current bound: 615
404.80/405.42	c current bound: 615
405.22/405.83	c current bound: 615
405.62/406.23	c current bound: 615
406.01/406.63	c current bound: 615
406.41/407.03	c current bound: 615
406.82/407.43	c current bound: 615
407.22/407.84	c current bound: 615
407.64/408.25	c current bound: 615
408.03/408.64	c current bound: 615
408.42/409.04	c current bound: 615
408.84/409.45	c current bound: 615
409.23/409.85	c current bound: 615
409.64/410.24	c current bound: 615
410.04/410.64	c current bound: 615
410.44/411.05	c current bound: 615
410.83/411.46	c current bound: 615
410.92/411.86	c current bound: 615
411.32/412.26	c current bound: 615
412.02/412.66	c current bound: 615
412.12/413.07	c current bound: 615
412.53/413.49	c current bound: 615
413.30/413.91	c current bound: 615
413.71/414.32	c current bound: 615
414.11/414.72	c current bound: 615
414.53/415.13	c current bound: 615
414.93/415.54	c current bound: 615
415.31/415.94	c current bound: 615
415.73/416.34	c current bound: 615
416.13/416.74	c current bound: 615
416.53/417.15	c current bound: 615
416.93/417.54	c current bound: 615
417.34/417.95	c current bound: 615
417.73/418.34	c current bound: 615
418.14/418.74	c current bound: 615
418.55/419.15	c current bound: 615
418.61/419.56	c current bound: 615
419.03/419.96	c current bound: 615
419.73/420.36	c current bound: 615
419.83/420.77	c current bound: 615
420.23/421.18	c current bound: 615
420.93/421.59	c current bound: 615
421.05/421.99	c current bound: 615
421.74/422.40	c current bound: 615
422.24/422.80	c current bound: 615
422.58/423.20	c current bound: 615
422.94/423.59	c current bound: 615
423.38/424.00	c current bound: 615
423.79/424.41	c current bound: 615
424.20/424.81	c current bound: 615
424.61/425.23	c current bound: 615
425.02/425.63	c current bound: 615
425.41/426.04	c current bound: 615
425.83/426.44	c current bound: 615
426.22/426.84	c current bound: 615
426.61/427.24	c current bound: 615
427.03/427.65	c current bound: 615
427.43/428.05	c current bound: 615
427.82/428.44	c current bound: 615
428.22/428.84	c current bound: 615
428.61/429.24	c current bound: 615
429.01/429.63	c current bound: 615
429.42/430.03	c current bound: 615
429.83/430.45	c current bound: 615
430.23/430.85	c current bound: 615
430.62/431.26	c current bound: 615
430.71/431.67	c current bound: 615
431.12/432.08	c current bound: 615
431.92/432.50	c current bound: 615
432.29/432.91	c current bound: 615
432.73/433.30	c current bound: 615
433.13/433.70	c current bound: 615
433.48/434.11	c current bound: 615
433.90/434.52	c current bound: 615
434.30/434.92	c current bound: 615
434.70/435.32	c current bound: 615
435.11/435.73	c current bound: 615
435.52/436.14	c current bound: 615
435.93/436.55	c current bound: 615
436.32/436.96	c current bound: 615
436.40/437.37	c current bound: 615
437.13/437.78	c current bound: 615
437.24/438.19	c current bound: 615
437.65/438.59	c current bound: 615
438.38/439.00	c current bound: 615
438.83/439.40	c current bound: 615
439.20/439.80	c current bound: 615
439.60/440.21	c current bound: 615
440.00/440.62	c current bound: 615
440.42/441.03	c current bound: 615
440.81/441.44	c current bound: 615
441.23/441.84	c current bound: 615
441.62/442.25	c current bound: 615
442.03/442.65	c current bound: 615
442.10/443.05	c current bound: 615
442.81/443.46	c current bound: 615
442.91/443.87	c current bound: 615
443.32/444.27	c current bound: 615
444.00/444.69	c current bound: 615
444.12/445.08	c current bound: 615
444.81/445.48	c current bound: 615
444.92/445.89	c current bound: 615
445.67/446.30	c current bound: 615
446.11/446.70	c current bound: 615
446.13/447.09	c current bound: 615
446.90/447.50	c current bound: 615
447.25/447.91	c current bound: 615
447.68/448.31	c current bound: 615
448.10/448.72	c current bound: 615
448.50/449.14	c current bound: 615
448.91/449.55	c current bound: 615
448.99/449.96	c current bound: 615
449.38/450.37	c current bound: 615
449.79/450.78	c current bound: 615
450.55/451.20	c current bound: 615
450.96/451.61	c current bound: 615
451.39/452.02	c current bound: 615
451.77/452.43	c current bound: 615
452.18/452.83	c current bound: 615
452.57/453.24	c current bound: 615
452.98/453.64	c current bound: 615
453.37/454.04	c current bound: 615
453.77/454.44	c current bound: 615
453.85/454.85	c current bound: 615
454.26/455.26	c current bound: 615
454.96/455.68	c current bound: 615
455.06/456.08	c current bound: 615
455.76/456.49	c current bound: 615
456.26/456.90	c current bound: 615
456.65/457.30	c current bound: 615
456.95/457.70	c current bound: 615
457.46/458.10	c current bound: 615
457.82/458.50	c current bound: 615
458.21/458.91	c current bound: 615
458.61/459.31	c current bound: 615
459.06/459.71	c current bound: 615
459.41/460.10	c current bound: 615
459.80/460.51	c current bound: 615
460.21/460.92	c current bound: 615
460.61/461.32	c current bound: 615
461.01/461.72	c current bound: 615
461.44/462.14	c current bound: 615
461.82/462.53	c current bound: 615
462.23/462.94	c current bound: 615
462.64/463.35	c current bound: 615
462.70/463.76	c current bound: 615
463.44/464.18	c current bound: 615
463.53/464.58	c current bound: 615
463.94/464.99	c current bound: 615
464.68/465.40	c current bound: 615
465.13/465.80	c current bound: 615
465.47/466.21	c current bound: 615
465.88/466.62	c current bound: 615
466.28/467.03	c current bound: 615
466.69/467.43	c current bound: 615
467.09/467.83	c current bound: 615
467.49/468.25	c current bound: 615
467.90/468.65	c current bound: 615
467.97/469.05	c current bound: 615
468.37/469.46	c current bound: 615
469.07/469.86	c current bound: 615
469.17/470.26	c current bound: 615
469.58/470.67	c current bound: 615
470.27/471.08	c current bound: 615
470.77/471.50	c current bound: 615
471.08/471.90	c current bound: 615
471.20/472.29	c current bound: 615
471.58/472.69	c current bound: 615
472.32/473.11	c current bound: 615
472.74/473.53	c current bound: 615
473.14/473.93	c current bound: 615
473.53/474.33	c current bound: 615
473.93/474.74	c current bound: 615
474.34/475.14	c current bound: 615
474.75/475.55	c current bound: 615
475.15/475.94	c current bound: 615
475.55/476.35	c current bound: 615
475.61/476.76	c current bound: 615
476.03/477.17	c current bound: 615
476.73/477.58	c current bound: 615
476.83/477.97	c current bound: 615
477.23/478.37	c current bound: 615
477.92/478.78	c current bound: 615
478.03/479.18	c current bound: 615
478.72/479.58	c current bound: 615
478.83/479.98	c current bound: 615
479.23/480.39	c current bound: 615
480.02/480.80	c current bound: 615
480.04/481.19	c current bound: 615
480.78/481.60	c current bound: 615
481.18/482.02	c current bound: 615
481.58/482.43	c current bound: 615
482.00/482.83	c current bound: 615
482.39/483.23	c current bound: 615
482.79/483.64	c current bound: 615
483.21/484.05	c current bound: 615
483.27/484.46	c current bound: 615
483.68/484.87	c current bound: 615
484.38/485.28	c current bound: 615
484.50/485.68	c current bound: 615
484.89/486.10	c current bound: 615
485.66/486.51	c current bound: 615
486.06/486.93	c current bound: 615
486.48/487.34	c current bound: 615
486.55/487.75	c current bound: 615
486.96/488.17	c current bound: 615
487.66/488.57	c current bound: 615
487.77/488.98	c current bound: 615
488.17/489.39	c current bound: 615
488.58/489.79	c current bound: 615
488.97/490.19	c current bound: 615
489.66/490.60	c current bound: 615
490.12/491.01	c current bound: 615
490.51/491.40	c current bound: 615
490.92/491.82	c current bound: 615
491.33/492.23	c current bound: 615
491.75/492.64	c current bound: 615
492.15/493.04	c current bound: 615
492.54/493.44	c current bound: 615
492.95/493.85	c current bound: 615
493.02/494.26	c current bound: 615
493.43/494.67	c current bound: 615
494.13/495.07	c current bound: 615
494.23/495.48	c current bound: 615
494.63/495.89	c current bound: 615
495.43/496.30	c current bound: 615
495.44/496.70	c current bound: 615
495.84/497.09	c current bound: 615
496.58/497.50	c current bound: 615
496.99/497.91	c current bound: 615
497.39/498.33	c current bound: 615
497.80/498.74	c current bound: 615
498.22/499.14	c current bound: 615
498.61/499.55	c current bound: 615
498.68/499.96	c current bound: 615
499.09/500.35	c current bound: 615
499.80/500.76	c current bound: 615
499.89/501.17	c current bound: 615
500.59/501.59	c current bound: 615
500.70/501.99	c current bound: 615
501.45/502.40	c current bound: 615
501.85/502.82	c current bound: 615
502.25/503.22	c current bound: 615
502.66/503.62	c current bound: 615
503.06/504.03	c current bound: 615
503.47/504.44	c current bound: 615
503.88/504.84	c current bound: 615
504.27/505.24	c current bound: 615
504.66/505.63	c current bound: 615
505.06/506.05	c current bound: 615
505.14/506.46	c current bound: 615
505.55/506.87	c current bound: 615
506.25/507.27	c current bound: 615
506.35/507.67	c current bound: 615
506.75/508.08	c current bound: 615
507.44/508.48	c current bound: 615
507.91/508.90	c current bound: 615
508.31/509.31	c current bound: 615
508.72/509.72	c current bound: 615
509.12/510.12	c current bound: 615
509.52/510.53	c current bound: 615
509.92/510.93	c current bound: 615
510.33/511.33	c current bound: 615
510.74/511.75	c current bound: 615
510.81/512.15	c current bound: 615
511.52/512.57	c current bound: 615
511.62/512.98	c current bound: 615
512.03/513.38	c current bound: 615
512.76/513.80	c current bound: 615
513.16/514.20	c current bound: 615
513.59/514.61	c current bound: 615
513.99/515.02	c current bound: 615
514.38/515.42	c current bound: 615
514.81/515.83	c current bound: 615
515.20/516.23	c current bound: 615
515.59/516.63	c current bound: 615
515.98/517.03	c current bound: 615
516.39/517.44	c current bound: 615
516.80/517.84	c current bound: 615
517.18/518.26	c current bound: 615
517.27/518.66	c current bound: 615
517.69/519.07	c current bound: 615
518.37/519.48	c current bound: 615
518.48/519.89	c current bound: 615
519.17/520.30	c current bound: 615
519.63/520.71	c current bound: 615
520.03/521.12	c current bound: 615
520.43/521.52	c current bound: 615
520.85/521.93	c current bound: 615
521.24/522.33	c current bound: 615
521.64/522.74	c current bound: 615
522.06/523.15	c current bound: 615
522.47/523.56	c current bound: 615
522.53/523.96	c current bound: 615
522.93/524.36	c current bound: 615
523.63/524.78	c current bound: 615
523.75/525.19	c current bound: 615
524.54/525.60	c current bound: 615
524.91/526.02	c current bound: 615
525.32/526.43	c current bound: 615
525.73/526.84	c current bound: 615
526.11/527.24	c current bound: 615
526.52/527.64	c current bound: 615
526.94/528.05	c current bound: 615
527.00/528.46	c current bound: 615
527.41/528.87	c current bound: 615
528.10/529.29	c current bound: 615
528.21/529.69	c current bound: 615
528.64/530.09	c current bound: 615
529.36/530.50	c current bound: 615
529.81/530.90	c current bound: 615
530.22/531.30	c current bound: 615
530.57/531.72	c current bound: 615
530.97/532.12	c current bound: 615
531.38/532.53	c current bound: 615
531.79/532.93	c current bound: 615
532.19/533.33	c current bound: 615
532.57/533.75	c current bound: 615
532.67/534.17	c current bound: 615
533.37/534.57	c current bound: 615
533.47/534.98	c current bound: 615
533.89/535.39	c current bound: 615
534.57/535.79	c current bound: 615
535.07/536.20	c current bound: 615
535.43/536.61	c current bound: 615
535.84/537.02	c current bound: 615
536.24/537.43	c current bound: 615
536.65/537.83	c current bound: 615
537.06/538.23	c current bound: 615
537.46/538.64	c current bound: 615
537.86/539.05	c current bound: 615
537.93/539.46	c current bound: 615
538.34/539.87	c current bound: 615
539.05/540.28	c current bound: 615
539.15/540.69	c current bound: 615
539.56/541.10	c current bound: 615
540.31/541.53	c current bound: 615
540.70/541.92	c current bound: 615
541.11/542.33	c current bound: 615
541.52/542.74	c current bound: 615
541.93/543.15	c current bound: 615
542.30/543.56	c current bound: 615
542.40/543.97	c current bound: 615
542.83/544.37	c current bound: 615
543.52/544.77	c current bound: 615
543.61/545.17	c current bound: 615
544.32/545.58	c current bound: 615
544.42/545.99	c current bound: 615
544.83/546.39	c current bound: 615
545.57/546.80	c current bound: 615
546.01/547.20	c current bound: 615
546.36/547.60	c current bound: 615
546.78/548.02	c current bound: 615
547.18/548.43	c current bound: 615
547.60/548.83	c current bound: 615
547.99/549.25	c current bound: 615
548.06/549.66	c current bound: 615
548.78/550.06	c current bound: 615
548.87/550.46	c current bound: 615
549.27/550.87	c current bound: 615
549.96/551.29	c current bound: 615
550.44/551.70	c current bound: 615
550.49/552.10	c current bound: 615
551.24/552.51	c current bound: 615
551.62/552.91	c current bound: 615
552.04/553.33	c current bound: 615
552.42/553.72	c current bound: 615
552.82/554.12	c current bound: 615
553.23/554.53	c current bound: 615
553.64/554.93	c current bound: 615
554.03/555.33	c current bound: 615
554.43/555.74	c current bound: 615
554.85/556.15	c current bound: 615
555.24/556.57	c current bound: 615
555.31/556.97	c current bound: 615
555.71/557.38	c current bound: 615
556.41/557.79	c current bound: 615
556.91/558.20	c current bound: 615
557.27/558.61	c current bound: 615
557.67/559.03	c current bound: 615
558.07/559.43	c current bound: 615
558.48/559.84	c current bound: 615
558.55/560.25	c current bound: 615
558.95/560.66	c current bound: 615
559.68/561.08	c current bound: 615
559.79/561.48	c current bound: 615
560.18/561.88	c current bound: 615
560.97/562.30	c current bound: 615
561.32/562.70	c current bound: 615
561.40/563.10	c current bound: 615
562.12/563.51	c current bound: 615
562.54/563.92	c current bound: 615
562.94/564.32	c current bound: 615
563.34/564.72	c current bound: 615
563.73/565.13	c current bound: 615
564.14/565.54	c current bound: 615
564.55/565.94	c current bound: 615
564.95/566.35	c current bound: 615
565.33/566.76	c current bound: 615
565.43/567.18	c current bound: 615
566.14/567.59	c current bound: 615
566.25/567.99	c current bound: 615
566.98/568.40	c current bound: 615
567.39/568.81	c current bound: 615
567.81/569.22	c current bound: 615
568.20/569.62	c current bound: 615
568.61/570.03	c current bound: 615
569.01/570.43	c current bound: 615
569.43/570.84	c current bound: 615
569.48/571.26	c current bound: 615
569.91/571.66	c current bound: 615
570.61/572.07	c current bound: 615
570.71/572.46	c current bound: 615
571.10/572.86	c current bound: 615
571.79/573.26	c current bound: 615
571.88/573.67	c current bound: 615
572.31/574.08	c current bound: 615
572.98/574.48	c current bound: 615
573.49/574.90	c current bound: 615
573.78/575.30	c current bound: 615
574.24/575.70	c current bound: 615
574.65/576.11	c current bound: 615
575.06/576.53	c current bound: 615
575.47/576.94	c current bound: 615
575.54/577.35	c current bound: 615
576.27/577.75	c current bound: 615
576.68/578.15	c current bound: 615
577.37/578.56	c current bound: 615
577.14/578.97	c current bound: 615
577.56/579.38	c current bound: 615
578.35/579.80	c current bound: 615
578.70/580.20	c current bound: 615
579.11/580.61	c current bound: 615
579.52/581.02	c current bound: 615
579.92/581.43	c current bound: 615
580.32/581.84	c current bound: 615
580.41/582.26	c current bound: 615
580.82/582.67	c current bound: 615
581.52/583.07	c current bound: 615
581.61/583.48	c current bound: 615
582.03/583.89	c current bound: 615
582.71/584.29	c current bound: 615
583.19/584.70	c current bound: 615
583.61/585.12	c current bound: 615
583.98/585.52	c current bound: 615
584.40/585.93	c current bound: 615
584.81/586.34	c current bound: 615
585.20/586.75	c current bound: 615
585.59/587.14	c current bound: 615
585.99/587.56	c current bound: 615
586.08/587.97	c current bound: 615
586.49/588.39	c current bound: 615
586.89/588.78	c current bound: 615
587.31/589.19	c current bound: 615
587.99/589.59	c current bound: 615
588.11/590.00	c current bound: 615
588.84/590.41	c current bound: 615
589.25/590.82	c current bound: 615
589.65/591.23	c current bound: 615
590.06/591.64	c current bound: 615
590.47/592.05	c current bound: 615
590.85/592.45	c current bound: 615
591.25/592.85	c current bound: 615
591.33/593.25	c current bound: 615
591.73/593.65	c current bound: 615
592.45/594.06	c current bound: 615
592.54/594.47	c current bound: 615
592.94/594.88	c current bound: 615
593.62/595.28	c current bound: 615
593.74/595.68	c current bound: 615
594.14/596.07	c current bound: 615
594.82/596.49	c current bound: 615
595.29/596.90	c current bound: 615
595.70/597.31	c current bound: 615
596.10/597.72	c current bound: 615
596.51/598.13	c current bound: 615
596.90/598.53	c current bound: 615
597.30/598.93	c current bound: 615
597.71/599.34	c current bound: 615
598.10/599.76	c current bound: 615
598.20/600.16	c current bound: 615
598.89/600.57	c current bound: 615
598.99/600.98	c current bound: 615
599.42/601.39	c current bound: 615
600.15/601.80	c current bound: 615
600.56/602.21	c current bound: 615
600.95/602.61	c current bound: 615
601.38/603.03	c current bound: 615
601.77/603.44	c current bound: 615
602.17/603.84	c current bound: 615
602.57/604.24	c current bound: 615
602.97/604.65	c current bound: 615
603.37/605.05	c current bound: 615
603.45/605.47	c current bound: 615
603.85/605.88	c current bound: 615
604.55/606.29	c current bound: 615
604.66/606.69	c current bound: 615
605.07/607.10	c current bound: 615
605.82/607.51	c current bound: 615
606.22/607.91	c current bound: 615
606.61/608.31	c current bound: 615
607.01/608.71	c current bound: 615
607.41/609.12	c current bound: 615
607.82/609.54	c current bound: 615
608.23/609.95	c current bound: 615
608.64/610.35	c current bound: 615
609.01/610.76	c current bound: 615
609.10/611.17	c current bound: 615
609.80/611.59	c current bound: 615
609.92/611.99	c current bound: 615
610.71/612.40	c current bound: 615
611.06/612.81	c current bound: 615
611.47/613.21	c current bound: 615
611.85/613.61	c current bound: 615
612.27/614.03	c current bound: 615
612.68/614.44	c current bound: 615
613.09/614.85	c current bound: 615
613.16/615.26	c current bound: 615
613.56/615.67	c current bound: 615
614.28/616.06	c current bound: 615
614.36/616.47	c current bound: 615
614.78/616.88	c current bound: 615
615.46/617.28	c current bound: 615
615.57/617.69	c current bound: 615
616.37/618.10	c current bound: 615
616.72/618.52	c current bound: 615
617.13/618.92	c current bound: 615
617.54/619.33	c current bound: 615
617.94/619.73	c current bound: 615
618.33/620.13	c current bound: 615
618.74/620.53	c current bound: 615
619.15/620.94	c current bound: 615
619.54/621.34	c current bound: 615
619.94/621.75	c current bound: 615
620.03/622.16	c current bound: 615
620.74/622.56	c current bound: 615
620.83/622.97	c current bound: 615
621.23/623.38	c current bound: 615
621.92/623.79	c current bound: 615
622.05/624.19	c current bound: 615
622.45/624.60	c current bound: 615
623.16/625.00	c current bound: 615
623.57/625.40	c current bound: 615
624.01/625.82	c current bound: 615
624.39/626.22	c current bound: 615
624.80/626.63	c current bound: 615
625.20/627.04	c current bound: 615
625.60/627.45	c current bound: 615
625.68/627.86	c current bound: 615
626.39/628.27	c current bound: 615
626.50/628.67	c current bound: 615
626.91/629.06	c current bound: 615
627.59/629.46	c current bound: 615
627.69/629.87	c current bound: 615
628.39/630.29	c current bound: 615
628.52/630.69	c current bound: 615
628.91/631.08	c current bound: 615
629.57/631.49	c current bound: 615
629.69/631.89	c current bound: 615
630.44/632.31	c current bound: 615
630.85/632.72	c current bound: 615
631.26/633.13	c current bound: 615
631.66/633.54	c current bound: 615
632.07/633.95	c current bound: 615
632.14/634.36	c current bound: 615
632.86/634.77	c current bound: 615
632.95/635.17	c current bound: 615
633.36/635.58	c current bound: 615
634.05/635.98	c current bound: 615
634.17/636.38	c current bound: 615
634.56/636.79	c current bound: 615
635.31/637.20	c current bound: 615
635.72/637.60	c current bound: 615
636.12/638.01	c current bound: 615
636.50/638.41	c current bound: 615
636.92/638.82	c current bound: 615
637.32/639.23	c current bound: 615
637.72/639.64	c current bound: 615
638.13/640.04	c current bound: 615
638.52/640.44	c current bound: 615
638.92/640.84	c current bound: 615
639.33/641.25	c current bound: 615
639.73/641.65	c current bound: 615
639.79/642.05	c current bound: 615
640.52/642.45	c current bound: 615
640.60/642.86	c current bound: 615
641.01/643.27	c current bound: 615
641.70/643.68	c current bound: 615
641.82/644.08	c current bound: 615
642.21/644.47	c current bound: 615
642.90/644.87	c current bound: 615
643.01/645.29	c current bound: 615
643.70/645.69	c current bound: 615
643.81/646.09	c current bound: 615
644.60/646.50	c current bound: 615
644.96/646.91	c current bound: 615
645.36/647.31	c current bound: 615
645.77/647.72	c current bound: 615
646.16/648.12	c current bound: 615
646.57/648.52	c current bound: 615
646.99/648.94	c current bound: 615
647.37/649.35	c current bound: 615
647.79/649.74	c current bound: 615
648.19/650.16	c current bound: 615
648.25/650.57	c current bound: 615
648.67/650.97	c current bound: 615
649.36/651.37	c current bound: 615
649.47/651.78	c current bound: 615
649.87/652.18	c current bound: 615
650.57/652.59	c current bound: 615
651.03/653.00	c current bound: 615
651.43/653.41	c current bound: 615
651.83/653.82	c current bound: 615
652.23/654.23	c current bound: 615
652.63/654.63	c current bound: 615
653.04/655.04	c current bound: 615
653.46/655.45	c current bound: 615
653.84/655.86	c current bound: 615
653.94/656.27	c current bound: 615
654.64/656.68	c current bound: 615
654.75/657.09	c current bound: 615
655.55/657.50	c current bound: 615
655.88/657.91	c current bound: 615
656.30/658.32	c current bound: 615
656.69/658.71	c current bound: 615
657.08/659.11	c current bound: 615
657.50/659.52	c current bound: 615
657.92/659.94	c current bound: 615
658.32/660.35	c current bound: 615
658.39/660.75	c current bound: 615
659.10/661.17	c current bound: 615
659.20/661.57	c current bound: 615
659.60/661.98	c current bound: 615
660.28/662.39	c current bound: 615
660.75/662.80	c current bound: 615
661.21/663.21	c current bound: 615
661.55/663.60	c current bound: 615
661.94/664.00	c current bound: 615
662.35/664.42	c current bound: 615
662.75/664.82	c current bound: 615
663.16/665.21	c current bound: 615
663.55/665.61	c current bound: 615
663.94/666.01	c current bound: 615
664.35/666.42	c current bound: 615
664.76/666.83	c current bound: 615
665.17/667.24	c current bound: 615
665.58/667.65	c current bound: 615
665.65/668.06	c current bound: 615
666.04/668.47	c current bound: 615
666.76/668.87	c current bound: 615
666.86/669.27	c current bound: 615
667.26/669.67	c current bound: 615
667.94/670.09	c current bound: 615
668.05/670.50	c current bound: 615
668.86/670.90	c current bound: 615
669.21/671.31	c current bound: 615
669.62/671.71	c current bound: 615
670.01/672.12	c current bound: 615
670.42/672.52	c current bound: 615
670.83/672.93	c current bound: 615
671.21/673.33	c current bound: 615
671.62/673.73	c current bound: 615
672.01/674.13	c current bound: 615
672.41/674.53	c current bound: 615
672.82/674.95	c current bound: 615
673.22/675.35	c current bound: 615
673.29/675.76	c current bound: 615
673.70/676.17	c current bound: 615
674.41/676.58	c current bound: 615
674.91/677.00	c current bound: 615
675.27/677.41	c current bound: 615
675.67/677.82	c current bound: 615
676.08/678.23	c current bound: 615
676.50/678.64	c current bound: 615
676.89/679.04	c current bound: 615
677.28/679.43	c current bound: 615
677.68/679.84	c current bound: 615
678.09/680.25	c current bound: 615
678.16/680.66	c current bound: 615
678.86/681.08	c current bound: 615
678.99/681.49	c current bound: 615
679.38/681.90	c current bound: 615
680.13/682.31	c current bound: 615
680.54/682.71	c current bound: 615
680.93/683.11	c current bound: 615
681.32/683.51	c current bound: 615
681.72/683.91	c current bound: 615
682.13/684.32	c current bound: 615
682.52/684.73	c current bound: 615
682.94/685.13	c current bound: 615
683.34/685.54	c current bound: 615
683.74/685.94	c current bound: 615
684.14/686.34	c current bound: 615
684.54/686.75	c current bound: 615
684.61/687.17	c current bound: 615
685.34/687.57	c current bound: 615
685.42/687.97	c current bound: 615
685.83/688.37	c current bound: 615
686.51/688.77	c current bound: 615
686.61/689.19	c current bound: 615
687.03/689.59	c current bound: 615
687.43/689.99	c current bound: 615
688.16/690.40	c current bound: 615
688.57/690.82	c current bound: 615
688.97/691.22	c current bound: 615
689.39/691.64	c current bound: 615
689.79/692.05	c current bound: 615
689.87/692.46	c current bound: 615
690.27/692.87	c current bound: 615
690.98/693.27	c current bound: 615
691.08/693.67	c current bound: 615
691.78/694.08	c current bound: 615
691.89/694.48	c current bound: 615
692.28/694.88	c current bound: 615
692.97/695.28	c current bound: 615
693.08/695.69	c current bound: 615
693.48/696.09	c current bound: 615
694.17/696.49	c current bound: 615
694.63/696.91	c current bound: 615
695.06/697.32	c current bound: 615
695.44/697.72	c current bound: 615
695.83/698.13	c current bound: 615
696.24/698.53	c current bound: 615
696.64/698.94	c current bound: 615
696.72/699.36	c current bound: 615
697.44/699.77	c current bound: 615
697.54/700.18	c current bound: 615
697.94/700.59	c current bound: 615
698.69/701.00	c current bound: 615
699.09/701.40	c current bound: 615
699.50/701.81	c current bound: 615
699.90/702.21	c current bound: 615
700.30/702.62	c current bound: 615
700.69/703.02	c current bound: 615
701.11/703.43	c current bound: 615
701.52/703.84	c current bound: 615
701.91/704.26	c current bound: 615
702.01/704.66	c current bound: 615
702.72/705.06	c current bound: 615
702.80/705.47	c current bound: 615
703.21/705.87	c current bound: 615
703.90/706.27	c current bound: 615
704.00/706.68	c current bound: 615
704.40/707.08	c current bound: 615
705.09/707.48	c current bound: 615
705.20/707.88	c current bound: 615
705.59/708.29	c current bound: 615
706.00/708.69	c current bound: 615
706.41/709.08	c current bound: 615
707.09/709.50	c current bound: 615
707.56/709.91	c current bound: 615
707.96/710.32	c current bound: 615
708.35/710.73	c current bound: 615
708.77/711.14	c current bound: 615
709.18/711.55	c current bound: 615
709.55/711.96	c current bound: 615
709.65/712.37	c current bound: 615
710.36/712.78	c current bound: 615
710.46/713.17	c current bound: 615
710.86/713.57	c current bound: 615
711.55/713.98	c current bound: 615
711.65/714.38	c current bound: 615
712.06/714.78	c current bound: 615
712.79/715.20	c current bound: 615
713.19/715.61	c current bound: 615
713.64/716.02	c current bound: 615
714.01/716.43	c current bound: 615
714.43/716.83	c current bound: 615
714.83/717.24	c current bound: 615
715.22/717.64	c current bound: 615
715.63/718.05	c current bound: 615
716.01/718.45	c current bound: 615
716.09/718.86	c current bound: 615
716.50/719.27	c current bound: 615
717.20/719.69	c current bound: 615
717.32/720.09	c current bound: 615
718.00/720.49	c current bound: 615
718.11/720.88	c current bound: 615
718.51/721.29	c current bound: 615
719.26/721.70	c current bound: 615
719.66/722.11	c current bound: 615
720.05/722.51	c current bound: 615
720.46/722.91	c current bound: 615
720.86/723.32	c current bound: 615
721.29/723.73	c current bound: 615
721.68/724.14	c current bound: 615
722.09/724.54	c current bound: 615
722.49/724.95	c current bound: 615
722.89/725.35	c current bound: 615
722.95/725.77	c current bound: 615
723.67/726.17	c current bound: 615
723.77/726.58	c current bound: 615
724.18/726.98	c current bound: 615
724.58/727.38	c current bound: 615
724.98/727.79	c current bound: 615
725.67/728.20	c current bound: 615
726.12/728.61	c current bound: 615
726.53/729.01	c current bound: 615
726.95/729.43	c current bound: 615
727.35/729.84	c current bound: 615
727.75/730.23	c current bound: 615
728.16/730.64	c current bound: 615
728.22/731.05	c current bound: 615
728.94/731.46	c current bound: 615
729.04/731.88	c current bound: 615
729.45/732.28	c current bound: 615
730.13/732.69	c current bound: 615
730.26/733.09	c current bound: 615
730.65/733.49	c current bound: 615
731.39/733.91	c current bound: 615
731.80/734.31	c current bound: 615
732.22/734.73	c current bound: 615
732.61/735.13	c current bound: 615
733.01/735.53	c current bound: 615
733.41/735.93	c current bound: 615
733.81/736.34	c current bound: 615
733.87/736.75	c current bound: 615
734.58/737.17	c current bound: 615
734.70/737.56	c current bound: 615
735.09/737.97	c current bound: 615
735.78/738.38	c current bound: 615
735.90/738.79	c current bound: 615
736.70/739.20	c current bound: 615
737.05/739.62	c current bound: 615
737.47/740.02	c current bound: 615
737.86/740.43	c current bound: 615
738.25/740.83	c current bound: 615
738.65/741.23	c current bound: 615
739.07/741.64	c current bound: 615
739.46/742.05	c current bound: 615
739.85/742.46	c current bound: 615
739.95/742.87	c current bound: 615
740.35/743.28	c current bound: 615
741.07/743.69	c current bound: 615
741.51/744.10	c current bound: 615
741.93/744.51	c current bound: 615
742.33/744.91	c current bound: 615
742.73/745.32	c current bound: 615
743.15/745.73	c current bound: 615
743.55/746.14	c current bound: 615
743.94/746.53	c current bound: 615
744.33/746.94	c current bound: 615
744.74/747.35	c current bound: 615
745.14/747.75	c current bound: 615
745.53/748.16	c current bound: 615
745.63/748.58	c current bound: 615
746.04/748.98	c current bound: 615
746.73/749.39	c current bound: 615
747.19/749.80	c current bound: 615
747.59/750.21	c current bound: 615
747.99/750.62	c current bound: 615
748.41/751.03	c current bound: 615
748.82/751.44	c current bound: 615
748.88/751.86	c current bound: 615
749.29/752.26	c current bound: 615
749.99/752.68	c current bound: 615
750.11/753.08	c current bound: 615
750.79/753.48	c current bound: 615
750.90/753.88	c current bound: 615
751.29/754.29	c current bound: 615
752.04/754.70	c current bound: 615
752.44/755.11	c current bound: 615
752.85/755.52	c current bound: 615
753.26/755.93	c current bound: 615
753.65/756.33	c current bound: 615
754.06/756.73	c current bound: 615
754.46/757.14	c current bound: 615
754.87/757.54	c current bound: 615
755.26/757.95	c current bound: 615
755.34/758.36	c current bound: 615
755.75/758.77	c current bound: 615
756.45/759.18	c current bound: 615
756.56/759.59	c current bound: 615
756.97/760.00	c current bound: 615
757.71/760.41	c current bound: 615
758.12/760.81	c current bound: 615
758.53/761.23	c current bound: 615
758.93/761.63	c current bound: 615
759.33/762.03	c current bound: 615
759.74/762.45	c current bound: 615
760.15/762.85	c current bound: 615
760.22/763.25	c current bound: 615
760.92/763.66	c current bound: 615
761.02/764.07	c current bound: 615
761.72/764.48	c current bound: 615
761.82/764.88	c current bound: 615
762.22/765.29	c current bound: 615
762.96/765.70	c current bound: 615
763.38/766.11	c current bound: 615
763.77/766.52	c current bound: 615
764.18/766.92	c current bound: 615
764.59/767.35	c current bound: 615
764.98/767.77	c current bound: 615
765.07/768.18	c current bound: 615
765.48/768.58	c current bound: 615
766.27/769.00	c current bound: 615
766.62/769.41	c current bound: 615
767.02/769.80	c current bound: 615
767.42/770.22	c current bound: 615
767.84/770.63	c current bound: 615
768.25/771.04	c current bound: 615
768.65/771.44	c current bound: 615
768.72/771.85	c current bound: 615
769.45/772.26	c current bound: 615
769.54/772.67	c current bound: 615
769.95/773.07	c current bound: 615
770.64/773.50	c current bound: 615
771.15/773.90	c current bound: 615
771.16/774.30	c current bound: 615
771.93/774.70	c current bound: 615
772.30/775.10	c current bound: 615
772.71/775.52	c current bound: 615
773.10/775.92	c current bound: 615
773.50/776.31	c current bound: 615
773.91/776.72	c current bound: 615
774.32/777.13	c current bound: 615
774.73/777.55	c current bound: 615
775.11/777.97	c current bound: 615
775.20/778.37	c current bound: 615
775.92/778.77	c current bound: 615
776.02/779.18	c current bound: 615
776.42/779.58	c current bound: 615
777.10/779.99	c current bound: 615
777.62/780.40	c current bound: 615
778.02/780.80	c current bound: 615
778.40/781.20	c current bound: 615
778.42/781.60	c current bound: 615
779.21/782.00	c current bound: 615
779.56/782.41	c current bound: 615
779.96/782.82	c current bound: 615
780.37/783.23	c current bound: 615
780.77/783.63	c current bound: 615
781.17/784.03	c current bound: 615
781.59/784.45	c current bound: 615
781.65/784.85	c current bound: 615
782.06/785.25	c current bound: 615
782.75/785.67	c current bound: 615
782.87/786.08	c current bound: 615
783.57/786.48	c current bound: 615
783.68/786.89	c current bound: 615
784.09/787.29	c current bound: 615
784.81/787.70	c current bound: 615
785.23/788.11	c current bound: 615
785.62/788.50	c current bound: 615
786.03/788.92	c current bound: 615
786.44/789.32	c current bound: 615
786.85/789.73	c current bound: 615
787.25/790.13	c current bound: 615
787.65/790.54	c current bound: 615
788.06/790.95	c current bound: 615
788.13/791.37	c current bound: 615
788.56/791.78	c current bound: 615
789.25/792.19	c current bound: 615
789.70/792.60	c current bound: 615
789.77/793.00	c current bound: 615
790.56/793.40	c current bound: 615
790.91/793.81	c current bound: 615
791.31/794.22	c current bound: 615
791.73/794.63	c current bound: 615
792.11/795.02	c current bound: 615
792.52/795.42	c current bound: 615
792.93/795.83	c current bound: 615
793.33/796.24	c current bound: 615
793.73/796.66	c current bound: 615
793.82/797.07	c current bound: 615
794.53/797.49	c current bound: 615
794.64/797.90	c current bound: 615
795.38/798.30	c current bound: 615
795.83/798.70	c current bound: 615
796.16/799.10	c current bound: 615
796.63/799.50	c current bound: 615
796.98/799.91	c current bound: 615
797.38/800.32	c current bound: 615
797.80/800.73	c current bound: 615
798.21/801.14	c current bound: 615
798.60/801.55	c current bound: 615
798.99/801.96	c current bound: 615
799.08/802.36	c current bound: 615
799.49/802.76	c current bound: 615
800.19/803.17	c current bound: 615
800.30/803.58	c current bound: 615
800.69/803.98	c current bound: 615
801.37/804.39	c current bound: 615
801.49/804.79	c current bound: 615
802.29/805.20	c current bound: 615
802.64/805.61	c current bound: 615
803.05/806.02	c current bound: 615
803.47/806.44	c current bound: 615
803.86/806.84	c current bound: 615
803.94/807.25	c current bound: 615
804.65/807.67	c current bound: 615
804.76/808.07	c current bound: 615
805.45/808.49	c current bound: 615
805.91/808.90	c current bound: 615
806.33/809.31	c current bound: 615
806.72/809.73	c current bound: 615
807.12/810.13	c current bound: 615
807.53/810.53	c current bound: 615
807.95/810.95	c current bound: 615
808.01/811.35	c current bound: 615
808.73/811.76	c current bound: 615
808.83/812.17	c current bound: 615
809.23/812.57	c current bound: 615
809.92/812.97	c current bound: 615
810.02/813.38	c current bound: 615
810.44/813.78	c current bound: 615
811.12/814.19	c current bound: 615
811.24/814.59	c current bound: 615
811.64/814.99	c current bound: 615
812.43/815.40	c current bound: 615
812.78/815.81	c current bound: 615
813.17/816.21	c current bound: 615
813.57/816.60	c current bound: 615
813.99/817.02	c current bound: 615
814.38/817.42	c current bound: 615
814.79/817.83	c current bound: 615
815.19/818.23	c current bound: 615
815.60/818.64	c current bound: 615
816.01/819.05	c current bound: 615
816.40/819.45	c current bound: 615
816.47/819.86	c current bound: 615
816.88/820.27	c current bound: 615
817.60/820.67	c current bound: 615
817.69/821.08	c current bound: 615
818.09/821.49	c current bound: 615
818.85/821.91	c current bound: 615
819.26/822.31	c current bound: 615
819.69/822.72	c current bound: 615
820.07/823.12	c current bound: 615
820.47/823.53	c current bound: 615
820.88/823.94	c current bound: 615
821.30/824.35	c current bound: 615
821.36/824.76	c current bound: 615
822.07/825.17	c current bound: 615
822.16/825.57	c current bound: 615
822.59/825.98	c current bound: 615
822.99/826.38	c current bound: 615
823.38/826.78	c current bound: 615
824.07/827.19	c current bound: 615
824.19/827.60	c current bound: 615
824.93/828.00	c current bound: 615
825.34/828.41	c current bound: 615
825.75/828.82	c current bound: 615
826.14/829.22	c current bound: 615
826.55/829.62	c current bound: 615
826.96/830.04	c current bound: 615
827.37/830.44	c current bound: 615
827.76/830.85	c current bound: 615
827.83/831.25	c current bound: 615
828.57/831.65	c current bound: 615
828.64/832.06	c current bound: 615
829.04/832.46	c current bound: 615
829.74/832.87	c current bound: 615
829.85/833.28	c current bound: 615
830.25/833.69	c current bound: 615
831.04/834.10	c current bound: 615
831.40/834.50	c current bound: 615
831.79/834.91	c current bound: 615
832.20/835.31	c current bound: 615
832.59/835.70	c current bound: 615
832.98/836.11	c current bound: 615
833.39/836.52	c current bound: 615
833.81/836.92	c current bound: 615
834.21/837.34	c current bound: 615
834.60/837.74	c current bound: 615
835.02/838.16	c current bound: 615
835.09/838.55	c current bound: 615
835.49/838.96	c current bound: 615
836.19/839.37	c current bound: 615
836.30/839.78	c current bound: 615
837.10/840.20	c current bound: 615
837.52/840.60	c current bound: 615
837.53/840.99	c current bound: 615
837.92/841.40	c current bound: 615
838.71/841.80	c current bound: 615
839.11/842.20	c current bound: 615
839.45/842.61	c current bound: 615
839.85/843.02	c current bound: 615
840.26/843.42	c current bound: 615
840.68/843.84	c current bound: 615
841.08/844.24	c current bound: 615
841.47/844.65	c current bound: 615
841.85/845.06	c current bound: 615
841.95/845.47	c current bound: 615
842.66/845.89	c current bound: 615
842.77/846.29	c current bound: 615
843.56/846.70	c current bound: 615
843.94/847.11	c current bound: 615
844.34/847.52	c current bound: 615
844.73/847.92	c current bound: 615
845.12/848.32	c current bound: 615
845.54/848.73	c current bound: 615
845.94/849.13	c current bound: 615
846.33/849.53	c current bound: 615
846.73/849.93	c current bound: 615
847.13/850.34	c current bound: 615
847.52/850.74	c current bound: 615
847.61/851.15	c current bound: 615
848.33/851.55	c current bound: 615
848.41/851.96	c current bound: 615
848.81/852.37	c current bound: 615
849.53/852.79	c current bound: 615
849.63/853.19	c current bound: 615
850.43/853.60	c current bound: 615
850.79/854.01	c current bound: 615
851.17/854.41	c current bound: 615
851.59/854.83	c current bound: 615
851.99/855.23	c current bound: 615
852.40/855.64	c current bound: 615
852.79/856.06	c current bound: 615
852.88/856.47	c current bound: 615
853.58/856.89	c current bound: 615
853.69/857.29	c current bound: 615
854.44/857.71	c current bound: 615
854.85/858.11	c current bound: 615
855.24/858.51	c current bound: 615
855.63/858.91	c current bound: 615
856.05/859.32	c current bound: 615
856.45/859.73	c current bound: 615
856.86/860.15	c current bound: 615
857.26/860.54	c current bound: 615
857.67/860.95	c current bound: 615
858.06/861.36	c current bound: 615
858.14/861.76	c current bound: 615
858.54/862.16	c current bound: 615
859.24/862.57	c current bound: 615
859.35/862.98	c current bound: 615
859.74/863.39	c current bound: 615
860.50/863.80	c current bound: 615
860.90/864.22	c current bound: 615
861.31/864.62	c current bound: 615
861.71/865.03	c current bound: 615
862.11/865.44	c current bound: 615
862.52/865.84	c current bound: 615
862.93/866.25	c current bound: 615
863.33/866.65	c current bound: 615
863.39/867.05	c current bound: 615
863.80/867.47	c current bound: 615
864.54/867.87	c current bound: 615
864.62/868.26	c current bound: 615
865.01/868.67	c current bound: 615
865.73/869.08	c current bound: 615
865.83/869.49	c current bound: 615
866.25/869.89	c current bound: 615
867.02/870.30	c current bound: 615
867.38/870.71	c current bound: 615
867.82/871.11	c current bound: 615
868.19/871.51	c current bound: 615
868.59/871.93	c current bound: 615
869.00/872.33	c current bound: 615
869.40/872.76	c current bound: 615
869.48/873.16	c current bound: 615
870.18/873.56	c current bound: 615
870.27/873.97	c current bound: 615
870.67/874.38	c current bound: 615
871.36/874.79	c current bound: 615
871.89/875.20	c current bound: 615
872.23/875.61	c current bound: 615
872.64/876.02	c current bound: 615
873.03/876.42	c current bound: 615
873.44/876.82	c current bound: 615
873.84/877.22	c current bound: 615
874.24/877.63	c current bound: 615
874.66/878.04	c current bound: 615
875.07/878.45	c current bound: 615
875.47/878.85	c current bound: 615
875.53/879.25	c current bound: 615
875.94/879.66	c current bound: 615
876.64/880.07	c current bound: 615
876.75/880.47	c current bound: 615
877.14/880.88	c current bound: 615
877.83/881.29	c current bound: 615
877.97/881.69	c current bound: 615
878.36/882.10	c current bound: 615
879.10/882.51	c current bound: 615
879.51/882.91	c current bound: 615
879.92/883.33	c current bound: 615
880.33/883.74	c current bound: 615
880.73/884.13	c current bound: 615
881.12/884.54	c current bound: 615
881.52/884.95	c current bound: 615
881.61/885.36	c current bound: 615
882.32/885.77	c current bound: 615
882.42/886.18	c current bound: 615
883.11/886.58	c current bound: 615
883.22/886.99	c current bound: 615
883.63/887.38	c current bound: 615
884.41/887.80	c current bound: 615
884.77/888.21	c current bound: 615
885.17/888.62	c current bound: 615
885.58/889.03	c current bound: 615
885.99/889.43	c current bound: 615
886.40/889.84	c current bound: 615
886.79/890.23	c current bound: 615
887.19/890.64	c current bound: 615
887.59/891.04	c current bound: 615
887.66/891.46	c current bound: 615
888.09/891.85	c current bound: 615
888.78/892.27	c current bound: 615
888.88/892.67	c current bound: 615
889.29/893.09	c current bound: 615
890.04/893.50	c current bound: 615
890.45/893.91	c current bound: 615
890.86/894.32	c current bound: 615
891.25/894.72	c current bound: 615
891.65/895.13	c current bound: 615
892.07/895.54	c current bound: 615
892.46/895.94	c current bound: 615
892.54/896.36	c current bound: 615
893.26/896.77	c current bound: 615
893.35/897.17	c current bound: 615
894.07/897.57	c current bound: 615
894.16/897.99	c current bound: 615
894.96/898.40	c current bound: 615
895.35/898.80	c current bound: 615
895.70/899.20	c current bound: 615
896.16/899.60	c current bound: 615
896.51/900.01	c current bound: 615
896.91/900.41	c current bound: 615
897.35/900.81	c current bound: 615
897.72/901.22	c current bound: 615
898.12/901.62	c current bound: 615
898.53/902.03	c current bound: 615
898.94/902.44	c current bound: 615
899.33/902.83	c current bound: 615
899.73/903.25	c current bound: 615
899.79/903.66	c current bound: 615
900.21/904.07	c current bound: 615
900.91/904.47	c current bound: 615
901.02/904.88	c current bound: 615
901.72/905.28	c current bound: 615
901.82/905.70	c current bound: 615
902.25/906.09	c current bound: 615
902.97/906.51	c current bound: 615
903.39/906.92	c current bound: 615
903.78/907.32	c current bound: 615
904.21/907.74	c current bound: 615
904.61/908.15	c current bound: 615
905.01/908.54	c current bound: 615
905.39/908.94	c current bound: 615
905.81/909.34	c current bound: 615
906.20/909.74	c current bound: 615
906.59/910.14	c current bound: 615
907.00/910.55	c current bound: 615
907.38/910.96	c current bound: 615
907.48/911.36	c current bound: 615
907.87/911.78	c current bound: 615
908.69/912.20	c current bound: 615
909.04/912.60	c current bound: 615
909.49/913.01	c current bound: 615
909.82/913.40	c current bound: 615
910.24/913.81	c current bound: 615
910.65/914.23	c current bound: 615
911.03/914.62	c current bound: 615
911.46/915.03	c current bound: 615
911.85/915.43	c current bound: 615
912.25/915.83	c current bound: 615
912.67/916.24	c current bound: 615
912.74/916.65	c current bound: 615
913.14/917.06	c current bound: 615
913.86/917.48	c current bound: 615
914.29/917.91	c current bound: 615
914.69/918.32	c current bound: 615
915.09/918.73	c current bound: 615
915.49/919.13	c current bound: 615
915.91/919.54	c current bound: 615
916.29/919.94	c current bound: 615
916.38/920.36	c current bound: 615
917.10/920.77	c current bound: 615
917.20/921.17	c current bound: 615
917.60/921.56	c current bound: 615
918.30/921.98	c current bound: 615
918.40/922.37	c current bound: 615
918.80/922.79	c current bound: 615
919.21/923.19	c current bound: 615
919.95/923.60	c current bound: 615
920.35/924.02	c current bound: 615
920.78/924.43	c current bound: 615
921.17/924.83	c current bound: 615
921.56/925.24	c current bound: 615
921.97/925.64	c current bound: 615
922.37/926.04	c current bound: 615
922.77/926.45	c current bound: 615
922.85/926.85	c current bound: 615
923.57/927.27	c current bound: 615
923.67/927.67	c current bound: 615
924.06/928.08	c current bound: 615
924.76/928.49	c current bound: 615
925.22/928.90	c current bound: 615
925.64/929.31	c current bound: 615
926.04/929.73	c current bound: 615
926.45/930.14	c current bound: 615
926.85/930.55	c current bound: 615
927.25/930.95	c current bound: 615
927.34/931.36	c current bound: 615
928.05/931.78	c current bound: 615
928.14/932.19	c current bound: 615
928.95/932.60	c current bound: 615
929.31/933.01	c current bound: 615
929.70/933.41	c current bound: 615
930.13/933.82	c current bound: 615
930.52/934.23	c current bound: 615
930.93/934.64	c current bound: 615
931.33/935.05	c current bound: 615
931.42/935.46	c current bound: 615
931.81/935.86	c current bound: 615
932.50/936.28	c current bound: 615
932.62/936.68	c current bound: 615
933.03/937.09	c current bound: 615
933.43/937.49	c current bound: 615
933.81/937.88	c current bound: 615
934.50/938.29	c current bound: 615
934.96/938.70	c current bound: 615
935.41/939.10	c current bound: 615
935.76/939.51	c current bound: 615
936.17/939.91	c current bound: 615
936.56/940.31	c current bound: 615
936.97/940.72	c current bound: 615
937.38/941.13	c current bound: 615
937.79/941.53	c current bound: 615
938.18/941.93	c current bound: 615
938.59/942.34	c current bound: 615
938.98/942.74	c current bound: 615
939.04/943.16	c current bound: 615
939.46/943.57	c current bound: 615
940.16/943.98	c current bound: 615
940.62/944.40	c current bound: 615
940.69/944.80	c current bound: 615
941.43/945.21	c current bound: 615
941.83/945.61	c current bound: 615
942.22/946.02	c current bound: 615
942.64/946.42	c current bound: 615
943.02/946.82	c current bound: 615
943.44/947.24	c current bound: 615
943.82/947.63	c current bound: 615
944.24/948.04	c current bound: 615
944.63/948.44	c current bound: 615
945.03/948.84	c current bound: 615
945.44/949.26	c current bound: 615
945.51/949.66	c current bound: 615
945.90/950.07	c current bound: 615
946.62/950.47	c current bound: 615
946.72/950.87	c current bound: 615
947.11/951.28	c current bound: 615
947.91/951.70	c current bound: 615
948.27/952.10	c current bound: 615
948.71/952.51	c current bound: 615
949.08/952.92	c current bound: 615
949.47/953.33	c current bound: 615
949.88/953.74	c current bound: 615
950.30/954.14	c current bound: 615
950.36/954.56	c current bound: 615
951.08/954.97	c current bound: 615
951.19/955.37	c current bound: 615
951.57/955.77	c current bound: 615
952.28/956.18	c current bound: 615
952.38/956.58	c current bound: 615
953.06/956.99	c current bound: 615
953.19/957.39	c current bound: 615
953.58/957.79	c current bound: 615
954.32/958.20	c current bound: 615
954.71/958.61	c current bound: 615
955.13/959.02	c current bound: 615
955.53/959.43	c current bound: 615
955.92/959.84	c current bound: 615
956.35/960.26	c current bound: 615
956.41/960.65	c current bound: 615
956.80/961.05	c current bound: 615
957.53/961.47	c current bound: 615
957.62/961.86	c current bound: 615
958.02/962.27	c current bound: 615
958.82/962.70	c current bound: 615
959.17/963.11	c current bound: 615
959.56/963.51	c current bound: 615
959.97/963.92	c current bound: 615
960.38/964.32	c current bound: 615
960.79/964.74	c current bound: 615
961.18/965.14	c current bound: 615
961.57/965.53	c current bound: 615
961.97/965.93	c current bound: 615
962.39/966.34	c current bound: 615
962.79/966.75	c current bound: 615
963.18/967.17	c current bound: 615
963.27/967.58	c current bound: 615
963.97/967.99	c current bound: 615
964.08/968.39	c current bound: 615
964.83/968.80	c current bound: 615
965.22/969.21	c current bound: 615
965.62/969.60	c current bound: 615
966.02/970.01	c current bound: 615
966.42/970.43	c current bound: 615
966.83/970.84	c current bound: 615
967.25/971.24	c current bound: 615
967.32/971.66	c current bound: 615
967.72/972.07	c current bound: 615
968.43/972.49	c current bound: 615
968.55/972.89	c current bound: 615
969.28/973.30	c current bound: 615
969.68/973.71	c current bound: 615
970.09/974.11	c current bound: 615
970.53/974.51	c current bound: 615
970.88/974.91	c current bound: 615
971.30/975.32	c current bound: 615
971.69/975.72	c current bound: 615
972.09/976.13	c current bound: 615
972.50/976.53	c current bound: 615
972.90/976.94	c current bound: 615
973.30/977.34	c current bound: 615
973.70/977.74	c current bound: 615
974.10/978.14	c current bound: 615
974.16/978.55	c current bound: 615
974.91/978.96	c current bound: 615
974.99/979.37	c current bound: 615
975.39/979.78	c current bound: 615
976.08/980.18	c current bound: 615
976.20/980.58	c current bound: 615
976.61/980.98	c current bound: 615
977.27/981.39	c current bound: 615
977.74/981.80	c current bound: 615
977.81/982.20	c current bound: 615
978.21/982.59	c current bound: 615
978.94/983.00	c current bound: 615
979.34/983.41	c current bound: 615
979.74/983.82	c current bound: 615
980.14/984.22	c current bound: 615
980.56/984.63	c current bound: 615
980.96/985.04	c current bound: 615
981.35/985.44	c current bound: 615
981.75/985.85	c current bound: 615
981.84/986.26	c current bound: 615
982.55/986.68	c current bound: 615
982.64/987.08	c current bound: 615
983.06/987.49	c current bound: 615
983.80/987.90	c current bound: 615
984.24/988.30	c current bound: 615
984.64/988.70	c current bound: 615
984.99/989.12	c current bound: 615
985.40/989.53	c current bound: 615
985.83/989.94	c current bound: 615
986.23/990.35	c current bound: 615
986.30/990.76	c current bound: 615
987.01/991.17	c current bound: 615
987.09/991.58	c current bound: 615
987.52/991.99	c current bound: 615
988.19/992.39	c current bound: 615
988.65/992.80	c current bound: 615
989.09/993.21	c current bound: 615
989.49/993.62	c current bound: 615
989.88/994.02	c current bound: 615
990.27/994.43	c current bound: 615
990.68/994.83	c current bound: 615
991.09/995.24	c current bound: 615
991.49/995.64	c current bound: 615
991.56/996.06	c current bound: 615
991.97/996.47	c current bound: 615
992.66/996.87	c current bound: 615
992.76/997.27	c current bound: 615
993.45/997.68	c current bound: 615
993.57/998.09	c current bound: 615
993.98/998.49	c current bound: 615
994.72/998.90	c current bound: 615
995.12/999.31	c current bound: 615
995.52/999.71	c current bound: 615
995.91/1000.11	c current bound: 615
996.33/1000.52	c current bound: 615
996.75/1000.94	c current bound: 615
997.13/1001.34	c current bound: 615
997.56/1001.75	c current bound: 615
997.94/1002.16	c current bound: 615
998.04/1002.57	c current bound: 615
998.44/1002.97	c current bound: 615
999.13/1003.38	c current bound: 615
999.24/1003.79	c current bound: 615
999.66/1004.19	c current bound: 615
1000.06/1004.59	c current bound: 615
1000.46/1004.99	c current bound: 615
1001.25/1005.41	c current bound: 615
1001.61/1005.82	c current bound: 615
1002.01/1006.23	c current bound: 615
1002.41/1006.64	c current bound: 615
1002.83/1007.03	c current bound: 615
1003.22/1007.44	c current bound: 615
1003.61/1007.88	c current bound: 615
1003.73/1008.27	c current bound: 615
1004.40/1008.68	c current bound: 615
1004.51/1009.07	c current bound: 615
1004.91/1009.49	c current bound: 615
1005.65/1009.90	c current bound: 615
1006.10/1010.30	c current bound: 615
1006.46/1010.70	c current bound: 615
1006.85/1011.11	c current bound: 615
1007.24/1011.51	c current bound: 615
1007.69/1011.91	c current bound: 615
1008.05/1012.32	c current bound: 615
1008.45/1012.73	c current bound: 615
1008.85/1013.13	c current bound: 615
1009.26/1013.54	c current bound: 615
1009.66/1013.94	c current bound: 615
1010.06/1014.36	c current bound: 615
1010.14/1014.77	c current bound: 615
1010.55/1015.17	c current bound: 615
1011.25/1015.57	c current bound: 615
1011.36/1015.98	c current bound: 615
1012.04/1016.39	c current bound: 615
1012.50/1016.80	c current bound: 615
1012.91/1017.21	c current bound: 615
1013.31/1017.63	c current bound: 615
1013.73/1018.03	c current bound: 615
1014.13/1018.44	c current bound: 615
1014.53/1018.85	c current bound: 615
1014.61/1019.26	c current bound: 615
1015.32/1019.66	c current bound: 615
1015.41/1020.07	c current bound: 615
1015.82/1020.47	c current bound: 615
1016.51/1020.89	c current bound: 615
1016.62/1021.29	c current bound: 615
1017.37/1021.70	c current bound: 615
1017.78/1022.12	c current bound: 615
1018.18/1022.53	c current bound: 615
1018.61/1022.93	c current bound: 615
1018.99/1023.34	c current bound: 615
1019.37/1023.73	c current bound: 615
1019.79/1024.14	c current bound: 615
1020.18/1024.54	c current bound: 615
1020.25/1024.95	c current bound: 615
1020.97/1025.36	c current bound: 615
1021.07/1025.77	c current bound: 615
1021.47/1026.18	c current bound: 615
1021.88/1026.59	c current bound: 615
1022.63/1027.00	c current bound: 615
1023.03/1027.41	c current bound: 615
1023.44/1027.82	c current bound: 615
1023.85/1028.23	c current bound: 615
1024.25/1028.64	c current bound: 615
1024.66/1029.05	c current bound: 615
1024.74/1029.46	c current bound: 615
1025.44/1029.87	c current bound: 615
1025.55/1030.27	c current bound: 615
1026.25/1030.67	c current bound: 615
1026.35/1031.07	c current bound: 615
1026.76/1031.47	c current bound: 615
1027.46/1031.88	c current bound: 615
1027.57/1032.28	c current bound: 615
1027.98/1032.68	c current bound: 615
1028.66/1033.08	c current bound: 615
1028.77/1033.49	c current bound: 615
1029.18/1033.89	c current bound: 615
1029.58/1034.29	c current bound: 615
1029.97/1034.69	c current bound: 615
1030.66/1035.10	c current bound: 615
1031.13/1035.51	c current bound: 615
1031.54/1035.91	c current bound: 615
1031.93/1036.32	c current bound: 615
1032.34/1036.72	c current bound: 615
1032.76/1037.13	c current bound: 615
1033.14/1037.53	c current bound: 615
1033.53/1037.92	c current bound: 615
1033.97/1038.32	c current bound: 615
1034.34/1038.72	c current bound: 615
1034.72/1039.12	c current bound: 615
1035.13/1039.53	c current bound: 615
1035.54/1039.92	c current bound: 615
1035.92/1040.32	c current bound: 615
1036.34/1040.73	c current bound: 615
1036.76/1041.14	c current bound: 615
1037.16/1041.55	c current bound: 615
1037.55/1041.95	c current bound: 615
1037.64/1042.36	c current bound: 615
1038.36/1042.76	c current bound: 615
1038.45/1043.18	c current bound: 615
1038.86/1043.58	c current bound: 615
1039.55/1043.98	c current bound: 615
1039.66/1044.38	c current bound: 615
1040.08/1044.79	c current bound: 615
1040.82/1045.20	c current bound: 615
1041.22/1045.62	c current bound: 615
1041.65/1046.02	c current bound: 615
1042.03/1046.42	c current bound: 615
1042.42/1046.82	c current bound: 615
1042.82/1047.23	c current bound: 615
1043.25/1047.64	c current bound: 615
1043.66/1048.05	c current bound: 615
1044.05/1048.44	c current bound: 615
1044.45/1048.84	c current bound: 615
1044.85/1049.24	c current bound: 615
1045.26/1049.65	c current bound: 615
1045.65/1050.05	c current bound: 615
1046.07/1050.46	c current bound: 615
1046.14/1050.87	c current bound: 615
1046.54/1051.26	c current bound: 615
1047.25/1051.68	c current bound: 615
1047.36/1052.08	c current bound: 615
1047.76/1052.48	c current bound: 615
1048.45/1052.88	c current bound: 615
1048.57/1053.28	c current bound: 615
1048.96/1053.69	c current bound: 615
1049.72/1054.11	c current bound: 615
1050.13/1054.52	c current bound: 615
1050.54/1054.92	c current bound: 615
1050.93/1055.32	c current bound: 615
1051.35/1055.73	c current bound: 615
1051.75/1056.14	c current bound: 615
1052.15/1056.54	c current bound: 615
1052.22/1056.96	c current bound: 615
1052.95/1057.36	c current bound: 615
1053.04/1057.77	c current bound: 615
1053.76/1058.17	c current bound: 615
1053.86/1058.57	c current bound: 615
1054.26/1058.97	c current bound: 615
1054.95/1059.38	c current bound: 615
1055.06/1059.79	c current bound: 615
1055.47/1060.19	c current bound: 615
1056.14/1060.59	c current bound: 615
1056.61/1061.00	c current bound: 615
1057.10/1061.41	c current bound: 615
1057.43/1061.82	c current bound: 615
1057.83/1062.22	c current bound: 615
1058.23/1062.63	c current bound: 615
1058.64/1063.03	c current bound: 615
1059.06/1063.44	c current bound: 615
1059.45/1063.85	c current bound: 615
1059.54/1064.26	c current bound: 615
1059.94/1064.67	c current bound: 615
1060.64/1065.08	c current bound: 615
1060.76/1065.49	c current bound: 615
1061.45/1065.90	c current bound: 615
1061.96/1066.30	c current bound: 615
1062.31/1066.71	c current bound: 615
1062.72/1067.11	c current bound: 615
1063.12/1067.52	c current bound: 615
1063.54/1067.92	c current bound: 615
1063.95/1068.33	c current bound: 615
1064.34/1068.73	c current bound: 615
1064.75/1069.13	c current bound: 615
1064.82/1069.56	c current bound: 615
1065.24/1069.97	c current bound: 615
1065.95/1070.38	c current bound: 615
1066.07/1070.78	c current bound: 615
1066.46/1071.18	c current bound: 615
1067.15/1071.58	c current bound: 615
1067.27/1071.98	c current bound: 615
1067.67/1072.39	c current bound: 615
1068.46/1072.80	c current bound: 615
1068.83/1073.21	c current bound: 615
1069.23/1073.61	c current bound: 615
1069.62/1074.01	c current bound: 615
1070.02/1074.41	c current bound: 615
1070.42/1074.80	c current bound: 615
1070.82/1075.20	c current bound: 615
1071.22/1075.61	c current bound: 615
1071.63/1076.02	c current bound: 615
1072.03/1076.43	c current bound: 615
1072.45/1076.83	c current bound: 615
1072.83/1077.23	c current bound: 615
1073.25/1077.64	c current bound: 615
1073.65/1078.05	c current bound: 615
1073.73/1078.46	c current bound: 615
1074.14/1078.87	c current bound: 615
1074.85/1079.28	c current bound: 615
1074.95/1079.68	c current bound: 615
1075.35/1080.09	c current bound: 615
1076.17/1080.50	c current bound: 615
1076.52/1080.91	c current bound: 615
1076.97/1081.30	c current bound: 615
1077.32/1081.70	c current bound: 615
1077.72/1082.12	c current bound: 615
1078.15/1082.53	c current bound: 615
1078.54/1082.93	c current bound: 615
1078.95/1083.34	c current bound: 615
1079.34/1083.74	c current bound: 615
1079.77/1084.15	c current bound: 615
1080.16/1084.55	c current bound: 615
1080.22/1084.96	c current bound: 615
1080.63/1085.37	c current bound: 615
1081.34/1085.77	c current bound: 615
1081.45/1086.17	c current bound: 615
1081.83/1086.56	c current bound: 615
1082.54/1086.96	c current bound: 615
1082.63/1087.37	c current bound: 615
1083.04/1087.78	c current bound: 615
1083.73/1088.18	c current bound: 615
1083.84/1088.58	c current bound: 615
1084.56/1088.98	c current bound: 615
1084.65/1089.39	c current bound: 615
1085.40/1089.80	c current bound: 615
1085.86/1090.20	c current bound: 615
1086.25/1090.60	c current bound: 615
1086.60/1091.00	c current bound: 615
1087.00/1091.40	c current bound: 615
1087.42/1091.81	c current bound: 615
1087.85/1092.22	c current bound: 615
1088.23/1092.63	c current bound: 615
1088.64/1093.04	c current bound: 615
1089.05/1093.46	c current bound: 615
1089.12/1093.87	c current bound: 615
1089.54/1094.28	c current bound: 615
1090.24/1094.68	c current bound: 615
1090.35/1095.09	c current bound: 615
1090.76/1095.50	c current bound: 615
1091.55/1095.90	c current bound: 615
1091.91/1096.31	c current bound: 615
1092.32/1096.72	c current bound: 615
1092.70/1097.12	c current bound: 615
1093.11/1097.52	c current bound: 615
1093.50/1097.91	c current bound: 615
1093.91/1098.32	c current bound: 615
1094.32/1098.74	c current bound: 615
1094.74/1099.15	c current bound: 615
1094.81/1099.56	c current bound: 615
1095.52/1099.97	c current bound: 615
1095.62/1100.38	c current bound: 615
1096.03/1100.79	c current bound: 615
1096.73/1101.19	c current bound: 615
1096.84/1101.59	c current bound: 615
1097.64/1102.00	c current bound: 615
1097.98/1102.41	c current bound: 615
1098.41/1102.82	c current bound: 615
1098.84/1103.24	c current bound: 615
1098.89/1103.65	c current bound: 615
1099.30/1104.07	c current bound: 615
1100.03/1104.48	c current bound: 615
1100.13/1104.87	c current bound: 615
1100.52/1105.28	c current bound: 615
1101.21/1105.69	c current bound: 615
1101.73/1106.10	c current bound: 615
1101.76/1106.49	c current bound: 615
1102.49/1106.90	c current bound: 615
1102.88/1107.31	c current bound: 615
1103.31/1107.72	c current bound: 615
1103.70/1108.11	c current bound: 615
1104.11/1108.52	c current bound: 615
1104.51/1108.94	c current bound: 615
1104.94/1109.34	c current bound: 615
1105.34/1109.75	c current bound: 615
1105.73/1110.16	c current bound: 615
1105.81/1110.56	c current bound: 615
1106.55/1110.95	c current bound: 615
1106.62/1111.36	c current bound: 615
1107.01/1111.77	c current bound: 615
1107.74/1112.17	c current bound: 615
1107.82/1112.58	c current bound: 615
1108.23/1112.99	c current bound: 615
1108.98/1113.40	c current bound: 615
1109.40/1113.81	c current bound: 615
1109.83/1114.22	c current bound: 615
1110.23/1114.63	c current bound: 615
1110.64/1115.04	c current bound: 615
1111.04/1115.45	c current bound: 615
1111.44/1115.85	c current bound: 615
1111.51/1116.26	c current bound: 615
1112.23/1116.67	c current bound: 615
1112.33/1117.07	c current bound: 615
1112.73/1117.47	c current bound: 615
1113.43/1117.88	c current bound: 615
1113.54/1118.28	c current bound: 615
1114.24/1118.68	c current bound: 615
1114.33/1119.07	c current bound: 615
1114.73/1119.48	c current bound: 615
1115.44/1119.89	c current bound: 615
1115.89/1120.30	c current bound: 615
1116.29/1120.71	c current bound: 615
1116.69/1121.11	c current bound: 615
1117.10/1121.51	c current bound: 615
1117.53/1121.92	c current bound: 615
1117.91/1122.33	c current bound: 615
1118.33/1122.74	c current bound: 615
1118.73/1123.14	c current bound: 615
1119.13/1123.55	c current bound: 615
1119.20/1123.95	c current bound: 615
1119.91/1124.36	c current bound: 615
1120.01/1124.78	c current bound: 615
1120.44/1125.17	c current bound: 615
1121.13/1125.57	c current bound: 615
1121.21/1125.98	c current bound: 615
1121.93/1126.39	c current bound: 615
1122.03/1126.79	c current bound: 615
1122.78/1127.20	c current bound: 615
1123.19/1127.61	c current bound: 615
1123.60/1128.02	c current bound: 615
1124.02/1128.43	c current bound: 615
1124.43/1128.84	c current bound: 615
1124.49/1129.26	c current bound: 615
1125.22/1129.67	c current bound: 615
1125.32/1130.07	c current bound: 615
1125.72/1130.48	c current bound: 615
1126.42/1130.89	c current bound: 615
1126.87/1131.30	c current bound: 615
1127.29/1131.71	c current bound: 615
1127.69/1132.11	c current bound: 615
1128.09/1132.51	c current bound: 615
1128.52/1132.93	c current bound: 615
1128.91/1133.34	c current bound: 615
1129.34/1133.75	c current bound: 615
1129.74/1134.16	c current bound: 615
1129.80/1134.56	c current bound: 615
1130.21/1134.97	c current bound: 615
1130.93/1135.39	c current bound: 615
1131.43/1135.80	c current bound: 615
1131.82/1136.21	c current bound: 615
1132.20/1136.62	c current bound: 615
1132.61/1137.03	c current bound: 615
1133.00/1137.43	c current bound: 615
1133.42/1137.84	c current bound: 615
1133.82/1138.24	c current bound: 615
1134.21/1138.65	c current bound: 615
1134.29/1139.06	c current bound: 615
1134.70/1139.46	c current bound: 615
1135.42/1139.87	c current bound: 615
1135.52/1140.28	c current bound: 615
1136.23/1140.69	c current bound: 615
1136.69/1141.11	c current bound: 615
1137.08/1141.50	c current bound: 615
1137.49/1141.91	c current bound: 615
1137.90/1142.32	c current bound: 615
1138.30/1142.72	c current bound: 615
1138.69/1143.12	c current bound: 615
1139.10/1143.52	c current bound: 615
1139.54/1143.92	c current bound: 615
1139.90/1144.32	c current bound: 615
1140.29/1144.72	c current bound: 615
1140.68/1145.12	c current bound: 615
1141.08/1145.51	c current bound: 615
1141.50/1145.92	c current bound: 615
1141.90/1146.33	c current bound: 615
1142.29/1146.74	c current bound: 615
1142.72/1147.15	c current bound: 615
1143.10/1147.55	c current bound: 615
1143.19/1147.96	c current bound: 615
1143.92/1148.37	c current bound: 615
1144.02/1148.78	c current bound: 615
1144.42/1149.19	c current bound: 615
1145.12/1149.59	c current bound: 615
1145.56/1150.00	c current bound: 615
1146.02/1150.40	c current bound: 615
1146.38/1150.80	c current bound: 615
1146.78/1151.21	c current bound: 615
1147.21/1151.62	c current bound: 615
1147.59/1152.03	c current bound: 615
1148.00/1152.43	c current bound: 615
1148.41/1152.84	c current bound: 615
1148.81/1153.24	c current bound: 615
1149.22/1153.65	c current bound: 615
1149.60/1154.07	c current bound: 615
1149.70/1154.48	c current bound: 615
1150.12/1154.88	c current bound: 615
1150.81/1155.29	c current bound: 615
1150.94/1155.69	c current bound: 615
1151.73/1156.11	c current bound: 615
1152.07/1156.50	c current bound: 615
1152.51/1156.90	c current bound: 615
1152.86/1157.31	c current bound: 615
1153.29/1157.72	c current bound: 615
1153.69/1158.13	c current bound: 615
1154.10/1158.54	c current bound: 615
1154.51/1158.94	c current bound: 615
1154.91/1159.35	c current bound: 615
1154.98/1159.76	c current bound: 615
1155.39/1160.17	c current bound: 615
1156.10/1160.59	c current bound: 615
1156.60/1161.00	c current bound: 615
1156.96/1161.40	c current bound: 615
1157.38/1161.81	c current bound: 615
1157.77/1162.22	c current bound: 615
1158.19/1162.63	c current bound: 615
1158.57/1163.03	c current bound: 615
1158.99/1163.43	c current bound: 615
1159.39/1163.83	c current bound: 615
1159.78/1164.23	c current bound: 615
1160.18/1164.64	c current bound: 615
1160.60/1165.05	c current bound: 615
1161.01/1165.45	c current bound: 615
1161.07/1165.85	c current bound: 615
1161.82/1166.25	c current bound: 615
1161.88/1166.66	c current bound: 615
1162.61/1167.07	c current bound: 615
1162.71/1167.47	c current bound: 615
1163.10/1167.88	c current bound: 615
1163.82/1168.28	c current bound: 615
1163.91/1168.69	c current bound: 615
1164.31/1169.09	c current bound: 615
1165.01/1169.48	c current bound: 615
1165.12/1169.89	c current bound: 615
1165.53/1170.30	c current bound: 615
1166.27/1170.71	c current bound: 615
1166.67/1171.11	c current bound: 615
1167.08/1171.52	c current bound: 615
1167.50/1171.93	c current bound: 615
1167.90/1172.33	c current bound: 615
1168.29/1172.73	c current bound: 615
1168.72/1173.14	c current bound: 615
1169.11/1173.54	c current bound: 615
1169.51/1173.95	c current bound: 615
1169.58/1174.36	c current bound: 615
1170.31/1174.77	c current bound: 615
1170.41/1175.16	c current bound: 615
1170.80/1175.57	c current bound: 615
1171.50/1175.98	c current bound: 615
1171.61/1176.39	c current bound: 615
1172.37/1176.80	c current bound: 615
1172.76/1177.20	c current bound: 615
1173.16/1177.60	c current bound: 615
1173.60/1178.02	c current bound: 615
1173.99/1178.43	c current bound: 615
1174.40/1178.86	c current bound: 615
1174.77/1179.26	c current bound: 615
1174.86/1179.67	c current bound: 615
1175.27/1180.08	c current bound: 615
1175.97/1180.48	c current bound: 615
1176.08/1180.88	c current bound: 615
1176.48/1181.29	c current bound: 615
1176.89/1181.69	c current bound: 615
1177.29/1182.09	c current bound: 615
1177.98/1182.50	c current bound: 615
1178.49/1182.90	c current bound: 615
1178.85/1183.31	c current bound: 615
1179.25/1183.72	c current bound: 615
1179.66/1184.13	c current bound: 615
1180.06/1184.53	c current bound: 615
1180.47/1184.93	c current bound: 615
1180.87/1185.33	c current bound: 615
1181.28/1185.74	c current bound: 615
1181.34/1186.15	c current bound: 615
1181.75/1186.56	c current bound: 615
1182.50/1186.96	c current bound: 615
1182.57/1187.37	c current bound: 615
1182.97/1187.78	c current bound: 615
1183.67/1188.19	c current bound: 615
1183.79/1188.59	c current bound: 615
1184.19/1188.99	c current bound: 615
1184.99/1189.40	c current bound: 615
1185.34/1189.80	c current bound: 615
1185.79/1190.20	c current bound: 615
1186.14/1190.60	c current bound: 615
1186.53/1191.00	c current bound: 615
1186.95/1191.41	c current bound: 615
1187.34/1191.81	c current bound: 615
1187.75/1192.22	c current bound: 615
1188.15/1192.63	c current bound: 615
1188.55/1193.04	c current bound: 615
1188.99/1193.45	c current bound: 615
1189.38/1193.85	c current bound: 615
1189.77/1194.25	c current bound: 615
1190.17/1194.64	c current bound: 615
1190.57/1195.04	c current bound: 615
1190.64/1195.45	c current bound: 615
1191.38/1195.86	c current bound: 615
1191.47/1196.26	c current bound: 615
1191.87/1196.67	c current bound: 615
1192.58/1197.07	c current bound: 615
1192.69/1197.47	c current bound: 615
1193.40/1197.88	c current bound: 615
1193.50/1198.29	c current bound: 615
1194.29/1198.70	c current bound: 615
1194.59/1199.09	c current bound: 615
1195.09/1199.50	c current bound: 615
1195.44/1199.90	c current bound: 615
1195.85/1200.31	c current bound: 615
1196.26/1200.72	c current bound: 615
1196.68/1201.13	c current bound: 615
1197.07/1201.53	c current bound: 615
1197.46/1201.93	c current bound: 615
1197.87/1202.34	c current bound: 615
1198.27/1202.74	c current bound: 615
1198.33/1203.16	c current bound: 615
1199.07/1203.57	c current bound: 615
1199.17/1203.98	c current bound: 615
1199.58/1204.38	c current bound: 615
1200.26/1204.77	c current bound: 615
1200.38/1205.17	c current bound: 615
1201.08/1205.58	c current bound: 615
1201.19/1205.99	c current bound: 615
1201.58/1206.39	c current bound: 615
1202.34/1206.80	c current bound: 615
1202.75/1207.21	c current bound: 615
1203.14/1207.61	c current bound: 615
1203.55/1208.02	c current bound: 615
1203.96/1208.42	c current bound: 615
1204.38/1208.81	c current bound: 615
1204.75/1209.22	c current bound: 615
1205.15/1209.61	c current bound: 615
1205.54/1210.01	c current bound: 615
1205.93/1210.41	c current bound: 615
1206.36/1210.82	c current bound: 615
1206.74/1211.21	c current bound: 615
1207.13/1211.61	c current bound: 615
1207.54/1212.01	c current bound: 615
1207.95/1212.41	c current bound: 615
1208.35/1212.82	c current bound: 615
1208.77/1213.23	c current bound: 615
1209.15/1213.63	c current bound: 615
1209.56/1214.03	c current bound: 615
1209.95/1214.43	c current bound: 615
1210.37/1214.84	c current bound: 615
1210.78/1215.25	c current bound: 615
1211.17/1215.65	c current bound: 615
1211.26/1216.05	c current bound: 615
1211.65/1216.46	c current bound: 615
1212.37/1216.85	c current bound: 615
1212.45/1217.25	c current bound: 615
1213.19/1217.65	c current bound: 615
1213.26/1218.05	c current bound: 615
1213.66/1218.46	c current bound: 615
1214.37/1218.87	c current bound: 615
1214.48/1219.29	c current bound: 615
1214.90/1219.69	c current bound: 615
1215.64/1220.10	c current bound: 615
1216.04/1220.51	c current bound: 615
1216.48/1220.92	c current bound: 615
1216.86/1221.33	c current bound: 615
1217.27/1221.73	c current bound: 615
1217.68/1222.15	c current bound: 615
1218.09/1222.55	c current bound: 615
1218.16/1222.96	c current bound: 615
1218.88/1223.35	c current bound: 615
1218.95/1223.75	c current bound: 615
1219.37/1224.16	c current bound: 615
1220.07/1224.57	c current bound: 615
1220.17/1224.98	c current bound: 615
1220.89/1225.38	c current bound: 615
1220.99/1225.78	c current bound: 615
1221.39/1226.19	c current bound: 615
1222.13/1226.60	c current bound: 615
1222.59/1227.00	c current bound: 615
1222.95/1227.41	c current bound: 615
1223.33/1227.81	c current bound: 615
1223.74/1228.20	c current bound: 615
1224.19/1228.61	c current bound: 615
1224.55/1229.01	c current bound: 615
1224.95/1229.41	c current bound: 615
1225.37/1229.82	c current bound: 615
1225.76/1230.23	c current bound: 615
1226.16/1230.64	c current bound: 615
1226.58/1231.04	c current bound: 615
1226.98/1231.45	c current bound: 615
1227.05/1231.86	c current bound: 615
1227.77/1232.27	c current bound: 615
1227.87/1232.67	c current bound: 615
1228.57/1233.08	c current bound: 615
1228.69/1233.49	c current bound: 615
1229.09/1233.89	c current bound: 615
1229.79/1234.29	c current bound: 615
1229.89/1234.69	c current bound: 615
1230.28/1235.10	c current bound: 615
1231.04/1235.50	c current bound: 615
1231.46/1235.92	c current bound: 615
1231.87/1236.33	c current bound: 615
1232.28/1236.74	c current bound: 615
1232.69/1237.15	c current bound: 615
1233.08/1237.56	c current bound: 615
1233.16/1237.97	c current bound: 615
1233.58/1238.37	c current bound: 615
1234.26/1238.77	c current bound: 615
1234.37/1239.18	c current bound: 615
1234.79/1239.59	c current bound: 615
1235.20/1239.99	c current bound: 615
1235.94/1240.40	c current bound: 615
1236.34/1240.82	c current bound: 615
1236.75/1241.22	c current bound: 615
1237.15/1241.62	c current bound: 615
1237.57/1242.03	c current bound: 615
1237.97/1242.44	c current bound: 615
1238.37/1242.84	c current bound: 615
1238.78/1243.25	c current bound: 615
1238.86/1243.66	c current bound: 615
1239.59/1244.07	c current bound: 615
1239.67/1244.47	c current bound: 615
1240.08/1244.88	c current bound: 615
1240.78/1245.29	c current bound: 615
1241.28/1245.70	c current bound: 615
1241.63/1246.11	c current bound: 615
1242.04/1246.51	c current bound: 615
1242.45/1246.92	c current bound: 615
1242.86/1247.32	c current bound: 615
1243.25/1247.73	c current bound: 615
1243.67/1248.14	c current bound: 615
1244.07/1248.55	c current bound: 615
1244.15/1248.95	c current bound: 615
1244.55/1249.35	c current bound: 615
1245.25/1249.76	c current bound: 615
1245.36/1250.15	c current bound: 615
1245.75/1250.56	c current bound: 615
1246.46/1250.96	c current bound: 615
1246.56/1251.36	c current bound: 615
1247.28/1251.75	c current bound: 615
1247.35/1252.16	c current bound: 615
1247.76/1252.57	c current bound: 615
1248.48/1252.98	c current bound: 615
1248.58/1253.39	c current bound: 615
1249.38/1253.80	c current bound: 615
1249.68/1254.20	c current bound: 615
1250.14/1254.60	c current bound: 615
1250.57/1255.01	c current bound: 615
1250.94/1255.42	c current bound: 615
1251.35/1255.82	c current bound: 615
1251.75/1256.22	c current bound: 615
1252.14/1256.62	c current bound: 615
1252.56/1257.04	c current bound: 615
1252.97/1257.44	c current bound: 615
1253.37/1257.84	c current bound: 615
1253.77/1258.25	c current bound: 615
1254.16/1258.66	c current bound: 615
1254.26/1259.07	c current bound: 615
1254.98/1259.47	c current bound: 615
1255.06/1259.87	c current bound: 615
1255.48/1260.28	c current bound: 615
1256.18/1260.69	c current bound: 615
1256.69/1261.10	c current bound: 615
1257.04/1261.50	c current bound: 615
1257.45/1261.91	c current bound: 615
1257.85/1262.31	c current bound: 615
1258.27/1262.72	c current bound: 615
1258.67/1263.13	c current bound: 615
1259.08/1263.54	c current bound: 615
1259.49/1263.95	c current bound: 615
1259.56/1264.36	c current bound: 615
1259.97/1264.77	c current bound: 615
1260.68/1265.17	c current bound: 615
1260.78/1265.58	c current bound: 615
1261.20/1265.98	c current bound: 615
1261.99/1266.40	c current bound: 615
1262.35/1266.81	c current bound: 615
1262.75/1267.22	c current bound: 615
1263.16/1267.61	c current bound: 615
1263.55/1268.01	c current bound: 615
1263.95/1268.41	c current bound: 615
1264.36/1268.82	c current bound: 615
1264.78/1269.23	c current bound: 615
1265.18/1269.64	c current bound: 615
1265.59/1270.05	c current bound: 615
1266.00/1270.46	c current bound: 615
1266.08/1270.86	c current bound: 615
1266.47/1271.27	c current bound: 615
1267.19/1271.68	c current bound: 615
1267.29/1272.08	c current bound: 615
1267.69/1272.48	c current bound: 615
1268.50/1272.90	c current bound: 615
1268.51/1273.29	c current bound: 615
1269.30/1273.70	c current bound: 615
1269.70/1274.10	c current bound: 615
1270.06/1274.51	c current bound: 615
1270.45/1274.91	c current bound: 615
1270.87/1275.32	c current bound: 615
1271.26/1275.72	c current bound: 615
1271.66/1276.12	c current bound: 615
1272.06/1276.51	c current bound: 615
1272.47/1276.92	c current bound: 615
1272.88/1277.33	c current bound: 615
1273.28/1277.74	c current bound: 615
1273.70/1278.14	c current bound: 615
1273.75/1278.56	c current bound: 615
1274.18/1278.97	c current bound: 615
1274.88/1279.37	c current bound: 615
1274.98/1279.78	c current bound: 615
1275.38/1280.19	c current bound: 615
1276.08/1280.59	c current bound: 615
1276.21/1280.98	c current bound: 615
1276.60/1281.39	c current bound: 615
1277.00/1281.79	c current bound: 615
1277.79/1282.20	c current bound: 615
1278.16/1282.61	c current bound: 615
1278.55/1283.02	c current bound: 615
1278.97/1283.43	c current bound: 615
1279.38/1283.83	c current bound: 615
1279.77/1284.24	c current bound: 615
1280.18/1284.64	c current bound: 615
1280.58/1285.03	c current bound: 615
1280.97/1285.43	c current bound: 615
1281.39/1285.84	c current bound: 615
1281.79/1286.24	c current bound: 615
1282.20/1286.65	c current bound: 615
1282.60/1287.05	c current bound: 615
1282.66/1287.46	c current bound: 615
1283.08/1287.87	c current bound: 615
1283.79/1288.29	c current bound: 615
1283.90/1288.69	c current bound: 615
1284.30/1289.10	c current bound: 615
1285.10/1289.50	c current bound: 615
1285.47/1289.91	c current bound: 615
1285.87/1290.33	c current bound: 615
1286.28/1290.72	c current bound: 615
1286.66/1291.12	c current bound: 615
1287.08/1291.53	c current bound: 615
1287.48/1291.94	c current bound: 615
1287.89/1292.35	c current bound: 615
1288.29/1292.75	c current bound: 615
1288.37/1293.16	c current bound: 615
1289.11/1293.56	c current bound: 615
1289.17/1293.96	c current bound: 615
1289.57/1294.36	c current bound: 615
1290.30/1294.77	c current bound: 615
1290.39/1295.18	c current bound: 615
1290.80/1295.59	c current bound: 615
1291.48/1295.99	c current bound: 615
1291.96/1296.40	c current bound: 615
1292.40/1296.81	c current bound: 615
1292.75/1297.21	c current bound: 615
1293.17/1297.62	c current bound: 615
1293.57/1298.03	c current bound: 615
1293.98/1298.44	c current bound: 615
1294.39/1298.85	c current bound: 615
1294.78/1299.26	c current bound: 615
1294.87/1299.65	c current bound: 615
1295.61/1300.05	c current bound: 615
1295.99/1300.46	c current bound: 615
1296.09/1300.87	c current bound: 615
1296.81/1301.26	c current bound: 615
1296.91/1301.67	c current bound: 615
1297.31/1302.08	c current bound: 615
1298.00/1302.49	c current bound: 615
1298.45/1302.90	c current bound: 615
1298.87/1303.31	c current bound: 615
1299.28/1303.72	c current bound: 615
1299.67/1304.12	c current bound: 615
1300.10/1304.53	c current bound: 615
1300.50/1304.93	c current bound: 615
1300.90/1305.35	c current bound: 615
1301.31/1305.75	c current bound: 615
1301.71/1306.14	c current bound: 615
1301.77/1306.55	c current bound: 615
1302.51/1306.96	c current bound: 615
1302.59/1307.38	c current bound: 615
1303.02/1307.79	c current bound: 615
1303.82/1308.20	c current bound: 615
1303.83/1308.59	c current bound: 615
1304.52/1308.99	c current bound: 615
1304.63/1309.39	c current bound: 615
1305.37/1309.80	c current bound: 615
1305.77/1310.21	c current bound: 615
1306.17/1310.60	c current bound: 615
1306.58/1311.01	c current bound: 615
1306.98/1311.41	c current bound: 615
1307.40/1311.82	c current bound: 615
1307.83/1312.22	c current bound: 615
1308.20/1312.63	c current bound: 615
1308.60/1313.04	c current bound: 615
1309.00/1313.44	c current bound: 615
1309.42/1313.85	c current bound: 615
1309.80/1314.24	c current bound: 615
1310.20/1314.66	c current bound: 615
1310.29/1315.07	c current bound: 615
1310.71/1315.47	c current bound: 615
1311.41/1315.87	c current bound: 615
1311.50/1316.27	c current bound: 615
1312.22/1316.69	c current bound: 615
1312.33/1317.09	c current bound: 615
1312.72/1317.49	c current bound: 615
1313.51/1317.90	c current bound: 615
1313.53/1318.29	c current bound: 615
1314.32/1318.70	c current bound: 615
1314.67/1319.10	c current bound: 615
1315.09/1319.52	c current bound: 615
1315.52/1319.92	c current bound: 615
1315.91/1320.34	c current bound: 615
1316.31/1320.75	c current bound: 615
1316.71/1321.14	c current bound: 615
1317.13/1321.55	c current bound: 615
1317.20/1321.96	c current bound: 615
1317.92/1322.35	c current bound: 615
1317.99/1322.76	c current bound: 615
1318.41/1323.16	c current bound: 615
1319.13/1323.56	c current bound: 615
1319.21/1323.97	c current bound: 615
1320.01/1324.41	c current bound: 615
1320.36/1324.81	c current bound: 615
1320.77/1325.22	c current bound: 615
1321.18/1325.63	c current bound: 615
1321.58/1326.03	c current bound: 615
1322.00/1326.45	c current bound: 615
1322.40/1326.85	c current bound: 615
1322.48/1327.26	c current bound: 615
1323.21/1327.66	c current bound: 615
1323.30/1328.08	c current bound: 615
1323.70/1328.49	c current bound: 615
1324.41/1328.89	c current bound: 615
1324.87/1329.30	c current bound: 615
1325.29/1329.72	c current bound: 615
1325.69/1330.13	c current bound: 615
1326.09/1330.53	c current bound: 615
1326.51/1330.92	c current bound: 615
1326.90/1331.33	c current bound: 615
1327.31/1331.74	c current bound: 615
1327.71/1332.14	c current bound: 615
1328.11/1332.55	c current bound: 615
1328.18/1332.96	c current bound: 615
1328.90/1333.36	c current bound: 615
1328.99/1333.75	c current bound: 615
1329.39/1334.16	c current bound: 615
1330.12/1334.57	c current bound: 615
1330.21/1334.98	c current bound: 615
1330.92/1335.38	c current bound: 615
1331.01/1335.79	c current bound: 615
1331.77/1336.20	c current bound: 615
1332.18/1336.61	c current bound: 615
1332.58/1337.01	c current bound: 615
1332.99/1337.42	c current bound: 615
1333.39/1337.82	c current bound: 615
1333.81/1338.23	c current bound: 615
1334.22/1338.64	c current bound: 615
1334.28/1339.06	c current bound: 615
1334.71/1339.48	c current bound: 615
1335.41/1339.89	c current bound: 615
1335.53/1340.29	c current bound: 615
1336.27/1340.70	c current bound: 615
1336.72/1341.10	c current bound: 615
1337.07/1341.51	c current bound: 615
1337.52/1341.90	c current bound: 615
1337.88/1342.31	c current bound: 615
1338.29/1342.72	c current bound: 615
1338.70/1343.13	c current bound: 615
1339.09/1343.52	c current bound: 615
1339.50/1343.93	c current bound: 615
1339.90/1344.34	c current bound: 615
1340.32/1344.74	c current bound: 615
1340.39/1345.16	c current bound: 615
1341.10/1345.57	c current bound: 615
1341.21/1345.98	c current bound: 615
1341.91/1346.38	c current bound: 615
1342.03/1346.79	c current bound: 615
1342.43/1347.19	c current bound: 615
1343.17/1347.60	c current bound: 615
1343.58/1348.01	c current bound: 615
1343.99/1348.41	c current bound: 615
1344.39/1348.82	c current bound: 615
1344.79/1349.22	c current bound: 615
1345.24/1349.63	c current bound: 615
1345.60/1350.03	c current bound: 615
1346.01/1350.44	c current bound: 615
1346.42/1350.84	c current bound: 615
1346.82/1351.25	c current bound: 615
1347.21/1351.65	c current bound: 615
1347.63/1352.06	c current bound: 615
1347.70/1352.47	c current bound: 615
1348.11/1352.88	c current bound: 615
1348.80/1353.28	c current bound: 615
1348.91/1353.69	c current bound: 615
1349.72/1354.11	c current bound: 615
1350.07/1354.51	c current bound: 615
1350.48/1354.92	c current bound: 615
1350.86/1355.33	c current bound: 615
1351.28/1355.73	c current bound: 615
1351.69/1356.14	c current bound: 615
1352.09/1356.54	c current bound: 615
1352.48/1356.94	c current bound: 615
1352.88/1357.35	c current bound: 615
1352.96/1357.76	c current bound: 615
1353.36/1358.15	c current bound: 615
1354.09/1358.56	c current bound: 615
1354.49/1358.95	c current bound: 615
1354.89/1359.35	c current bound: 615
1355.27/1359.76	c current bound: 615
1355.37/1360.16	c current bound: 615
1355.76/1360.57	c current bound: 615
1356.46/1360.99	c current bound: 615
1356.60/1361.39	c current bound: 615
1357.27/1361.80	c current bound: 615
1357.71/1362.20	c current bound: 615
1358.13/1362.61	c current bound: 615
1358.53/1363.03	c current bound: 615
1358.94/1363.43	c current bound: 615
1359.33/1363.83	c current bound: 615
1359.73/1364.23	c current bound: 615
1360.13/1364.63	c current bound: 615
1360.55/1365.04	c current bound: 615
1360.60/1365.45	c current bound: 615
1361.03/1365.86	c current bound: 615
1361.75/1366.27	c current bound: 615
1361.82/1366.67	c current bound: 615
1362.22/1367.09	c current bound: 615
1362.93/1367.49	c current bound: 615
1363.38/1367.90	c current bound: 615
1363.81/1368.31	c current bound: 615
1364.20/1368.72	c current bound: 615
1364.61/1369.13	c current bound: 615
1365.01/1369.54	c current bound: 615
1365.40/1369.95	c current bound: 615
1365.48/1370.36	c current bound: 615
1366.19/1370.78	c current bound: 615
1366.32/1371.19	c current bound: 615
1367.12/1371.60	c current bound: 615
1367.46/1372.00	c current bound: 615
1367.87/1372.41	c current bound: 615
1368.29/1372.82	c current bound: 615
1368.70/1373.24	c current bound: 615
1369.09/1373.63	c current bound: 615
1369.50/1374.04	c current bound: 615
1369.89/1374.44	c current bound: 615
1370.29/1374.85	c current bound: 615
1370.68/1375.25	c current bound: 615
1370.76/1375.66	c current bound: 615
1371.50/1376.07	c current bound: 615
1371.58/1376.48	c current bound: 615
1371.98/1376.89	c current bound: 615
1372.78/1377.30	c current bound: 615
1373.13/1377.71	c current bound: 615
1373.54/1378.11	c current bound: 615
1373.94/1378.53	c current bound: 615
1374.35/1378.93	c current bound: 615
1374.76/1379.33	c current bound: 615
1375.16/1379.74	c current bound: 615
1375.23/1380.15	c current bound: 615
1375.94/1380.57	c current bound: 615
1376.06/1380.97	c current bound: 615
1376.44/1381.37	c current bound: 615
1377.14/1381.79	c current bound: 615
1377.60/1382.20	c current bound: 615
1378.05/1382.60	c current bound: 615
1378.40/1383.01	c current bound: 615
1378.82/1383.42	c current bound: 615
1379.23/1383.82	c current bound: 615
1379.62/1384.23	c current bound: 615
1380.02/1384.66	c current bound: 615
1380.39/1385.07	c current bound: 615
1380.52/1385.47	c current bound: 615
1380.91/1385.87	c current bound: 615
1381.59/1386.29	c current bound: 615
1381.71/1386.68	c current bound: 615
1382.40/1387.08	c current bound: 615
1382.50/1387.48	c current bound: 615
1382.89/1387.87	c current bound: 615
1383.59/1388.28	c current bound: 615
1383.69/1388.68	c current bound: 615
1384.07/1389.08	c current bound: 615
1384.82/1389.50	c current bound: 615
1385.23/1389.91	c current bound: 615
1385.67/1390.32	c current bound: 615
1386.04/1390.73	c current bound: 615
1386.45/1391.14	c current bound: 615
1386.86/1391.54	c current bound: 615
1386.92/1391.96	c current bound: 615
1387.33/1392.36	c current bound: 615
1388.04/1392.77	c current bound: 615
1388.15/1393.18	c current bound: 615
1388.55/1393.58	c current bound: 615
1389.34/1394.00	c current bound: 615
1389.69/1394.40	c current bound: 615
1390.10/1394.81	c current bound: 615
1390.50/1395.22	c current bound: 615
1390.91/1395.62	c current bound: 615
1391.32/1396.03	c current bound: 615
1391.72/1396.44	c current bound: 615
1392.11/1396.84	c current bound: 615
1392.51/1397.26	c current bound: 615
1392.60/1397.66	c current bound: 615
1393.31/1398.07	c current bound: 615
1393.41/1398.47	c current bound: 615
1393.81/1398.89	c current bound: 615
1394.50/1399.28	c current bound: 615
1394.62/1399.68	c current bound: 615
1395.01/1400.09	c current bound: 615
1395.74/1400.50	c current bound: 615
1396.17/1400.91	c current bound: 615
1396.60/1401.32	c current bound: 615
1396.99/1401.74	c current bound: 615
1397.38/1402.13	c current bound: 615
1397.78/1402.54	c current bound: 615
1397.87/1402.95	c current bound: 615
1398.27/1403.35	c current bound: 615
1398.98/1403.76	c current bound: 615
1399.08/1404.17	c current bound: 615
1399.48/1404.57	c current bound: 615
1400.17/1404.99	c current bound: 615
1400.62/1405.40	c current bound: 615
1400.96/1405.80	c current bound: 615
1401.43/1406.21	c current bound: 615
1401.85/1406.62	c current bound: 615
1402.24/1407.03	c current bound: 615
1402.65/1407.44	c current bound: 615
1403.07/1407.85	c current bound: 615
1403.46/1408.25	c current bound: 615
1403.52/1408.65	c current bound: 615
1404.25/1409.06	c current bound: 615
1404.35/1409.47	c current bound: 615
1404.76/1409.89	c current bound: 615
1405.50/1410.31	c current bound: 615
1405.92/1410.71	c current bound: 615
1406.33/1411.13	c current bound: 615
1406.73/1411.53	c current bound: 615
1407.12/1411.93	c current bound: 615
1407.52/1412.33	c current bound: 615
1407.92/1412.73	c current bound: 615
1408.32/1413.14	c current bound: 615
1408.74/1413.55	c current bound: 615
1408.82/1413.95	c current bound: 615
1409.20/1414.36	c current bound: 615
1409.91/1414.79	c current bound: 615
1410.37/1415.20	c current bound: 615
1410.80/1415.62	c current bound: 615
1411.18/1416.03	c current bound: 615
1411.59/1416.44	c current bound: 615
1412.00/1416.84	c current bound: 615
1412.06/1417.25	c current bound: 615
1412.79/1417.65	c current bound: 615
1413.18/1418.06	c current bound: 615
1413.27/1418.46	c current bound: 615
1413.67/1418.86	c current bound: 615
1414.37/1419.28	c current bound: 615
1414.48/1419.68	c current bound: 615
1415.19/1420.10	c current bound: 615
1415.65/1420.51	c current bound: 615
1416.05/1420.91	c current bound: 615
1416.44/1421.32	c current bound: 615
1416.85/1421.72	c current bound: 615
1417.27/1422.14	c current bound: 615
1417.65/1422.54	c current bound: 615
1418.07/1422.95	c current bound: 615
1418.79/1423.36	c current bound: 615
1418.55/1423.77	c current bound: 615
1418.95/1424.17	c current bound: 615
1419.65/1424.59	c current bound: 615
1419.77/1424.99	c current bound: 615
1420.56/1425.40	c current bound: 615
1420.91/1425.81	c current bound: 615
1421.31/1426.21	c current bound: 615
1421.73/1426.62	c current bound: 615
1422.12/1427.03	c current bound: 615
1422.52/1427.43	c current bound: 615
1422.92/1427.84	c current bound: 615
1423.33/1428.25	c current bound: 615
1423.73/1428.65	c current bound: 615
1424.12/1429.06	c current bound: 615
1424.20/1429.46	c current bound: 615
1424.61/1429.86	c current bound: 615
1425.31/1430.27	c current bound: 615
1425.41/1430.68	c current bound: 615
1426.11/1431.08	c current bound: 615
1426.21/1431.48	c current bound: 615
1426.62/1431.88	c current bound: 615
1427.31/1432.30	c current bound: 615
1427.77/1432.71	c current bound: 615
1428.17/1433.11	c current bound: 615
1428.59/1433.54	c current bound: 615
1428.99/1433.94	c current bound: 615
1429.39/1434.34	c current bound: 615
1429.79/1434.74	c current bound: 615
1429.86/1435.16	c current bound: 615
1430.58/1435.56	c current bound: 615
1430.68/1435.97	c current bound: 615
1431.08/1436.37	c current bound: 615
1431.77/1436.78	c current bound: 615
1431.89/1437.19	c current bound: 615
1432.29/1437.59	c current bound: 615
1433.08/1438.00	c current bound: 615
1433.48/1438.40	c current bound: 615
1433.84/1438.81	c current bound: 615
1434.24/1439.21	c current bound: 615
1434.65/1439.61	c current bound: 615
1435.05/1440.03	c current bound: 615
1435.45/1440.43	c current bound: 615
1435.87/1440.84	c current bound: 615
1436.25/1441.26	c current bound: 615
1436.34/1441.67	c current bound: 615
1437.04/1442.07	c current bound: 615
1437.14/1442.47	c current bound: 615
1437.54/1442.89	c current bound: 615
1438.25/1443.29	c current bound: 615
1438.36/1443.69	c current bound: 615
1438.77/1444.09	c current bound: 615
1439.51/1444.50	c current bound: 615
1439.95/1444.90	c current bound: 615
1440.35/1445.31	c current bound: 615
1440.73/1445.72	c current bound: 615
1441.13/1446.13	c current bound: 615
1441.54/1446.54	c current bound: 615
1441.94/1446.95	c current bound: 615
1442.02/1447.36	c current bound: 615
1442.72/1447.77	c current bound: 615
1442.84/1448.18	c current bound: 615
1443.24/1448.58	c current bound: 615
1443.63/1448.99	c current bound: 615
1444.06/1449.40	c current bound: 615
1444.85/1449.80	c current bound: 615
1445.18/1450.21	c current bound: 615
1445.59/1450.61	c current bound: 615
1445.99/1451.01	c current bound: 615
1446.39/1451.41	c current bound: 615
1446.79/1451.81	c current bound: 615
1447.20/1452.24	c current bound: 615
1447.60/1452.64	c current bound: 615
1448.02/1453.04	c current bound: 615
1448.40/1453.45	c current bound: 615
1448.80/1453.85	c current bound: 615
1449.20/1454.26	c current bound: 615
1449.28/1454.66	c current bound: 615
1449.67/1455.06	c current bound: 615
1450.39/1455.46	c current bound: 615
1450.48/1455.86	c current bound: 615
1450.87/1456.27	c current bound: 615
1451.57/1456.68	c current bound: 615
1451.69/1457.08	c current bound: 615
1452.38/1457.48	c current bound: 615
1452.47/1457.88	c current bound: 615
1453.28/1458.30	c current bound: 615
1453.62/1458.71	c current bound: 615
1454.02/1459.11	c current bound: 615
1454.43/1459.52	c current bound: 615
1454.84/1459.93	c current bound: 615
1455.26/1460.33	c current bound: 615
1455.65/1460.73	c current bound: 615
1456.05/1461.14	c current bound: 615
1456.45/1461.55	c current bound: 615
1456.87/1461.95	c current bound: 615
1456.93/1462.36	c current bound: 615
1457.33/1462.77	c current bound: 615
1458.04/1463.17	c current bound: 615
1458.15/1463.57	c current bound: 615
1458.54/1463.98	c current bound: 615
1459.23/1464.38	c current bound: 615
1459.35/1464.79	c current bound: 615
1460.15/1465.21	c current bound: 615
1460.51/1465.61	c current bound: 615
1460.92/1466.02	c current bound: 615
1461.32/1466.44	c current bound: 615
1461.72/1466.84	c current bound: 615
1461.81/1467.25	c current bound: 615
1462.52/1467.67	c current bound: 615
1462.62/1468.07	c current bound: 615
1463.32/1468.49	c current bound: 615
1463.42/1468.89	c current bound: 615
1464.16/1469.30	c current bound: 615
1464.59/1469.72	c current bound: 615
1464.98/1470.11	c current bound: 615
1465.39/1470.53	c current bound: 615
1465.79/1470.92	c current bound: 615
1466.18/1471.32	c current bound: 615
1466.60/1471.73	c current bound: 615
1467.00/1472.14	c current bound: 615
1467.07/1472.55	c current bound: 615
1467.81/1472.96	c current bound: 615
1467.87/1473.36	c current bound: 615
1468.29/1473.77	c current bound: 615
1468.98/1474.19	c current bound: 615
1469.48/1474.60	c current bound: 615
1469.87/1475.01	c current bound: 615
1470.24/1475.42	c current bound: 615
1470.67/1475.83	c current bound: 615
1471.07/1476.24	c current bound: 615
1471.46/1476.64	c current bound: 615
1471.87/1477.04	c current bound: 615
1472.26/1477.46	c current bound: 615
1472.36/1477.86	c current bound: 615
1472.75/1478.27	c current bound: 615
1473.44/1478.67	c current bound: 615
1473.54/1479.08	c current bound: 615
1474.24/1479.49	c current bound: 615
1474.75/1479.90	c current bound: 615
1475.14/1480.30	c current bound: 615
1475.54/1480.70	c current bound: 615
1475.94/1481.10	c current bound: 615
1476.29/1481.51	c current bound: 615
1476.70/1481.92	c current bound: 615
1477.10/1482.31	c current bound: 615
1477.53/1482.72	c current bound: 615
1477.90/1483.12	c current bound: 615
1478.31/1483.54	c current bound: 615
1478.72/1483.95	c current bound: 615
1479.12/1484.34	c current bound: 615
1479.18/1484.75	c current bound: 615
1479.91/1485.16	c current bound: 615
1479.98/1485.56	c current bound: 615
1480.39/1485.97	c current bound: 615
1481.09/1486.38	c current bound: 615
1481.20/1486.79	c current bound: 615
1481.89/1487.20	c current bound: 615
1482.36/1487.61	c current bound: 615
1482.76/1488.02	c current bound: 615
1483.18/1488.43	c current bound: 615
1483.58/1488.83	c current bound: 615
1483.97/1489.23	c current bound: 615
1484.37/1489.64	c current bound: 615
1484.79/1490.05	c current bound: 615
1485.18/1490.46	c current bound: 615
1485.25/1490.87	c current bound: 615
1485.65/1491.27	c current bound: 615
1486.37/1491.69	c current bound: 615
1486.87/1492.10	c current bound: 615
1487.23/1492.51	c current bound: 615
1487.63/1492.90	c current bound: 615
1488.03/1493.31	c current bound: 615
1488.47/1493.72	c current bound: 615
1488.87/1494.13	c current bound: 615
1489.26/1494.54	c current bound: 615
1489.66/1494.94	c current bound: 615
1490.06/1495.35	c current bound: 615
1490.14/1495.76	c current bound: 615
1490.85/1496.15	c current bound: 615
1490.95/1496.56	c current bound: 615
1491.36/1496.97	c current bound: 615
1492.07/1497.38	c current bound: 615
1492.17/1497.77	c current bound: 615
1492.86/1498.20	c current bound: 615
1493.33/1498.61	c current bound: 615
1493.74/1499.02	c current bound: 615
1494.15/1499.42	c current bound: 615
1494.54/1499.82	c current bound: 615
1494.95/1500.22	c current bound: 615
1495.36/1500.63	c current bound: 615
1495.77/1501.05	c current bound: 615
1496.18/1501.45	c current bound: 615
1496.25/1501.85	c current bound: 615
1496.66/1502.25	c current bound: 615
1497.38/1502.67	c current bound: 615
1497.45/1503.08	c current bound: 615
1497.87/1503.48	c current bound: 615
1498.54/1503.89	c current bound: 615
1498.67/1504.29	c current bound: 615
1499.07/1504.69	c current bound: 615
1499.81/1505.11	c current bound: 615
1500.21/1505.51	c current bound: 615
1500.63/1505.92	c current bound: 615
1501.04/1506.33	c current bound: 615
1501.45/1506.75	c current bound: 615
1501.83/1507.16	c current bound: 615
1501.92/1507.56	c current bound: 615
1502.33/1507.96	c current bound: 615
1503.02/1508.37	c current bound: 615
1503.12/1508.78	c current bound: 615
1503.81/1509.20	c current bound: 615
1504.29/1509.61	c current bound: 615
1504.68/1510.02	c current bound: 615
1505.09/1510.43	c current bound: 615
1505.48/1510.82	c current bound: 615
1505.89/1511.23	c current bound: 615
1506.30/1511.64	c current bound: 615
1506.69/1512.04	c current bound: 615
1507.10/1512.45	c current bound: 615
1507.49/1512.85	c current bound: 615
1507.58/1513.25	c current bound: 615
1508.29/1513.67	c current bound: 615
1508.38/1514.08	c current bound: 615
1508.79/1514.49	c current bound: 615
1509.54/1514.91	c current bound: 615
1509.94/1515.30	c current bound: 615
1510.01/1515.70	c current bound: 615
1510.74/1516.11	c current bound: 615
1511.15/1516.52	c current bound: 615
1511.53/1516.91	c current bound: 615
1511.95/1517.32	c current bound: 615
1512.35/1517.72	c current bound: 615
1512.76/1518.14	c current bound: 615
1513.16/1518.54	c current bound: 615
1513.55/1518.94	c current bound: 615
1513.94/1519.34	c current bound: 615
1514.02/1519.75	c current bound: 615
1514.76/1520.16	c current bound: 615
1514.83/1520.57	c current bound: 615
1515.25/1520.97	c current bound: 615
1515.95/1521.39	c current bound: 615
1516.06/1521.78	c current bound: 615
1516.44/1522.18	c current bound: 615
1517.19/1522.60	c current bound: 615
1517.60/1523.00	c current bound: 615
1517.66/1523.40	c current bound: 615
1518.40/1523.81	c current bound: 615
1518.80/1524.22	c current bound: 615
1519.20/1524.62	c current bound: 615
1519.63/1525.04	c current bound: 615
1520.03/1525.45	c current bound: 615
1520.40/1525.86	c current bound: 615
1520.52/1526.26	c current bound: 615
1520.90/1526.66	c current bound: 615
1521.60/1527.06	c current bound: 615
1521.70/1527.48	c current bound: 615
1522.42/1527.88	c current bound: 615
1522.91/1528.30	c current bound: 615
1523.31/1528.70	c current bound: 615
1523.67/1529.11	c current bound: 615
1524.07/1529.52	c current bound: 615
1524.46/1529.92	c current bound: 615
1524.87/1530.34	c current bound: 615
1525.30/1530.74	c current bound: 615
1525.70/1531.14	c current bound: 615
1526.07/1531.54	c current bound: 615
1526.48/1531.95	c current bound: 615
1526.89/1532.35	c current bound: 615
1526.95/1532.75	c current bound: 615
1527.35/1533.16	c current bound: 615
1528.06/1533.58	c current bound: 615
1528.18/1533.99	c current bound: 615
1528.97/1534.40	c current bound: 615
1529.32/1534.81	c current bound: 615
1529.74/1535.22	c current bound: 615
1530.15/1535.63	c current bound: 615
1530.54/1536.04	c current bound: 615
1530.96/1536.45	c current bound: 615
1531.35/1536.86	c current bound: 615
1531.43/1537.26	c current bound: 615
1531.84/1537.66	c current bound: 615
1532.53/1538.07	c current bound: 615
1532.64/1538.47	c current bound: 615
1533.34/1538.87	c current bound: 615
1533.44/1539.27	c current bound: 615
1533.82/1539.68	c current bound: 615
1534.52/1540.09	c current bound: 615
1534.98/1540.51	c current bound: 615
1535.38/1540.92	c current bound: 615
1535.80/1541.34	c current bound: 615
1536.21/1541.75	c current bound: 615
1536.60/1542.16	c current bound: 615
1536.69/1542.56	c current bound: 615
1537.08/1542.95	c current bound: 615
1537.80/1543.35	c current bound: 615
1537.87/1543.76	c current bound: 615
1538.28/1544.17	c current bound: 615
1538.99/1544.59	c current bound: 615
1539.10/1544.99	c current bound: 615
1539.50/1545.40	c current bound: 615
1539.91/1545.79	c current bound: 615
1540.65/1546.21	c current bound: 615
1541.06/1546.61	c current bound: 615
1541.46/1547.02	c current bound: 615
1541.86/1547.43	c current bound: 615
1542.26/1547.83	c current bound: 615
1542.67/1548.25	c current bound: 615
1542.75/1548.66	c current bound: 615
1543.45/1549.07	c current bound: 615
1543.55/1549.46	c current bound: 615
1544.24/1549.88	c current bound: 615
1544.35/1550.29	c current bound: 615
1544.76/1550.70	c current bound: 615
1545.52/1551.13	c current bound: 615
1545.92/1551.53	c current bound: 615
1546.32/1551.93	c current bound: 615
1546.72/1552.35	c current bound: 615
1546.80/1552.75	c current bound: 615
1547.52/1553.16	c current bound: 615
1547.61/1553.56	c current bound: 615
1548.00/1553.96	c current bound: 615
1548.72/1554.37	c current bound: 615
1548.81/1554.77	c current bound: 615
1549.20/1555.18	c current bound: 615
1549.89/1555.59	c current bound: 615
1550.36/1556.00	c current bound: 615
1550.79/1556.42	c current bound: 615
1551.17/1556.81	c current bound: 615
1551.56/1557.21	c current bound: 615
1551.98/1557.63	c current bound: 615
1552.39/1558.03	c current bound: 615
1552.78/1558.43	c current bound: 615
1553.20/1558.85	c current bound: 615
1553.27/1559.26	c current bound: 615
1553.68/1559.67	c current bound: 615
1554.39/1560.09	c current bound: 615
1554.50/1560.49	c current bound: 615
1555.19/1560.89	c current bound: 615
1555.31/1561.28	c current bound: 615
1555.70/1561.69	c current bound: 615
1556.37/1562.10	c current bound: 615
1556.50/1562.49	c current bound: 615
1557.24/1562.90	c current bound: 615
1557.63/1563.31	c current bound: 615
1558.03/1563.70	c current bound: 615
1558.10/1564.10	c current bound: 615
1558.82/1564.50	c current bound: 615
1559.23/1564.91	c current bound: 615
1559.65/1565.33	c current bound: 615
1560.05/1565.73	c current bound: 615
1560.44/1566.13	c current bound: 615
1560.87/1566.54	c current bound: 615
1560.93/1566.95	c current bound: 615
1561.33/1567.36	c current bound: 615
1562.04/1567.76	c current bound: 615
1562.15/1568.17	c current bound: 615
1562.85/1568.58	c current bound: 615
1562.96/1568.99	c current bound: 615
1563.75/1569.40	c current bound: 615
1564.11/1569.81	c current bound: 615
1564.51/1570.22	c current bound: 615
1564.92/1570.63	c current bound: 615
1565.33/1571.04	c current bound: 615
1565.39/1571.45	c current bound: 615
1566.13/1571.86	c current bound: 615
1566.21/1572.26	c current bound: 615
1566.61/1572.66	c current bound: 615
1567.31/1573.08	c current bound: 615
1567.41/1573.49	c current bound: 615
1568.16/1573.90	c current bound: 615
1568.56/1574.31	c current bound: 615
1568.96/1574.71	c current bound: 615
1569.38/1575.13	c current bound: 615
1569.78/1575.54	c current bound: 615
1570.20/1575.95	c current bound: 615
1570.58/1576.36	c current bound: 615
1570.68/1576.77	c current bound: 615
1571.08/1577.18	c current bound: 615
1571.77/1577.58	c current bound: 615
1571.89/1577.97	c current bound: 615
1572.29/1578.38	c current bound: 615
1572.69/1578.78	c current bound: 615
1573.08/1579.19	c current bound: 615
1573.78/1579.60	c current bound: 615
1574.24/1580.01	c current bound: 615
1574.65/1580.42	c current bound: 615
1575.05/1580.82	c current bound: 615
1575.45/1581.22	c current bound: 615
1575.84/1581.62	c current bound: 615
1576.25/1582.04	c current bound: 615
1576.65/1582.43	c current bound: 615
1577.07/1582.84	c current bound: 615
1577.45/1583.24	c current bound: 615
1577.84/1583.63	c current bound: 615
1578.25/1584.04	c current bound: 615
1578.33/1584.45	c current bound: 615
1578.74/1584.86	c current bound: 615
1579.45/1585.29	c current bound: 615
1579.93/1585.70	c current bound: 615
1580.31/1586.11	c current bound: 615
1580.70/1586.52	c current bound: 615
1581.13/1586.94	c current bound: 615
1581.51/1587.34	c current bound: 615
1581.93/1587.75	c current bound: 615
1582.00/1588.16	c current bound: 615
1582.70/1588.56	c current bound: 615
1582.81/1588.97	c current bound: 615
1583.21/1589.38	c current bound: 615
1583.91/1589.79	c current bound: 615
1584.35/1590.20	c current bound: 615
1584.76/1590.62	c current bound: 615
1585.18/1591.02	c current bound: 615
1585.58/1591.43	c current bound: 615
1585.98/1591.84	c current bound: 615
1586.06/1592.25	c current bound: 615
1586.47/1592.66	c current bound: 615
1587.17/1593.07	c current bound: 615
1587.26/1593.48	c current bound: 615
1587.97/1593.89	c current bound: 615
1588.47/1594.30	c current bound: 615
1588.83/1594.70	c current bound: 615
1589.23/1595.12	c current bound: 615
1589.63/1595.52	c current bound: 615
1590.04/1595.93	c current bound: 615
1590.45/1596.34	c current bound: 615
1590.52/1596.76	c current bound: 615
1591.24/1597.17	c current bound: 615
1591.35/1597.57	c current bound: 615
1591.75/1597.97	c current bound: 615
1592.44/1598.37	c current bound: 615
1592.55/1598.79	c current bound: 615
1592.96/1599.19	c current bound: 615
1593.70/1599.61	c current bound: 615
1594.10/1600.01	c current bound: 615
1594.53/1600.41	c current bound: 615
1594.91/1600.82	c current bound: 615
1595.33/1601.23	c current bound: 615
1595.72/1601.64	c current bound: 615
1595.79/1602.05	c current bound: 615
1596.53/1602.45	c current bound: 615
1596.91/1602.85	c current bound: 615
1597.31/1603.25	c current bound: 615
1597.71/1603.65	c current bound: 615
1598.10/1604.06	c current bound: 615
1598.20/1604.47	c current bound: 615
1598.90/1604.88	c current bound: 615
1599.00/1605.28	c current bound: 615
1599.40/1605.68	c current bound: 615
1600.09/1606.09	c current bound: 615
1600.19/1606.49	c current bound: 615
1600.98/1606.90	c current bound: 615
1601.38/1607.30	c current bound: 615
1601.73/1607.71	c current bound: 615
1602.16/1608.11	c current bound: 615
1602.54/1608.52	c current bound: 615
1602.95/1608.93	c current bound: 615
1603.35/1609.34	c current bound: 615
1603.77/1609.75	c current bound: 615
1604.16/1610.15	c current bound: 615
1604.54/1610.56	c current bound: 615
1604.63/1610.98	c current bound: 615
1605.05/1611.39	c current bound: 615
1605.46/1611.79	c current bound: 615
1606.20/1612.20	c current bound: 615
1606.61/1612.62	c current bound: 615
1607.03/1613.03	c current bound: 615
1607.42/1613.44	c current bound: 615
1607.82/1613.86	c current bound: 615
1607.92/1614.27	c current bound: 615
1608.32/1614.68	c current bound: 615
1608.73/1615.09	c current bound: 615
1609.15/1615.49	c current bound: 615
1609.82/1615.90	c current bound: 615
1610.29/1616.31	c current bound: 615
1610.68/1616.71	c current bound: 615
1611.07/1617.10	c current bound: 615
1611.49/1617.51	c current bound: 615
1611.90/1617.92	c current bound: 615
1612.29/1618.33	c current bound: 615
1612.70/1618.72	c current bound: 615
1613.12/1619.12	c current bound: 615
1613.48/1619.52	c current bound: 615
1613.88/1619.93	c current bound: 615
1614.29/1620.33	c current bound: 615
1614.70/1620.75	c current bound: 615
1614.77/1621.16	c current bound: 615
1615.48/1621.57	c current bound: 615
1615.60/1621.97	c current bound: 615
1616.00/1622.39	c current bound: 615
1616.40/1622.79	c current bound: 615
1616.80/1623.19	c current bound: 615
1617.48/1623.60	c current bound: 615
1617.94/1624.00	c current bound: 615
1618.35/1624.41	c current bound: 615
1618.75/1624.82	c current bound: 615
1619.16/1625.22	c current bound: 615
1619.56/1625.63	c current bound: 615
1619.96/1626.04	c current bound: 615
1620.38/1626.45	c current bound: 615
1620.78/1626.84	c current bound: 615
1620.84/1627.25	c current bound: 615
1621.26/1627.66	c current bound: 615
1621.97/1628.08	c current bound: 615
1622.07/1628.49	c current bound: 615
1622.87/1628.90	c current bound: 615
1623.22/1629.30	c current bound: 615
1623.63/1629.72	c current bound: 615
1624.04/1630.13	c current bound: 615
1624.47/1630.55	c current bound: 615
1624.53/1630.96	c current bound: 615
1625.24/1631.36	c current bound: 615
1625.35/1631.77	c current bound: 615
1625.74/1632.17	c current bound: 615
1626.43/1632.58	c current bound: 615
1626.55/1632.99	c current bound: 615
1626.96/1633.39	c current bound: 615
1627.34/1633.79	c current bound: 615
1627.74/1634.19	c current bound: 615
1628.50/1634.61	c current bound: 615
1628.90/1635.02	c current bound: 615
1629.30/1635.42	c current bound: 615
1629.72/1635.83	c current bound: 615
1630.11/1636.23	c current bound: 615
1630.52/1636.64	c current bound: 615
1630.92/1637.06	c current bound: 615
1631.00/1637.46	c current bound: 615
1631.71/1637.87	c current bound: 615
1631.81/1638.28	c current bound: 615
1632.21/1638.69	c current bound: 615
1632.91/1639.09	c current bound: 615
1633.02/1639.48	c current bound: 615
1633.41/1639.89	c current bound: 615
1634.09/1640.29	c current bound: 615
1634.22/1640.69	c current bound: 615
1634.61/1641.09	c current bound: 615
1635.40/1641.50	c current bound: 615
1635.76/1641.90	c current bound: 615
1636.20/1642.30	c current bound: 615
1636.54/1642.70	c current bound: 615
1636.95/1643.11	c current bound: 615
1637.35/1643.52	c current bound: 615
1637.76/1643.93	c current bound: 615
1638.17/1644.33	c current bound: 615
1638.55/1644.73	c current bound: 615
1638.97/1645.14	c current bound: 615
1639.37/1645.56	c current bound: 615
1639.43/1645.97	c current bound: 615
1639.85/1646.38	c current bound: 615
1640.53/1646.79	c current bound: 615
1640.63/1647.19	c current bound: 615
1641.04/1647.59	c current bound: 615
1641.78/1648.01	c current bound: 615
1642.19/1648.40	c current bound: 615
1642.62/1648.82	c current bound: 615
1643.00/1649.23	c current bound: 615
1643.42/1649.64	c current bound: 615
1643.81/1650.04	c current bound: 615
1643.88/1650.45	c current bound: 615
1644.29/1650.86	c current bound: 615
1645.01/1651.26	c current bound: 615
1645.08/1651.67	c current bound: 615
1645.49/1652.07	c current bound: 615
1646.19/1652.48	c current bound: 615
1646.29/1652.89	c current bound: 615
1647.00/1653.30	c current bound: 615
1647.45/1653.70	c current bound: 615
1647.85/1654.11	c current bound: 615
1648.27/1654.53	c current bound: 615
1648.67/1654.93	c current bound: 615
1649.06/1655.32	c current bound: 615
1649.47/1655.74	c current bound: 615
1649.88/1656.15	c current bound: 615
1650.27/1656.56	c current bound: 615
1650.37/1656.97	c current bound: 615
1650.77/1657.39	c current bound: 615
1651.55/1657.80	c current bound: 615
1651.58/1658.19	c current bound: 615
1652.31/1658.60	c current bound: 615
1652.71/1659.00	c current bound: 615
1653.10/1659.41	c current bound: 615
1653.55/1659.82	c current bound: 615
1653.92/1660.23	c current bound: 615
1654.33/1660.64	c current bound: 615
1654.75/1661.05	c current bound: 615
1654.82/1661.46	c current bound: 615
1655.20/1661.87	c current bound: 615
1655.93/1662.28	c current bound: 615
1656.04/1662.68	c current bound: 615
1656.43/1663.09	c current bound: 615
1656.84/1663.49	c current bound: 615
1657.24/1663.89	c current bound: 615
1657.98/1664.31	c current bound: 615
1658.38/1664.71	c current bound: 615
1658.79/1665.13	c current bound: 615
1659.22/1665.55	c current bound: 615
1659.27/1665.96	c current bound: 615
1659.68/1666.35	c current bound: 615
1660.39/1666.76	c current bound: 615
1660.49/1667.17	c current bound: 615
1661.20/1667.59	c current bound: 615
1661.29/1667.99	c current bound: 615
1662.03/1668.40	c current bound: 615
1662.46/1668.81	c current bound: 615
1662.86/1669.22	c current bound: 615
1663.26/1669.63	c current bound: 615
1663.68/1670.05	c current bound: 615
1663.75/1670.45	c current bound: 615
1664.47/1670.86	c current bound: 615
1664.55/1671.27	c current bound: 615
1664.97/1671.68	c current bound: 615
1665.66/1672.08	c current bound: 615
1665.77/1672.48	c current bound: 615
1666.18/1672.88	c current bound: 615
1666.91/1673.30	c current bound: 615
1667.32/1673.70	c current bound: 615
1667.76/1674.11	c current bound: 615
1668.13/1674.52	c current bound: 615
1668.54/1674.93	c current bound: 615
1668.96/1675.34	c current bound: 615
1669.35/1675.74	c current bound: 615
1669.74/1676.15	c current bound: 615
1670.16/1676.54	c current bound: 615
1670.54/1676.95	c current bound: 615
1670.62/1677.35	c current bound: 615
1671.33/1677.76	c current bound: 615
1671.41/1678.17	c current bound: 615
1672.14/1678.57	c current bound: 615
1672.24/1678.97	c current bound: 615
1672.62/1679.38	c current bound: 615
1673.32/1679.79	c current bound: 615
1673.46/1680.19	c current bound: 615
1673.84/1680.60	c current bound: 615
1674.59/1681.01	c current bound: 615
1674.99/1681.42	c current bound: 615
1675.40/1681.83	c current bound: 615
1675.81/1682.24	c current bound: 615
1676.21/1682.65	c current bound: 615
1676.62/1683.06	c current bound: 615
1676.70/1683.47	c current bound: 615
1677.09/1683.88	c current bound: 615
1677.78/1684.29	c current bound: 615
1678.29/1684.70	c current bound: 615
1678.32/1685.10	c current bound: 615
1679.05/1685.51	c current bound: 615
1679.44/1685.91	c current bound: 615
1679.84/1686.31	c current bound: 615
1680.24/1686.71	c current bound: 615
1680.64/1687.12	c current bound: 615
1681.05/1687.53	c current bound: 615
1681.46/1687.95	c current bound: 615
1681.53/1688.36	c current bound: 615
1682.26/1688.77	c current bound: 615
1682.36/1689.17	c current bound: 615
1683.04/1689.58	c current bound: 615
1683.16/1689.99	c current bound: 615
1683.94/1690.40	c current bound: 615
1684.30/1690.81	c current bound: 615
1684.71/1691.21	c current bound: 615
1685.11/1691.61	c current bound: 615
1685.51/1692.02	c current bound: 615
1685.92/1692.42	c current bound: 615
1686.33/1692.82	c current bound: 615
1686.71/1693.23	c current bound: 615
1687.11/1693.63	c current bound: 615
1687.50/1694.02	c current bound: 615
1687.90/1694.42	c current bound: 615
1688.29/1694.82	c current bound: 615
1688.70/1695.24	c current bound: 615
1689.11/1695.65	c current bound: 615
1689.17/1696.06	c current bound: 615
1689.90/1696.46	c current bound: 615
1689.99/1696.87	c current bound: 615
1690.70/1697.28	c current bound: 615
1690.81/1697.69	c current bound: 615
1691.56/1698.11	c current bound: 615
1691.96/1698.51	c current bound: 615
1692.37/1698.92	c current bound: 615
1692.77/1699.32	c current bound: 615
1693.16/1699.72	c current bound: 615
1693.58/1700.13	c current bound: 615
1694.00/1700.53	c current bound: 615
1694.40/1700.94	c current bound: 615
1694.80/1701.35	c current bound: 615
1695.19/1701.75	c current bound: 615
1695.27/1702.16	c current bound: 615
1695.67/1702.57	c current bound: 615
1696.38/1702.98	c current bound: 615
1696.49/1703.39	c current bound: 615
1696.90/1703.80	c current bound: 615
1697.65/1704.20	c current bound: 615
1698.05/1704.61	c current bound: 615
1698.45/1705.02	c current bound: 615
1698.86/1705.43	c current bound: 615
1699.25/1705.83	c current bound: 615
1699.66/1706.24	c current bound: 615
1700.07/1706.65	c current bound: 615
1700.15/1707.06	c current bound: 615
1700.86/1707.46	c current bound: 615
1700.94/1707.86	c current bound: 615
1701.66/1708.27	c current bound: 615
1701.75/1708.68	c current bound: 615
1702.17/1709.09	c current bound: 615
1702.91/1709.50	c current bound: 615
1703.31/1709.90	c current bound: 615
1703.71/1710.31	c current bound: 615
1704.12/1710.72	c current bound: 615
1704.53/1711.13	c current bound: 615
1704.94/1711.53	c current bound: 615
1705.33/1711.92	c current bound: 615
1705.72/1712.33	c current bound: 615
1706.14/1712.75	c current bound: 615
1706.21/1713.16	c current bound: 615
1706.60/1713.56	c current bound: 615
1707.30/1713.98	c current bound: 615
1707.43/1714.39	c current bound: 615
1707.81/1714.79	c current bound: 615
1708.62/1715.20	c current bound: 615
1708.96/1715.61	c current bound: 615
1709.37/1716.01	c current bound: 615
1709.76/1716.41	c current bound: 615
1710.17/1716.82	c current bound: 615
1710.59/1717.23	c current bound: 615
1710.99/1717.64	c current bound: 615
1711.40/1718.05	c current bound: 615
1711.78/1718.46	c current bound: 615
1711.88/1718.87	c current bound: 615
1712.59/1719.28	c current bound: 615
1712.70/1719.68	c current bound: 615
1713.09/1720.09	c current bound: 615
1713.84/1720.50	c current bound: 615
1714.26/1720.92	c current bound: 615
1714.66/1721.31	c current bound: 615
1715.06/1721.72	c current bound: 615
1715.47/1722.12	c current bound: 615
1715.89/1722.53	c current bound: 615
1716.28/1722.93	c current bound: 615
1716.69/1723.34	c current bound: 615
1717.10/1723.75	c current bound: 615
1717.17/1724.16	c current bound: 615
1717.58/1724.57	c current bound: 615
1718.28/1724.99	c current bound: 615
1718.40/1725.39	c current bound: 615
1719.21/1725.80	c current bound: 615
1719.56/1726.21	c current bound: 615
1719.96/1726.62	c current bound: 615
1720.38/1727.03	c current bound: 615
1720.79/1727.44	c current bound: 615
1721.18/1727.84	c current bound: 615
1721.59/1728.25	c current bound: 615
1721.66/1728.66	c current bound: 615
1722.07/1729.05	c current bound: 615
1722.77/1729.46	c current bound: 615
1722.87/1729.87	c current bound: 615
1723.61/1730.28	c current bound: 615
1723.70/1730.68	c current bound: 615
1724.09/1731.09	c current bound: 615
1724.85/1731.50	c current bound: 615
1725.29/1731.90	c current bound: 615
1725.66/1732.30	c current bound: 615
1726.06/1732.72	c current bound: 615
1726.46/1733.12	c current bound: 615
1726.90/1733.52	c current bound: 615
1727.29/1733.93	c current bound: 615
1727.69/1734.34	c current bound: 615
1728.10/1734.75	c current bound: 615
1728.18/1735.15	c current bound: 615
1728.89/1735.55	c current bound: 615
1729.29/1735.96	c current bound: 615
1729.38/1736.36	c current bound: 615
1729.77/1736.76	c current bound: 615
1730.47/1737.18	c current bound: 615
1730.59/1737.57	c current bound: 615
1731.29/1737.98	c current bound: 615
1731.40/1738.39	c current bound: 615
1731.81/1738.79	c current bound: 615
1732.55/1739.20	c current bound: 615
1732.96/1739.60	c current bound: 615
1733.37/1740.01	c current bound: 615
1733.77/1740.41	c current bound: 615
1734.16/1740.81	c current bound: 615
1734.61/1741.21	c current bound: 615
1734.98/1741.62	c current bound: 615
1735.38/1742.03	c current bound: 615
1735.79/1742.44	c current bound: 615
1736.19/1742.85	c current bound: 615
1736.59/1743.25	c current bound: 615
1737.01/1743.65	c current bound: 615
1737.07/1744.06	c current bound: 615
1737.48/1744.47	c current bound: 615
1738.19/1744.88	c current bound: 615
1738.30/1745.29	c current bound: 615
1738.99/1745.70	c current bound: 615
1739.46/1746.11	c current bound: 615
1739.86/1746.50	c current bound: 615
1740.26/1746.92	c current bound: 615
1740.66/1747.32	c current bound: 615
1741.08/1747.72	c current bound: 615
1741.48/1748.13	c current bound: 615
1741.88/1748.54	c current bound: 615
1742.29/1748.94	c current bound: 615
1742.68/1749.34	c current bound: 615
1743.09/1749.74	c current bound: 615
1743.50/1750.15	c current bound: 615
1743.57/1750.56	c current bound: 615
1743.98/1750.99	c current bound: 615
1744.74/1751.41	c current bound: 615
1745.13/1751.80	c current bound: 615
1745.58/1752.22	c current bound: 615
1745.94/1752.62	c current bound: 615
1746.36/1753.03	c current bound: 615
1746.76/1753.44	c current bound: 615
1747.16/1753.84	c current bound: 615
1747.57/1754.25	c current bound: 615
1747.96/1754.66	c current bound: 615
1748.06/1755.06	c current bound: 615
1748.45/1755.45	c current bound: 615
1749.16/1755.86	c current bound: 615
1749.27/1756.27	c current bound: 615
1749.98/1756.68	c current bound: 615
1750.08/1757.08	c current bound: 615
1750.48/1757.49	c current bound: 615
1751.28/1757.90	c current bound: 615
1751.29/1758.29	c current bound: 615
1752.03/1758.71	c current bound: 615
1752.44/1759.11	c current bound: 615
1752.84/1759.51	c current bound: 615
1753.26/1759.91	c current bound: 615
1753.66/1760.34	c current bound: 615
1754.06/1760.75	c current bound: 615
1754.47/1761.16	c current bound: 615
1754.55/1761.56	c current bound: 615
1754.95/1761.96	c current bound: 615
1755.66/1762.37	c current bound: 615
1755.76/1762.78	c current bound: 615
1756.17/1763.18	c current bound: 615
1756.57/1763.59	c current bound: 615
1757.36/1764.00	c current bound: 615
1757.72/1764.41	c current bound: 615
1758.14/1764.82	c current bound: 615
1758.54/1765.23	c current bound: 615
1758.94/1765.64	c current bound: 615
1759.34/1766.03	c current bound: 615
1759.76/1766.44	c current bound: 615
1760.16/1766.85	c current bound: 615
1760.23/1767.26	c current bound: 615
1760.97/1767.66	c current bound: 615
1761.05/1768.06	c current bound: 615
1761.44/1768.47	c current bound: 615
1762.16/1768.87	c current bound: 615
1762.26/1769.26	c current bound: 615
1762.66/1769.67	c current bound: 615
1763.36/1770.07	c current bound: 615
1763.46/1770.48	c current bound: 615
1763.88/1770.88	c current bound: 615
1764.27/1771.28	c current bound: 615
1764.67/1771.69	c current bound: 615
1765.35/1772.09	c current bound: 615
1765.88/1772.50	c current bound: 615
1766.27/1772.90	c current bound: 615
1766.61/1773.30	c current bound: 615
1767.02/1773.70	c current bound: 615
1767.43/1774.11	c current bound: 615
1767.82/1774.51	c current bound: 615
1768.23/1774.92	c current bound: 615
1768.66/1775.32	c current bound: 615
1769.04/1775.73	c current bound: 615
1769.45/1776.14	c current bound: 615
1769.86/1776.55	c current bound: 615
1769.92/1776.96	c current bound: 615
1770.34/1777.35	c current bound: 615
1771.06/1777.76	c current bound: 615
1771.14/1778.16	c current bound: 615
1771.55/1778.57	c current bound: 615
1772.26/1778.98	c current bound: 615
1772.35/1779.39	c current bound: 615
1773.05/1779.80	c current bound: 615
1773.52/1780.21	c current bound: 615
1773.93/1780.62	c current bound: 615
1774.35/1781.03	c current bound: 615
1774.75/1781.43	c current bound: 615
1775.15/1781.83	c current bound: 615
1775.57/1782.24	c current bound: 615
1775.97/1782.64	c current bound: 615
1776.38/1783.05	c current bound: 615
1776.76/1783.45	c current bound: 615
1777.17/1783.85	c current bound: 615
1777.57/1784.24	c current bound: 615
1777.63/1784.65	c current bound: 615
1778.04/1785.06	c current bound: 615
1778.76/1785.45	c current bound: 615
1779.17/1785.85	c current bound: 615
1779.57/1786.25	c current bound: 615
1779.96/1786.66	c current bound: 615
1780.05/1787.08	c current bound: 615
1780.77/1787.49	c current bound: 615
1780.88/1787.89	c current bound: 615
1781.62/1788.30	c current bound: 615
1782.02/1788.71	c current bound: 615
1782.42/1789.11	c current bound: 615
1782.84/1789.52	c current bound: 615
1783.25/1789.93	c current bound: 615
1783.65/1790.34	c current bound: 615
1784.06/1790.75	c current bound: 615
1784.15/1791.16	c current bound: 615
1784.54/1791.56	c current bound: 615
1785.26/1791.97	c current bound: 615
1785.35/1792.37	c current bound: 615
1785.76/1792.77	c current bound: 615
1786.45/1793.18	c current bound: 615
1786.56/1793.57	c current bound: 615
1786.96/1793.98	c current bound: 615
1787.36/1794.38	c current bound: 615
1787.77/1794.79	c current bound: 615
1788.47/1795.19	c current bound: 615
1788.58/1795.59	c current bound: 615
1788.97/1795.98	c current bound: 615
1789.67/1796.38	c current bound: 615
1789.76/1796.79	c current bound: 615
1790.58/1797.20	c current bound: 615
1790.92/1797.60	c current bound: 615
1791.32/1798.01	c current bound: 615
1791.76/1798.41	c current bound: 615
1792.15/1798.82	c current bound: 615
1792.56/1799.23	c current bound: 615
1792.95/1799.63	c current bound: 615
1793.35/1800.04	c current bound: 615
1793.44/1800.45	c current bound: 615
1794.18/1800.86	c current bound: 615
1794.26/1801.27	c current bound: 615
1794.67/1801.67	c current bound: 615
1795.36/1802.08	c current bound: 615
1795.47/1802.48	c current bound: 615
1796.17/1802.88	c current bound: 615
1796.67/1803.30	c current bound: 615
1796.70/1803.69	c current bound: 615
1797.48/1804.10	c current bound: 615
1797.87/1804.50	c current bound: 615
1798.28/1804.90	c current bound: 615
1798.63/1805.31	c current bound: 615
1799.04/1805.71	c current bound: 615
1799.18/1805.80	./satsolver.sh: line 5: 31754 Terminated              ./glucose $1 > $2 2> /dev/null
1799.18/1805.80	c error: unexpected solver exit code
1799.18/1805.80	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 1.37 1.73 4/173 20206
/proc/meminfo: memFree=29812784/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0

[startup+0.0250459 s]
/proc/loadavg: 0.93 1.37 1.73 4/173 20206
/proc/meminfo: memFree=29812784/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100344 s]
/proc/loadavg: 0.93 1.37 1.73 4/173 20206
/proc/meminfo: memFree=29812784/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300312 s]
/proc/loadavg: 0.93 1.37 1.73 4/173 20206
/proc/meminfo: memFree=29812784/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700323 s]
/proc/loadavg: 0.93 1.37 1.73 4/173 20206
/proc/meminfo: memFree=29812784/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/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: 0.93 1.37 1.73 4/179 20281
/proc/meminfo: memFree=29791976/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1.29 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 3152 18717 0 0 9 3 108 9 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 15048

[startup+3.1003 s]
/proc/loadavg: 0.93 1.37 1.73 4/180 20365
/proc/meminfo: memFree=29792128/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=2.9 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 5556 43889 0 0 14 4 251 21 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 15048

[startup+6.30032 s]
/proc/loadavg: 1.01 1.38 1.73 3/181 20608
/proc/meminfo: memFree=29787584/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=6.14 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 10364 93719 0 0 25 6 536 47 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 15048

[startup+12.7002 s]
/proc/loadavg: 0.93 1.36 1.72 4/180 21121
/proc/meminfo: memFree=29788528/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=12.55 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 19387 191152 0 0 44 10 1101 100 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 15048

[startup+25.5004 s]
/proc/loadavg: 1.01 1.36 1.71 4/179 22164
/proc/meminfo: memFree=29789176/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=25.2 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 38611 389051 0 0 85 18 2207 210 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 15048

[startup+51.1003 s]
/proc/loadavg: 1.22 1.38 1.71 4/181 24161
/proc/meminfo: memFree=29783660/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=50.8 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 76474 790949 0 0 167 34 4460 419 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 15048

[startup+102.307 s]
/proc/loadavg: 1.51 1.44 1.71 3/182 28236
/proc/meminfo: memFree=29777588/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=101.89 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 152200 1583123 0 0 332 64 8950 843 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
[pid=28228] ppid=20207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28228/stat : 28228 (satsolver.sh) S 20207 20206 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285125774 9367552 266 33554432000 4194304 5064252 140735268184160 140735268183072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28228/statm: 2287 266 226 213 0 72 0
[pid=28230] ppid=28228 vsize=14420 CPUtime=0.17 cores=1,3,5,7
/proc/28230/stat : 28230 (glucose) R 28228 20206 20162 0 -1 4202496 2365 0 0 0 17 0 0 0 20 0 1 0 285125774 14766080 2784 33554432000 4194304 5208918 140735872935536 140735872933384 4229853 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/28230/statm: 3605 2784 95 248 0 3354 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 38616

[startup+162.3 s]
/proc/loadavg: 1.71 1.51 1.72 4/179 454
/proc/meminfo: memFree=29785484/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5904 CPUtime=161.84 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) R 20206 20206 20162 0 -1 4202496 241147 2516069 0 0 524 101 14225 1334 20 0 1 0 285115563 6045696 991 33554432000 4194304 5990268 140734609341568 140734609333552 5180875 0 0 4096 0 0 0 0 17 1 0 0 1 0 0
/proc/20207/statm: 1476 991 176 439 0 1033 0
Current children cumulated CPU time (s) 161.84
Current children cumulated vsize (KiB) 15052

[startup+222.3 s]
/proc/loadavg: 1.67 1.53 1.72 4/181 5310
/proc/meminfo: memFree=29781768/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=221.51 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 329495 3438320 0 0 716 136 19478 1821 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
[pid=5302] ppid=20207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5302/stat : 5302 (satsolver.sh) S 20207 20206 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285137764 9367552 267 33554432000 4194304 5064252 140734148031136 140734148030048 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5302/statm: 2287 267 226 213 0 72 0
[pid=5303] ppid=5302 vsize=14812 CPUtime=0.28 cores=1,3,5,7
/proc/5303/stat : 5303 (glucose) R 5302 20206 20162 0 -1 4202496 2689 0 0 0 28 0 0 0 20 0 1 0 285137764 15167488 3005 33554432000 4194304 5208918 140737380046480 140737380044328 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5303/statm: 3703 3005 103 248 0 3452 0
Current children cumulated CPU time (s) 221.79
Current children cumulated vsize (KiB) 39008

[startup+282.3 s]
/proc/loadavg: 1.66 1.54 1.71 4/181 9960
/proc/meminfo: memFree=29773816/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=281.63 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 418443 4371450 0 0 909 173 24768 2313 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 281.63
Current children cumulated vsize (KiB) 15048

[startup+342.3 s]
/proc/loadavg: 1.62 1.54 1.69 4/182 14752
/proc/meminfo: memFree=29780368/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7

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

[pid=20207] ppid=20206 vsize=5900 CPUtime=1357.79 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2015901 21080554 0 0 4353 845 119374 11207 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1357.79
Current children cumulated vsize (KiB) 15048

[startup+1422.31 s]
/proc/loadavg: 1.96 1.63 1.62 4/180 1692
/proc/meminfo: memFree=29775184/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1417.33 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2104248 22006529 0 0 4543 882 124601 11707 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
[pid=1688] ppid=20207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1688/stat : 1688 (satsolver.sh) S 20207 20206 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285257778 9367552 267 33554432000 4194304 5064252 140735891859984 140735891858896 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1688/statm: 2287 267 226 213 0 72 0
[pid=1689] ppid=1688 vsize=14416 CPUtime=0.13 cores=1,3,5,7
/proc/1689/stat : 1689 (glucose) R 1688 20206 20162 0 -1 4202496 2266 0 0 0 13 0 0 0 20 0 1 0 285257779 14761984 2695 33554432000 4194304 5208918 140735214215472 140735214213320 4211656 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/1689/statm: 3604 2695 95 248 0 3353 0
Current children cumulated CPU time (s) 1417.46
Current children cumulated vsize (KiB) 38612

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

[startup+1423.3 s]
/proc/loadavg: 1.96 1.63 1.62 4/181 1775
/proc/meminfo: memFree=29767952/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1418.47 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2105458 22022719 0 0 4545 883 124704 11715 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
[pid=1753] ppid=20207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1753/stat : 1753 (satsolver.sh) S 20207 20206 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285257859 9367552 267 33554432000 4194304 5064252 140736360019568 140736360018480 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1753/statm: 2287 267 226 213 0 72 0
[pid=1754] ppid=1753 vsize=0 CPUtime=0.32 cores=1,3,5,7
/proc/1754/stat : 1754 (glucose) R 1753 20206 20162 0 -1 4202500 3035 0 0 0 32 0 0 0 20 0 1 0 285257860 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1754/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1418.79
Current children cumulated vsize (KiB) 24196

[startup+1423.41 s]
/proc/loadavg: 1.96 1.63 1.62 4/181 1775
/proc/meminfo: memFree=29767952/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1418.55 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2106051 22025393 0 0 4547 883 124708 11717 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1418.55
Current children cumulated vsize (KiB) 15048
#
############


[startup+1482.3 s]
/proc/loadavg: 1.75 1.63 1.62 3/181 6378
/proc/meminfo: memFree=29768280/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1477.1 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2192603 22937837 0 0 4732 920 129854 12204 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1477.1
Current children cumulated vsize (KiB) 15048

[startup+1542.3 s]
/proc/loadavg: 1.85 1.68 1.64 3/181 11178
/proc/meminfo: memFree=29772028/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1536.69 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2281543 23863854 0 0 4921 959 135091 12698 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1536.69
Current children cumulated vsize (KiB) 15048

[startup+1602.3 s]
/proc/loadavg: 1.58 1.63 1.62 3/179 15909
/proc/meminfo: memFree=29773672/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1596.21 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2369890 24790535 0 0 5112 995 140313 13201 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1596.21
Current children cumulated vsize (KiB) 15048

[startup+1662.3 s]
/proc/loadavg: 1.66 1.65 1.63 3/181 20566
/proc/meminfo: memFree=29768716/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1656.04 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2458838 25722079 0 0 5305 1033 145571 13695 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 8 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1656.04
Current children cumulated vsize (KiB) 15048

[startup+1722.3 s]
/proc/loadavg: 1.87 1.71 1.65 4/181 25127
/proc/meminfo: memFree=29767076/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1715.53 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2547185 26647519 0 0 5497 1066 150791 14199 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 8 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1715.53
Current children cumulated vsize (KiB) 15048

[startup+1782.3 s]
/proc/loadavg: 1.54 1.65 1.63 4/181 29876
/proc/meminfo: memFree=29768368/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1775.63 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2636133 27582354 0 0 5689 1103 156079 14692 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
Current children cumulated CPU time (s) 1775.63
Current children cumulated vsize (KiB) 15048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.8 s]
/proc/loadavg: 1.49 1.63 1.62 3/181 31759
/proc/meminfo: memFree=29767804/32873852 swapFree=7624/7624
[pid=20206] ppid=20202 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20206/stat : 20206 (npSolver-wbo-It) S 20202 20206 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285115563 9367552 274 33554432000 4194304 5064252 140735131696064 140735131694976 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20206/statm: 2287 274 233 213 0 72 0
[pid=20207] ppid=20206 vsize=5900 CPUtime=1799.11 cores=1,3,5,7
/proc/20207/stat : 20207 (npSolver-wbo) S 20206 20206 20162 0 -1 4202496 2670991 27941739 0 0 5764 1118 158146 14883 20 0 1 0 285115563 6041600 991 33554432000 4194304 5990268 140734609341568 140734609332976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/20207/statm: 1475 991 176 439 0 1032 0
[pid=31753] ppid=20207 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31753/stat : 31753 (satsolver.sh) S 20207 20206 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285296135 9367552 267 33554432000 4194304 5064252 140736650405024 140736650403936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31753/statm: 2287 267 226 213 0 72 0
[pid=31754] ppid=31753 vsize=14416 CPUtime=0.07 cores=1,3,5,7
/proc/31754/stat : 31754 (glucose) R 31753 20206 20162 0 -1 4202496 2373 0 0 0 7 0 0 0 20 0 1 0 285296136 14761984 2787 33554432000 4194304 5208918 140734391897728 140736650403960 4211580 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31754/statm: 3604 2787 95 248 0 3353 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 38612

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1805.81
CPU time (s): 1800.14
CPU user time (s): 1640.16
CPU system time (s): 159.981
CPU usage (%): 99.686
Max. virtual memory (cumulated for all children) (KiB): 39276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1639.18
system time used= 160.031
maximum resident set size= 13588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30616092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14430632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217085
involuntary context switches= 55607

runsolver used 5.54316 second user time and 13.6229 second system time

The end

Launcher Data 

Begin job on node131 at 2012-05-28 09:25:01
IDJOB=3715626
IDBENCH=78774
IDSOLVER=2297
FILE ID=node131/3715626-1338189901
RUNJOBID= node131-1338189901-20180
PBS_JOBID= 14624570
Free space on /tmp= 71732 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715626-1338189901/watcher-3715626-1338189901 -o /tmp/evaluation-result-3715626-1338189901/solver-3715626-1338189901 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715626-1338189901.wbo 1540721447 HOME HOME

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

MD5SUM BENCH= 8c7284b7ccf7c3e8bad0ea1f2a54ab5e
RANDOM SEED=1540721447

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29813956 kB
Buffers:          351336 kB
Cached:          1870732 kB
SwapCached:         2172 kB
Active:           577428 kB
Inactive:        1647236 kB
Active(anon):       4664 kB
Inactive(anon):      816 kB
Active(file):     572764 kB
Inactive(file):  1646420 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099044 kB
Dirty:             16736 kB
Writeback:             0 kB
AnonPages:          9936 kB
Mapped:            13608 kB
Shmem:                 0 kB
Slab:             694892 kB
SReclaimable:     136908 kB
SUnreclaim:       557984 kB
KernelStack:        1360 kB
PageTables:         4604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     104700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 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= 71708 MiB
End job on node131 at 2012-05-28 09:55:07