Trace number 3715632

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.27 1804.87

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
MD5SUM9a2a28c5bb6a02365b79a03ef797cc3c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.900862
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 constraints64
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 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1221
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.45	o 928
0.00/0.45	c starting approximation
0.00/0.45	c factor = 2
0.00/0.45	c current bound: 464
0.00/0.84	c current bound: 464
1.16/1.24	c current bound: 464
1.55/1.63	c current bound: 464
1.96/2.03	c current bound: 464
2.35/2.42	c current bound: 464
2.74/2.80	c current bound: 464
2.80/3.19	c current bound: 464
3.17/3.59	c current bound: 464
3.56/3.97	c current bound: 464
4.26/4.37	c current bound: 464
4.35/4.76	c current bound: 464
4.75/5.16	c current bound: 464
5.45/5.56	c current bound: 464
5.54/5.96	c current bound: 464
5.93/6.35	c current bound: 464
6.65/6.74	c current bound: 464
6.72/7.14	c current bound: 464
7.46/7.54	c current bound: 464
7.85/7.93	c current bound: 464
8.24/8.32	c current bound: 464
8.65/8.72	c current bound: 464
9.03/9.12	c current bound: 464
9.42/9.52	c current bound: 464
9.75/9.90	c current bound: 464
9.87/10.29	c current bound: 464
10.25/10.68	c current bound: 464
10.96/11.08	c current bound: 464
11.05/11.46	c current bound: 464
11.44/11.86	c current bound: 464
12.14/12.26	c current bound: 464
12.23/12.65	c current bound: 464
12.62/13.04	c current bound: 464
13.36/13.45	c current bound: 464
13.74/13.84	c current bound: 464
14.14/14.24	c current bound: 464
14.55/14.64	c current bound: 464
14.93/15.03	c current bound: 464
15.33/15.42	c current bound: 464
15.71/15.81	c current bound: 464
15.77/16.20	c current bound: 464
16.43/16.59	c current bound: 464
16.56/16.99	c current bound: 464
16.95/17.39	c current bound: 464
17.63/17.77	c current bound: 464
17.73/18.17	c current bound: 464
18.13/18.57	c current bound: 464
18.83/18.96	c current bound: 464
18.91/19.35	c current bound: 464
19.64/19.74	c current bound: 464
20.04/20.13	c current bound: 464
20.44/20.53	c current bound: 464
20.83/20.93	c current bound: 464
21.24/21.32	c current bound: 464
21.62/21.72	c current bound: 464
22.03/22.12	c current bound: 464
22.41/22.51	c current bound: 464
22.80/22.91	c current bound: 464
23.21/23.30	c current bound: 464
23.61/23.71	c current bound: 464
24.03/24.11	c current bound: 464
24.08/24.49	c current bound: 464
24.46/24.88	c current bound: 464
25.14/25.28	c current bound: 464
25.23/25.66	c current bound: 464
25.62/26.06	c current bound: 464
26.34/26.46	c current bound: 464
26.42/26.86	c current bound: 464
26.83/27.26	c current bound: 464
27.55/27.65	c current bound: 464
27.94/28.04	c current bound: 464
28.33/28.42	c current bound: 464
28.73/28.90	c current bound: 464
28.78/29.29	c current bound: 464
29.47/29.69	c current bound: 464
29.57/30.08	c current bound: 464
29.97/30.47	c current bound: 464
30.67/30.86	c current bound: 464
30.75/31.24	c current bound: 464
31.47/31.64	c current bound: 464
31.87/32.04	c current bound: 464
32.27/32.44	c current bound: 464
32.67/32.83	c current bound: 464
33.07/33.23	c current bound: 464
33.45/33.62	c current bound: 464
33.86/34.01	c current bound: 464
34.24/34.41	c current bound: 464
34.64/34.81	c current bound: 464
34.96/35.20	c current bound: 464
35.49/35.60	c current bound: 464
35.49/35.98	c current bound: 464
36.16/36.37	c current bound: 464
36.25/36.76	c current bound: 464
36.65/37.15	c current bound: 464
37.36/37.55	c current bound: 464
37.45/37.94	c current bound: 464
38.16/38.34	c current bound: 464
38.57/38.74	c current bound: 464
38.96/39.14	c current bound: 464
39.36/39.52	c current bound: 464
39.74/39.93	c current bound: 464
40.15/40.32	c current bound: 464
40.54/40.72	c current bound: 464
40.94/41.12	c current bound: 464
41.33/41.52	c current bound: 464
41.74/41.92	c current bound: 464
42.13/42.32	c current bound: 464
42.54/42.72	c current bound: 464
42.93/43.12	c current bound: 464
43.33/43.66	c current bound: 464
43.72/44.06	c current bound: 464
43.79/44.45	c current bound: 464
44.18/44.84	c current bound: 464
44.90/45.23	c current bound: 464
45.29/45.62	c current bound: 464
45.70/46.02	c current bound: 464
46.10/46.42	c current bound: 464
46.50/46.82	c current bound: 464
46.91/47.22	c current bound: 464
47.27/47.60	c current bound: 464
47.33/47.99	c current bound: 464
48.00/48.39	c current bound: 464
48.11/48.78	c current bound: 464
48.51/49.16	c current bound: 464
49.21/49.55	c current bound: 464
49.28/49.95	c current bound: 464
49.67/50.35	c current bound: 464
50.40/50.73	c current bound: 464
50.79/51.13	c current bound: 464
51.20/51.51	c current bound: 464
51.58/51.90	c current bound: 464
51.64/52.29	c current bound: 464
52.02/52.68	c current bound: 464
52.41/53.07	c current bound: 464
52.80/53.47	c current bound: 464
53.51/53.87	c current bound: 464
53.61/54.28	c current bound: 464
54.00/54.67	c current bound: 464
54.71/55.07	c current bound: 464
54.80/55.47	c current bound: 464
55.19/55.87	c current bound: 464
55.89/56.27	c current bound: 464
56.00/56.65	c current bound: 464
56.38/57.05	c current bound: 464
57.09/57.45	c current bound: 464
57.18/57.84	c current bound: 464
57.91/58.23	c current bound: 464
58.29/58.63	c current bound: 464
58.69/59.03	c current bound: 464
59.10/59.43	c current bound: 464
59.50/59.83	c current bound: 464
59.88/60.21	c current bound: 464
60.29/60.61	c current bound: 464
60.68/61.01	c current bound: 464
61.08/61.41	c current bound: 464
61.48/61.81	c current bound: 464
61.54/62.20	c current bound: 464
61.93/62.59	c current bound: 464
62.33/62.99	c current bound: 464
62.73/63.38	c current bound: 464
63.41/63.78	c current bound: 464
63.50/64.17	c current bound: 464
63.91/64.56	c current bound: 464
64.61/64.94	c current bound: 464
65.01/65.34	c current bound: 464
65.41/65.74	c current bound: 464
65.81/66.14	c current bound: 464
66.19/66.52	c current bound: 464
66.59/66.92	c current bound: 464
66.99/67.32	c current bound: 464
67.37/67.72	c current bound: 464
67.79/68.11	c current bound: 464
68.17/68.50	c current bound: 464
68.61/68.90	c current bound: 464
68.90/69.29	c current bound: 464
69.00/69.69	c current bound: 464
69.41/70.08	c current bound: 464
70.10/70.47	c current bound: 464
70.19/70.86	c current bound: 464
70.58/71.26	c current bound: 464
71.28/71.65	c current bound: 464
71.37/72.04	c current bound: 464
72.10/72.44	c current bound: 464
72.48/72.82	c current bound: 464
72.88/73.22	c current bound: 464
73.29/73.61	c current bound: 464
73.66/74.00	c current bound: 464
73.72/74.39	c current bound: 464
74.40/74.79	c current bound: 464
74.50/75.18	c current bound: 464
74.89/75.58	c current bound: 464
75.60/75.97	c current bound: 464
75.69/76.36	c current bound: 464
76.08/76.75	c current bound: 464
76.79/77.15	c current bound: 464
77.19/77.53	c current bound: 464
77.58/77.93	c current bound: 464
77.99/78.33	c current bound: 464
78.38/78.73	c current bound: 464
78.78/79.12	c current bound: 464
79.18/79.52	c current bound: 464
79.56/79.91	c current bound: 464
79.89/80.29	c current bound: 464
80.00/80.69	c current bound: 464
80.40/81.09	c current bound: 464
81.10/81.47	c current bound: 464
81.19/81.87	c current bound: 464
81.58/82.27	c current bound: 464
82.29/82.67	c current bound: 464
82.37/83.06	c current bound: 464
82.77/83.46	c current bound: 464
83.49/83.85	c current bound: 464
83.56/84.25	c current bound: 464
84.30/84.65	c current bound: 464
84.68/85.03	c current bound: 464
85.08/85.43	c current bound: 464
85.47/85.81	c current bound: 464
85.87/86.21	c current bound: 464
86.26/86.61	c current bound: 464
86.66/87.01	c current bound: 464
87.06/87.40	c current bound: 464
87.12/87.79	c current bound: 464
87.77/88.19	c current bound: 464
87.90/88.58	c current bound: 464
88.28/88.97	c current bound: 464
88.99/89.37	c current bound: 464
89.08/89.77	c current bound: 464
89.78/90.18	c current bound: 464
89.88/90.56	c current bound: 464
90.27/90.96	c current bound: 464
90.98/91.35	c current bound: 464
91.38/91.74	c current bound: 464
91.79/92.14	c current bound: 464
91.84/92.54	c current bound: 464
92.59/92.93	c current bound: 464
92.98/93.32	c current bound: 464
93.36/93.86	c current bound: 464
93.43/94.26	c current bound: 464
94.13/94.66	c current bound: 464
94.22/95.06	c current bound: 464
94.62/95.46	c current bound: 464
95.33/95.85	c current bound: 464
95.41/96.25	c current bound: 464
96.14/96.64	c current bound: 464
96.54/97.04	c current bound: 464
96.93/97.43	c current bound: 464
97.33/97.83	c current bound: 464
97.72/98.23	c current bound: 464
98.13/98.64	c current bound: 464
98.54/99.04	c current bound: 464
98.93/99.44	c current bound: 464
99.31/99.82	c current bound: 464
99.71/100.22	c current bound: 464
100.11/100.62	c current bound: 464
100.50/101.01	c current bound: 464
100.90/101.41	c current bound: 464
101.33/101.80	c current bound: 464
101.34/102.18	c current bound: 464
102.01/102.59	c current bound: 464
102.13/102.99	c current bound: 464
102.82/103.39	c current bound: 464
102.93/103.79	c current bound: 464
103.30/104.18	c current bound: 464
103.99/104.57	c current bound: 464
104.08/104.96	c current bound: 464
104.47/105.34	c current bound: 464
105.18/105.75	c current bound: 464
105.25/106.15	c current bound: 464
105.65/106.54	c current bound: 464
106.38/106.95	c current bound: 464
106.45/107.35	c current bound: 464
107.19/107.75	c current bound: 464
107.58/108.13	c current bound: 464
107.97/108.53	c current bound: 464
108.36/108.93	c current bound: 464
108.77/109.33	c current bound: 464
109.16/109.72	c current bound: 464
109.57/110.13	c current bound: 464
109.96/110.52	c current bound: 464
110.36/110.92	c current bound: 464
110.74/111.31	c current bound: 464
111.14/111.71	c current bound: 464
111.56/112.11	c current bound: 464
111.93/112.50	c current bound: 464
112.32/112.90	c current bound: 464
112.67/113.30	c current bound: 464
113.13/113.70	c current bound: 464
113.52/114.10	c current bound: 464
113.93/114.51	c current bound: 464
114.33/114.91	c current bound: 464
114.39/115.29	c current bound: 464
115.06/115.69	c current bound: 464
115.58/116.10	c current bound: 464
115.59/116.49	c current bound: 464
115.98/116.89	c current bound: 464
116.38/117.29	c current bound: 464
117.06/117.69	c current bound: 464
117.17/118.08	c current bound: 464
117.56/118.46	c current bound: 464
118.26/118.86	c current bound: 464
118.35/119.27	c current bound: 464
118.74/119.68	c current bound: 464
119.44/120.08	c current bound: 464
119.55/120.47	c current bound: 464
119.94/120.86	c current bound: 464
120.65/121.24	c current bound: 464
120.72/121.64	c current bound: 464
121.45/122.03	c current bound: 464
121.83/122.42	c current bound: 464
122.22/122.82	c current bound: 464
122.61/123.21	c current bound: 464
123.01/123.61	c current bound: 464
123.41/124.00	c current bound: 464
123.83/124.40	c current bound: 464
124.23/124.80	c current bound: 464
124.25/125.19	c current bound: 464
125.04/125.60	c current bound: 464
125.06/125.98	c current bound: 464
125.43/126.38	c current bound: 464
126.13/126.79	c current bound: 464
126.23/127.19	c current bound: 464
126.91/127.58	c current bound: 464
127.01/127.98	c current bound: 464
127.41/128.38	c current bound: 464
128.12/128.78	c current bound: 464
128.22/129.18	c current bound: 464
128.62/129.58	c current bound: 464
129.32/129.98	c current bound: 464
129.42/130.38	c current bound: 464
129.81/130.78	c current bound: 464
130.51/131.17	c current bound: 464
130.62/131.57	c current bound: 464
131.32/131.95	c current bound: 464
131.40/132.35	c current bound: 464
131.79/132.74	c current bound: 464
132.53/133.14	c current bound: 464
132.59/133.54	c current bound: 464
133.32/133.93	c current bound: 464
133.72/134.33	c current bound: 464
134.10/134.72	c current bound: 464
134.49/135.11	c current bound: 464
134.90/135.52	c current bound: 464
135.29/135.91	c current bound: 464
135.73/136.31	c current bound: 464
136.09/136.71	c current bound: 464
136.48/137.11	c current bound: 464
136.89/137.51	c current bound: 464
137.30/137.91	c current bound: 464
137.69/138.31	c current bound: 464
138.12/138.70	c current bound: 464
138.13/139.08	c current bound: 464
138.51/139.48	c current bound: 464
139.21/139.88	c current bound: 464
139.32/140.29	c current bound: 464
139.72/140.67	c current bound: 464
140.40/141.07	c current bound: 464
140.49/141.46	c current bound: 464
141.20/141.85	c current bound: 464
141.28/142.25	c current bound: 464
141.68/142.64	c current bound: 464
142.39/143.03	c current bound: 464
142.79/143.43	c current bound: 464
143.18/143.81	c current bound: 464
143.58/144.23	c current bound: 464
143.98/144.64	c current bound: 464
144.36/145.02	c current bound: 464
144.75/145.41	c current bound: 464
145.15/145.81	c current bound: 464
145.58/146.21	c current bound: 464
145.61/146.59	c current bound: 464
145.99/146.99	c current bound: 464
146.67/147.40	c current bound: 464
146.78/147.79	c current bound: 464
147.19/148.19	c current bound: 464
147.97/148.60	c current bound: 464
147.98/148.99	c current bound: 464
148.37/149.39	c current bound: 464
149.05/149.78	c current bound: 464
149.16/150.18	c current bound: 464
149.57/150.58	c current bound: 464
150.25/150.99	c current bound: 464
150.36/151.38	c current bound: 464
151.05/151.77	c current bound: 464
151.13/152.17	c current bound: 464
151.54/152.57	c current bound: 464
152.25/152.97	c current bound: 464
152.34/153.36	c current bound: 464
152.72/153.75	c current bound: 464
153.44/154.14	c current bound: 464
153.85/154.54	c current bound: 464
154.25/154.94	c current bound: 464
154.63/155.33	c current bound: 464
155.03/155.72	c current bound: 464
155.45/156.12	c current bound: 464
155.82/156.51	c current bound: 464
156.22/156.91	c current bound: 464
156.62/157.32	c current bound: 464
157.02/157.71	c current bound: 464
157.42/158.11	c current bound: 464
157.81/158.51	c current bound: 464
158.21/158.92	c current bound: 464
158.61/159.32	c current bound: 464
158.99/159.71	c current bound: 464
159.40/160.11	c current bound: 464
159.46/160.49	c current bound: 464
159.85/160.89	c current bound: 464
160.24/161.29	c current bound: 464
160.92/161.69	c current bound: 464
161.44/162.10	c current bound: 464
161.45/162.48	c current bound: 464
162.13/162.87	c current bound: 464
162.22/163.27	c current bound: 464
162.61/163.66	c current bound: 464
163.33/164.05	c current bound: 464
163.73/164.44	c current bound: 464
164.12/164.83	c current bound: 464
164.51/165.22	c current bound: 464
164.90/165.62	c current bound: 464
165.33/166.01	c current bound: 464
165.70/166.41	c current bound: 464
166.11/166.81	c current bound: 464
166.51/167.21	c current bound: 464
166.90/167.61	c current bound: 464
167.30/168.01	c current bound: 464
167.69/168.42	c current bound: 464
168.09/168.81	c current bound: 464
168.48/169.20	c current bound: 464
168.88/169.60	c current bound: 464
168.94/169.99	c current bound: 464
169.33/170.38	c current bound: 464
170.01/170.78	c current bound: 464
170.11/171.18	c current bound: 464
170.82/171.58	c current bound: 464
170.92/171.98	c current bound: 464
171.32/172.38	c current bound: 464
172.02/172.78	c current bound: 464
172.12/173.18	c current bound: 464
172.52/173.57	c current bound: 464
173.21/173.99	c current bound: 464
173.30/174.39	c current bound: 464
173.70/174.79	c current bound: 464
174.09/175.18	c current bound: 464
174.50/175.56	c current bound: 464
175.19/175.96	c current bound: 464
175.27/176.36	c current bound: 464
175.67/176.75	c current bound: 464
176.38/177.14	c current bound: 464
176.45/177.54	c current bound: 464
177.19/177.93	c current bound: 464
177.57/178.32	c current bound: 464
177.96/178.70	c current bound: 464
178.36/179.14	c current bound: 464
178.74/179.54	c current bound: 464
179.14/179.93	c current bound: 464
179.54/180.32	c current bound: 464
179.91/180.71	c current bound: 464
180.32/181.11	c current bound: 464
180.71/181.51	c current bound: 464
181.16/181.90	c current bound: 464
181.17/182.28	c current bound: 464
181.85/182.67	c current bound: 464
181.94/183.07	c current bound: 464
182.33/183.46	c current bound: 464
183.03/183.87	c current bound: 464
183.13/184.27	c current bound: 464
183.52/184.65	c current bound: 464
184.23/185.05	c current bound: 464
184.63/185.43	c current bound: 464
185.02/185.82	c current bound: 464
185.42/186.22	c current bound: 464
185.83/186.62	c current bound: 464
186.23/187.03	c current bound: 464
186.61/187.41	c current bound: 464
187.01/187.81	c current bound: 464
187.44/188.20	c current bound: 464
187.84/188.60	c current bound: 464
187.86/188.99	c current bound: 464
188.60/189.42	c current bound: 464
188.98/189.81	c current bound: 464
189.44/190.20	c current bound: 464
189.79/190.60	c current bound: 464
190.17/191.00	c current bound: 464
190.64/191.41	c current bound: 464
190.98/191.80	c current bound: 464
191.38/192.20	c current bound: 464
191.72/192.59	c current bound: 464
191.83/192.97	c current bound: 464
192.21/193.37	c current bound: 464
192.91/193.76	c current bound: 464
193.00/194.16	c current bound: 464
193.41/194.55	c current bound: 464
194.11/194.96	c current bound: 464
194.20/195.36	c current bound: 464
194.93/195.75	c current bound: 464
194.99/196.15	c current bound: 464
195.72/196.53	c current bound: 464
196.10/196.92	c current bound: 464
196.49/197.31	c current bound: 464
196.89/197.71	c current bound: 464
197.29/198.11	c current bound: 464
197.69/198.51	c current bound: 464
198.10/198.91	c current bound: 464
198.49/199.31	c current bound: 464
198.89/199.71	c current bound: 464
199.34/200.10	c current bound: 464
199.35/200.49	c current bound: 464
199.74/200.89	c current bound: 464
200.42/201.29	c current bound: 464
200.54/201.68	c current bound: 464
200.92/202.08	c current bound: 464
201.61/202.47	c current bound: 464
201.71/202.87	c current bound: 464
202.10/203.27	c current bound: 464
202.80/203.66	c current bound: 464
203.23/204.17	c current bound: 464
203.60/204.56	c current bound: 464
203.68/204.96	c current bound: 464
204.08/205.36	c current bound: 464
204.79/205.76	c current bound: 464
204.87/206.16	c current bound: 464
205.28/206.56	c current bound: 464
205.99/206.96	c current bound: 464
206.08/207.36	c current bound: 464
206.47/207.76	c current bound: 464
207.18/208.16	c current bound: 464
207.27/208.56	c current bound: 464
207.99/208.96	c current bound: 464
208.07/209.36	c current bound: 464
208.47/209.76	c current bound: 464
209.19/210.16	c current bound: 464
209.27/210.55	c current bound: 464
209.99/210.94	c current bound: 464
210.38/211.34	c current bound: 464
210.77/211.72	c current bound: 464
211.16/212.11	c current bound: 464
211.56/212.51	c current bound: 464
211.96/212.91	c current bound: 464
212.38/213.31	c current bound: 464
212.75/213.71	c current bound: 464
213.19/214.14	c current bound: 464
213.54/214.55	c current bound: 464
213.93/214.94	c current bound: 464
214.32/215.33	c current bound: 464
214.72/215.73	c current bound: 464
215.11/216.12	c current bound: 464
215.49/216.51	c current bound: 464
215.89/216.92	c current bound: 464
216.29/217.31	c current bound: 464
216.72/217.71	c current bound: 464
217.08/218.11	c current bound: 464
217.15/218.49	c current bound: 464
217.81/218.89	c current bound: 464
217.93/219.30	c current bound: 464
218.33/219.69	c current bound: 464
219.08/220.10	c current bound: 464
219.51/220.50	c current bound: 464
219.91/220.90	c current bound: 464
220.27/221.30	c current bound: 464
220.32/221.69	c current bound: 464
220.72/222.08	c current bound: 464
221.39/222.48	c current bound: 464
221.51/222.88	c current bound: 464
222.19/223.28	c current bound: 464
222.31/223.67	c current bound: 464
222.69/224.05	c current bound: 464
223.40/224.46	c current bound: 464
223.82/224.84	c current bound: 464
224.21/225.24	c current bound: 464
224.60/225.63	c current bound: 464
224.99/226.02	c current bound: 464
225.40/226.43	c current bound: 464
225.78/226.82	c current bound: 464
226.18/227.22	c current bound: 464
226.59/227.62	c current bound: 464
226.96/228.00	c current bound: 464
227.01/228.40	c current bound: 464
227.70/228.80	c current bound: 464
227.81/229.19	c current bound: 464
228.21/229.58	c current bound: 464
228.89/229.97	c current bound: 464
228.97/230.37	c current bound: 464
229.40/230.78	c current bound: 464
230.09/231.16	c current bound: 464
230.18/231.56	c current bound: 464
230.58/231.96	c current bound: 464
231.28/232.36	c current bound: 464
231.37/232.75	c current bound: 464
232.09/233.13	c current bound: 464
232.49/233.53	c current bound: 464
232.89/233.93	c current bound: 464
233.29/234.33	c current bound: 464
233.67/234.72	c current bound: 464
234.06/235.11	c current bound: 464
234.47/235.51	c current bound: 464
234.90/235.90	c current bound: 464
234.91/236.28	c current bound: 464
235.57/236.69	c current bound: 464
235.69/237.07	c current bound: 464
236.08/237.46	c current bound: 464
236.77/237.85	c current bound: 464
236.85/238.25	c current bound: 464
237.58/238.66	c current bound: 464
237.66/239.06	c current bound: 464
238.06/239.44	c current bound: 464
238.77/239.83	c current bound: 464
239.17/240.23	c current bound: 464
239.55/240.61	c current bound: 464
239.96/241.01	c current bound: 464
240.35/241.41	c current bound: 464
240.77/241.80	c current bound: 464
241.18/242.20	c current bound: 464
241.20/242.59	c current bound: 464
241.58/242.97	c current bound: 464
242.26/243.37	c current bound: 464
242.35/243.77	c current bound: 464
243.10/244.29	c current bound: 464
243.15/244.69	c current bound: 464
243.55/245.09	c current bound: 464
244.23/245.48	c current bound: 464
244.33/245.87	c current bound: 464
244.72/246.27	c current bound: 464
245.42/246.68	c current bound: 464
245.53/247.08	c current bound: 464
246.21/247.48	c current bound: 464
246.32/247.88	c current bound: 464
246.73/248.27	c current bound: 464
247.42/248.67	c current bound: 464
247.51/249.07	c current bound: 464
247.92/249.47	c current bound: 464
248.62/249.87	c current bound: 464
248.71/250.27	c current bound: 464
249.11/250.66	c current bound: 464
249.80/251.05	c current bound: 464
249.89/251.45	c current bound: 464
250.63/251.83	c current bound: 464
251.01/252.23	c current bound: 464
251.41/252.62	c current bound: 464
251.80/253.01	c current bound: 464
252.20/253.41	c current bound: 464
252.60/253.81	c current bound: 464
252.99/254.24	c current bound: 464
253.39/254.64	c current bound: 464
253.78/255.03	c current bound: 464
254.18/255.42	c current bound: 464
254.57/255.82	c current bound: 464
254.99/256.22	c current bound: 464
255.38/256.62	c current bound: 464
255.76/257.00	c current bound: 464
256.09/257.40	c current bound: 464
256.55/257.80	c current bound: 464
256.61/258.19	c current bound: 464
257.30/258.58	c current bound: 464
257.39/258.97	c current bound: 464
257.78/259.36	c current bound: 464
258.48/259.76	c current bound: 464
258.57/260.16	c current bound: 464
258.97/260.55	c current bound: 464
259.69/260.95	c current bound: 464
259.76/261.35	c current bound: 464
260.49/261.74	c current bound: 464
260.89/262.13	c current bound: 464
261.28/262.53	c current bound: 464
261.66/262.92	c current bound: 464
262.05/263.31	c current bound: 464
262.46/263.71	c current bound: 464
262.85/264.10	c current bound: 464
262.90/264.49	c current bound: 464
263.28/264.89	c current bound: 464
263.98/265.28	c current bound: 464
264.08/265.68	c current bound: 464
264.48/266.08	c current bound: 464
265.17/266.48	c current bound: 464
265.27/266.88	c current bound: 464
265.99/267.28	c current bound: 464
266.07/267.66	c current bound: 464
266.46/268.06	c current bound: 464
267.18/268.46	c current bound: 464
267.27/268.86	c current bound: 464
267.67/269.26	c current bound: 464
268.37/269.66	c current bound: 464
268.46/270.06	c current bound: 464
268.85/270.44	c current bound: 464
269.58/270.85	c current bound: 464
269.64/271.24	c current bound: 464
270.38/271.63	c current bound: 464
270.75/272.01	c current bound: 464
271.14/272.41	c current bound: 464
271.47/272.79	c current bound: 464
271.59/273.19	c current bound: 464
271.98/273.58	c current bound: 464
272.67/273.97	c current bound: 464
272.77/274.37	c current bound: 464
273.16/274.76	c current bound: 464
273.87/275.16	c current bound: 464
273.96/275.55	c current bound: 464
274.35/275.95	c current bound: 464
275.07/276.35	c current bound: 464
275.14/276.74	c current bound: 464
275.88/277.15	c current bound: 464
276.27/277.53	c current bound: 464
276.65/277.92	c current bound: 464
277.05/278.31	c current bound: 464
277.45/278.71	c current bound: 464
277.87/279.10	c current bound: 464
278.28/279.50	c current bound: 464
278.67/279.90	c current bound: 464
278.68/280.28	c current bound: 464
279.36/280.68	c current bound: 464
279.47/281.08	c current bound: 464
279.87/281.48	c current bound: 464
280.56/281.87	c current bound: 464
280.65/282.26	c current bound: 464
281.37/282.66	c current bound: 464
281.45/283.05	c current bound: 464
281.84/283.45	c current bound: 464
282.56/283.84	c current bound: 464
282.96/284.23	c current bound: 464
283.36/284.63	c current bound: 464
283.75/285.02	c current bound: 464
284.15/285.42	c current bound: 464
284.55/285.81	c current bound: 464
284.86/286.20	c current bound: 464
285.36/286.60	c current bound: 464
285.38/287.00	c current bound: 464
285.78/287.39	c current bound: 464
286.18/287.78	c current bound: 464
286.86/288.16	c current bound: 464
286.95/288.56	c current bound: 464
287.35/288.96	c current bound: 464
288.07/289.35	c current bound: 464
288.45/289.73	c current bound: 464
288.84/290.11	c current bound: 464
289.23/290.50	c current bound: 464
289.29/290.89	c current bound: 464
289.68/291.27	c current bound: 464
290.36/291.67	c current bound: 464
290.46/292.07	c current bound: 464
290.86/292.47	c current bound: 464
291.55/292.87	c current bound: 464
291.66/293.25	c current bound: 464
292.37/293.64	c current bound: 464
292.77/294.04	c current bound: 464
293.17/294.43	c current bound: 464
293.57/294.83	c current bound: 464
293.96/295.23	c current bound: 464
294.36/295.63	c current bound: 464
294.75/296.03	c current bound: 464
295.15/296.43	c current bound: 464
295.55/296.82	c current bound: 464
295.95/297.22	c current bound: 464
296.34/297.62	c current bound: 464
296.76/298.02	c current bound: 464
297.14/298.42	c current bound: 464
297.53/298.80	c current bound: 464
297.86/299.19	c current bound: 464
297.96/299.57	c current bound: 464
298.36/299.97	c current bound: 464
299.07/300.37	c current bound: 464
299.15/300.77	c current bound: 464
299.54/301.16	c current bound: 464
300.25/301.56	c current bound: 464
300.34/301.96	c current bound: 464
300.73/302.35	c current bound: 464
301.44/302.76	c current bound: 464
301.54/303.15	c current bound: 464
302.25/303.55	c current bound: 464
302.65/303.94	c current bound: 464
303.05/304.37	c current bound: 464
303.42/304.75	c current bound: 464
303.50/305.15	c current bound: 464
304.23/305.54	c current bound: 464
304.63/305.94	c current bound: 464
305.02/306.33	c current bound: 464
305.40/306.72	c current bound: 464
305.79/307.11	c current bound: 464
306.20/307.51	c current bound: 464
306.62/307.91	c current bound: 464
307.00/308.31	c current bound: 464
307.05/308.69	c current bound: 464
307.72/309.09	c current bound: 464
308.22/309.50	c current bound: 464
308.23/309.89	c current bound: 464
308.92/310.29	c current bound: 464
309.03/310.69	c current bound: 464
309.43/311.08	c current bound: 464
310.11/311.47	c current bound: 464
310.21/311.86	c current bound: 464
310.60/312.25	c current bound: 464
311.31/312.63	c current bound: 464
311.70/313.02	c current bound: 464
312.12/313.42	c current bound: 464
312.48/313.80	c current bound: 464
312.88/314.20	c current bound: 464
313.21/314.59	c current bound: 464
313.34/314.98	c current bound: 464
313.72/315.38	c current bound: 464
314.42/315.77	c current bound: 464
314.51/316.18	c current bound: 464
314.91/316.57	c current bound: 464
315.61/316.96	c current bound: 464
315.70/317.36	c current bound: 464
316.10/317.76	c current bound: 464
316.81/318.15	c current bound: 464
317.21/318.53	c current bound: 464
317.62/318.92	c current bound: 464
317.98/319.30	c current bound: 464
318.39/319.70	c current bound: 464
318.82/320.11	c current bound: 464
319.22/320.50	c current bound: 464
319.60/320.90	c current bound: 464
320.00/321.30	c current bound: 464
320.02/321.69	c current bound: 464
320.42/322.09	c current bound: 464
321.10/322.49	c current bound: 464
321.21/322.89	c current bound: 464
321.62/323.28	c current bound: 464
322.29/323.68	c current bound: 464
322.40/324.08	c current bound: 464
323.12/324.48	c current bound: 464
323.20/324.88	c current bound: 464
323.60/325.28	c current bound: 464
324.30/325.67	c current bound: 464
324.39/326.07	c current bound: 464
324.79/326.46	c current bound: 464
325.49/326.85	c current bound: 464
325.57/327.25	c current bound: 464
326.30/327.64	c current bound: 464
326.71/328.04	c current bound: 464
327.09/328.44	c current bound: 464
327.50/328.83	c current bound: 464
327.91/329.23	c current bound: 464
328.29/329.63	c current bound: 464
328.69/330.03	c current bound: 464
329.07/330.42	c current bound: 464
329.46/330.81	c current bound: 464
329.87/331.22	c current bound: 464
330.27/331.61	c current bound: 464
330.67/332.01	c current bound: 464
331.06/332.40	c current bound: 464
331.45/332.80	c current bound: 464
331.90/333.20	c current bound: 464
332.26/333.60	c current bound: 464
332.66/334.00	c current bound: 464
333.00/334.39	c current bound: 464
333.10/334.78	c current bound: 464
333.51/335.17	c current bound: 464
334.21/335.58	c current bound: 464
334.31/335.98	c current bound: 464
334.71/336.36	c current bound: 464
335.39/336.75	c current bound: 464
335.47/337.15	c current bound: 464
336.20/337.54	c current bound: 464
336.59/337.93	c current bound: 464
336.98/338.31	c current bound: 464
337.39/338.71	c current bound: 464
337.43/339.10	c current bound: 464
338.19/339.55	c current bound: 464
338.54/339.96	c current bound: 464
338.60/340.35	c current bound: 464
339.34/340.73	c current bound: 464
339.74/341.13	c current bound: 464
340.13/341.53	c current bound: 464
340.52/341.91	c current bound: 464
340.91/342.31	c current bound: 464
341.30/342.71	c current bound: 464
341.73/343.11	c current bound: 464
342.09/343.50	c current bound: 464
342.53/343.90	c current bound: 464
342.83/344.30	c current bound: 464
343.33/344.70	c current bound: 464
343.36/345.09	c current bound: 464
344.04/345.50	c current bound: 464
344.15/345.89	c current bound: 464
344.55/346.29	c current bound: 464
345.23/346.67	c current bound: 464
345.33/347.07	c current bound: 464
345.73/347.47	c current bound: 464
346.42/347.87	c current bound: 464
346.52/348.27	c current bound: 464
347.23/348.67	c current bound: 464
347.32/349.05	c current bound: 464
348.03/349.44	c current bound: 464
348.43/349.83	c current bound: 464
348.82/350.22	c current bound: 464
349.22/350.62	c current bound: 464
349.62/351.02	c current bound: 464
350.01/351.41	c current bound: 464
350.07/351.79	c current bound: 464
350.73/352.19	c current bound: 464
350.84/352.59	c current bound: 464
351.25/352.99	c current bound: 464
351.65/353.39	c current bound: 464
352.05/353.79	c current bound: 464
352.73/354.19	c current bound: 464
353.24/354.60	c current bound: 464
353.59/355.00	c current bound: 464
353.98/355.40	c current bound: 464
354.03/355.78	c current bound: 464
354.43/356.18	c current bound: 464
355.12/356.57	c current bound: 464
355.22/356.97	c current bound: 464
355.61/357.35	c current bound: 464
356.33/357.75	c current bound: 464
356.73/358.13	c current bound: 464
357.12/358.54	c current bound: 464
357.52/358.94	c current bound: 464
357.91/359.33	c current bound: 464
358.30/359.73	c current bound: 464
358.71/360.13	c current bound: 464
359.11/360.53	c current bound: 464
359.51/360.93	c current bound: 464
359.90/361.33	c current bound: 464
360.30/361.73	c current bound: 464
360.69/362.12	c current bound: 464
361.09/362.52	c current bound: 464
361.49/362.92	c current bound: 464
361.87/363.31	c current bound: 464
361.93/363.69	c current bound: 464
362.62/364.09	c current bound: 464
362.72/364.49	c current bound: 464
363.12/364.89	c current bound: 464
363.81/365.29	c current bound: 464
363.92/365.68	c current bound: 464
364.31/366.07	c current bound: 464
365.00/366.46	c current bound: 464
365.08/366.84	c current bound: 464
365.79/367.23	c current bound: 464
366.19/367.62	c current bound: 464
366.59/368.02	c current bound: 464
367.00/368.42	c current bound: 464
367.38/368.82	c current bound: 464
367.76/369.20	c current bound: 464
368.22/369.60	c current bound: 464
368.23/369.99	c current bound: 464
368.61/370.38	c current bound: 464
369.30/370.77	c current bound: 464
369.39/371.16	c current bound: 464
369.79/371.55	c current bound: 464
370.50/371.93	c current bound: 464
370.90/372.33	c current bound: 464
371.28/372.72	c current bound: 464
371.67/373.11	c current bound: 464
371.72/373.49	c current bound: 464
372.12/373.89	c current bound: 464
372.51/374.28	c current bound: 464
372.90/374.69	c current bound: 464
373.58/375.08	c current bound: 464
373.69/375.48	c current bound: 464
374.09/375.88	c current bound: 464
374.79/376.26	c current bound: 464
374.87/376.67	c current bound: 464
375.27/377.05	c current bound: 464
376.00/377.44	c current bound: 464
376.39/377.83	c current bound: 464
376.79/378.23	c current bound: 464
377.18/378.63	c current bound: 464
377.57/379.03	c current bound: 464
377.98/379.41	c current bound: 464
378.37/379.80	c current bound: 464
378.80/380.20	c current bound: 464
379.10/380.60	c current bound: 464
379.21/380.99	c current bound: 464
379.62/381.38	c current bound: 464
380.30/381.78	c current bound: 464
380.39/382.17	c current bound: 464
380.77/382.56	c current bound: 464
381.48/382.96	c current bound: 464
381.56/383.35	c current bound: 464
381.96/383.75	c current bound: 464
382.70/384.14	c current bound: 464
383.10/384.54	c current bound: 464
383.50/384.94	c current bound: 464
383.88/385.33	c current bound: 464
384.28/385.73	c current bound: 464
384.68/386.12	c current bound: 464
385.09/386.53	c current bound: 464
385.48/386.93	c current bound: 464
385.86/387.31	c current bound: 464
386.26/387.71	c current bound: 464
386.66/388.11	c current bound: 464
387.05/388.51	c current bound: 464
387.47/388.91	c current bound: 464
387.53/389.30	c current bound: 464
387.90/389.68	c current bound: 464
388.29/390.08	c current bound: 464
388.99/390.48	c current bound: 464
389.08/390.88	c current bound: 464
389.48/391.27	c current bound: 464
390.19/391.67	c current bound: 464
390.29/392.07	c current bound: 464
390.68/392.46	c current bound: 464
391.38/392.86	c current bound: 464
391.46/393.25	c current bound: 464
392.19/393.63	c current bound: 464
392.58/394.04	c current bound: 464
392.98/394.43	c current bound: 464
393.38/394.82	c current bound: 464
393.75/395.20	c current bound: 464
394.16/395.60	c current bound: 464
394.50/395.99	c current bound: 464
394.61/396.39	c current bound: 464
395.00/396.78	c current bound: 464
395.68/397.19	c current bound: 464
395.79/397.58	c current bound: 464
396.19/397.98	c current bound: 464
396.88/398.38	c current bound: 464
396.99/398.78	c current bound: 464
397.39/399.18	c current bound: 464
398.09/399.58	c current bound: 464
398.19/399.97	c current bound: 464
398.89/400.36	c current bound: 464
398.96/400.76	c current bound: 464
399.35/401.16	c current bound: 464
400.07/401.55	c current bound: 464
400.15/401.95	c current bound: 464
400.54/402.34	c current bound: 464
401.26/402.74	c current bound: 464
401.67/403.13	c current bound: 464
402.06/403.53	c current bound: 464
402.45/403.93	c current bound: 464
402.86/404.33	c current bound: 464
403.27/404.74	c current bound: 464
403.63/405.12	c current bound: 464
404.03/405.52	c current bound: 464
404.43/405.92	c current bound: 464
404.82/406.31	c current bound: 464
404.87/406.69	c current bound: 464
405.54/407.08	c current bound: 464
405.64/407.48	c current bound: 464
406.05/407.88	c current bound: 464
406.73/408.28	c current bound: 464
406.84/408.68	c current bound: 464
407.23/409.08	c current bound: 464
407.92/409.48	c current bound: 464
408.03/409.87	c current bound: 464
408.74/410.26	c current bound: 464
408.82/410.65	c current bound: 464
409.53/411.04	c current bound: 464
409.91/411.43	c current bound: 464
410.31/411.81	c current bound: 464
410.37/412.19	c current bound: 464
411.09/412.60	c current bound: 464
411.53/413.00	c current bound: 464
411.54/413.39	c current bound: 464
412.33/413.80	c current bound: 464
412.72/414.20	c current bound: 464
412.74/414.58	c current bound: 464
413.13/414.98	c current bound: 464
413.52/415.37	c current bound: 464
414.22/415.76	c current bound: 464
414.30/416.15	c current bound: 464
414.69/416.55	c current bound: 464
415.41/416.96	c current bound: 464
415.49/417.35	c current bound: 464
415.90/417.75	c current bound: 464
416.62/418.14	c current bound: 464
417.01/418.54	c current bound: 464
417.41/418.94	c current bound: 464
417.81/419.34	c current bound: 464
418.21/419.74	c current bound: 464
418.59/420.16	c current bound: 464
418.67/420.56	c current bound: 464
419.06/420.96	c current bound: 464
419.78/421.36	c current bound: 464
419.87/421.75	c current bound: 464
420.58/422.14	c current bound: 464
420.98/422.54	c current bound: 464
421.37/422.92	c current bound: 464
421.77/423.32	c current bound: 464
422.16/423.72	c current bound: 464
422.56/424.12	c current bound: 464
422.98/424.51	c current bound: 464
423.35/424.90	c current bound: 464
423.78/425.30	c current bound: 464
424.07/425.70	c current bound: 464
424.20/426.09	c current bound: 464
424.59/426.49	c current bound: 464
425.29/426.89	c current bound: 464
425.38/427.28	c current bound: 464
425.78/427.68	c current bound: 464
426.45/428.08	c current bound: 464
426.55/428.48	c current bound: 464
426.95/428.88	c current bound: 464
427.65/429.27	c current bound: 464
427.76/429.67	c current bound: 464
428.45/430.08	c current bound: 464
428.55/430.48	c current bound: 464
428.95/430.87	c current bound: 464
429.65/431.28	c current bound: 464
429.75/431.67	c current bound: 464
430.15/432.06	c current bound: 464
430.85/432.46	c current bound: 464
430.93/432.86	c current bound: 464
431.33/433.25	c current bound: 464
432.04/433.65	c current bound: 464
432.11/434.04	c current bound: 464
432.85/434.44	c current bound: 464
433.24/434.87	c current bound: 464
433.30/435.27	c current bound: 464
434.01/435.67	c current bound: 464
434.10/436.07	c current bound: 464
434.50/436.47	c current bound: 464
435.21/436.87	c current bound: 464
435.30/437.26	c current bound: 464
435.69/437.66	c current bound: 464
436.40/438.05	c current bound: 464
436.81/438.43	c current bound: 464
437.23/438.83	c current bound: 464
437.61/439.23	c current bound: 464
438.00/439.62	c current bound: 464
438.39/440.02	c current bound: 464
438.78/440.41	c current bound: 464
439.17/440.81	c current bound: 464
439.61/441.20	c current bound: 464
439.63/441.59	c current bound: 464
440.00/441.98	c current bound: 464
440.70/442.38	c current bound: 464
440.79/442.78	c current bound: 464
441.20/443.17	c current bound: 464
441.89/443.58	c current bound: 464
441.99/443.97	c current bound: 464
442.68/444.36	c current bound: 464
442.77/444.76	c current bound: 464
443.17/445.16	c current bound: 464
443.89/445.56	c current bound: 464
443.97/445.96	c current bound: 464
444.37/446.34	c current bound: 464
445.07/446.74	c current bound: 464
445.48/447.13	c current bound: 464
445.87/447.53	c current bound: 464
446.28/447.93	c current bound: 464
446.67/448.33	c current bound: 464
447.08/448.73	c current bound: 464
447.47/449.13	c current bound: 464
447.87/449.52	c current bound: 464
448.27/449.94	c current bound: 464
448.66/450.34	c current bound: 464
449.06/450.73	c current bound: 464
449.46/451.14	c current bound: 464
449.87/451.54	c current bound: 464
450.25/451.93	c current bound: 464
450.64/452.33	c current bound: 464
451.04/452.72	c current bound: 464
451.46/453.11	c current bound: 464
451.83/453.51	c current bound: 464
452.27/453.90	c current bound: 464
452.56/454.30	c current bound: 464
452.69/454.69	c current bound: 464
453.07/455.09	c current bound: 464
453.75/455.48	c current bound: 464
453.86/455.88	c current bound: 464
454.26/456.28	c current bound: 464
454.94/456.69	c current bound: 464
455.05/457.09	c current bound: 464
455.46/457.47	c current bound: 464
456.14/457.87	c current bound: 464
456.23/458.25	c current bound: 464
456.95/458.64	c current bound: 464
457.34/459.04	c current bound: 464
457.74/459.43	c current bound: 464
458.14/459.83	c current bound: 464
458.53/460.22	c current bound: 464
458.91/460.61	c current bound: 464
459.35/461.00	c current bound: 464
459.74/461.40	c current bound: 464
460.14/461.80	c current bound: 464
460.50/462.20	c current bound: 464
460.89/462.60	c current bound: 464
460.95/463.00	c current bound: 464
461.36/463.39	c current bound: 464
461.74/463.79	c current bound: 464
462.43/464.19	c current bound: 464
462.53/464.59	c current bound: 464
462.94/464.98	c current bound: 464
463.67/465.43	c current bound: 464
464.06/465.81	c current bound: 464
464.45/466.21	c current bound: 464
464.85/466.61	c current bound: 464
465.25/467.00	c current bound: 464
465.30/467.40	c current bound: 464
466.08/467.80	c current bound: 464
466.47/468.20	c current bound: 464
466.76/468.60	c current bound: 464
466.90/468.99	c current bound: 464
467.29/469.39	c current bound: 464
468.08/469.80	c current bound: 464
468.47/470.20	c current bound: 464
468.48/470.58	c current bound: 464
469.18/470.97	c current bound: 464
469.26/471.36	c current bound: 464
469.65/471.76	c current bound: 464
470.36/472.16	c current bound: 464
470.44/472.55	c current bound: 464
471.16/472.95	c current bound: 464
471.56/473.34	c current bound: 464
471.97/473.74	c current bound: 464
472.36/474.14	c current bound: 464
472.76/474.54	c current bound: 464
473.16/474.93	c current bound: 464
473.56/475.34	c current bound: 464
473.96/475.73	c current bound: 464
474.37/476.13	c current bound: 464
474.75/476.53	c current bound: 464
475.15/476.92	c current bound: 464
475.56/477.33	c current bound: 464
475.94/477.72	c current bound: 464
476.32/478.11	c current bound: 464
476.66/478.50	c current bound: 464
476.77/478.89	c current bound: 464
477.16/479.27	c current bound: 464
477.83/479.67	c current bound: 464
477.93/480.07	c current bound: 464
478.34/480.48	c current bound: 464
479.03/480.87	c current bound: 464
479.12/481.25	c current bound: 464
479.49/481.65	c current bound: 464
480.22/482.05	c current bound: 464
480.63/482.44	c current bound: 464
481.03/482.83	c current bound: 464
481.39/483.21	c current bound: 464
481.78/483.60	c current bound: 464
482.12/483.99	c current bound: 464
482.23/484.39	c current bound: 464
482.63/484.78	c current bound: 464
483.32/485.17	c current bound: 464
483.41/485.56	c current bound: 464
483.80/485.95	c current bound: 464
484.52/486.34	c current bound: 464
484.91/486.73	c current bound: 464
485.31/487.13	c current bound: 464
485.69/487.53	c current bound: 464
486.08/487.92	c current bound: 464
486.52/488.31	c current bound: 464
486.54/488.69	c current bound: 464
486.92/489.08	c current bound: 464
487.60/489.47	c current bound: 464
487.69/489.87	c current bound: 464
488.09/490.27	c current bound: 464
488.80/490.68	c current bound: 464
488.90/491.08	c current bound: 464
489.30/491.46	c current bound: 464
489.99/491.87	c current bound: 464
490.09/492.27	c current bound: 464
490.50/492.65	c current bound: 464
491.19/493.06	c current bound: 464
491.27/493.46	c current bound: 464
492.00/493.84	c current bound: 464
492.40/494.24	c current bound: 464
492.80/494.64	c current bound: 464
493.19/495.03	c current bound: 464
493.57/495.41	c current bound: 464
493.97/495.81	c current bound: 464
494.36/496.21	c current bound: 464
494.76/496.60	c current bound: 464
494.83/496.99	c current bound: 464
495.49/497.37	c current bound: 464
495.60/497.76	c current bound: 464
495.99/498.16	c current bound: 464
496.69/498.56	c current bound: 464
496.78/498.95	c current bound: 464
497.50/499.33	c current bound: 464
497.89/499.73	c current bound: 464
498.28/500.12	c current bound: 464
498.68/500.52	c current bound: 464
499.07/500.90	c current bound: 464
499.47/501.30	c current bound: 464
499.87/501.70	c current bound: 464
500.26/502.10	c current bound: 464
500.67/502.50	c current bound: 464
501.06/502.90	c current bound: 464
501.46/503.30	c current bound: 464
501.52/503.69	c current bound: 464
501.91/504.09	c current bound: 464
502.29/504.49	c current bound: 464
502.99/504.89	c current bound: 464
503.10/505.29	c current bound: 464
503.50/505.68	c current bound: 464
504.18/506.08	c current bound: 464
504.28/506.48	c current bound: 464
504.69/506.88	c current bound: 464
505.37/507.28	c current bound: 464
505.48/507.68	c current bound: 464
505.88/508.07	c current bound: 464
506.57/508.47	c current bound: 464
506.68/508.87	c current bound: 464
507.38/509.27	c current bound: 464
507.48/509.67	c current bound: 464
507.88/510.06	c current bound: 464
508.57/510.45	c current bound: 464
508.65/510.85	c current bound: 464
509.06/511.24	c current bound: 464
509.76/511.65	c current bound: 464
509.84/512.05	c current bound: 464
510.24/512.45	c current bound: 464
510.96/512.85	c current bound: 464
511.06/513.25	c current bound: 464
511.78/513.65	c current bound: 464
511.84/514.05	c current bound: 464
512.24/514.45	c current bound: 464
512.98/514.84	c current bound: 464
513.03/515.26	c current bound: 464
513.44/515.65	c current bound: 464
514.15/516.05	c current bound: 464
514.23/516.44	c current bound: 464
514.94/516.83	c current bound: 464
515.35/517.23	c current bound: 464
515.75/517.63	c current bound: 464
516.15/518.03	c current bound: 464
516.52/518.42	c current bound: 464
516.92/518.81	c current bound: 464
517.26/519.20	c current bound: 464
517.37/519.58	c current bound: 464
517.76/519.98	c current bound: 464
518.46/520.38	c current bound: 464
518.55/520.78	c current bound: 464
518.96/521.16	c current bound: 464
519.64/521.57	c current bound: 464
519.74/521.97	c current bound: 464
520.14/522.37	c current bound: 464
520.85/522.77	c current bound: 464
520.94/523.16	c current bound: 464
521.65/523.56	c current bound: 464
521.72/523.96	c current bound: 464
522.12/524.36	c current bound: 464
522.84/524.76	c current bound: 464
522.92/525.15	c current bound: 464
523.30/525.55	c current bound: 464
524.02/525.95	c current bound: 464
524.43/526.34	c current bound: 464
524.83/526.73	c current bound: 464
525.22/527.13	c current bound: 464
525.60/527.52	c current bound: 464
526.03/527.90	c current bound: 464
526.38/528.30	c current bound: 464
526.79/528.70	c current bound: 464
527.24/529.10	c current bound: 464
527.58/529.50	c current bound: 464
527.65/529.89	c current bound: 464
528.38/530.30	c current bound: 464
528.78/530.70	c current bound: 464
529.18/531.10	c current bound: 464
529.59/531.51	c current bound: 464
529.99/531.91	c current bound: 464
530.42/532.31	c current bound: 464
530.79/532.71	c current bound: 464
531.18/533.10	c current bound: 464
531.58/533.51	c current bound: 464
531.98/533.91	c current bound: 464
532.38/534.31	c current bound: 464
532.78/534.71	c current bound: 464
533.19/535.11	c current bound: 464
533.58/535.51	c current bound: 464
533.98/535.91	c current bound: 464
534.39/536.31	c current bound: 464
534.80/536.71	c current bound: 464
535.19/537.11	c current bound: 464
535.25/537.49	c current bound: 464
535.90/537.89	c current bound: 464
536.42/538.30	c current bound: 464
536.81/538.70	c current bound: 464
537.17/539.10	c current bound: 464
537.22/539.48	c current bound: 464
537.62/539.88	c current bound: 464
538.31/540.28	c current bound: 464
538.41/540.68	c current bound: 464
538.80/541.07	c current bound: 464
539.49/541.47	c current bound: 464
539.60/541.87	c current bound: 464
540.31/542.27	c current bound: 464
540.39/542.67	c current bound: 464
540.79/543.07	c current bound: 464
541.50/543.47	c current bound: 464
541.59/543.85	c current bound: 464
541.98/544.24	c current bound: 464
542.70/544.63	c current bound: 464
543.10/545.03	c current bound: 464
543.51/545.43	c current bound: 464
543.89/545.83	c current bound: 464
544.28/546.21	c current bound: 464
544.33/546.60	c current bound: 464
544.72/546.99	c current bound: 464
545.11/547.39	c current bound: 464
545.80/547.79	c current bound: 464
545.91/548.19	c current bound: 464
546.31/548.59	c current bound: 464
547.00/548.99	c current bound: 464
547.11/549.39	c current bound: 464
547.51/549.79	c current bound: 464
548.19/550.19	c current bound: 464
548.30/550.58	c current bound: 464
548.69/550.96	c current bound: 464
549.38/551.35	c current bound: 464
549.46/551.75	c current bound: 464
550.20/552.14	c current bound: 464
550.60/552.54	c current bound: 464
550.98/552.93	c current bound: 464
551.39/553.33	c current bound: 464
551.77/553.72	c current bound: 464
552.15/554.11	c current bound: 464
552.56/554.51	c current bound: 464
552.97/554.91	c current bound: 464
553.36/555.35	c current bound: 464
553.74/555.75	c current bound: 464
554.15/556.14	c current bound: 464
554.56/556.54	c current bound: 464
554.94/556.93	c current bound: 464
555.34/557.33	c current bound: 464
555.74/557.73	c current bound: 464
556.14/558.13	c current bound: 464
556.54/558.52	c current bound: 464
556.94/558.93	c current bound: 464
557.34/559.33	c current bound: 464
557.72/559.72	c current bound: 464
558.13/560.12	c current bound: 464
558.53/560.52	c current bound: 464
558.95/560.91	c current bound: 464
559.31/561.31	c current bound: 464
559.71/561.71	c current bound: 464
560.11/562.11	c current bound: 464
560.50/562.51	c current bound: 464
560.57/562.89	c current bound: 464
561.33/563.30	c current bound: 464
561.35/563.70	c current bound: 464
561.74/564.09	c current bound: 464
562.52/564.50	c current bound: 464
562.55/564.88	c current bound: 464
562.92/565.28	c current bound: 464
563.33/565.68	c current bound: 464
563.72/566.08	c current bound: 464
564.40/566.49	c current bound: 464
564.53/566.89	c current bound: 464
564.92/567.29	c current bound: 464
565.61/567.68	c current bound: 464
565.71/568.07	c current bound: 464
566.10/568.46	c current bound: 464
566.80/568.85	c current bound: 464
566.89/569.25	c current bound: 464
567.29/569.65	c current bound: 464
568.00/570.05	c current bound: 464
568.42/570.44	c current bound: 464
568.82/570.84	c current bound: 464
569.22/571.24	c current bound: 464
569.61/571.62	c current bound: 464
569.99/572.02	c current bound: 464
570.38/572.40	c current bound: 464
570.43/572.79	c current bound: 464
571.12/573.19	c current bound: 464
571.23/573.59	c current bound: 464
571.62/573.98	c current bound: 464
572.30/574.38	c current bound: 464
572.40/574.76	c current bound: 464
572.79/575.15	c current bound: 464
573.49/575.54	c current bound: 464
573.90/575.94	c current bound: 464
574.30/576.33	c current bound: 464
574.68/576.71	c current bound: 464
575.07/577.11	c current bound: 464
575.39/577.50	c current bound: 464
575.52/577.88	c current bound: 464
575.90/578.27	c current bound: 464
576.59/578.66	c current bound: 464
576.68/579.05	c current bound: 464
577.06/579.45	c current bound: 464
577.78/579.86	c current bound: 464
577.86/580.25	c current bound: 464
578.25/580.66	c current bound: 464
578.97/581.06	c current bound: 464
579.06/581.44	c current bound: 464
579.80/581.85	c current bound: 464
580.18/582.24	c current bound: 464
580.58/582.62	c current bound: 464
580.96/583.01	c current bound: 464
581.35/583.40	c current bound: 464
581.76/583.80	c current bound: 464
582.18/584.20	c current bound: 464
582.20/584.58	c current bound: 464
582.58/584.97	c current bound: 464
583.27/585.37	c current bound: 464
583.37/585.78	c current bound: 464
583.77/586.17	c current bound: 464
584.46/586.58	c current bound: 464
584.58/586.96	c current bound: 464
585.27/587.37	c current bound: 464
585.36/587.76	c current bound: 464
585.76/588.16	c current bound: 464
586.49/588.55	c current bound: 464
586.54/588.95	c current bound: 464
587.26/589.33	c current bound: 464
587.67/589.73	c current bound: 464
588.06/590.13	c current bound: 464
588.46/590.52	c current bound: 464
588.86/590.92	c current bound: 464
589.26/591.32	c current bound: 464
589.66/591.72	c current bound: 464
590.06/592.12	c current bound: 464
590.45/592.52	c current bound: 464
590.84/592.91	c current bound: 464
591.23/593.31	c current bound: 464
591.65/593.71	c current bound: 464
592.04/594.11	c current bound: 464
592.44/594.51	c current bound: 464
592.83/594.91	c current bound: 464
593.23/595.31	c current bound: 464
593.63/595.70	c current bound: 464
593.67/596.10	c current bound: 464
594.07/596.49	c current bound: 464
594.45/596.87	c current bound: 464
595.15/597.27	c current bound: 464
595.25/597.66	c current bound: 464
595.63/598.05	c current bound: 464
596.36/598.44	c current bound: 464
596.75/598.83	c current bound: 464
597.13/599.21	c current bound: 464
597.53/599.61	c current bound: 464
597.92/600.01	c current bound: 464
598.32/600.41	c current bound: 464
598.72/600.81	c current bound: 464
598.78/601.19	c current bound: 464
599.16/601.59	c current bound: 464
599.57/601.99	c current bound: 464
599.98/602.38	c current bound: 464
600.66/602.77	c current bound: 464
600.76/603.16	c current bound: 464
601.13/603.56	c current bound: 464
601.87/603.95	c current bound: 464
601.94/604.35	c current bound: 464
602.66/604.73	c current bound: 464
603.05/605.12	c current bound: 464
603.43/605.53	c current bound: 464
603.83/605.92	c current bound: 464
604.25/606.33	c current bound: 464
604.65/606.73	c current bound: 464
605.05/607.12	c current bound: 464
605.43/607.51	c current bound: 464
605.82/607.91	c current bound: 464
606.15/608.30	c current bound: 464
606.27/608.69	c current bound: 464
606.67/609.09	c current bound: 464
607.36/609.48	c current bound: 464
607.45/609.88	c current bound: 464
607.85/610.28	c current bound: 464
608.55/610.68	c current bound: 464
608.65/611.06	c current bound: 464
609.03/611.46	c current bound: 464
609.74/611.86	c current bound: 464
609.83/612.26	c current bound: 464
610.55/612.66	c current bound: 464
610.63/613.05	c current bound: 464
611.02/613.45	c current bound: 464
611.75/613.84	c current bound: 464
612.16/614.24	c current bound: 464
612.56/614.64	c current bound: 464
612.94/615.03	c current bound: 464
613.33/615.42	c current bound: 464
613.72/615.81	c current bound: 464
614.13/616.21	c current bound: 464
614.55/616.60	c current bound: 464
614.57/616.98	c current bound: 464
615.25/617.38	c current bound: 464
615.34/617.77	c current bound: 464
616.04/618.17	c current bound: 464
616.13/618.56	c current bound: 464
616.53/618.96	c current bound: 464
617.25/619.37	c current bound: 464
617.33/619.76	c current bound: 464
617.73/620.15	c current bound: 464
618.44/620.53	c current bound: 464
618.82/620.92	c current bound: 464
619.21/621.32	c current bound: 464
619.62/621.71	c current bound: 464
620.01/622.11	c current bound: 464
620.06/622.50	c current bound: 464
620.46/622.89	c current bound: 464
620.84/623.29	c current bound: 464
621.53/623.68	c current bound: 464
621.64/624.06	c current bound: 464
622.02/624.47	c current bound: 464
622.73/624.87	c current bound: 464
622.82/625.25	c current bound: 464
623.20/625.65	c current bound: 464
623.92/626.05	c current bound: 464
624.33/626.44	c current bound: 464
624.73/626.83	c current bound: 464
625.13/627.24	c current bound: 464
625.53/627.63	c current bound: 464
625.94/628.03	c current bound: 464
626.31/628.41	c current bound: 464
626.70/628.81	c current bound: 464
627.11/629.21	c current bound: 464
627.16/629.59	c current bound: 464
627.55/629.99	c current bound: 464
628.24/630.39	c current bound: 464
628.35/630.77	c current bound: 464
628.74/631.17	c current bound: 464
629.44/631.57	c current bound: 464
629.54/631.97	c current bound: 464
629.94/632.37	c current bound: 464
630.63/632.77	c current bound: 464
630.73/633.16	c current bound: 464
631.45/633.55	c current bound: 464
631.52/633.95	c current bound: 464
632.24/634.34	c current bound: 464
632.65/634.74	c current bound: 464
633.03/635.13	c current bound: 464
633.43/635.52	c current bound: 464
633.83/635.91	c current bound: 464
634.23/636.31	c current bound: 464
634.62/636.71	c current bound: 464
635.03/637.11	c current bound: 464
635.42/637.51	c current bound: 464
635.47/637.89	c current bound: 464
635.86/638.29	c current bound: 464
636.25/638.68	c current bound: 464
636.96/639.07	c current bound: 464
637.05/639.47	c current bound: 464
637.44/639.87	c current bound: 464
638.14/640.27	c current bound: 464
638.24/640.68	c current bound: 464
638.64/641.08	c current bound: 464
639.34/641.47	c current bound: 464
639.44/641.87	c current bound: 464
639.83/642.26	c current bound: 464
640.53/642.65	c current bound: 464
640.94/643.04	c current bound: 464
641.34/643.44	c current bound: 464
641.73/643.84	c current bound: 464
642.13/644.24	c current bound: 464
642.53/644.62	c current bound: 464
642.91/645.01	c current bound: 464
643.31/645.40	c current bound: 464
643.64/645.79	c current bound: 464
643.75/646.19	c current bound: 464
644.15/646.59	c current bound: 464
644.85/646.98	c current bound: 464
644.95/647.37	c current bound: 464
645.33/647.76	c current bound: 464
646.03/648.14	c current bound: 464
646.44/648.54	c current bound: 464
646.85/648.94	c current bound: 464
647.24/649.33	c current bound: 464
647.62/649.72	c current bound: 464
648.01/650.11	c current bound: 464
648.41/650.50	c current bound: 464
648.46/650.89	c current bound: 464
649.14/651.29	c current bound: 464
649.25/651.69	c current bound: 464
649.65/652.09	c current bound: 464
650.34/652.48	c current bound: 464
650.46/652.88	c current bound: 464
650.85/653.26	c current bound: 464
651.54/653.66	c current bound: 464
651.63/654.06	c current bound: 464
652.35/654.46	c current bound: 464
652.43/654.86	c current bound: 464
653.15/655.24	c current bound: 464
653.55/655.69	c current bound: 464
653.61/656.09	c current bound: 464
654.01/656.48	c current bound: 464
654.69/656.88	c current bound: 464
654.79/657.28	c current bound: 464
655.19/657.67	c current bound: 464
655.89/658.07	c current bound: 464
655.98/658.47	c current bound: 464
656.69/658.86	c current bound: 464
656.78/659.26	c current bound: 464
657.17/659.66	c current bound: 464
657.91/660.04	c current bound: 464
657.96/660.44	c current bound: 464
658.70/660.84	c current bound: 464
659.10/661.24	c current bound: 464
659.50/661.64	c current bound: 464
659.89/662.02	c current bound: 464
660.28/662.42	c current bound: 464
660.67/662.81	c current bound: 464
661.10/663.20	c current bound: 464
661.46/663.60	c current bound: 464
661.85/664.00	c current bound: 464
662.20/664.40	c current bound: 464
662.32/664.79	c current bound: 464
662.71/665.19	c current bound: 464
663.40/665.59	c current bound: 464
663.52/665.99	c current bound: 464
663.90/666.39	c current bound: 464
664.59/666.77	c current bound: 464
664.69/667.17	c current bound: 464
665.09/667.57	c current bound: 464
665.80/667.96	c current bound: 464
665.88/668.36	c current bound: 464
666.60/668.76	c current bound: 464
666.68/669.15	c current bound: 464
667.08/669.55	c current bound: 464
667.79/669.93	c current bound: 464
668.19/670.33	c current bound: 464
668.59/670.73	c current bound: 464
668.99/671.12	c current bound: 464
669.38/671.52	c current bound: 464
669.78/671.92	c current bound: 464
670.18/672.32	c current bound: 464
670.57/672.70	c current bound: 464
670.63/673.09	c current bound: 464
671.02/673.48	c current bound: 464
671.41/673.88	c current bound: 464
672.11/674.28	c current bound: 464
672.21/674.67	c current bound: 464
672.60/675.06	c current bound: 464
673.31/675.46	c current bound: 464
673.38/675.84	c current bound: 464
673.77/676.24	c current bound: 464
674.51/676.64	c current bound: 464
674.90/677.03	c current bound: 464
675.30/677.42	c current bound: 464
675.69/677.82	c current bound: 464
676.08/678.22	c current bound: 464
676.51/678.62	c current bound: 464
676.88/679.02	c current bound: 464
677.29/679.42	c current bound: 464
677.69/679.82	c current bound: 464
678.07/680.20	c current bound: 464
678.46/680.60	c current bound: 464
678.80/680.99	c current bound: 464
678.91/681.38	c current bound: 464
679.30/681.78	c current bound: 464
679.99/682.18	c current bound: 464
680.10/682.56	c current bound: 464
680.48/682.96	c current bound: 464
681.19/683.35	c current bound: 464
681.26/683.74	c current bound: 464
682.01/684.14	c current bound: 464
682.06/684.54	c current bound: 464
682.80/684.94	c current bound: 464
683.19/685.32	c current bound: 464
683.59/685.73	c current bound: 464
683.98/686.11	c current bound: 464
684.36/686.50	c current bound: 464
684.76/686.90	c current bound: 464
684.81/687.29	c current bound: 464
685.49/687.68	c current bound: 464
685.60/688.06	c current bound: 464
685.98/688.45	c current bound: 464
686.69/688.85	c current bound: 464
687.08/689.23	c current bound: 464
687.50/689.63	c current bound: 464
687.88/690.02	c current bound: 464
688.28/690.42	c current bound: 464
688.67/690.82	c current bound: 464
689.06/691.21	c current bound: 464
689.46/691.61	c current bound: 464
689.85/692.00	c current bound: 464
690.25/692.40	c current bound: 464
690.69/692.80	c current bound: 464
691.08/693.20	c current bound: 464
691.10/693.59	c current bound: 464
691.50/693.99	c current bound: 464
691.90/694.39	c current bound: 464
692.29/694.79	c current bound: 464
692.98/695.19	c current bound: 464
693.10/695.58	c current bound: 464
693.49/695.97	c current bound: 464
694.19/696.37	c current bound: 464
694.28/696.76	c current bound: 464
694.66/697.16	c current bound: 464
695.37/697.56	c current bound: 464
695.45/697.95	c current bound: 464
695.85/698.34	c current bound: 464
696.57/698.73	c current bound: 464
696.97/699.13	c current bound: 464
697.39/699.51	c current bound: 464
697.77/699.91	c current bound: 464
698.16/700.31	c current bound: 464
698.56/700.76	c current bound: 464
698.61/701.15	c current bound: 464
698.99/701.55	c current bound: 464
699.73/701.94	c current bound: 464
699.79/702.34	c current bound: 464
700.53/702.74	c current bound: 464
700.92/703.13	c current bound: 464
701.32/703.52	c current bound: 464
701.73/703.92	c current bound: 464
702.11/704.31	c current bound: 464
702.50/704.71	c current bound: 464
702.83/705.09	c current bound: 464
702.95/705.49	c current bound: 464
703.34/705.88	c current bound: 464
704.03/706.27	c current bound: 464
704.13/706.66	c current bound: 464
704.51/707.06	c current bound: 464
705.22/707.46	c current bound: 464
705.30/707.84	c current bound: 464
706.02/708.23	c current bound: 464
706.43/708.62	c current bound: 464
706.82/709.02	c current bound: 464
707.23/709.42	c current bound: 464
707.59/709.80	c current bound: 464
707.65/710.18	c current bound: 464
708.32/710.58	c current bound: 464
708.44/710.98	c current bound: 464
708.83/711.38	c current bound: 464
709.53/711.78	c current bound: 464
709.63/712.17	c current bound: 464
710.03/712.57	c current bound: 464
710.73/712.96	c current bound: 464
710.82/713.35	c current bound: 464
711.54/713.74	c current bound: 464
711.93/714.13	c current bound: 464
712.32/714.53	c current bound: 464
712.74/714.93	c current bound: 464
713.13/715.32	c current bound: 464
713.53/715.72	c current bound: 464
713.93/716.12	c current bound: 464
714.32/716.52	c current bound: 464
714.72/716.92	c current bound: 464
715.13/717.31	c current bound: 464
715.55/717.70	c current bound: 464
715.94/718.10	c current bound: 464
716.24/718.48	c current bound: 464
716.34/718.88	c current bound: 464
716.75/719.26	c current bound: 464
717.43/719.66	c current bound: 464
717.51/720.04	c current bound: 464
718.24/720.44	c current bound: 464
718.69/720.90	c current bound: 464
718.70/721.29	c current bound: 464
719.38/721.69	c current bound: 464
719.49/722.09	c current bound: 464
719.88/722.49	c current bound: 464
720.58/722.88	c current bound: 464
720.68/723.29	c current bound: 464
721.08/723.68	c current bound: 464
721.48/724.07	c current bound: 464
721.86/724.47	c current bound: 464
722.58/724.87	c current bound: 464
722.67/725.27	c current bound: 464
723.07/725.67	c current bound: 464
723.78/726.07	c current bound: 464
723.87/726.45	c current bound: 464
724.58/726.83	c current bound: 464
724.97/727.24	c current bound: 464
725.37/727.64	c current bound: 464
725.42/728.05	c current bound: 464
726.17/728.44	c current bound: 464
726.24/728.84	c current bound: 464
726.98/729.24	c current bound: 464
727.37/729.63	c current bound: 464
727.76/730.02	c current bound: 464
728.14/730.42	c current bound: 464
728.55/730.82	c current bound: 464
728.95/731.21	c current bound: 464
729.34/731.61	c current bound: 464
729.74/732.01	c current bound: 464
730.12/732.40	c current bound: 464
730.58/732.80	c current bound: 464
730.59/733.18	c current bound: 464
730.97/733.58	c current bound: 464
731.67/733.97	c current bound: 464
731.76/734.37	c current bound: 464
732.47/734.75	c current bound: 464
732.54/735.15	c current bound: 464
733.27/735.54	c current bound: 464
733.67/735.96	c current bound: 464
733.73/736.34	c current bound: 464
734.12/736.74	c current bound: 464
734.85/737.13	c current bound: 464
735.24/737.53	c current bound: 464
735.64/737.93	c current bound: 464
736.03/738.32	c current bound: 464
736.45/738.72	c current bound: 464
736.86/739.11	c current bound: 464
736.87/739.49	c current bound: 464
737.27/739.89	c current bound: 464
737.94/740.29	c current bound: 464
738.07/740.69	c current bound: 464
738.46/741.08	c current bound: 464
739.15/741.48	c current bound: 464
739.25/741.86	c current bound: 464
739.63/742.25	c current bound: 464
740.35/742.64	c current bound: 464
740.74/743.03	c current bound: 464
741.13/743.42	c current bound: 464
741.52/743.81	c current bound: 464
741.92/744.21	c current bound: 464
742.36/744.60	c current bound: 464
742.37/744.99	c current bound: 464
742.75/745.39	c current bound: 464
743.45/745.78	c current bound: 464
743.55/746.16	c current bound: 464
743.94/746.56	c current bound: 464
744.65/746.95	c current bound: 464
744.71/747.34	c current bound: 464
745.10/747.74	c current bound: 464
745.85/748.14	c current bound: 464
746.25/748.53	c current bound: 464
746.63/748.92	c current bound: 464
747.02/749.31	c current bound: 464
747.44/749.70	c current bound: 464
747.46/750.08	c current bound: 464
748.13/750.48	c current bound: 464
748.24/750.86	c current bound: 464
748.95/751.25	c current bound: 464
749.02/751.65	c current bound: 464
749.75/752.04	c current bound: 464
750.14/752.44	c current bound: 464
750.54/752.84	c current bound: 464
750.93/753.23	c current bound: 464
751.34/753.63	c current bound: 464
751.72/754.01	c current bound: 464
752.12/754.41	c current bound: 464
752.55/754.80	c current bound: 464
752.56/755.18	c current bound: 464
752.94/755.58	c current bound: 464
753.72/756.00	c current bound: 464
754.11/756.40	c current bound: 464
754.40/756.78	c current bound: 464
754.51/757.17	c current bound: 464
754.90/757.57	c current bound: 464
755.61/757.97	c current bound: 464
755.71/758.36	c current bound: 464
756.10/758.75	c current bound: 464
756.81/759.15	c current bound: 464
756.89/759.55	c current bound: 464
757.61/759.93	c current bound: 464
758.00/760.33	c current bound: 464
758.41/760.73	c current bound: 464
758.82/761.13	c current bound: 464
759.21/761.52	c current bound: 464
759.60/761.91	c current bound: 464
759.99/762.32	c current bound: 464
760.39/762.71	c current bound: 464
760.44/763.09	c current bound: 464
761.11/763.48	c current bound: 464
761.22/763.87	c current bound: 464
761.62/764.27	c current bound: 464
762.31/764.67	c current bound: 464
762.42/765.07	c current bound: 464
762.81/765.47	c current bound: 464
763.50/765.87	c current bound: 464
763.60/766.26	c current bound: 464
764.31/766.66	c current bound: 464
764.40/767.06	c current bound: 464
764.81/767.46	c current bound: 464
765.51/767.86	c current bound: 464
765.59/768.26	c current bound: 464
766.31/768.64	c current bound: 464
766.71/769.04	c current bound: 464
767.10/769.43	c current bound: 464
767.51/769.82	c current bound: 464
767.90/770.22	c current bound: 464
768.29/770.61	c current bound: 464
768.35/771.00	c current bound: 464
769.05/771.41	c current bound: 464
769.45/771.81	c current bound: 464
769.90/772.21	c current bound: 464
770.31/772.60	c current bound: 464
770.32/772.98	c current bound: 464
770.98/773.38	c current bound: 464
771.09/773.78	c current bound: 464
771.49/774.17	c current bound: 464
772.19/774.55	c current bound: 464
772.27/774.95	c current bound: 464
772.67/775.35	c current bound: 464
773.39/775.73	c current bound: 464
773.78/776.12	c current bound: 464
774.19/776.52	c current bound: 464
774.57/776.91	c current bound: 464
774.97/777.31	c current bound: 464
775.30/777.69	c current bound: 464
775.40/778.09	c current bound: 464
775.81/778.48	c current bound: 464
776.48/778.88	c current bound: 464
776.59/779.27	c current bound: 464
776.97/779.66	c current bound: 464
777.68/780.06	c current bound: 464
777.76/780.46	c current bound: 464
778.17/780.86	c current bound: 464
778.88/781.26	c current bound: 464
778.97/781.66	c current bound: 464
779.69/782.05	c current bound: 464
779.76/782.46	c current bound: 464
780.16/782.85	c current bound: 464
780.87/783.25	c current bound: 464
781.29/783.64	c current bound: 464
781.68/784.04	c current bound: 464
782.10/784.44	c current bound: 464
782.49/784.84	c current bound: 464
782.88/785.24	c current bound: 464
783.29/785.63	c current bound: 464
783.69/786.03	c current bound: 464
784.07/786.45	c current bound: 464
784.46/786.84	c current bound: 464
784.87/787.24	c current bound: 464
785.26/787.63	c current bound: 464
785.67/788.03	c current bound: 464
786.06/788.42	c current bound: 464
786.46/788.82	c current bound: 464
786.85/789.21	c current bound: 464
787.23/789.60	c current bound: 464
787.57/789.98	c current bound: 464
787.67/790.37	c current bound: 464
788.06/790.75	c current bound: 464
788.76/791.15	c current bound: 464
788.83/791.55	c current bound: 464
789.57/791.94	c current bound: 464
789.96/792.33	c current bound: 464
790.36/792.73	c current bound: 464
790.75/793.12	c current bound: 464
791.15/793.52	c current bound: 464
791.55/793.92	c current bound: 464
791.93/794.30	c current bound: 464
792.32/794.70	c current bound: 464
792.77/795.10	c current bound: 464
793.17/795.50	c current bound: 464
793.57/795.90	c current bound: 464
793.58/796.29	c current bound: 464
793.97/796.69	c current bound: 464
794.37/797.09	c current bound: 464
795.06/797.49	c current bound: 464
795.18/797.89	c current bound: 464
795.57/798.28	c current bound: 464
796.27/798.67	c current bound: 464
796.35/799.06	c current bound: 464
796.74/799.46	c current bound: 464
797.45/799.86	c current bound: 464
797.86/800.24	c current bound: 464
798.26/800.63	c current bound: 464
798.64/801.02	c current bound: 464
799.05/801.42	c current bound: 464
799.46/801.81	c current bound: 464
799.83/802.20	c current bound: 464
800.23/802.60	c current bound: 464
800.56/803.00	c current bound: 464
800.68/803.39	c current bound: 464
801.07/803.78	c current bound: 464
801.77/804.17	c current bound: 464
801.85/804.57	c current bound: 464
802.25/804.96	c current bound: 464
802.96/805.36	c current bound: 464
803.04/805.75	c current bound: 464
803.43/806.17	c current bound: 464
804.14/806.57	c current bound: 464
804.23/806.96	c current bound: 464
804.94/807.36	c current bound: 464
805.03/807.75	c current bound: 464
805.42/808.15	c current bound: 464
806.13/808.53	c current bound: 464
806.53/808.93	c current bound: 464
806.93/809.33	c current bound: 464
807.32/809.73	c current bound: 464
807.70/810.12	c current bound: 464
808.12/810.52	c current bound: 464
808.52/810.92	c current bound: 464
808.91/811.31	c current bound: 464
809.33/811.71	c current bound: 464
809.73/812.10	c current bound: 464
809.74/812.49	c current bound: 464
810.42/812.89	c current bound: 464
810.55/813.29	c current bound: 464
810.94/813.69	c current bound: 464
811.62/814.08	c current bound: 464
811.74/814.48	c current bound: 464
812.12/814.87	c current bound: 464
812.83/815.25	c current bound: 464
813.23/815.64	c current bound: 464
813.63/816.03	c current bound: 464
814.01/816.42	c current bound: 464
814.42/816.82	c current bound: 464
814.84/817.20	c current bound: 464
815.23/817.60	c current bound: 464
815.24/817.99	c current bound: 464
815.93/818.39	c current bound: 464
816.05/818.79	c current bound: 464
816.44/819.19	c current bound: 464
817.12/819.57	c current bound: 464
817.22/819.97	c current bound: 464
817.62/820.37	c current bound: 464
818.30/820.77	c current bound: 464
818.40/821.18	c current bound: 464
818.82/821.58	c current bound: 464
819.51/821.97	c current bound: 464
819.60/822.37	c current bound: 464
820.30/822.77	c current bound: 464
820.39/823.17	c current bound: 464
820.79/823.57	c current bound: 464
821.50/823.97	c current bound: 464
821.59/824.37	c current bound: 464
821.99/824.76	c current bound: 464
822.68/825.16	c current bound: 464
822.78/825.55	c current bound: 464
823.18/825.95	c current bound: 464
823.89/826.35	c current bound: 464
824.30/826.74	c current bound: 464
824.70/827.13	c current bound: 464
825.09/827.53	c current bound: 464
825.49/827.93	c current bound: 464
825.89/828.32	c current bound: 464
826.28/828.72	c current bound: 464
826.68/829.12	c current bound: 464
827.09/829.52	c current bound: 464
827.49/829.93	c current bound: 464
827.89/830.33	c current bound: 464
828.29/830.73	c current bound: 464
828.67/831.11	c current bound: 464
829.03/831.57	c current bound: 464
829.11/831.95	c current bound: 464
829.50/832.35	c current bound: 464
830.24/832.74	c current bound: 464
830.63/833.14	c current bound: 464
831.03/833.54	c current bound: 464
831.43/833.94	c current bound: 464
831.48/834.34	c current bound: 464
832.23/834.73	c current bound: 464
832.62/835.13	c current bound: 464
833.02/835.53	c current bound: 464
833.42/835.93	c current bound: 464
833.83/836.33	c current bound: 464
834.22/836.73	c current bound: 464
834.60/837.12	c current bound: 464
835.00/837.51	c current bound: 464
835.40/837.91	c current bound: 464
835.72/838.29	c current bound: 464
835.84/838.68	c current bound: 464
836.22/839.06	c current bound: 464
836.91/839.46	c current bound: 464
837.00/839.86	c current bound: 464
837.40/840.26	c current bound: 464
838.12/840.66	c current bound: 464
838.19/841.05	c current bound: 464
838.91/841.45	c current bound: 464
839.00/841.85	c current bound: 464
839.73/842.24	c current bound: 464
840.11/842.63	c current bound: 464
840.51/843.03	c current bound: 464
840.90/843.42	c current bound: 464
841.30/843.82	c current bound: 464
841.71/844.22	c current bound: 464
842.09/844.61	c current bound: 464
842.49/845.01	c current bound: 464
842.55/845.39	c current bound: 464
842.94/845.79	c current bound: 464
843.34/846.18	c current bound: 464
843.73/846.58	c current bound: 464
844.42/846.98	c current bound: 464
844.52/847.38	c current bound: 464
844.92/847.76	c current bound: 464
845.63/848.16	c current bound: 464
845.71/848.55	c current bound: 464
846.10/848.95	c current bound: 464
846.82/849.35	c current bound: 464
846.90/849.75	c current bound: 464
847.30/850.15	c current bound: 464
848.01/850.54	c current bound: 464
848.42/850.94	c current bound: 464
848.81/851.34	c current bound: 464
849.20/851.72	c current bound: 464
849.61/852.13	c current bound: 464
850.01/852.53	c current bound: 464
850.40/852.91	c current bound: 464
850.82/853.30	c current bound: 464
851.12/853.68	c current bound: 464
851.23/854.08	c current bound: 464
851.62/854.47	c current bound: 464
852.30/854.87	c current bound: 464
852.41/855.26	c current bound: 464
852.81/855.66	c current bound: 464
853.51/856.06	c current bound: 464
853.61/856.44	c current bound: 464
854.32/856.84	c current bound: 464
854.71/857.23	c current bound: 464
855.11/857.62	c current bound: 464
855.51/858.01	c current bound: 464
855.90/858.41	c current bound: 464
856.30/858.81	c current bound: 464
856.62/859.20	c current bound: 464
856.74/859.59	c current bound: 464
857.13/859.98	c current bound: 464
857.81/860.38	c current bound: 464
857.92/860.77	c current bound: 464
858.31/861.15	c current bound: 464
859.01/861.54	c current bound: 464
859.41/861.93	c current bound: 464
859.82/862.33	c current bound: 464
860.21/862.74	c current bound: 464
860.60/863.12	c current bound: 464
860.97/863.51	c current bound: 464
861.38/863.91	c current bound: 464
861.79/864.31	c current bound: 464
862.11/864.69	c current bound: 464
862.22/865.09	c current bound: 464
862.63/865.47	c current bound: 464
863.31/865.87	c current bound: 464
863.40/866.26	c current bound: 464
863.79/866.65	c current bound: 464
864.51/867.05	c current bound: 464
864.59/867.45	c current bound: 464
865.32/867.84	c current bound: 464
865.72/868.23	c current bound: 464
866.12/868.63	c current bound: 464
866.50/869.02	c current bound: 464
866.88/869.40	c current bound: 464
866.94/869.79	c current bound: 464
867.61/870.17	c current bound: 464
867.71/870.56	c current bound: 464
868.10/870.95	c current bound: 464
868.82/871.35	c current bound: 464
868.87/871.75	c current bound: 464
869.61/872.14	c current bound: 464
870.01/872.54	c current bound: 464
870.38/872.92	c current bound: 464
870.81/873.32	c current bound: 464
871.19/873.72	c current bound: 464
871.57/874.11	c current bound: 464
871.96/874.51	c current bound: 464
872.37/874.90	c current bound: 464
872.77/875.30	c current bound: 464
873.21/875.70	c current bound: 464
873.60/876.10	c current bound: 464
873.61/876.48	c current bound: 464
874.29/876.87	c current bound: 464
874.40/877.27	c current bound: 464
874.79/877.66	c current bound: 464
875.50/878.06	c current bound: 464
875.60/878.46	c current bound: 464
876.32/878.85	c current bound: 464
876.39/879.25	c current bound: 464
877.11/879.64	c current bound: 464
877.50/880.03	c current bound: 464
877.88/880.41	c current bound: 464
878.29/880.81	c current bound: 464
878.61/881.20	c current bound: 464
878.73/881.59	c current bound: 464
879.13/881.99	c current bound: 464
879.80/882.39	c current bound: 464
879.92/882.77	c current bound: 464
880.31/883.17	c current bound: 464
881.00/883.57	c current bound: 464
881.11/883.97	c current bound: 464
881.81/884.36	c current bound: 464
881.89/884.75	c current bound: 464
882.28/885.15	c current bound: 464
883.02/885.55	c current bound: 464
883.08/885.95	c current bound: 464
883.47/886.37	c current bound: 464
884.18/886.77	c current bound: 464
884.30/887.17	c current bound: 464
884.69/887.56	c current bound: 464
885.40/887.95	c current bound: 464
885.48/888.35	c current bound: 464
886.19/888.75	c current bound: 464
886.27/889.15	c current bound: 464
886.68/889.55	c current bound: 464
887.39/889.95	c current bound: 464
887.46/890.35	c current bound: 464
887.85/890.75	c current bound: 464
888.59/891.14	c current bound: 464
888.99/891.54	c current bound: 464
889.39/891.93	c current bound: 464
889.77/892.32	c current bound: 464
890.17/892.72	c current bound: 464
890.58/893.12	c current bound: 464
890.96/893.50	c current bound: 464
891.02/893.88	c current bound: 464
891.69/894.28	c current bound: 464
891.80/894.66	c current bound: 464
892.18/895.06	c current bound: 464
892.91/895.45	c current bound: 464
892.97/895.85	c current bound: 464
893.36/896.25	c current bound: 464
894.10/896.63	c current bound: 464
894.49/897.03	c current bound: 464
894.88/897.43	c current bound: 464
895.27/897.81	c current bound: 464
895.69/898.20	c current bound: 464
895.70/898.59	c current bound: 464
896.10/898.98	c current bound: 464
896.49/899.38	c current bound: 464
897.19/899.77	c current bound: 464
897.28/900.17	c current bound: 464
897.67/900.57	c current bound: 464
898.38/900.95	c current bound: 464
898.46/901.35	c current bound: 464
898.86/901.75	c current bound: 464
899.58/902.15	c current bound: 464
899.97/902.53	c current bound: 464
900.36/902.92	c current bound: 464
900.77/903.32	c current bound: 464
901.16/903.72	c current bound: 464
901.57/904.12	c current bound: 464
901.97/904.50	c current bound: 464
901.99/904.90	c current bound: 464
902.67/905.29	c current bound: 464
902.78/905.69	c current bound: 464
903.18/906.08	c current bound: 464
903.87/906.46	c current bound: 464
903.94/906.86	c current bound: 464
904.35/907.25	c current bound: 464
905.06/907.65	c current bound: 464
905.13/908.04	c current bound: 464
905.86/908.44	c current bound: 464
906.26/908.83	c current bound: 464
906.66/909.23	c current bound: 464
907.06/909.63	c current bound: 464
907.46/910.03	c current bound: 464
907.83/910.42	c current bound: 464
908.24/910.81	c current bound: 464
908.64/911.21	c current bound: 464
909.06/911.60	c current bound: 464
909.45/912.00	c current bound: 464
909.47/912.39	c current bound: 464
909.88/912.78	c current bound: 464
910.56/913.18	c current bound: 464
910.66/913.58	c current bound: 464
911.06/913.96	c current bound: 464
911.75/914.36	c current bound: 464
911.83/914.76	c current bound: 464
912.56/915.15	c current bound: 464
912.63/915.55	c current bound: 464
913.03/915.95	c current bound: 464
913.75/916.35	c current bound: 464
913.83/916.75	c current bound: 464
914.23/917.14	c current bound: 464
914.96/917.53	c current bound: 464
915.34/917.92	c current bound: 464
915.73/918.30	c current bound: 464
916.12/918.70	c current bound: 464
916.17/919.08	c current bound: 464
916.56/919.48	c current bound: 464
917.25/919.88	c current bound: 464
917.36/920.28	c current bound: 464
918.05/920.68	c current bound: 464
918.16/921.06	c current bound: 464
918.54/921.46	c current bound: 464
919.24/921.86	c current bound: 464
919.32/922.26	c current bound: 464
919.73/922.65	c current bound: 464
920.46/923.04	c current bound: 464
920.85/923.43	c current bound: 464
921.25/923.84	c current bound: 464
921.63/924.22	c current bound: 464
922.03/924.61	c current bound: 464
922.46/925.01	c current bound: 464
922.83/925.41	c current bound: 464
923.23/925.81	c current bound: 464
923.66/926.20	c current bound: 464
924.01/926.61	c current bound: 464
924.43/927.01	c current bound: 464
924.83/927.41	c current bound: 464
925.20/927.80	c current bound: 464
925.61/928.20	c current bound: 464
926.05/928.60	c current bound: 464
926.45/929.00	c current bound: 464
926.47/929.38	c current bound: 464
927.13/929.77	c current bound: 464
927.25/930.18	c current bound: 464
927.95/930.58	c current bound: 464
928.04/930.98	c current bound: 464
928.44/931.36	c current bound: 464
929.15/931.75	c current bound: 464
929.22/932.15	c current bound: 464
929.94/932.53	c current bound: 464
930.34/932.94	c current bound: 464
930.73/933.33	c current bound: 464
931.12/933.71	c current bound: 464
931.49/934.10	c current bound: 464
931.93/934.50	c current bound: 464
931.94/934.88	c current bound: 464
932.33/935.28	c current bound: 464
932.72/935.68	c current bound: 464
933.42/936.09	c current bound: 464
933.53/936.48	c current bound: 464
933.91/936.88	c current bound: 464
934.61/937.28	c current bound: 464
934.72/937.68	c current bound: 464
935.12/938.08	c current bound: 464
935.79/938.48	c current bound: 464
935.92/938.86	c current bound: 464
936.31/939.26	c current bound: 464
937.02/939.66	c current bound: 464
937.10/940.06	c current bound: 464
937.82/940.46	c current bound: 464
937.90/940.86	c current bound: 464
938.30/941.26	c current bound: 464
939.02/941.66	c current bound: 464
939.09/942.06	c current bound: 464
939.48/942.44	c current bound: 464
940.19/942.84	c current bound: 464
940.27/943.24	c current bound: 464
941.00/943.64	c current bound: 464
941.38/944.05	c current bound: 464
941.47/944.44	c current bound: 464
942.20/944.84	c current bound: 464
942.59/945.24	c current bound: 464
942.99/945.64	c current bound: 464
943.39/946.04	c current bound: 464
943.78/946.44	c current bound: 464
944.20/946.84	c current bound: 464
944.58/947.23	c current bound: 464
944.97/947.63	c current bound: 464
945.37/948.03	c current bound: 464
945.76/948.42	c current bound: 464
946.17/948.82	c current bound: 464
946.56/949.22	c current bound: 464
946.94/949.60	c current bound: 464
947.35/950.00	c current bound: 464
947.68/950.40	c current bound: 464
948.19/950.80	c current bound: 464
948.58/951.20	c current bound: 464
948.87/951.59	c current bound: 464
948.99/951.98	c current bound: 464
949.39/952.37	c current bound: 464
950.07/952.77	c current bound: 464
950.17/953.17	c current bound: 464
950.58/953.57	c current bound: 464
951.28/953.97	c current bound: 464
951.38/954.37	c current bound: 464
952.08/954.78	c current bound: 464
952.19/955.16	c current bound: 464
952.57/955.56	c current bound: 464
953.28/955.97	c current bound: 464
953.36/956.36	c current bound: 464
953.76/956.76	c current bound: 464
954.48/957.16	c current bound: 464
954.56/957.56	c current bound: 464
954.97/957.95	c current bound: 464
955.67/958.35	c current bound: 464
956.08/958.73	c current bound: 464
956.48/959.13	c current bound: 464
956.87/959.52	c current bound: 464
957.27/959.92	c current bound: 464
957.67/960.32	c current bound: 464
958.07/960.72	c current bound: 464
958.45/961.11	c current bound: 464
958.86/961.51	c current bound: 464
959.26/961.91	c current bound: 464
959.68/962.30	c current bound: 464
960.09/962.70	c current bound: 464
960.48/963.10	c current bound: 464
960.49/963.50	c current bound: 464
960.91/963.90	c current bound: 464
961.30/964.29	c current bound: 464
961.98/964.69	c current bound: 464
962.09/965.09	c current bound: 464
962.49/965.49	c current bound: 464
963.18/965.89	c current bound: 464
963.28/966.28	c current bound: 464
963.68/966.68	c current bound: 464
964.36/967.08	c current bound: 464
964.47/967.48	c current bound: 464
964.88/967.86	c current bound: 464
965.58/968.26	c current bound: 464
965.65/968.66	c current bound: 464
966.37/969.06	c current bound: 464
966.45/969.45	c current bound: 464
967.17/969.83	c current bound: 464
967.55/970.23	c current bound: 464
967.96/970.63	c current bound: 464
968.34/971.01	c current bound: 464
968.75/971.42	c current bound: 464
969.14/971.81	c current bound: 464
969.53/972.20	c current bound: 464
969.85/972.60	c current bound: 464
969.98/972.99	c current bound: 464
970.38/973.38	c current bound: 464
971.05/973.77	c current bound: 464
971.15/974.17	c current bound: 464
971.84/974.58	c current bound: 464
971.94/974.96	c current bound: 464
972.34/975.37	c current bound: 464
973.06/975.75	c current bound: 464
973.12/976.15	c current bound: 464
973.86/976.54	c current bound: 464
974.25/976.93	c current bound: 464
974.63/977.32	c current bound: 464
975.02/977.71	c current bound: 464
975.42/978.12	c current bound: 464
975.81/978.52	c current bound: 464
976.22/978.92	c current bound: 464
976.61/979.31	c current bound: 464
977.01/979.71	c current bound: 464
977.41/980.11	c current bound: 464
977.46/980.50	c current bound: 464
978.21/980.91	c current bound: 464
978.64/981.30	c current bound: 464
978.65/981.68	c current bound: 464
979.04/982.07	c current bound: 464
979.73/982.47	c current bound: 464
979.84/982.87	c current bound: 464
980.23/983.25	c current bound: 464
980.94/983.66	c current bound: 464
981.02/984.04	c current bound: 464
981.73/984.43	c current bound: 464
982.13/984.83	c current bound: 464
982.52/985.23	c current bound: 464
982.93/985.63	c current bound: 464
983.32/986.03	c current bound: 464
983.70/986.41	c current bound: 464
984.09/986.86	c current bound: 464
984.15/987.26	c current bound: 464
984.55/987.64	c current bound: 464
985.25/988.05	c current bound: 464
985.34/988.45	c current bound: 464
986.05/988.85	c current bound: 464
986.46/989.23	c current bound: 464
986.85/989.63	c current bound: 464
987.25/990.03	c current bound: 464
987.65/990.43	c current bound: 464
988.03/990.82	c current bound: 464
988.44/991.22	c current bound: 464
988.84/991.62	c current bound: 464
989.24/992.02	c current bound: 464
989.62/992.40	c current bound: 464
989.70/992.79	c current bound: 464
990.07/993.19	c current bound: 464
990.47/993.58	c current bound: 464
990.87/993.98	c current bound: 464
991.56/994.38	c current bound: 464
991.66/994.76	c current bound: 464
992.06/995.16	c current bound: 464
992.77/995.55	c current bound: 464
992.82/995.95	c current bound: 464
993.55/996.34	c current bound: 464
993.94/996.74	c current bound: 464
994.34/997.13	c current bound: 464
994.73/997.51	c current bound: 464
995.13/997.92	c current bound: 464
995.53/998.32	c current bound: 464
995.58/998.70	c current bound: 464
996.36/999.10	c current bound: 464
996.38/999.49	c current bound: 464
997.05/999.88	c current bound: 464
997.15/1000.28	c current bound: 464
997.54/1000.67	c current bound: 464
998.25/1001.06	c current bound: 464
998.33/1001.46	c current bound: 464
998.73/1001.85	c current bound: 464
999.41/1002.28	c current bound: 464
999.51/1002.67	c current bound: 464
999.91/1003.06	c current bound: 464
1000.61/1003.45	c current bound: 464
1000.69/1003.85	c current bound: 464
1001.42/1004.25	c current bound: 464
1001.49/1004.65	c current bound: 464
1001.89/1005.05	c current bound: 464
1002.62/1005.45	c current bound: 464
1002.69/1005.85	c current bound: 464
1003.09/1006.25	c current bound: 464
1003.81/1006.64	c current bound: 464
1004.21/1007.03	c current bound: 464
1004.60/1007.42	c current bound: 464
1005.00/1007.82	c current bound: 464
1005.39/1008.20	c current bound: 464
1005.44/1008.59	c current bound: 464
1005.83/1008.99	c current bound: 464
1006.23/1009.39	c current bound: 464
1006.91/1009.78	c current bound: 464
1007.01/1010.17	c current bound: 464
1007.41/1010.56	c current bound: 464
1008.13/1010.95	c current bound: 464
1008.19/1011.35	c current bound: 464
1008.59/1011.75	c current bound: 464
1009.31/1012.14	c current bound: 464
1009.70/1012.52	c current bound: 464
1010.10/1012.91	c current bound: 464
1010.49/1013.31	c current bound: 464
1010.55/1013.69	c current bound: 464
1010.93/1014.08	c current bound: 464
1011.61/1014.47	c current bound: 464
1011.71/1014.86	c current bound: 464
1012.41/1015.26	c current bound: 464
1012.49/1015.66	c current bound: 464
1012.88/1016.05	c current bound: 464
1013.60/1016.44	c current bound: 464
1013.99/1016.83	c current bound: 464
1014.39/1017.22	c current bound: 464
1014.80/1017.63	c current bound: 464
1015.19/1018.03	c current bound: 464
1015.59/1018.42	c current bound: 464
1015.97/1018.81	c current bound: 464
1016.38/1019.21	c current bound: 464
1016.81/1019.61	c current bound: 464
1017.17/1020.01	c current bound: 464
1017.57/1020.41	c current bound: 464
1017.90/1020.79	c current bound: 464
1018.02/1021.19	c current bound: 464
1018.42/1021.59	c current bound: 464
1019.18/1022.02	c current bound: 464
1019.52/1022.41	c current bound: 464
1019.58/1022.79	c current bound: 464
1020.25/1023.19	c current bound: 464
1020.38/1023.58	c current bound: 464
1020.77/1023.98	c current bound: 464
1021.45/1024.38	c current bound: 464
1021.56/1024.77	c current bound: 464
1022.26/1025.17	c current bound: 464
1022.35/1025.57	c current bound: 464
1022.74/1025.96	c current bound: 464
1023.45/1026.36	c current bound: 464
1023.53/1026.75	c current bound: 464
1023.93/1027.15	c current bound: 464
1024.64/1027.55	c current bound: 464
1024.72/1027.95	c current bound: 464
1025.12/1028.35	c current bound: 464
1025.86/1028.74	c current bound: 464
1026.25/1029.14	c current bound: 464
1026.65/1029.52	c current bound: 464
1027.01/1029.91	c current bound: 464
1027.41/1030.31	c current bound: 464
1027.86/1030.71	c current bound: 464
1028.22/1031.11	c current bound: 464
1028.27/1031.49	c current bound: 464
1029.04/1031.90	c current bound: 464
1029.44/1032.30	c current bound: 464
1029.85/1032.70	c current bound: 464
1030.20/1033.10	c current bound: 464
1030.26/1033.49	c current bound: 464
1030.64/1033.89	c current bound: 464
1031.05/1034.27	c current bound: 464
1031.43/1034.66	c current bound: 464
1032.14/1035.07	c current bound: 464
1032.22/1035.47	c current bound: 464
1032.62/1035.87	c current bound: 464
1033.33/1036.27	c current bound: 464
1033.43/1036.67	c current bound: 464
1033.83/1037.07	c current bound: 464
1034.53/1037.47	c current bound: 464
1034.62/1037.87	c current bound: 464
1035.02/1038.27	c current bound: 464
1035.71/1038.67	c current bound: 464
1035.82/1039.07	c current bound: 464
1036.53/1039.47	c current bound: 464
1036.61/1039.87	c current bound: 464
1037.01/1040.28	c current bound: 464
1037.72/1040.66	c current bound: 464
1037.81/1041.07	c current bound: 464
1038.22/1041.47	c current bound: 464
1038.91/1041.86	c current bound: 464
1038.99/1042.25	c current bound: 464
1039.39/1042.65	c current bound: 464
1040.12/1043.05	c current bound: 464
1040.18/1043.45	c current bound: 464
1040.92/1043.85	c current bound: 464
1041.00/1044.25	c current bound: 464
1041.73/1044.64	c current bound: 464
1042.13/1045.05	c current bound: 464
1042.52/1045.43	c current bound: 464
1042.92/1045.83	c current bound: 464
1043.31/1046.23	c current bound: 464
1043.71/1046.62	c current bound: 464
1044.09/1047.00	c current bound: 464
1044.48/1047.40	c current bound: 464
1044.54/1047.79	c current bound: 464
1044.92/1048.17	c current bound: 464
1045.60/1048.58	c current bound: 464
1045.70/1048.98	c current bound: 464
1046.40/1049.37	c current bound: 464
1046.50/1049.76	c current bound: 464
1046.89/1050.16	c current bound: 464
1047.61/1050.55	c current bound: 464
1047.68/1050.95	c current bound: 464
1048.08/1051.35	c current bound: 464
1048.78/1051.76	c current bound: 464
1048.87/1052.14	c current bound: 464
1049.59/1052.53	c current bound: 464
1049.98/1052.92	c current bound: 464
1050.36/1053.31	c current bound: 464
1050.79/1053.71	c current bound: 464
1051.16/1054.10	c current bound: 464
1051.56/1054.50	c current bound: 464
1051.89/1054.90	c current bound: 464
1052.01/1055.28	c current bound: 464
1052.39/1055.68	c current bound: 464
1053.08/1056.06	c current bound: 464
1053.17/1056.47	c current bound: 464
1053.58/1056.86	c current bound: 464
1054.28/1057.26	c current bound: 464
1054.36/1057.65	c current bound: 464
1054.75/1058.05	c current bound: 464
1055.47/1058.44	c current bound: 464
1055.87/1058.82	c current bound: 464
1056.27/1059.22	c current bound: 464
1056.66/1059.62	c current bound: 464
1057.06/1060.01	c current bound: 464
1057.45/1060.41	c current bound: 464
1057.85/1060.81	c current bound: 464
1058.26/1061.21	c current bound: 464
1058.65/1061.60	c current bound: 464
1059.05/1062.00	c current bound: 464
1059.10/1062.39	c current bound: 464
1059.77/1062.78	c current bound: 464
1059.88/1063.17	c current bound: 464
1060.29/1063.56	c current bound: 464
1060.97/1063.95	c current bound: 464
1061.04/1064.35	c current bound: 464
1061.78/1064.75	c current bound: 464
1062.16/1065.13	c current bound: 464
1062.57/1065.53	c current bound: 464
1062.98/1065.93	c current bound: 464
1063.36/1066.32	c current bound: 464
1063.76/1066.72	c current bound: 464
1064.16/1067.11	c current bound: 464
1064.55/1067.51	c current bound: 464
1064.95/1067.91	c current bound: 464
1065.35/1068.31	c current bound: 464
1065.75/1068.71	c current bound: 464
1066.18/1069.11	c current bound: 464
1066.21/1069.49	c current bound: 464
1066.59/1069.88	c current bound: 464
1067.27/1070.28	c current bound: 464
1067.39/1070.68	c current bound: 464
1067.78/1071.07	c current bound: 464
1068.48/1071.46	c current bound: 464
1068.56/1071.86	c current bound: 464
1068.95/1072.26	c current bound: 464
1069.66/1072.67	c current bound: 464
1069.76/1073.06	c current bound: 464
1070.15/1073.46	c current bound: 464
1070.85/1073.87	c current bound: 464
1070.95/1074.25	c current bound: 464
1071.66/1074.66	c current bound: 464
1071.74/1075.05	c current bound: 464
1072.13/1075.46	c current bound: 464
1072.86/1075.86	c current bound: 464
1072.94/1076.25	c current bound: 464
1073.34/1076.65	c current bound: 464
1074.04/1077.06	c current bound: 464
1074.13/1077.46	c current bound: 464
1074.53/1077.84	c current bound: 464
1075.25/1078.25	c current bound: 464
1075.32/1078.64	c current bound: 464
1076.06/1079.03	c current bound: 464
1076.43/1079.43	c current bound: 464
1076.84/1079.83	c current bound: 464
1077.23/1080.21	c current bound: 464
1077.63/1080.61	c current bound: 464
1078.06/1081.00	c current bound: 464
1078.45/1081.40	c current bound: 464
1078.46/1081.79	c current bound: 464
1079.20/1082.24	c current bound: 464
1079.59/1082.64	c current bound: 464
1079.66/1083.04	c current bound: 464
1080.40/1083.43	c current bound: 464
1080.79/1083.83	c current bound: 464
1081.19/1084.23	c current bound: 464
1081.58/1084.63	c current bound: 464
1081.98/1085.03	c current bound: 464
1082.38/1085.43	c current bound: 464
1082.79/1085.83	c current bound: 464
1083.19/1086.23	c current bound: 464
1083.58/1086.62	c current bound: 464
1083.97/1087.02	c current bound: 464
1084.37/1087.41	c current bound: 464
1084.79/1087.81	c current bound: 464
1085.15/1088.20	c current bound: 464
1085.55/1088.60	c current bound: 464
1085.87/1088.99	c current bound: 464
1085.99/1089.39	c current bound: 464
1086.39/1089.78	c current bound: 464
1087.08/1090.18	c current bound: 464
1087.18/1090.57	c current bound: 464
1087.56/1090.96	c current bound: 464
1088.27/1091.36	c current bound: 464
1088.35/1091.76	c current bound: 464
1088.75/1092.16	c current bound: 464
1089.46/1092.56	c current bound: 464
1089.55/1092.96	c current bound: 464
1090.27/1093.36	c current bound: 464
1090.35/1093.74	c current bound: 464
1090.73/1094.14	c current bound: 464
1091.46/1094.53	c current bound: 464
1091.83/1094.92	c current bound: 464
1092.24/1095.31	c current bound: 464
1092.63/1095.71	c current bound: 464
1092.68/1096.09	c current bound: 464
1093.08/1096.48	c current bound: 464
1093.73/1096.87	c current bound: 464
1093.84/1097.28	c current bound: 464
1094.24/1097.68	c current bound: 464
1094.93/1098.07	c current bound: 464
1095.03/1098.47	c current bound: 464
1095.74/1098.87	c current bound: 464
1095.83/1099.25	c current bound: 464
1096.21/1099.66	c current bound: 464
1096.94/1100.04	c current bound: 464
1097.00/1100.44	c current bound: 464
1097.73/1100.83	c current bound: 464
1098.12/1101.22	c current bound: 464
1098.52/1101.62	c current bound: 464
1098.91/1102.01	c current bound: 464
1099.34/1102.40	c current bound: 464
1099.35/1102.79	c current bound: 464
1099.75/1103.19	c current bound: 464
1100.15/1103.59	c current bound: 464
1100.55/1103.98	c current bound: 464
1101.23/1104.37	c current bound: 464
1101.33/1104.78	c current bound: 464
1101.72/1105.16	c current bound: 464
1102.43/1105.55	c current bound: 464
1102.50/1105.95	c current bound: 464
1102.90/1106.35	c current bound: 464
1103.61/1106.76	c current bound: 464
1103.70/1107.15	c current bound: 464
1104.10/1107.56	c current bound: 464
1104.81/1107.96	c current bound: 464
1104.92/1108.35	c current bound: 464
1105.63/1108.73	c current bound: 464
1106.01/1109.12	c current bound: 464
1106.39/1109.52	c current bound: 464
1106.80/1109.92	c current bound: 464
1107.18/1110.30	c current bound: 464
1107.58/1110.70	c current bound: 464
1107.98/1111.10	c current bound: 464
1108.42/1111.50	c current bound: 464
1108.81/1111.90	c current bound: 464
1109.22/1112.30	c current bound: 464
1109.23/1112.69	c current bound: 464
1109.62/1113.08	c current bound: 464
1110.02/1113.47	c current bound: 464
1110.42/1113.87	c current bound: 464
1111.13/1114.27	c current bound: 464
1111.21/1114.67	c current bound: 464
1111.61/1115.07	c current bound: 464
1112.32/1115.47	c current bound: 464
1112.41/1115.88	c current bound: 464
1112.81/1116.26	c current bound: 464
1113.51/1116.65	c current bound: 464
1113.92/1117.04	c current bound: 464
1114.31/1117.43	c current bound: 464
1114.70/1117.84	c current bound: 464
1114.78/1118.24	c current bound: 464
1115.51/1118.63	c current bound: 464
1115.88/1119.01	c current bound: 464
1116.32/1119.40	c current bound: 464
1116.61/1119.80	c current bound: 464
1117.11/1120.20	c current bound: 464
1117.12/1120.59	c current bound: 464
1117.85/1121.00	c current bound: 464
1118.26/1121.40	c current bound: 464
1118.31/1121.78	c current bound: 464
1118.98/1122.17	c current bound: 464
1119.08/1122.56	c current bound: 464
1119.47/1122.95	c current bound: 464
1120.19/1123.35	c current bound: 464
1120.60/1123.74	c current bound: 464
1120.99/1124.12	c current bound: 464
1121.38/1124.53	c current bound: 464
1121.79/1124.93	c current bound: 464
1122.19/1125.33	c current bound: 464
1122.57/1125.72	c current bound: 464
1122.96/1126.11	c current bound: 464
1123.37/1126.51	c current bound: 464
1123.77/1126.91	c current bound: 464
1124.16/1127.31	c current bound: 464
1124.56/1127.71	c current bound: 464
1124.96/1128.11	c current bound: 464
1125.39/1128.51	c current bound: 464
1125.75/1128.91	c current bound: 464
1126.20/1129.30	c current bound: 464
1126.49/1129.70	c current bound: 464
1126.95/1130.10	c current bound: 464
1127.39/1130.50	c current bound: 464
1127.75/1130.90	c current bound: 464
1127.81/1131.29	c current bound: 464
1128.19/1131.69	c current bound: 464
1128.88/1132.09	c current bound: 464
1128.99/1132.49	c current bound: 464
1129.39/1132.89	c current bound: 464
1129.80/1133.29	c current bound: 464
1130.20/1133.69	c current bound: 464
1130.88/1134.09	c current bound: 464
1131.00/1134.49	c current bound: 464
1131.39/1134.89	c current bound: 464
1132.09/1135.28	c current bound: 464
1132.18/1135.68	c current bound: 464
1132.58/1136.06	c current bound: 464
1133.28/1136.47	c current bound: 464
1133.36/1136.87	c current bound: 464
1133.76/1137.27	c current bound: 464
1134.47/1137.66	c current bound: 464
1134.56/1138.04	c current bound: 464
1135.29/1138.45	c current bound: 464
1135.68/1138.84	c current bound: 464
1136.07/1139.24	c current bound: 464
1136.48/1139.64	c current bound: 464
1136.88/1140.04	c current bound: 464
1137.25/1140.42	c current bound: 464
1137.65/1140.82	c current bound: 464
1138.06/1141.22	c current bound: 464
1138.46/1141.62	c current bound: 464
1138.85/1142.01	c current bound: 464
1139.27/1142.40	c current bound: 464
1139.29/1142.79	c current bound: 464
1139.67/1143.19	c current bound: 464
1140.07/1143.58	c current bound: 464
1140.77/1143.99	c current bound: 464
1140.88/1144.38	c current bound: 464
1141.27/1144.78	c current bound: 464
1141.96/1145.18	c current bound: 464
1142.06/1145.56	c current bound: 464
1142.44/1145.96	c current bound: 464
1143.15/1146.36	c current bound: 464
1143.23/1146.76	c current bound: 464
1143.64/1147.16	c current bound: 464
1144.34/1147.56	c current bound: 464
1144.43/1147.95	c current bound: 464
1145.15/1148.36	c current bound: 464
1145.22/1148.75	c current bound: 464
1145.94/1149.14	c current bound: 464
1146.34/1149.53	c current bound: 464
1146.74/1149.92	c current bound: 464
1147.13/1150.32	c current bound: 464
1147.53/1150.73	c current bound: 464
1147.92/1151.12	c current bound: 464
1148.31/1151.50	c current bound: 464
1148.74/1151.90	c current bound: 464
1148.76/1152.29	c current bound: 464
1149.14/1152.69	c current bound: 464
1149.54/1153.07	c current bound: 464
1149.93/1153.46	c current bound: 464
1150.65/1153.85	c current bound: 464
1150.71/1154.25	c current bound: 464
1151.10/1154.64	c current bound: 464
1151.84/1155.05	c current bound: 464
1151.90/1155.45	c current bound: 464
1152.31/1155.85	c current bound: 464
1153.03/1156.25	c current bound: 464
1153.44/1156.64	c current bound: 464
1153.83/1157.03	c current bound: 464
1154.21/1157.43	c current bound: 464
1154.62/1157.83	c current bound: 464
1155.03/1158.23	c current bound: 464
1155.41/1158.62	c current bound: 464
1155.81/1159.02	c current bound: 464
1156.21/1159.42	c current bound: 464
1156.61/1159.82	c current bound: 464
1157.01/1160.22	c current bound: 464
1157.39/1160.61	c current bound: 464
1157.79/1161.00	c current bound: 464
1158.23/1161.40	c current bound: 464
1158.63/1161.80	c current bound: 464
1158.64/1162.19	c current bound: 464
1159.03/1162.58	c current bound: 464
1159.44/1162.98	c current bound: 464
1159.82/1163.38	c current bound: 464
1160.52/1163.78	c current bound: 464
1160.63/1164.18	c current bound: 464
1161.02/1164.58	c current bound: 464
1161.72/1164.98	c current bound: 464
1161.82/1165.38	c current bound: 464
1162.22/1165.77	c current bound: 464
1162.90/1166.17	c current bound: 464
1163.01/1166.57	c current bound: 464
1163.41/1166.96	c current bound: 464
1164.10/1167.36	c current bound: 464
1164.19/1167.76	c current bound: 464
1164.92/1168.15	c current bound: 464
1165.32/1168.54	c current bound: 464
1165.38/1168.94	c current bound: 464
1166.10/1169.33	c current bound: 464
1166.52/1169.73	c current bound: 464
1166.91/1170.13	c current bound: 464
1167.30/1170.53	c current bound: 464
1167.69/1170.91	c current bound: 464
1168.08/1171.31	c current bound: 464
1168.46/1171.70	c current bound: 464
1168.54/1172.09	c current bound: 464
1168.92/1172.50	c current bound: 464
1169.69/1172.90	c current bound: 464
1170.09/1173.30	c current bound: 464
1170.38/1173.69	c current bound: 464
1170.49/1174.08	c current bound: 464
1170.89/1174.48	c current bound: 464
1171.59/1174.87	c current bound: 464
1171.67/1175.26	c current bound: 464
1172.06/1175.66	c current bound: 464
1172.76/1176.07	c current bound: 464
1172.86/1176.47	c current bound: 464
1173.25/1176.87	c current bound: 464
1173.98/1177.27	c current bound: 464
1174.06/1177.66	c current bound: 464
1174.76/1178.05	c current bound: 464
1175.18/1178.44	c current bound: 464
1175.24/1178.84	c current bound: 464
1175.98/1179.24	c current bound: 464
1176.38/1179.63	c current bound: 464
1176.77/1180.03	c current bound: 464
1177.17/1180.43	c current bound: 464
1177.56/1180.83	c current bound: 464
1177.94/1181.21	c current bound: 464
1178.32/1181.61	c current bound: 464
1178.38/1181.99	c current bound: 464
1178.78/1182.39	c current bound: 464
1179.17/1182.78	c current bound: 464
1179.56/1183.18	c current bound: 464
1180.25/1183.58	c current bound: 464
1180.34/1183.98	c current bound: 464
1180.74/1184.38	c current bound: 464
1181.45/1184.78	c current bound: 464
1181.55/1185.18	c current bound: 464
1181.95/1185.57	c current bound: 464
1182.64/1185.98	c current bound: 464
1182.75/1186.37	c current bound: 464
1183.13/1186.77	c current bound: 464
1183.85/1187.17	c current bound: 464
1184.32/1187.62	c current bound: 464
1184.67/1188.03	c current bound: 464
1185.09/1188.43	c current bound: 464
1185.48/1188.82	c current bound: 464
1185.88/1189.23	c current bound: 464
1186.28/1189.63	c current bound: 464
1186.67/1190.03	c current bound: 464
1187.05/1190.42	c current bound: 464
1187.45/1190.82	c current bound: 464
1187.88/1191.22	c current bound: 464
1188.25/1191.62	c current bound: 464
1188.65/1192.01	c current bound: 464
1189.08/1192.41	c current bound: 464
1189.45/1192.81	c current bound: 464
1189.51/1193.19	c current bound: 464
1190.18/1193.59	c current bound: 464
1190.28/1193.99	c current bound: 464
1190.69/1194.39	c current bound: 464
1191.37/1194.78	c current bound: 464
1191.48/1195.18	c current bound: 464
1191.86/1195.56	c current bound: 464
1192.55/1195.96	c current bound: 464
1192.65/1196.35	c current bound: 464
1193.36/1196.76	c current bound: 464
1193.44/1197.16	c current bound: 464
1193.83/1197.54	c current bound: 464
1194.56/1197.95	c current bound: 464
1194.95/1198.33	c current bound: 464
1195.35/1198.73	c current bound: 464
1195.76/1199.14	c current bound: 464
1196.16/1199.54	c current bound: 464
1196.55/1199.94	c current bound: 464
1196.95/1200.34	c current bound: 464
1197.35/1200.73	c current bound: 464
1197.76/1201.12	c current bound: 464
1198.13/1201.50	c current bound: 464
1198.52/1201.90	c current bound: 464
1198.92/1202.31	c current bound: 464
1199.33/1202.71	c current bound: 464
1199.73/1203.11	c current bound: 464
1200.12/1203.51	c current bound: 464
1200.51/1203.90	c current bound: 464
1200.92/1204.30	c current bound: 464
1201.31/1204.70	c current bound: 464
1201.76/1205.10	c current bound: 464
1201.77/1205.50	c current bound: 464
1202.17/1205.89	c current bound: 464
1202.56/1206.27	c current bound: 464
1203.24/1206.67	c current bound: 464
1203.34/1207.07	c current bound: 464
1203.74/1207.47	c current bound: 464
1204.45/1207.86	c current bound: 464
1204.53/1208.26	c current bound: 464
1205.26/1208.64	c current bound: 464
1205.64/1209.03	c current bound: 464
1206.04/1209.43	c current bound: 464
1206.44/1209.83	c current bound: 464
1206.84/1210.23	c current bound: 464
1207.24/1210.63	c current bound: 464
1207.64/1211.03	c current bound: 464
1208.03/1211.43	c current bound: 464
1208.43/1211.82	c current bound: 464
1208.83/1212.22	c current bound: 464
1209.23/1212.62	c current bound: 464
1209.63/1213.02	c current bound: 464
1210.02/1213.41	c current bound: 464
1210.41/1213.80	c current bound: 464
1210.81/1214.20	c current bound: 464
1211.19/1214.60	c current bound: 464
1211.64/1215.00	c current bound: 464
1211.65/1215.38	c current bound: 464
1212.32/1215.77	c current bound: 464
1212.42/1216.17	c current bound: 464
1213.14/1216.56	c current bound: 464
1213.22/1216.95	c current bound: 464
1213.60/1217.35	c current bound: 464
1214.34/1217.74	c current bound: 464
1214.73/1218.13	c current bound: 464
1215.14/1218.53	c current bound: 464
1215.53/1218.93	c current bound: 464
1215.93/1219.33	c current bound: 464
1216.32/1219.73	c current bound: 464
1216.71/1220.11	c current bound: 464
1217.11/1220.51	c current bound: 464
1217.53/1220.91	c current bound: 464
1217.91/1221.30	c current bound: 464
1218.30/1221.71	c current bound: 464
1218.74/1222.11	c current bound: 464
1219.11/1222.50	c current bound: 464
1219.51/1222.91	c current bound: 464
1219.90/1223.31	c current bound: 464
1220.29/1223.70	c current bound: 464
1220.36/1224.08	c current bound: 464
1221.03/1224.48	c current bound: 464
1221.14/1224.88	c current bound: 464
1221.54/1225.28	c current bound: 464
1222.23/1225.66	c current bound: 464
1222.32/1226.07	c current bound: 464
1223.04/1226.47	c current bound: 464
1223.14/1226.87	c current bound: 464
1223.53/1227.25	c current bound: 464
1224.24/1227.66	c current bound: 464
1224.32/1228.05	c current bound: 464
1224.70/1228.45	c current bound: 464
1225.43/1228.85	c current bound: 464
1225.51/1229.25	c current bound: 464
1225.90/1229.65	c current bound: 464
1226.63/1230.04	c current bound: 464
1227.03/1230.44	c current bound: 464
1227.43/1230.82	c current bound: 464
1227.81/1231.21	c current bound: 464
1228.20/1231.60	c current bound: 464
1228.64/1232.01	c current bound: 464
1228.65/1232.39	c current bound: 464
1229.42/1232.84	c current bound: 464
1229.77/1233.24	c current bound: 464
1230.17/1233.63	c current bound: 464
1230.56/1234.03	c current bound: 464
1230.95/1234.43	c current bound: 464
1231.36/1234.83	c current bound: 464
1231.76/1235.23	c current bound: 464
1232.15/1235.62	c current bound: 464
1232.54/1236.02	c current bound: 464
1232.95/1236.42	c current bound: 464
1233.34/1236.80	c current bound: 464
1233.40/1237.19	c current bound: 464
1234.06/1237.59	c current bound: 464
1234.18/1237.98	c current bound: 464
1234.58/1238.38	c current bound: 464
1235.27/1238.78	c current bound: 464
1235.37/1239.16	c current bound: 464
1235.76/1239.56	c current bound: 464
1236.47/1239.96	c current bound: 464
1236.88/1240.34	c current bound: 464
1237.27/1240.74	c current bound: 464
1237.67/1241.14	c current bound: 464
1238.08/1241.53	c current bound: 464
1238.47/1241.93	c current bound: 464
1238.87/1242.33	c current bound: 464
1239.26/1242.72	c current bound: 464
1239.65/1243.10	c current bound: 464
1239.70/1243.48	c current bound: 464
1240.09/1243.88	c current bound: 464
1240.76/1244.26	c current bound: 464
1240.86/1244.65	c current bound: 464
1241.25/1245.04	c current bound: 464
1241.99/1245.44	c current bound: 464
1242.04/1245.84	c current bound: 464
1242.77/1246.23	c current bound: 464
1243.16/1246.62	c current bound: 464
1243.55/1247.02	c current bound: 464
1243.95/1247.41	c current bound: 464
1244.35/1247.81	c current bound: 464
1244.75/1248.21	c current bound: 464
1245.15/1248.61	c current bound: 464
1245.54/1249.00	c current bound: 464
1245.94/1249.41	c current bound: 464
1246.34/1249.80	c current bound: 464
1246.74/1250.20	c current bound: 464
1246.80/1250.60	c current bound: 464
1247.19/1250.98	c current bound: 464
1247.58/1251.38	c current bound: 464
1248.26/1251.78	c current bound: 464
1248.36/1252.16	c current bound: 464
1248.77/1252.56	c current bound: 464
1249.47/1252.96	c current bound: 464
1249.56/1253.36	c current bound: 464
1249.96/1253.75	c current bound: 464
1250.67/1254.13	c current bound: 464
1251.07/1254.53	c current bound: 464
1251.45/1254.91	c current bound: 464
1251.84/1255.31	c current bound: 464
1251.91/1255.70	c current bound: 464
1252.29/1256.10	c current bound: 464
1252.69/1256.49	c current bound: 464
1253.08/1256.89	c current bound: 464
1253.78/1257.28	c current bound: 464
1253.87/1257.68	c current bound: 464
1254.27/1258.07	c current bound: 464
1254.96/1258.45	c current bound: 464
1255.37/1258.84	c current bound: 464
1255.75/1259.22	c current bound: 464
1256.14/1259.61	c current bound: 464
1256.53/1260.01	c current bound: 464
1256.58/1260.39	c current bound: 464
1257.25/1260.79	c current bound: 464
1257.37/1261.19	c current bound: 464
1257.77/1261.59	c current bound: 464
1258.18/1261.99	c current bound: 464
1258.57/1262.39	c current bound: 464
1259.25/1262.79	c current bound: 464
1259.36/1263.18	c current bound: 464
1259.76/1263.57	c current bound: 464
1260.47/1263.95	c current bound: 464
1260.54/1264.35	c current bound: 464
1261.26/1264.73	c current bound: 464
1261.65/1265.13	c current bound: 464
1262.06/1265.53	c current bound: 464
1262.45/1265.93	c current bound: 464
1262.84/1266.32	c current bound: 464
1263.23/1266.70	c current bound: 464
1263.28/1267.09	c current bound: 464
1263.68/1267.48	c current bound: 464
1264.41/1267.90	c current bound: 464
1264.75/1268.30	c current bound: 464
1265.25/1268.70	c current bound: 464
1265.65/1269.10	c current bound: 464
1266.01/1269.50	c current bound: 464
1266.45/1269.90	c current bound: 464
1266.46/1270.29	c current bound: 464
1267.14/1270.67	c current bound: 464
1267.23/1271.07	c current bound: 464
1267.64/1271.47	c current bound: 464
1268.33/1271.87	c current bound: 464
1268.43/1272.27	c current bound: 464
1269.15/1272.65	c current bound: 464
1269.21/1273.05	c current bound: 464
1269.62/1273.45	c current bound: 464
1270.35/1273.85	c current bound: 464
1270.41/1274.25	c current bound: 464
1270.81/1274.65	c current bound: 464
1271.53/1275.03	c current bound: 464
1271.92/1275.42	c current bound: 464
1272.31/1275.81	c current bound: 464
1272.71/1276.21	c current bound: 464
1273.11/1276.61	c current bound: 464
1273.55/1277.01	c current bound: 464
1273.57/1277.39	c current bound: 464
1273.96/1277.78	c current bound: 464
1274.64/1278.18	c current bound: 464
1274.73/1278.58	c current bound: 464
1275.13/1278.97	c current bound: 464
1275.83/1279.37	c current bound: 464
1275.94/1279.77	c current bound: 464
1276.33/1280.18	c current bound: 464
1277.03/1280.57	c current bound: 464
1277.12/1280.96	c current bound: 464
1277.52/1281.36	c current bound: 464
1278.23/1281.75	c current bound: 464
1278.31/1282.15	c current bound: 464
1279.04/1282.55	c current bound: 464
1279.43/1282.97	c current bound: 464
1279.50/1283.37	c current bound: 464
1280.20/1283.77	c current bound: 464
1280.30/1284.17	c current bound: 464
1280.68/1284.57	c current bound: 464
1281.38/1284.97	c current bound: 464
1281.49/1285.37	c current bound: 464
1281.88/1285.75	c current bound: 464
1282.59/1286.14	c current bound: 464
1282.99/1286.53	c current bound: 464
1283.41/1286.93	c current bound: 464
1283.80/1287.33	c current bound: 464
1284.19/1287.73	c current bound: 464
1284.59/1288.13	c current bound: 464
1285.00/1288.53	c current bound: 464
1285.40/1288.93	c current bound: 464
1285.78/1289.32	c current bound: 464
1286.18/1289.72	c current bound: 464
1286.58/1290.12	c current bound: 464
1286.98/1290.51	c current bound: 464
1287.37/1290.91	c current bound: 464
1287.43/1291.29	c current bound: 464
1287.82/1291.69	c current bound: 464
1288.21/1292.09	c current bound: 464
1288.90/1292.49	c current bound: 464
1289.02/1292.88	c current bound: 464
1289.41/1293.28	c current bound: 464
1290.10/1293.68	c current bound: 464
1290.20/1294.08	c current bound: 464
1290.61/1294.47	c current bound: 464
1291.30/1294.86	c current bound: 464
1291.38/1295.26	c current bound: 464
1291.78/1295.66	c current bound: 464
1292.49/1296.05	c current bound: 464
1292.91/1296.44	c current bound: 464
1293.29/1296.83	c current bound: 464
1293.67/1297.21	c current bound: 464
1294.08/1297.61	c current bound: 464
1294.45/1298.06	c current bound: 464
1294.52/1298.46	c current bound: 464
1294.92/1298.86	c current bound: 464
1295.63/1299.25	c current bound: 464
1296.03/1299.64	c current bound: 464
1296.42/1300.03	c current bound: 464
1296.82/1300.42	c current bound: 464
1297.22/1300.81	c current bound: 464
1297.63/1301.21	c current bound: 464
1298.01/1301.61	c current bound: 464
1298.42/1302.01	c current bound: 464
1298.74/1302.40	c current bound: 464
1298.85/1302.78	c current bound: 464
1299.24/1303.17	c current bound: 464
1299.93/1303.57	c current bound: 464
1300.03/1303.97	c current bound: 464
1300.43/1304.36	c current bound: 464
1301.14/1304.74	c current bound: 464
1301.52/1305.13	c current bound: 464
1301.91/1305.51	c current bound: 464
1302.31/1305.91	c current bound: 464
1302.70/1306.31	c current bound: 464
1303.13/1306.71	c current bound: 464
1303.50/1307.11	c current bound: 464
1303.91/1307.51	c current bound: 464
1304.22/1307.90	c current bound: 464
1304.73/1308.30	c current bound: 464
1304.73/1308.69	c current bound: 464
1305.43/1309.08	c current bound: 464
1305.53/1309.47	c current bound: 464
1305.91/1309.87	c current bound: 464
1306.61/1310.26	c current bound: 464
1306.70/1310.65	c current bound: 464
1307.09/1311.05	c current bound: 464
1307.83/1311.43	c current bound: 464
1308.23/1311.83	c current bound: 464
1308.63/1312.23	c current bound: 464
1309.00/1312.62	c current bound: 464
1309.40/1313.01	c current bound: 464
1309.82/1313.42	c current bound: 464
1310.21/1313.82	c current bound: 464
1310.60/1314.21	c current bound: 464
1311.01/1314.61	c current bound: 464
1311.41/1315.01	c current bound: 464
1311.46/1315.39	c current bound: 464
1312.12/1315.79	c current bound: 464
1312.23/1316.18	c current bound: 464
1312.63/1316.57	c current bound: 464
1313.31/1316.98	c current bound: 464
1313.43/1317.38	c current bound: 464
1314.12/1317.78	c current bound: 464
1314.21/1318.17	c current bound: 464
1314.61/1318.57	c current bound: 464
1315.33/1318.96	c current bound: 464
1315.41/1319.35	c current bound: 464
1316.12/1319.73	c current bound: 464
1316.52/1320.13	c current bound: 464
1316.90/1320.53	c current bound: 464
1317.32/1320.93	c current bound: 464
1317.70/1321.31	c current bound: 464
1318.09/1321.71	c current bound: 464
1318.51/1322.11	c current bound: 464
1318.89/1322.51	c current bound: 464
1319.29/1322.91	c current bound: 464
1319.62/1323.30	c current bound: 464
1319.73/1323.69	c current bound: 464
1320.13/1324.08	c current bound: 464
1320.82/1324.48	c current bound: 464
1320.92/1324.88	c current bound: 464
1321.31/1325.26	c current bound: 464
1322.01/1325.66	c current bound: 464
1322.10/1326.05	c current bound: 464
1322.81/1326.44	c current bound: 464
1323.21/1326.83	c current bound: 464
1323.61/1327.23	c current bound: 464
1324.01/1327.62	c current bound: 464
1324.39/1328.02	c current bound: 464
1324.79/1328.42	c current bound: 464
1325.11/1328.80	c current bound: 464
1325.24/1329.18	c current bound: 464
1325.61/1329.58	c current bound: 464
1326.31/1329.98	c current bound: 464
1326.41/1330.37	c current bound: 464
1326.80/1330.77	c current bound: 464
1327.50/1331.17	c current bound: 464
1327.59/1331.57	c current bound: 464
1327.99/1331.97	c current bound: 464
1328.71/1332.37	c current bound: 464
1328.79/1332.77	c current bound: 464
1329.50/1333.18	c current bound: 464
1329.59/1333.58	c current bound: 464
1329.98/1333.96	c current bound: 464
1330.68/1334.36	c current bound: 464
1330.77/1334.76	c current bound: 464
1331.16/1335.16	c current bound: 464
1331.89/1335.55	c current bound: 464
1332.28/1335.94	c current bound: 464
1332.68/1336.34	c current bound: 464
1333.06/1336.72	c current bound: 464
1333.46/1337.12	c current bound: 464
1333.52/1337.50	c current bound: 464
1333.90/1337.88	c current bound: 464
1334.28/1338.27	c current bound: 464
1334.98/1338.67	c current bound: 464
1335.07/1339.05	c current bound: 464
1335.46/1339.45	c current bound: 464
1336.19/1339.84	c current bound: 464
1336.25/1340.24	c current bound: 464
1336.99/1340.63	c current bound: 464
1337.37/1341.01	c current bound: 464
1337.76/1341.40	c current bound: 464
1338.15/1341.80	c current bound: 464
1338.48/1342.19	c current bound: 464
1338.60/1342.58	c current bound: 464
1339.00/1342.98	c current bound: 464
1339.69/1343.38	c current bound: 464
1339.79/1343.77	c current bound: 464
1340.49/1344.17	c current bound: 464
1340.58/1344.57	c current bound: 464
1340.97/1344.97	c current bound: 464
1341.68/1345.37	c current bound: 464
1341.78/1345.77	c current bound: 464
1342.19/1346.17	c current bound: 464
1342.89/1346.56	c current bound: 464
1342.98/1346.96	c current bound: 464
1343.39/1347.35	c current bound: 464
1344.10/1347.75	c current bound: 464
1344.55/1348.21	c current bound: 464
1344.90/1348.62	c current bound: 464
1345.29/1349.00	c current bound: 464
1345.74/1349.40	c current bound: 464
1346.03/1349.79	c current bound: 464
1346.14/1350.19	c current bound: 464
1346.54/1350.59	c current bound: 464
1347.21/1350.99	c current bound: 464
1347.34/1351.39	c current bound: 464
1347.74/1351.79	c current bound: 464
1348.14/1352.17	c current bound: 464
1348.52/1352.57	c current bound: 464
1349.23/1352.96	c current bound: 464
1349.30/1353.36	c current bound: 464
1349.70/1353.76	c current bound: 464
1350.43/1354.16	c current bound: 464
1350.49/1354.56	c current bound: 464
1350.90/1354.96	c current bound: 464
1351.62/1355.36	c current bound: 464
1351.70/1355.74	c current bound: 464
1352.42/1356.14	c current bound: 464
1352.82/1356.54	c current bound: 464
1353.22/1356.94	c current bound: 464
1353.63/1357.32	c current bound: 464
1353.98/1357.71	c current bound: 464
1354.38/1358.10	c current bound: 464
1354.72/1358.49	c current bound: 464
1354.84/1358.88	c current bound: 464
1355.21/1359.28	c current bound: 464
1355.92/1359.68	c current bound: 464
1356.02/1360.07	c current bound: 464
1356.40/1360.45	c current bound: 464
1357.09/1360.85	c current bound: 464
1357.19/1361.25	c current bound: 464
1357.57/1361.64	c current bound: 464
1358.30/1362.04	c current bound: 464
1358.36/1362.44	c current bound: 464
1359.10/1362.84	c current bound: 464
1359.49/1363.25	c current bound: 464
1359.56/1363.65	c current bound: 464
1360.29/1364.04	c current bound: 464
1360.67/1364.43	c current bound: 464
1361.07/1364.83	c current bound: 464
1361.49/1365.24	c current bound: 464
1361.54/1365.65	c current bound: 464
1361.96/1366.05	c current bound: 464
1362.67/1366.45	c current bound: 464
1362.75/1366.85	c current bound: 464
1363.47/1367.25	c current bound: 464
1363.89/1367.64	c current bound: 464
1364.28/1368.04	c current bound: 464
1364.68/1368.43	c current bound: 464
1365.07/1368.83	c current bound: 464
1365.47/1369.22	c current bound: 464
1365.87/1369.62	c current bound: 464
1366.27/1370.02	c current bound: 464
1366.66/1370.41	c current bound: 464
1367.05/1370.80	c current bound: 464
1367.46/1371.21	c current bound: 464
1367.90/1371.60	c current bound: 464
1368.26/1372.00	c current bound: 464
1368.31/1372.39	c current bound: 464
1368.99/1372.79	c current bound: 464
1369.45/1373.26	c current bound: 464
1369.50/1373.66	c current bound: 464
1370.21/1374.04	c current bound: 464
1370.60/1374.43	c current bound: 464
1370.99/1374.81	c current bound: 464
1371.39/1375.21	c current bound: 464
1371.79/1375.61	c current bound: 464
1371.85/1375.99	c current bound: 464
1372.23/1376.38	c current bound: 464
1372.61/1376.76	c current bound: 464
1373.31/1377.16	c current bound: 464
1373.41/1377.56	c current bound: 464
1373.81/1377.97	c current bound: 464
1374.52/1378.36	c current bound: 464
1374.60/1378.76	c current bound: 464
1375.00/1379.16	c current bound: 464
1375.71/1379.56	c current bound: 464
1375.80/1379.95	c current bound: 464
1376.18/1380.35	c current bound: 464
1376.91/1380.75	c current bound: 464
1376.99/1381.15	c current bound: 464
1377.73/1381.55	c current bound: 464
1378.11/1381.93	c current bound: 464
1378.50/1382.32	c current bound: 464
1378.91/1382.72	c current bound: 464
1379.30/1383.11	c current bound: 464
1379.69/1383.51	c current bound: 464
1380.11/1383.92	c current bound: 464
1380.49/1384.31	c current bound: 464
1380.89/1384.71	c current bound: 464
1381.29/1385.11	c current bound: 464
1381.69/1385.51	c current bound: 464
1382.13/1385.90	c current bound: 464
1382.48/1386.30	c current bound: 464
1382.92/1386.70	c current bound: 464
1383.22/1387.09	c current bound: 464
1383.32/1387.49	c current bound: 464
1383.73/1387.88	c current bound: 464
1384.42/1388.28	c current bound: 464
1384.51/1388.68	c current bound: 464
1384.91/1389.08	c current bound: 464
1385.59/1389.47	c current bound: 464
1385.68/1389.87	c current bound: 464
1386.08/1390.25	c current bound: 464
1386.78/1390.65	c current bound: 464
1387.20/1391.03	c current bound: 464
1387.60/1391.42	c current bound: 464
1387.98/1391.81	c current bound: 464
1388.37/1392.21	c current bound: 464
1388.69/1392.60	c current bound: 464
1389.21/1393.00	c current bound: 464
1389.23/1393.39	c current bound: 464
1389.91/1393.79	c current bound: 464
1390.01/1394.18	c current bound: 464
1390.40/1394.58	c current bound: 464
1391.09/1394.98	c current bound: 464
1391.19/1395.37	c current bound: 464
1391.59/1395.77	c current bound: 464
1392.29/1396.17	c current bound: 464
1392.38/1396.55	c current bound: 464
1393.08/1396.95	c current bound: 464
1393.16/1397.35	c current bound: 464
1393.56/1397.75	c current bound: 464
1394.29/1398.13	c current bound: 464
1394.68/1398.53	c current bound: 464
1395.07/1398.93	c current bound: 464
1395.48/1399.33	c current bound: 464
1395.86/1399.72	c current bound: 464
1396.27/1400.12	c current bound: 464
1396.66/1400.52	c current bound: 464
1397.05/1400.90	c current bound: 464
1397.48/1401.30	c current bound: 464
1397.50/1401.69	c current bound: 464
1397.88/1402.08	c current bound: 464
1398.58/1402.46	c current bound: 464
1398.66/1402.85	c current bound: 464
1399.04/1403.25	c current bound: 464
1399.78/1403.65	c current bound: 464
1400.18/1404.04	c current bound: 464
1400.58/1404.44	c current bound: 464
1400.95/1404.85	c current bound: 464
1401.03/1405.24	c current bound: 464
1401.76/1405.63	c current bound: 464
1402.17/1406.03	c current bound: 464
1402.57/1406.43	c current bound: 464
1402.97/1406.83	c current bound: 464
1403.37/1407.23	c current bound: 464
1403.76/1407.63	c current bound: 464
1404.16/1408.03	c current bound: 464
1404.56/1408.43	c current bound: 464
1404.94/1408.82	c current bound: 464
1405.35/1409.22	c current bound: 464
1405.74/1409.61	c current bound: 464
1406.13/1410.01	c current bound: 464
1406.57/1410.40	c current bound: 464
1406.59/1410.79	c current bound: 464
1406.98/1411.18	c current bound: 464
1407.65/1411.58	c current bound: 464
1407.76/1411.98	c current bound: 464
1408.45/1412.39	c current bound: 464
1408.57/1412.79	c current bound: 464
1408.97/1413.18	c current bound: 464
1409.66/1413.57	c current bound: 464
1409.76/1413.96	c current bound: 464
1410.15/1414.35	c current bound: 464
1410.85/1414.75	c current bound: 464
1410.93/1415.15	c current bound: 464
1411.66/1415.54	c current bound: 464
1412.07/1415.94	c current bound: 464
1412.12/1416.34	c current bound: 464
1412.87/1416.74	c current bound: 464
1413.25/1417.13	c current bound: 464
1413.65/1417.53	c current bound: 464
1414.04/1417.93	c current bound: 464
1414.46/1418.39	c current bound: 464
1414.87/1418.80	c current bound: 464
1415.31/1419.20	c current bound: 464
1415.32/1419.59	c current bound: 464
1415.71/1419.99	c current bound: 464
1416.12/1420.38	c current bound: 464
1416.51/1420.78	c current bound: 464
1417.19/1421.18	c current bound: 464
1417.30/1421.57	c current bound: 464
1417.68/1421.96	c current bound: 464
1418.40/1422.36	c current bound: 464
1418.48/1422.76	c current bound: 464
1418.87/1423.15	c current bound: 464
1419.58/1423.55	c current bound: 464
1419.66/1423.95	c current bound: 464
1420.05/1424.34	c current bound: 464
1420.77/1424.74	c current bound: 464
1420.85/1425.14	c current bound: 464
1421.59/1425.54	c current bound: 464
1421.98/1425.93	c current bound: 464
1422.39/1426.33	c current bound: 464
1422.77/1426.72	c current bound: 464
1423.17/1427.11	c current bound: 464
1423.57/1427.51	c current bound: 464
1423.97/1427.92	c current bound: 464
1424.36/1428.30	c current bound: 464
1424.42/1428.69	c current bound: 464
1425.09/1429.09	c current bound: 464
1425.20/1429.49	c current bound: 464
1425.59/1429.89	c current bound: 464
1426.00/1430.29	c current bound: 464
1426.40/1430.69	c current bound: 464
1427.07/1431.08	c current bound: 464
1427.18/1431.47	c current bound: 464
1427.57/1431.85	c current bound: 464
1428.28/1432.25	c current bound: 464
1428.35/1432.65	c current bound: 464
1428.75/1433.04	c current bound: 464
1429.47/1433.45	c current bound: 464
1429.54/1433.84	c current bound: 464
1430.26/1434.24	c current bound: 464
1430.65/1434.65	c current bound: 464
1430.73/1435.04	c current bound: 464
1431.46/1435.43	c current bound: 464
1431.84/1435.82	c current bound: 464
1432.22/1436.20	c current bound: 464
1432.67/1436.60	c current bound: 464
1432.68/1436.99	c current bound: 464
1433.07/1437.38	c current bound: 464
1433.75/1437.77	c current bound: 464
1433.84/1438.17	c current bound: 464
1434.23/1438.55	c current bound: 464
1434.95/1438.95	c current bound: 464
1435.35/1439.33	c current bound: 464
1435.72/1439.71	c current bound: 464
1436.12/1440.11	c current bound: 464
1436.52/1440.51	c current bound: 464
1436.95/1440.91	c current bound: 464
1436.98/1441.29	c current bound: 464
1437.36/1441.69	c current bound: 464
1438.05/1442.09	c current bound: 464
1438.15/1442.49	c current bound: 464
1438.55/1442.88	c current bound: 464
1439.25/1443.28	c current bound: 464
1439.35/1443.68	c current bound: 464
1439.74/1444.07	c current bound: 464
1440.44/1444.47	c current bound: 464
1440.54/1444.87	c current bound: 464
1440.93/1445.25	c current bound: 464
1441.63/1445.65	c current bound: 464
1441.71/1446.04	c current bound: 464
1442.46/1446.44	c current bound: 464
1442.86/1446.84	c current bound: 464
1443.25/1447.23	c current bound: 464
1443.63/1447.62	c current bound: 464
1444.03/1448.02	c current bound: 464
1444.41/1448.47	c current bound: 464
1444.76/1448.87	c current bound: 464
1444.86/1449.25	c current bound: 464
1445.26/1449.65	c current bound: 464
1445.96/1450.05	c current bound: 464
1446.04/1450.45	c current bound: 464
1446.78/1450.84	c current bound: 464
1447.16/1451.22	c current bound: 464
1447.56/1451.62	c current bound: 464
1447.99/1452.01	c current bound: 464
1448.35/1452.40	c current bound: 464
1448.40/1452.79	c current bound: 464
1449.08/1453.19	c current bound: 464
1449.19/1453.58	c current bound: 464
1449.59/1453.98	c current bound: 464
1450.27/1454.38	c current bound: 464
1450.38/1454.77	c current bound: 464
1450.77/1455.17	c current bound: 464
1451.47/1455.56	c current bound: 464
1451.55/1455.96	c current bound: 464
1452.27/1456.34	c current bound: 464
1452.68/1456.74	c current bound: 464
1453.07/1457.13	c current bound: 464
1453.46/1457.52	c current bound: 464
1453.86/1457.92	c current bound: 464
1454.26/1458.32	c current bound: 464
1454.66/1458.72	c current bound: 464
1455.06/1459.12	c current bound: 464
1455.46/1459.52	c current bound: 464
1455.86/1459.91	c current bound: 464
1456.25/1460.31	c current bound: 464
1456.68/1460.71	c current bound: 464
1457.05/1461.10	c current bound: 464
1457.10/1461.49	c current bound: 464
1457.76/1461.88	c current bound: 464
1457.88/1462.28	c current bound: 464
1458.27/1462.68	c current bound: 464
1458.98/1463.07	c current bound: 464
1459.44/1463.53	c current bound: 464
1459.79/1463.93	c current bound: 464
1460.20/1464.33	c current bound: 464
1460.60/1464.71	c current bound: 464
1460.64/1465.10	c current bound: 464
1461.03/1465.49	c current bound: 464
1461.42/1465.89	c current bound: 464
1462.11/1466.29	c current bound: 464
1462.22/1466.68	c current bound: 464
1462.60/1467.07	c current bound: 464
1463.31/1467.47	c current bound: 464
1463.41/1467.87	c current bound: 464
1463.81/1468.26	c current bound: 464
1464.50/1468.65	c current bound: 464
1464.90/1469.03	c current bound: 464
1465.29/1469.42	c current bound: 464
1465.68/1469.82	c current bound: 464
1466.10/1470.22	c current bound: 464
1466.51/1470.62	c current bound: 464
1466.89/1471.01	c current bound: 464
1467.29/1471.41	c current bound: 464
1467.61/1471.80	c current bound: 464
1467.73/1472.18	c current bound: 464
1468.11/1472.58	c current bound: 464
1468.80/1472.98	c current bound: 464
1468.90/1473.38	c current bound: 464
1469.31/1473.78	c current bound: 464
1470.00/1474.19	c current bound: 464
1470.10/1474.58	c current bound: 464
1470.50/1474.97	c current bound: 464
1471.20/1475.36	c current bound: 464
1471.30/1475.76	c current bound: 464
1472.02/1476.14	c current bound: 464
1472.41/1476.54	c current bound: 464
1472.81/1476.93	c current bound: 464
1473.20/1477.33	c current bound: 464
1473.59/1477.71	c current bound: 464
1473.99/1478.11	c current bound: 464
1474.38/1478.51	c current bound: 464
1474.82/1478.90	c current bound: 464
1474.83/1479.30	c current bound: 464
1475.50/1479.70	c current bound: 464
1475.63/1480.08	c current bound: 464
1476.01/1480.48	c current bound: 464
1476.70/1480.87	c current bound: 464
1476.80/1481.27	c current bound: 464
1477.50/1481.65	c current bound: 464
1477.92/1482.04	c current bound: 464
1478.30/1482.43	c current bound: 464
1478.69/1482.81	c current bound: 464
1479.07/1483.20	c current bound: 464
1479.49/1483.72	c current bound: 464
1479.88/1484.11	c current bound: 464
1480.26/1484.51	c current bound: 464
1480.68/1484.91	c current bound: 464
1481.06/1485.31	c current bound: 464
1481.47/1485.71	c current bound: 464
1481.79/1486.09	c current bound: 464
1481.91/1486.49	c current bound: 464
1482.32/1486.88	c current bound: 464
1483.00/1487.28	c current bound: 464
1483.10/1487.67	c current bound: 464
1483.49/1488.06	c current bound: 464
1484.18/1488.46	c current bound: 464
1484.28/1488.85	c current bound: 464
1484.67/1489.25	c current bound: 464
1485.40/1489.64	c current bound: 464
1485.79/1490.04	c current bound: 464
1486.20/1490.43	c current bound: 464
1486.59/1490.83	c current bound: 464
1486.99/1491.23	c current bound: 464
1487.38/1491.62	c current bound: 464
1487.79/1492.03	c current bound: 464
1488.19/1492.42	c current bound: 464
1488.58/1492.83	c current bound: 464
1488.98/1493.22	c current bound: 464
1489.35/1493.60	c current bound: 464
1489.79/1494.00	c current bound: 464
1489.81/1494.40	c current bound: 464
1490.21/1494.79	c current bound: 464
1490.59/1495.19	c current bound: 464
1491.00/1495.59	c current bound: 464
1491.69/1495.99	c current bound: 464
1491.81/1496.38	c current bound: 464
1492.19/1496.76	c current bound: 464
1492.90/1497.16	c current bound: 464
1492.98/1497.55	c current bound: 464
1493.37/1497.94	c current bound: 464
1494.09/1498.34	c current bound: 464
1494.47/1498.72	c current bound: 464
1494.86/1499.11	c current bound: 464
1495.25/1499.51	c current bound: 464
1495.65/1499.91	c current bound: 464
1496.10/1500.30	c current bound: 464
1496.11/1500.69	c current bound: 464
1496.50/1501.07	c current bound: 464
1497.19/1501.47	c current bound: 464
1497.28/1501.86	c current bound: 464
1497.66/1502.26	c current bound: 464
1498.38/1502.66	c current bound: 464
1498.46/1503.05	c current bound: 464
1499.18/1503.44	c current bound: 464
1499.58/1503.84	c current bound: 464
1499.98/1504.23	c current bound: 464
1500.37/1504.63	c current bound: 464
1500.77/1505.03	c current bound: 464
1501.16/1505.41	c current bound: 464
1501.59/1505.80	c current bound: 464
1501.94/1506.20	c current bound: 464
1502.35/1506.60	c current bound: 464
1502.69/1506.99	c current bound: 464
1502.79/1507.39	c current bound: 464
1503.18/1507.78	c current bound: 464
1503.87/1508.18	c current bound: 464
1503.98/1508.58	c current bound: 464
1504.38/1508.96	c current bound: 464
1505.08/1509.36	c current bound: 464
1505.16/1509.76	c current bound: 464
1505.55/1510.16	c current bound: 464
1506.26/1510.56	c current bound: 464
1506.35/1510.95	c current bound: 464
1507.08/1511.34	c current bound: 464
1507.47/1511.74	c current bound: 464
1507.86/1512.12	c current bound: 464
1508.27/1512.52	c current bound: 464
1508.64/1512.91	c current bound: 464
1509.04/1513.30	c current bound: 464
1509.43/1513.70	c current bound: 464
1509.49/1514.16	c current bound: 464
1509.90/1514.56	c current bound: 464
1510.61/1514.95	c current bound: 464
1511.00/1515.34	c current bound: 464
1511.40/1515.73	c current bound: 464
1511.80/1516.12	c current bound: 464
1512.18/1516.51	c current bound: 464
1512.51/1516.90	c current bound: 464
1512.97/1517.30	c current bound: 464
1513.37/1517.70	c current bound: 464
1513.81/1518.10	c current bound: 464
1513.82/1518.48	c current bound: 464
1514.22/1518.87	c current bound: 464
1514.90/1519.26	c current bound: 464
1514.99/1519.66	c current bound: 464
1515.38/1520.04	c current bound: 464
1516.10/1520.43	c current bound: 464
1516.50/1520.83	c current bound: 464
1516.90/1521.22	c current bound: 464
1517.27/1521.61	c current bound: 464
1517.67/1522.01	c current bound: 464
1518.01/1522.39	c current bound: 464
1518.11/1522.78	c current bound: 464
1518.50/1523.18	c current bound: 464
1519.20/1523.58	c current bound: 464
1519.29/1523.96	c current bound: 464
1519.69/1524.36	c current bound: 464
1520.39/1524.76	c current bound: 464
1520.48/1525.15	c current bound: 464
1520.87/1525.55	c current bound: 464
1521.59/1525.93	c current bound: 464
1521.99/1526.33	c current bound: 464
1522.39/1526.72	c current bound: 464
1522.76/1527.11	c current bound: 464
1522.83/1527.49	c current bound: 464
1523.49/1527.89	c current bound: 464
1523.61/1528.29	c current bound: 464
1524.01/1528.67	c current bound: 464
1524.70/1529.07	c current bound: 464
1524.79/1529.47	c current bound: 464
1525.19/1529.87	c current bound: 464
1525.88/1530.25	c current bound: 464
1525.96/1530.65	c current bound: 464
1526.36/1531.05	c current bound: 464
1527.08/1531.45	c current bound: 464
1527.16/1531.85	c current bound: 464
1527.89/1532.25	c current bound: 464
1527.96/1532.65	c current bound: 464
1528.36/1533.05	c current bound: 464
1529.08/1533.43	c current bound: 464
1529.48/1533.85	c current bound: 464
1529.54/1534.25	c current bound: 464
1530.24/1534.65	c current bound: 464
1530.35/1535.05	c current bound: 464
1531.08/1535.44	c current bound: 464
1531.46/1535.83	c current bound: 464
1531.86/1536.23	c current bound: 464
1532.27/1536.62	c current bound: 464
1532.65/1537.02	c current bound: 464
1533.03/1537.40	c current bound: 464
1533.37/1537.79	c current bound: 464
1533.48/1538.18	c current bound: 464
1533.88/1538.57	c current bound: 464
1534.57/1538.97	c current bound: 464
1534.66/1539.37	c current bound: 464
1535.05/1539.76	c current bound: 464
1535.74/1540.15	c current bound: 464
1535.83/1540.54	c current bound: 464
1536.56/1540.94	c current bound: 464
1536.95/1541.33	c current bound: 464
1537.35/1541.72	c current bound: 464
1537.76/1542.12	c current bound: 464
1538.15/1542.52	c current bound: 464
1538.55/1542.92	c current bound: 464
1538.95/1543.31	c current bound: 464
1539.34/1543.71	c current bound: 464
1539.74/1544.11	c current bound: 464
1540.13/1544.51	c current bound: 464
1540.20/1544.89	c current bound: 464
1540.57/1545.28	c current bound: 464
1541.26/1545.67	c current bound: 464
1541.35/1546.06	c current bound: 464
1541.75/1546.46	c current bound: 464
1542.47/1546.85	c current bound: 464
1542.54/1547.25	c current bound: 464
1543.25/1547.65	c current bound: 464
1543.33/1548.05	c current bound: 464
1543.75/1548.46	c current bound: 464
1544.47/1548.87	c current bound: 464
1544.54/1549.27	c current bound: 464
1544.95/1549.67	c current bound: 464
1545.64/1550.07	c current bound: 464
1545.73/1550.46	c current bound: 464
1546.13/1550.86	c current bound: 464
1546.84/1551.26	c current bound: 464
1546.94/1551.64	c current bound: 464
1547.66/1552.05	c current bound: 464
1548.06/1552.44	c current bound: 464
1548.45/1552.84	c current bound: 464
1548.85/1553.22	c current bound: 464
1549.24/1553.62	c current bound: 464
1549.63/1554.01	c current bound: 464
1550.02/1554.40	c current bound: 464
1550.42/1554.80	c current bound: 464
1550.48/1555.18	c current bound: 464
1551.15/1555.58	c current bound: 464
1551.27/1555.98	c current bound: 464
1551.67/1556.38	c current bound: 464
1552.35/1556.78	c current bound: 464
1552.46/1557.17	c current bound: 464
1553.17/1557.58	c current bound: 464
1553.25/1557.97	c current bound: 464
1553.65/1558.36	c current bound: 464
1554.37/1558.76	c current bound: 464
1554.44/1559.15	c current bound: 464
1554.83/1559.55	c current bound: 464
1555.55/1559.95	c current bound: 464
1555.62/1560.34	c current bound: 464
1556.36/1560.74	c current bound: 464
1556.75/1561.13	c current bound: 464
1557.13/1561.51	c current bound: 464
1557.19/1561.89	c current bound: 464
1557.58/1562.28	c current bound: 464
1557.97/1562.68	c current bound: 464
1558.66/1563.08	c current bound: 464
1558.77/1563.47	c current bound: 464
1559.53/1563.90	c current bound: 464
1559.82/1564.29	c current bound: 464
1559.94/1564.67	c current bound: 464
1560.33/1565.07	c current bound: 464
1561.02/1565.45	c current bound: 464
1561.11/1565.85	c current bound: 464
1561.50/1566.25	c current bound: 464
1562.21/1566.65	c current bound: 464
1562.31/1567.05	c current bound: 464
1563.04/1567.44	c current bound: 464
1563.44/1567.84	c current bound: 464
1563.83/1568.24	c current bound: 464
1564.23/1568.64	c current bound: 464
1564.64/1569.04	c current bound: 464
1565.03/1569.44	c current bound: 464
1565.43/1569.83	c current bound: 464
1565.83/1570.23	c current bound: 464
1566.22/1570.63	c current bound: 464
1566.63/1571.03	c current bound: 464
1567.03/1571.42	c current bound: 464
1567.44/1571.81	c current bound: 464
1567.81/1572.21	c current bound: 464
1568.23/1572.60	c current bound: 464
1568.52/1572.98	c current bound: 464
1568.63/1573.37	c current bound: 464
1569.01/1573.77	c current bound: 464
1569.74/1574.17	c current bound: 464
1569.82/1574.57	c current bound: 464
1570.23/1574.95	c current bound: 464
1570.93/1575.35	c current bound: 464
1571.01/1575.75	c current bound: 464
1571.41/1576.14	c current bound: 464
1572.13/1576.54	c current bound: 464
1572.54/1576.94	c current bound: 464
1572.94/1577.33	c current bound: 464
1573.33/1577.72	c current bound: 464
1573.72/1578.12	c current bound: 464
1574.10/1578.51	c current bound: 464
1574.49/1578.91	c current bound: 464
1574.90/1579.31	c current bound: 464
1575.30/1579.71	c current bound: 464
1575.73/1580.10	c current bound: 464
1575.74/1580.49	c current bound: 464
1576.42/1580.89	c current bound: 464
1576.53/1581.29	c current bound: 464
1576.93/1581.68	c current bound: 464
1577.33/1582.08	c current bound: 464
1577.73/1582.48	c current bound: 464
1578.43/1582.87	c current bound: 464
1578.52/1583.27	c current bound: 464
1578.93/1583.66	c current bound: 464
1579.63/1584.06	c current bound: 464
1579.71/1584.46	c current bound: 464
1580.11/1584.85	c current bound: 464
1580.81/1585.25	c current bound: 464
1580.89/1585.64	c current bound: 464
1581.29/1586.04	c current bound: 464
1582.02/1586.43	c current bound: 464
1582.41/1586.83	c current bound: 464
1582.82/1587.23	c current bound: 464
1583.22/1587.63	c current bound: 464
1583.62/1588.03	c current bound: 464
1584.02/1588.43	c current bound: 464
1584.41/1588.83	c current bound: 464
1584.81/1589.22	c current bound: 464
1585.22/1589.62	c current bound: 464
1585.60/1590.01	c current bound: 464
1585.66/1590.39	c current bound: 464
1586.32/1590.79	c current bound: 464
1586.44/1591.19	c current bound: 464
1586.84/1591.59	c current bound: 464
1587.24/1591.98	c current bound: 464
1587.63/1592.36	c current bound: 464
1588.32/1592.76	c current bound: 464
1588.41/1593.16	c current bound: 464
1588.82/1593.55	c current bound: 464
1589.53/1593.94	c current bound: 464
1589.59/1594.35	c current bound: 464
1590.31/1594.74	c current bound: 464
1590.72/1595.14	c current bound: 464
1591.11/1595.53	c current bound: 464
1591.50/1595.93	c current bound: 464
1591.91/1596.33	c current bound: 464
1592.30/1596.73	c current bound: 464
1592.72/1597.13	c current bound: 464
1593.10/1597.53	c current bound: 464
1593.51/1597.93	c current bound: 464
1593.90/1598.33	c current bound: 464
1594.28/1598.72	c current bound: 464
1594.68/1599.12	c current bound: 464
1595.07/1599.50	c current bound: 464
1595.12/1599.89	c current bound: 464
1595.51/1600.29	c current bound: 464
1596.19/1600.69	c current bound: 464
1596.31/1601.08	c current bound: 464
1596.71/1601.48	c current bound: 464
1597.40/1601.87	c current bound: 464
1597.49/1602.27	c current bound: 464
1598.20/1602.66	c current bound: 464
1598.28/1603.06	c current bound: 464
1598.67/1603.45	c current bound: 464
1599.40/1603.85	c current bound: 464
1599.79/1604.23	c current bound: 464
1600.19/1604.63	c current bound: 464
1600.58/1605.01	c current bound: 464
1600.98/1605.41	c current bound: 464
1601.38/1605.81	c current bound: 464
1601.77/1606.21	c current bound: 464
1602.17/1606.61	c current bound: 464
1602.60/1607.01	c current bound: 464
1602.97/1607.41	c current bound: 464
1603.36/1607.81	c current bound: 464
1603.71/1608.19	c current bound: 464
1603.81/1608.59	c current bound: 464
1604.21/1608.99	c current bound: 464
1604.99/1609.40	c current bound: 464
1605.01/1609.79	c current bound: 464
1605.79/1610.20	c current bound: 464
1606.08/1610.59	c current bound: 464
1606.19/1610.99	c current bound: 464
1606.58/1611.39	c current bound: 464
1607.00/1611.78	c current bound: 464
1607.39/1612.17	c current bound: 464
1608.08/1612.57	c current bound: 464
1608.15/1612.97	c current bound: 464
1608.56/1613.35	c current bound: 464
1609.26/1613.75	c current bound: 464
1609.34/1614.15	c current bound: 464
1609.73/1614.54	c current bound: 464
1610.47/1614.94	c current bound: 464
1610.54/1615.35	c current bound: 464
1610.94/1615.75	c current bound: 464
1611.66/1616.15	c current bound: 464
1612.07/1616.54	c current bound: 464
1612.47/1616.92	c current bound: 464
1612.86/1617.32	c current bound: 464
1613.24/1617.70	c current bound: 464
1613.58/1618.08	c current bound: 464
1613.68/1618.48	c current bound: 464
1614.07/1618.87	c current bound: 464
1614.78/1619.27	c current bound: 464
1614.87/1619.66	c current bound: 464
1615.26/1620.06	c current bound: 464
1615.97/1620.46	c current bound: 464
1616.06/1620.85	c current bound: 464
1616.45/1621.25	c current bound: 464
1617.17/1621.64	c current bound: 464
1617.56/1622.03	c current bound: 464
1617.97/1622.42	c current bound: 464
1618.35/1622.81	c current bound: 464
1618.76/1623.21	c current bound: 464
1619.07/1623.60	c current bound: 464
1619.57/1624.00	c current bound: 464
1619.59/1624.39	c current bound: 464
1620.28/1624.78	c current bound: 464
1620.37/1625.18	c current bound: 464
1620.76/1625.58	c current bound: 464
1621.46/1625.98	c current bound: 464
1621.56/1626.37	c current bound: 464
1621.96/1626.76	c current bound: 464
1622.66/1627.14	c current bound: 464
1622.73/1627.54	c current bound: 464
1623.48/1627.94	c current bound: 464
1623.88/1628.34	c current bound: 464
1624.28/1628.74	c current bound: 464
1624.68/1629.15	c current bound: 464
1624.74/1629.55	c current bound: 464
1625.14/1629.95	c current bound: 464
1625.87/1630.34	c current bound: 464
1626.26/1630.73	c current bound: 464
1626.64/1631.12	c current bound: 464
1627.03/1631.51	c current bound: 464
1627.44/1631.91	c current bound: 464
1627.49/1632.30	c current bound: 464
1628.22/1632.70	c current bound: 464
1628.66/1633.10	c current bound: 464
1628.96/1633.48	c current bound: 464
1629.06/1633.88	c current bound: 464
1629.45/1634.27	c current bound: 464
1630.14/1634.67	c current bound: 464
1630.23/1635.07	c current bound: 464
1630.63/1635.46	c current bound: 464
1631.35/1635.86	c current bound: 464
1631.44/1636.25	c current bound: 464
1632.16/1636.64	c current bound: 464
1632.55/1637.04	c current bound: 464
1632.95/1637.44	c current bound: 464
1633.35/1637.84	c current bound: 464
1633.73/1638.22	c current bound: 464
1634.11/1638.60	c current bound: 464
1634.45/1639.00	c current bound: 464
1634.58/1639.39	c current bound: 464
1634.96/1639.79	c current bound: 464
1635.65/1640.17	c current bound: 464
1635.74/1640.57	c current bound: 464
1636.14/1640.97	c current bound: 464
1636.85/1641.36	c current bound: 464
1636.93/1641.76	c current bound: 464
1637.33/1642.16	c current bound: 464
1638.04/1642.55	c current bound: 464
1638.44/1642.93	c current bound: 464
1638.86/1643.33	c current bound: 464
1639.25/1643.73	c current bound: 464
1639.63/1644.12	c current bound: 464
1640.03/1644.52	c current bound: 464
1640.42/1644.91	c current bound: 464
1640.82/1645.31	c current bound: 464
1641.25/1645.70	c current bound: 464
1641.26/1646.09	c current bound: 464
1641.66/1646.49	c current bound: 464
1642.35/1646.88	c current bound: 464
1642.45/1647.28	c current bound: 464
1642.84/1647.68	c current bound: 464
1643.54/1648.08	c current bound: 464
1643.64/1648.47	c current bound: 464
1644.34/1648.87	c current bound: 464
1644.44/1649.28	c current bound: 464
1644.83/1649.67	c current bound: 464
1645.54/1650.06	c current bound: 464
1645.62/1650.45	c current bound: 464
1646.01/1650.85	c current bound: 464
1646.71/1651.25	c current bound: 464
1646.79/1651.65	c current bound: 464
1647.53/1652.04	c current bound: 464
1647.92/1652.43	c current bound: 464
1648.31/1652.82	c current bound: 464
1648.71/1653.22	c current bound: 464
1649.08/1653.60	c current bound: 464
1649.15/1653.99	c current bound: 464
1649.82/1654.39	c current bound: 464
1649.93/1654.77	c current bound: 464
1650.32/1655.16	c current bound: 464
1651.01/1655.56	c current bound: 464
1651.10/1655.96	c current bound: 464
1651.50/1656.36	c current bound: 464
1652.20/1656.75	c current bound: 464
1652.28/1657.15	c current bound: 464
1652.70/1657.55	c current bound: 464
1653.43/1657.94	c current bound: 464
1653.82/1658.34	c current bound: 464
1654.21/1658.73	c current bound: 464
1654.61/1659.13	c current bound: 464
1655.00/1659.52	c current bound: 464
1655.32/1659.90	c current bound: 464
1655.44/1660.29	c current bound: 464
1655.82/1660.69	c current bound: 464
1656.52/1661.08	c current bound: 464
1656.63/1661.48	c current bound: 464
1657.04/1661.87	c current bound: 464
1657.72/1662.27	c current bound: 464
1657.81/1662.66	c current bound: 464
1658.21/1663.05	c current bound: 464
1658.91/1663.46	c current bound: 464
1659.00/1663.85	c current bound: 464
1659.73/1664.24	c current bound: 464
1660.13/1664.64	c current bound: 464
1660.53/1665.03	c current bound: 464
1660.92/1665.43	c current bound: 464
1661.32/1665.82	c current bound: 464
1661.69/1666.22	c current bound: 464
1662.10/1666.62	c current bound: 464
1662.51/1667.02	c current bound: 464
1662.91/1667.41	c current bound: 464
1663.30/1667.80	c current bound: 464
1663.73/1668.20	c current bound: 464
1663.74/1668.58	c current bound: 464
1664.41/1668.97	c current bound: 464
1664.52/1669.37	c current bound: 464
1665.22/1669.76	c current bound: 464
1665.30/1670.16	c current bound: 464
1665.69/1670.55	c current bound: 464
1666.42/1670.95	c current bound: 464
1666.48/1671.34	c current bound: 464
1667.23/1671.74	c current bound: 464
1667.60/1672.13	c current bound: 464
1667.99/1672.51	c current bound: 464
1668.39/1672.91	c current bound: 464
1668.79/1673.31	c current bound: 464
1669.19/1673.71	c current bound: 464
1669.62/1674.11	c current bound: 464
1669.98/1674.51	c current bound: 464
1670.37/1674.90	c current bound: 464
1670.72/1675.29	c current bound: 464
1670.82/1675.69	c current bound: 464
1671.22/1676.07	c current bound: 464
1671.91/1676.47	c current bound: 464
1672.00/1676.85	c current bound: 464
1672.70/1677.24	c current bound: 464
1673.11/1677.63	c current bound: 464
1673.48/1678.02	c current bound: 464
1673.86/1678.40	c current bound: 464
1674.27/1678.80	c current bound: 464
1674.67/1679.20	c current bound: 464
1674.72/1679.58	c current bound: 464
1675.10/1679.98	c current bound: 464
1675.51/1680.38	c current bound: 464
1676.21/1680.77	c current bound: 464
1676.31/1681.15	c current bound: 464
1677.01/1681.54	c current bound: 464
1677.41/1681.94	c current bound: 464
1677.79/1682.32	c current bound: 464
1678.20/1682.72	c current bound: 464
1678.59/1683.11	c current bound: 464
1678.97/1683.50	c current bound: 464
1679.37/1683.90	c current bound: 464
1679.70/1684.29	c current bound: 464
1679.83/1684.69	c current bound: 464
1680.23/1685.08	c current bound: 464
1680.90/1685.48	c current bound: 464
1681.00/1685.87	c current bound: 464
1681.70/1686.27	c current bound: 464
1681.80/1686.67	c current bound: 464
1682.20/1687.05	c current bound: 464
1682.90/1687.45	c current bound: 464
1683.30/1687.83	c current bound: 464
1683.71/1688.23	c current bound: 464
1684.10/1688.63	c current bound: 464
1684.48/1689.02	c current bound: 464
1684.87/1689.43	c current bound: 464
1685.26/1689.82	c current bound: 464
1685.65/1690.21	c current bound: 464
1686.08/1690.61	c current bound: 464
1686.44/1691.01	c current bound: 464
1686.85/1691.41	c current bound: 464
1687.17/1691.80	c current bound: 464
1687.67/1692.20	c current bound: 464
1687.69/1692.59	c current bound: 464
1688.38/1692.98	c current bound: 464
1688.47/1693.37	c current bound: 464
1688.87/1693.77	c current bound: 464
1689.55/1694.17	c current bound: 464
1689.65/1694.57	c current bound: 464
1690.05/1694.95	c current bound: 464
1690.75/1695.36	c current bound: 464
1690.85/1695.75	c current bound: 464
1691.57/1696.14	c current bound: 464
1691.96/1696.54	c current bound: 464
1692.36/1696.94	c current bound: 464
1692.74/1697.33	c current bound: 464
1693.14/1697.72	c current bound: 464
1693.54/1698.12	c current bound: 464
1693.94/1698.52	c current bound: 464
1694.34/1698.92	c current bound: 464
1694.75/1699.32	c current bound: 464
1695.13/1699.70	c current bound: 464
1695.18/1700.09	c current bound: 464
1695.58/1700.48	c current bound: 464
1695.96/1700.89	c current bound: 464
1696.38/1701.27	c current bound: 464
1697.07/1701.67	c current bound: 464
1697.16/1702.06	c current bound: 464
1697.55/1702.44	c current bound: 464
1698.27/1702.84	c current bound: 464
1698.68/1703.24	c current bound: 464
1699.07/1703.64	c current bound: 464
1699.47/1704.04	c current bound: 464
1699.86/1704.43	c current bound: 464
1700.26/1704.83	c current bound: 464
1700.66/1705.23	c current bound: 464
1701.06/1705.62	c current bound: 464
1701.47/1706.01	c current bound: 464
1701.84/1706.41	c current bound: 464
1702.24/1706.81	c current bound: 464
1702.57/1707.19	c current bound: 464
1702.67/1707.58	c current bound: 464
1703.06/1707.97	c current bound: 464
1703.77/1708.36	c current bound: 464
1703.85/1708.75	c current bound: 464
1704.24/1709.15	c current bound: 464
1704.95/1709.56	c current bound: 464
1705.04/1709.96	c current bound: 464
1705.43/1710.36	c current bound: 464
1706.13/1710.75	c current bound: 464
1706.55/1711.14	c current bound: 464
1706.95/1711.54	c current bound: 464
1707.34/1711.94	c current bound: 464
1707.73/1712.32	c current bound: 464
1708.14/1712.72	c current bound: 464
1708.54/1713.12	c current bound: 464
1708.94/1713.52	c current bound: 464
1709.33/1713.92	c current bound: 464
1709.73/1714.32	c current bound: 464
1710.13/1714.72	c current bound: 464
1710.52/1715.11	c current bound: 464
1710.92/1715.50	c current bound: 464
1710.98/1715.89	c current bound: 464
1711.37/1716.28	c current bound: 464
1711.75/1716.68	c current bound: 464
1712.45/1717.06	c current bound: 464
1712.53/1717.46	c current bound: 464
1712.94/1717.85	c current bound: 464
1713.67/1718.24	c current bound: 464
1713.72/1718.64	c current bound: 464
1714.45/1719.04	c current bound: 464
1714.86/1719.44	c current bound: 464
1715.26/1719.83	c current bound: 464
1715.64/1720.22	c current bound: 464
1716.02/1720.61	c current bound: 464
1716.43/1721.01	c current bound: 464
1716.48/1721.39	c current bound: 464
1716.86/1721.77	c current bound: 464
1717.24/1722.16	c current bound: 464
1717.96/1722.54	c current bound: 464
1718.01/1722.94	c current bound: 464
1718.75/1723.33	c current bound: 464
1719.13/1723.71	c current bound: 464
1719.53/1724.11	c current bound: 464
1719.93/1724.51	c current bound: 464
1720.32/1725.01	c current bound: 464
1720.72/1725.41	c current bound: 464
1721.14/1725.81	c current bound: 464
1721.51/1726.21	c current bound: 464
1721.91/1726.60	c current bound: 464
1722.24/1726.99	c current bound: 464
1722.34/1727.37	c current bound: 464
1722.74/1727.77	c current bound: 464
1723.44/1728.15	c current bound: 464
1723.51/1728.55	c current bound: 464
1724.24/1728.93	c current bound: 464
1724.63/1729.33	c current bound: 464
1725.02/1729.72	c current bound: 464
1725.42/1730.12	c current bound: 464
1725.79/1730.50	c current bound: 464
1726.19/1730.90	c current bound: 464
1726.25/1731.30	c current bound: 464
1727.03/1731.70	c current bound: 464
1727.04/1732.09	c current bound: 464
1727.72/1732.48	c current bound: 464
1727.82/1732.86	c current bound: 464
1728.21/1733.26	c current bound: 464
1728.93/1733.66	c current bound: 464
1729.02/1734.06	c current bound: 464
1729.42/1734.46	c current bound: 464
1730.13/1734.86	c current bound: 464
1730.21/1735.25	c current bound: 464
1730.60/1735.65	c current bound: 464
1731.32/1736.05	c current bound: 464
1731.40/1736.45	c current bound: 464
1732.14/1736.85	c current bound: 464
1732.21/1737.25	c current bound: 464
1732.60/1737.65	c current bound: 464
1733.34/1738.03	c current bound: 464
1733.71/1738.42	c current bound: 464
1734.10/1738.80	c current bound: 464
1734.49/1739.20	c current bound: 464
1734.94/1739.61	c current bound: 464
1735.28/1740.01	c current bound: 464
1735.68/1740.41	c current bound: 464
1736.08/1740.81	c current bound: 464
1736.14/1741.20	c current bound: 464
1736.91/1741.60	c current bound: 464
1736.92/1741.99	c current bound: 464
1737.62/1742.38	c current bound: 464
1737.72/1742.78	c current bound: 464
1738.11/1743.18	c current bound: 464
1738.81/1743.57	c current bound: 464
1738.91/1743.96	c current bound: 464
1739.31/1744.36	c current bound: 464
1740.01/1744.76	c current bound: 464
1740.10/1745.16	c current bound: 464
1740.49/1745.56	c current bound: 464
1741.19/1745.95	c current bound: 464
1741.62/1746.34	c current bound: 464
1742.01/1746.74	c current bound: 464
1742.42/1747.14	c current bound: 464
1742.81/1747.53	c current bound: 464
1743.21/1747.93	c current bound: 464
1743.61/1748.33	c current bound: 464
1744.01/1748.73	c current bound: 464
1744.41/1749.12	c current bound: 464
1744.81/1749.52	c current bound: 464
1745.20/1749.91	c current bound: 464
1745.63/1750.30	c current bound: 464
1746.03/1750.70	c current bound: 464
1746.04/1751.09	c current bound: 464
1746.80/1751.51	c current bound: 464
1747.19/1751.90	c current bound: 464
1747.51/1752.29	c current bound: 464
1747.64/1752.67	c current bound: 464
1748.03/1753.07	c current bound: 464
1748.73/1753.46	c current bound: 464
1748.81/1753.85	c current bound: 464
1749.52/1754.23	c current bound: 464
1749.96/1754.70	c current bound: 464
1749.97/1755.08	c current bound: 464
1750.36/1755.47	c current bound: 464
1751.05/1755.87	c current bound: 464
1751.14/1756.27	c current bound: 464
1751.86/1756.66	c current bound: 464
1751.93/1757.06	c current bound: 464
1752.66/1757.44	c current bound: 464
1753.06/1757.84	c current bound: 464
1753.45/1758.23	c current bound: 464
1753.83/1758.63	c current bound: 464
1754.25/1759.03	c current bound: 464
1754.64/1759.43	c current bound: 464
1755.03/1759.82	c current bound: 464
1755.43/1760.22	c current bound: 464
1755.82/1760.62	c current bound: 464
1756.26/1761.00	c current bound: 464
1756.61/1761.40	c current bound: 464
1757.05/1761.80	c current bound: 464
1757.35/1762.18	c current bound: 464
1757.45/1762.57	c current bound: 464
1757.84/1762.97	c current bound: 464
1758.55/1763.35	c current bound: 464
1758.61/1763.75	c current bound: 464
1759.03/1764.15	c current bound: 464
1759.76/1764.54	c current bound: 464
1760.13/1764.92	c current bound: 464
1760.53/1765.32	c current bound: 464
1760.92/1765.71	c current bound: 464
1761.32/1766.11	c current bound: 464
1761.39/1766.50	c current bound: 464
1762.15/1766.90	c current bound: 464
1762.52/1767.30	c current bound: 464
1762.85/1767.69	c current bound: 464
1762.95/1768.07	c current bound: 464
1763.34/1768.47	c current bound: 464
1764.05/1768.87	c current bound: 464
1764.13/1769.26	c current bound: 464
1764.53/1769.66	c current bound: 464
1765.24/1770.05	c current bound: 464
1765.32/1770.45	c current bound: 464
1766.04/1770.84	c current bound: 464
1766.43/1771.22	c current bound: 464
1766.82/1771.62	c current bound: 464
1767.23/1772.01	c current bound: 464
1767.62/1772.40	c current bound: 464
1768.01/1772.80	c current bound: 464
1768.34/1773.20	c current bound: 464
1768.46/1773.59	c current bound: 464
1768.86/1773.99	c current bound: 464
1769.54/1774.38	c current bound: 464
1770.03/1774.81	c current bound: 464
1770.38/1775.21	c current bound: 464
1770.79/1775.62	c current bound: 464
1771.18/1776.01	c current bound: 464
1771.60/1776.41	c current bound: 464
1771.98/1776.81	c current bound: 464
1772.38/1777.20	c current bound: 464
1772.81/1777.60	c current bound: 464
1772.82/1777.99	c current bound: 464
1773.21/1778.39	c current bound: 464
1773.91/1778.79	c current bound: 464
1774.02/1779.19	c current bound: 464
1774.42/1779.59	c current bound: 464
1775.10/1779.98	c current bound: 464
1775.21/1780.38	c current bound: 464
1775.61/1780.78	c current bound: 464
1776.30/1781.17	c current bound: 464
1776.39/1781.56	c current bound: 464
1777.11/1781.95	c current bound: 464
1777.18/1782.35	c current bound: 464
1777.59/1782.75	c current bound: 464
1778.32/1783.15	c current bound: 464
1778.72/1783.54	c current bound: 464
1779.10/1783.92	c current bound: 464
1779.51/1784.32	c current bound: 464
1779.89/1784.71	c current bound: 464
1779.94/1785.09	c current bound: 464
1780.60/1785.49	c current bound: 464
1780.72/1785.89	c current bound: 464
1781.11/1786.28	c current bound: 464
1781.80/1786.66	c current bound: 464
1781.89/1787.05	c current bound: 464
1782.61/1787.45	c current bound: 464
1783.00/1787.84	c current bound: 464
1783.40/1788.22	c current bound: 464
1783.78/1788.61	c current bound: 464
1784.18/1789.00	c current bound: 464
1784.57/1789.40	c current bound: 464
1784.98/1789.83	c current bound: 464
1785.36/1790.22	c current bound: 464
1785.76/1790.62	c current bound: 464
1786.16/1791.02	c current bound: 464
1786.56/1791.41	c current bound: 464
1786.61/1791.79	c current bound: 464
1786.99/1792.19	c current bound: 464
1787.40/1792.58	c current bound: 464
1788.08/1792.97	c current bound: 464
1788.18/1793.35	c current bound: 464
1788.55/1793.75	c current bound: 464
1789.28/1794.14	c current bound: 464
1789.67/1794.54	c current bound: 464
1790.07/1794.93	c current bound: 464
1790.48/1795.33	c current bound: 464
1790.88/1795.74	c current bound: 464
1791.28/1796.14	c current bound: 464
1791.65/1796.52	c current bound: 464
1792.05/1796.91	c current bound: 464
1792.11/1797.30	c current bound: 464
1792.87/1797.70	c current bound: 464
1792.89/1798.09	c current bound: 464
1793.58/1798.49	c current bound: 464
1793.70/1798.89	c current bound: 464
1794.09/1799.27	c current bound: 464
1794.79/1799.67	c current bound: 464
1794.87/1800.07	c current bound: 464
1795.27/1800.47	c current bound: 464
1795.97/1800.85	c current bound: 464
1796.05/1801.25	c current bound: 464
1796.44/1801.65	c current bound: 464
1797.18/1802.03	c current bound: 464
1797.57/1802.42	c current bound: 464
1797.99/1802.80	c current bound: 464
1798.35/1803.20	c current bound: 464
1798.76/1803.60	c current bound: 464
1799.09/1804.00	c current bound: 464
1799.54/1804.40	c current bound: 464
1799.99/1804.86	c current bound: 464
1799.99/1804.87	HOME/npSolver-wbo-Itdqb.sh: line 18: 11647 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715632-1338192781/watcher-3715632-1338192781 -o /tmp/evaluation-result-3715632-1338192781/solver-3715632-1338192781 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715632-1338192781.wbo 1597661912 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: 1.79 1.79 1.76 3/179 11646
/proc/meminfo: memFree=28852248/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0

[startup+0.070633 s]
/proc/loadavg: 1.79 1.79 1.76 3/179 11646
/proc/meminfo: memFree=28852248/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100279 s]
/proc/loadavg: 1.79 1.79 1.76 3/179 11646
/proc/meminfo: memFree=28852248/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300186 s]
/proc/loadavg: 1.79 1.79 1.76 3/179 11646
/proc/meminfo: memFree=28852248/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700263 s]
/proc/loadavg: 1.79 1.79 1.76 3/179 11646
/proc/meminfo: memFree=28852248/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50024 s]
/proc/loadavg: 1.79 1.79 1.76 3/183 11723
/proc/meminfo: memFree=28840180/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1.22 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2895 19892 0 0 8 3 104 7 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 15004

[startup+3.10026 s]
/proc/loadavg: 1.79 1.79 1.76 3/183 11803
/proc/meminfo: memFree=28843572/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=2.8 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 5043 42295 0 0 13 3 246 18 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 15004

[startup+6.30023 s]
/proc/loadavg: 1.81 1.80 1.76 3/181 12029
/proc/meminfo: memFree=28849200/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=5.93 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 9339 89699 0 0 20 5 528 40 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 15004

[startup+12.7003 s]
/proc/loadavg: 1.74 1.78 1.76 3/181 12505
/proc/meminfo: memFree=28849256/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=12.62 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 18468 189119 0 0 37 9 1130 86 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 15004

[startup+25.5003 s]
/proc/loadavg: 1.80 1.79 1.76 3/183 13445
/proc/meminfo: memFree=28837104/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=25.23 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 35652 374803 0 0 69 15 2258 181 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 15004

[startup+51.1002 s]
/proc/loadavg: 1.72 1.78 1.75 3/182 15258
/proc/meminfo: memFree=28840716/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=50.79 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 70027 744863 0 0 132 28 4562 357 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589157712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 50.79
Current children cumulated vsize (KiB) 15004

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

[startup+92.4072 s]
/proc/loadavg: 2.15 1.87 1.78 3/183 18276
/proc/meminfo: memFree=28834980/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=91.84 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 126405 1346402 0 0 237 49 8252 646 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 7 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
[pid=18268] ppid=11647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18268/stat : 18268 (satsolver.sh) S 11647 11646 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285412407 9367552 267 33554432000 4194304 5064252 140733783322304 140733783321216 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18268/statm: 2287 267 226 213 0 72 0
[pid=18269] ppid=18268 vsize=12852 CPUtime=0.24 cores=1,3,5,7
/proc/18269/stat : 18269 (glucose) R 18268 11646 18846 0 -1 4202496 2425 0 0 0 24 0 0 0 20 0 1 0 285412407 13160448 2728 33554432000 4194304 5208918 140737318029840 140737318027688 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18269/statm: 3213 2728 95 248 0 2962 0
Current children cumulated CPU time (s) 92.08
Current children cumulated vsize (KiB) 37004

[startup+92.5004 s]
/proc/loadavg: 2.15 1.87 1.78 3/183 18276
/proc/meminfo: memFree=28834980/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=91.84 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 126405 1346402 0 0 237 49 8252 646 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 7 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
[pid=18268] ppid=11647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18268/stat : 18268 (satsolver.sh) R 11647 11646 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285412407 9367552 267 33554432000 4194304 5064252 140733783322304 140733783321216 227141117518 0 65536 4100 65538 0 0 0 17 3 0 0 0 0 0
/proc/18268/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 91.84
Current children cumulated vsize (KiB) 24152
#
############


[startup+102.307 s]
/proc/loadavg: 2.28 1.90 1.80 3/183 18991
/proc/meminfo: memFree=28847032/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=101.72 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 139830 1490259 0 0 262 54 9139 717 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 7 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
[pid=18990] ppid=11647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18990/stat : 18990 (satsolver.sh) S 11647 11646 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285413411 9367552 267 33554432000 4194304 5064252 140733249295520 140733249294432 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18990/statm: 2287 267 226 213 0 72 0
[pid=18991] ppid=18990 vsize=12848 CPUtime=0.09 cores=1,3,5,7
/proc/18991/stat : 18991 (glucose) R 18990 11646 18846 0 -1 4202496 2352 0 0 0 9 0 0 0 20 0 1 0 285413411 13156352 2655 33554432000 4194304 5208918 140736536821184 140736535770872 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18991/statm: 3212 2655 95 248 0 2961 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 37000

[startup+162.3 s]
/proc/loadavg: 2.16 1.96 1.82 4/184 23198
/proc/meminfo: memFree=28837536/32873844 swapFree=7116/7116

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

/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1178.78 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 1605303 17307316 0 0 2946 614 105849 8469 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1178.78
Current children cumulated vsize (KiB) 15004

[startup+1242.3 s]
/proc/loadavg: 1.38 1.57 1.66 3/183 3658
/proc/meminfo: memFree=28827172/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1238.87 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 1686397 18185682 0 0 3094 645 111237 8911 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589157712 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1238.87
Current children cumulated vsize (KiB) 15004

[startup+1302.3 s]
/proc/loadavg: 1.51 1.58 1.65 3/183 8017
/proc/meminfo: memFree=28822336/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1298.47 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 1768014 19058483 0 0 3244 677 116591 9335 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 29 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
[pid=8002] ppid=11647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8002/stat : 8002 (satsolver.sh) S 11647 11646 18846 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 285533394 9367552 267 33554432000 4194304 5064252 140734974768336 140734974767248 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8002/statm: 2287 267 226 213 0 72 0
[pid=8003] ppid=8002 vsize=12984 CPUtime=0.27 cores=1,3,5,7
/proc/8003/stat : 8003 (glucose) R 8002 11646 18846 0 -1 4202496 2003 0 0 0 27 0 0 0 20 0 1 0 285533394 13295616 2424 33554432000 4194304 5208918 140734330973968 140734974767272 4544907 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8003/statm: 3246 2424 95 248 0 2995 0
Current children cumulated CPU time (s) 1298.74
Current children cumulated vsize (KiB) 37136

[startup+1362.3 s]
/proc/loadavg: 1.55 1.57 1.64 3/183 12322
/proc/meminfo: memFree=28820352/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1358.36 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 1849638 19937428 0 0 3393 710 121976 9757 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1358.36
Current children cumulated vsize (KiB) 15004

[startup+1422.31 s]
/proc/loadavg: 1.61 1.57 1.63 3/184 16628
/proc/meminfo: memFree=28822136/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1418.09 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 1930725 20815116 0 0 3543 741 127349 10176 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
[pid=16616] ppid=11647 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16616/stat : 16616 (satsolver.sh) S 11647 11646 18846 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285545389 9367552 267 33554432000 4194304 5064252 140733974611312 140733974610224 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16616/statm: 2287 267 226 213 0 72 0
[pid=16617] ppid=16616 vsize=13380 CPUtime=0.31 cores=1,3,5,7
/proc/16617/stat : 16617 (glucose) R 16616 11646 18846 0 -1 4202496 2365 0 0 0 31 0 0 0 20 0 1 0 285545389 13701120 2686 33554432000 4194304 5208918 140736230726960 140736230724808 4212601 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16617/statm: 3345 2686 103 248 0 3094 0
Current children cumulated CPU time (s) 1418.4
Current children cumulated vsize (KiB) 37532

[startup+1482.3 s]
/proc/loadavg: 1.58 1.57 1.63 3/183 20864
/proc/meminfo: memFree=28825612/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1477.97 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2012349 21686335 0 0 3692 773 132730 10602 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1477.97
Current children cumulated vsize (KiB) 15004

[startup+1542.3 s]
/proc/loadavg: 1.57 1.56 1.62 3/182 25195
/proc/meminfo: memFree=28835312/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1537.81 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2093973 22566970 0 0 3841 803 138106 11031 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 35 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1537.81
Current children cumulated vsize (KiB) 15004

[startup+1602.3 s]
/proc/loadavg: 2.05 1.68 1.66 3/183 29482
/proc/meminfo: memFree=28833036/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1597.89 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2175597 23454688 0 0 3991 835 143499 11464 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 36 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1597.89
Current children cumulated vsize (KiB) 15004

[startup+1662.3 s]
/proc/loadavg: 2.18 1.80 1.70 3/184 1435
/proc/meminfo: memFree=28826904/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1657.81 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2257221 24333451 0 0 4139 869 148877 11896 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 39 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1657.81
Current children cumulated vsize (KiB) 15004

[startup+1722.3 s]
/proc/loadavg: 1.93 1.79 1.70 3/181 5801
/proc/meminfo: memFree=28830300/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1717.63 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2338845 25210633 0 0 4290 901 154243 12329 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 39 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1717.63
Current children cumulated vsize (KiB) 15004

[startup+1782.3 s]
/proc/loadavg: 1.71 1.74 1.68 3/183 10178
/proc/meminfo: memFree=28820596/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1777.18 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2419932 26083459 0 0 4439 931 159608 12740 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158224 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 42 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
Current children cumulated CPU time (s) 1777.18
Current children cumulated vsize (KiB) 15004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.8 s]
/proc/loadavg: 1.67 1.72 1.68 4/182 11821
/proc/meminfo: memFree=28828236/32873844 swapFree=7116/7116
[pid=11646] ppid=11644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11646/stat : 11646 (npSolver-wbo-It) S 11644 11646 18846 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 285403191 9367552 275 33554432000 4194304 5064252 140735105614016 140735105612928 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11646/statm: 2287 275 233 213 0 72 0
[pid=11647] ppid=11646 vsize=5856 CPUtime=1799.99 cores=1,3,5,7
/proc/11647/stat : 11647 (npSolver-wbo) S 11646 11646 18846 0 -1 4202496 2450613 26418191 0 0 4494 945 161652 12908 20 0 1 0 285403191 5996544 922 33554432000 4194304 5990268 140735589166816 140735589158800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 42 0 0
/proc/11647/statm: 1464 922 176 439 0 1021 0
[pid=11821] ppid=11647 vsize=16712 CPUtime=0 cores=1,3,5,7
/proc/11821/stat : 11821 (cp) D 11647 11646 18846 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 1 0 285583671 17113088 187 33554432000 4194304 4305796 140733552385360 140733552383304 227141305232 0 0 4096 0 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/11821/statm: 4178 187 154 28 0 74 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 31716

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.239998
#  lost CPU user time (s): 0.239998
#  lost CPU system time (s): 0

Real time (s): 1804.87
CPU time (s): 1800.27
CPU user time (s): 1661.72
CPU system time (s): 138.549
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 37536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1661.48
system time used= 138.549
maximum resident set size= 11680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28870160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12375224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177815
involuntary context switches= 54717

runsolver used 3.23051 second user time and 8.75267 second system time

The end

Launcher Data

Begin job on node138 at 2012-05-28 10:13:01
IDJOB=3715632
IDBENCH=78864
IDSOLVER=2297
FILE ID=node138/3715632-1338192781
RUNJOBID= node138-1338160170-18863
PBS_JOBID= 14624560
Free space on /tmp= 71484 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975607--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-3715632-1338192781/watcher-3715632-1338192781 -o /tmp/evaluation-result-3715632-1338192781/solver-3715632-1338192781 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715632-1338192781.wbo 1597661912 HOME HOME

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

MD5SUM BENCH= 9a2a28c5bb6a02365b79a03ef797cc3c
RANDOM SEED=1597661912

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28852992 kB
Buffers:          648352 kB
Cached:          2443868 kB
SwapCached:          208 kB
Active:          1181384 kB
Inactive:        1945812 kB
Active(anon):      17696 kB
Inactive(anon):    11368 kB
Active(file):    1163688 kB
Inactive(file):  1934444 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:             18928 kB
Writeback:             0 kB
AnonPages:         33652 kB
Mapped:            15592 kB
Shmem:               200 kB
Slab:             754984 kB
SReclaimable:     195348 kB
SUnreclaim:       559636 kB
KernelStack:        1480 kB
PageTables:         3752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     145424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71472 MiB
End job on node138 at 2012-05-28 10:43:06