Trace number 3715952

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.15 1806.11

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
MD5SUM359f8e8e206a8ecfac2e3b6d9e7369bc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.535917
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 constraints101
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 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1247
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.05	c run usual solver
0.00/0.42	o 1566
0.00/0.42	c starting approximation
0.00/0.42	c factor = 2
0.00/0.42	c current bound: 783
0.00/0.81	c current bound: 783
1.08/1.21	c current bound: 783
1.22/1.59	c current bound: 783
1.61/1.99	c current bound: 783
2.25/2.39	c current bound: 783
2.66/2.78	c current bound: 783
3.17/3.35	c current bound: 783
3.46/3.74	c current bound: 783
3.84/4.13	c current bound: 783
4.24/4.52	c current bound: 783
4.63/4.92	c current bound: 783
5.03/5.31	c current bound: 783
5.42/5.71	c current bound: 783
5.81/6.10	c current bound: 783
6.21/6.49	c current bound: 783
6.58/6.87	c current bound: 783
6.99/7.26	c current bound: 783
7.40/7.65	c current bound: 783
7.75/8.03	c current bound: 783
8.14/8.43	c current bound: 783
8.54/8.82	c current bound: 783
8.93/9.22	c current bound: 783
9.32/9.60	c current bound: 783
9.73/10.01	c current bound: 783
10.11/10.40	c current bound: 783
10.50/10.79	c current bound: 783
10.89/11.18	c current bound: 783
11.28/11.58	c current bound: 783
11.67/11.96	c current bound: 783
12.08/12.37	c current bound: 783
12.47/12.76	c current bound: 783
12.90/13.15	c current bound: 783
13.25/13.56	c current bound: 783
13.66/13.95	c current bound: 783
14.06/14.34	c current bound: 783
14.45/14.74	c current bound: 783
14.84/15.13	c current bound: 783
15.23/15.54	c current bound: 783
15.63/15.93	c current bound: 783
16.01/16.32	c current bound: 783
16.41/16.71	c current bound: 783
16.80/17.11	c current bound: 783
16.94/17.50	c current bound: 783
17.69/17.90	c current bound: 783
17.71/18.29	c current bound: 783
18.39/18.69	c current bound: 783
18.76/19.07	c current bound: 783
19.16/19.46	c current bound: 783
19.55/19.86	c current bound: 783
19.96/20.25	c current bound: 783
20.33/20.64	c current bound: 783
20.72/21.04	c current bound: 783
21.11/21.43	c current bound: 783
21.50/21.81	c current bound: 783
21.92/22.23	c current bound: 783
22.30/22.62	c current bound: 783
22.78/23.01	c current bound: 783
23.07/23.39	c current bound: 783
23.48/23.87	c current bound: 783
23.87/24.26	c current bound: 783
24.26/24.65	c current bound: 783
24.64/25.03	c current bound: 783
25.04/25.44	c current bound: 783
25.43/25.82	c current bound: 783
25.82/26.22	c current bound: 783
26.23/26.63	c current bound: 783
26.63/27.02	c current bound: 783
27.09/27.41	c current bound: 783
27.39/27.79	c current bound: 783
27.78/28.18	c current bound: 783
28.19/28.57	c current bound: 783
28.56/28.96	c current bound: 783
28.94/29.34	c current bound: 783
29.34/29.74	c current bound: 783
29.75/30.16	c current bound: 783
30.15/30.54	c current bound: 783
30.56/30.95	c current bound: 783
30.94/31.34	c current bound: 783
31.33/31.73	c current bound: 783
31.75/32.15	c current bound: 783
32.13/32.53	c current bound: 783
32.59/32.93	c current bound: 783
32.92/33.32	c current bound: 783
33.32/33.72	c current bound: 783
33.71/34.12	c current bound: 783
34.10/34.52	c current bound: 783
34.49/34.91	c current bound: 783
34.90/35.32	c current bound: 783
35.37/35.70	c current bound: 783
35.68/36.09	c current bound: 783
36.10/36.51	c current bound: 783
36.22/36.89	c current bound: 783
36.88/37.29	c current bound: 783
37.24/37.67	c current bound: 783
37.65/38.07	c current bound: 783
38.07/38.46	c current bound: 783
38.42/38.85	c current bound: 783
38.82/39.24	c current bound: 783
39.21/39.62	c current bound: 783
39.60/40.01	c current bound: 783
39.99/40.40	c current bound: 783
40.39/40.81	c current bound: 783
40.52/41.19	c current bound: 783
41.17/41.59	c current bound: 783
41.57/41.99	c current bound: 783
41.95/42.37	c current bound: 783
42.34/42.76	c current bound: 783
42.75/43.18	c current bound: 783
43.15/43.56	c current bound: 783
43.54/43.97	c current bound: 783
43.93/44.38	c current bound: 783
44.33/44.76	c current bound: 783
44.74/45.19	c current bound: 783
45.14/45.58	c current bound: 783
45.52/45.97	c current bound: 783
45.92/46.36	c current bound: 783
46.32/46.76	c current bound: 783
46.70/47.14	c current bound: 783
47.11/47.55	c current bound: 783
47.49/47.94	c current bound: 783
47.93/48.32	c current bound: 783
48.26/48.75	c current bound: 783
48.64/49.13	c current bound: 783
49.03/49.52	c current bound: 783
49.42/49.92	c current bound: 783
49.83/50.32	c current bound: 783
50.23/50.73	c current bound: 783
50.62/51.12	c current bound: 783
51.02/51.52	c current bound: 783
51.43/51.92	c current bound: 783
51.81/52.31	c current bound: 783
51.94/52.69	c current bound: 783
52.59/53.09	c current bound: 783
52.97/53.47	c current bound: 783
53.39/53.85	c current bound: 783
53.74/54.24	c current bound: 783
54.13/54.63	c current bound: 783
54.52/55.02	c current bound: 783
54.91/55.41	c current bound: 783
55.28/55.79	c current bound: 783
55.68/56.18	c current bound: 783
56.07/56.57	c current bound: 783
56.45/56.96	c current bound: 783
56.87/57.37	c current bound: 783
57.25/57.76	c current bound: 783
57.64/58.15	c current bound: 783
58.03/58.54	c current bound: 783
58.43/58.93	c current bound: 783
58.87/59.32	c current bound: 783
59.20/59.71	c current bound: 783
59.59/60.11	c current bound: 783
59.99/60.51	c current bound: 783
60.48/60.90	c current bound: 783
60.76/61.29	c current bound: 783
61.16/61.68	c current bound: 783
61.55/62.08	c current bound: 783
61.96/62.47	c current bound: 783
62.34/62.87	c current bound: 783
62.75/63.26	c current bound: 783
63.11/63.64	c current bound: 783
63.53/64.05	c current bound: 783
63.91/64.44	c current bound: 783
64.37/64.83	c current bound: 783
64.68/65.21	c current bound: 783
65.09/65.61	c current bound: 783
65.46/65.99	c current bound: 783
65.85/66.38	c current bound: 783
66.24/66.77	c current bound: 783
66.64/67.17	c current bound: 783
67.03/67.55	c current bound: 783
67.44/67.97	c current bound: 783
67.83/68.37	c current bound: 783
68.22/68.75	c current bound: 783
68.61/69.15	c current bound: 783
69.01/69.54	c current bound: 783
69.39/69.93	c current bound: 783
69.85/70.33	c current bound: 783
70.18/70.72	c current bound: 783
70.59/71.12	c current bound: 783
70.97/71.52	c current bound: 783
71.37/71.91	c current bound: 783
71.76/72.31	c current bound: 783
72.17/72.72	c current bound: 783
72.57/73.11	c current bound: 783
73.05/73.50	c current bound: 783
73.34/73.89	c current bound: 783
73.74/74.28	c current bound: 783
74.12/74.67	c current bound: 783
74.51/75.06	c current bound: 783
74.90/75.45	c current bound: 783
75.34/75.85	c current bound: 783
75.68/76.23	c current bound: 783
76.06/76.62	c current bound: 783
76.46/77.01	c current bound: 783
76.85/77.41	c current bound: 783
77.24/77.80	c current bound: 783
77.66/78.21	c current bound: 783
78.04/78.60	c current bound: 783
78.54/79.00	c current bound: 783
78.85/79.40	c current bound: 783
79.24/79.79	c current bound: 783
79.63/80.19	c current bound: 783
80.02/80.57	c current bound: 783
80.40/80.96	c current bound: 783
80.83/81.35	c current bound: 783
81.18/81.73	c current bound: 783
81.57/82.13	c current bound: 783
81.97/82.51	c current bound: 783
82.36/82.91	c current bound: 783
82.76/83.30	c current bound: 783
83.16/83.71	c current bound: 783
83.55/84.11	c current bound: 783
83.94/84.56	c current bound: 783
84.32/84.95	c current bound: 783
84.73/85.35	c current bound: 783
85.16/85.74	c current bound: 783
85.52/86.14	c current bound: 783
85.90/86.52	c current bound: 783
86.29/86.91	c current bound: 783
86.68/87.31	c current bound: 783
87.06/87.69	c current bound: 783
87.46/88.09	c current bound: 783
87.84/88.48	c current bound: 783
88.24/88.87	c current bound: 783
88.62/89.26	c current bound: 783
89.01/89.65	c current bound: 783
89.41/90.05	c current bound: 783
89.83/90.46	c current bound: 783
90.21/90.86	c current bound: 783
90.65/91.24	c current bound: 783
90.99/91.63	c current bound: 783
91.38/92.02	c current bound: 783
91.78/92.41	c current bound: 783
92.16/92.81	c current bound: 783
92.65/93.20	c current bound: 783
92.98/93.61	c current bound: 783
93.36/94.00	c current bound: 783
93.85/94.40	c current bound: 783
94.17/94.80	c current bound: 783
94.64/95.20	c current bound: 783
94.94/95.58	c current bound: 783
95.34/95.98	c current bound: 783
95.71/96.36	c current bound: 783
96.14/96.75	c current bound: 783
96.49/97.14	c current bound: 783
96.89/97.53	c current bound: 783
97.27/97.92	c current bound: 783
97.67/98.31	c current bound: 783
98.04/98.69	c current bound: 783
98.45/99.09	c current bound: 783
98.84/99.49	c current bound: 783
99.24/99.88	c current bound: 783
99.63/100.28	c current bound: 783
100.03/100.68	c current bound: 783
100.41/101.06	c current bound: 783
100.79/101.45	c current bound: 783
101.19/101.84	c current bound: 783
101.63/102.23	c current bound: 783
101.96/102.62	c current bound: 783
102.34/103.01	c current bound: 783
102.75/103.41	c current bound: 783
103.14/103.80	c current bound: 783
103.52/104.19	c current bound: 783
103.91/104.58	c current bound: 783
104.31/104.97	c current bound: 783
104.70/105.37	c current bound: 783
105.08/105.76	c current bound: 783
105.49/106.15	c current bound: 783
105.86/106.54	c current bound: 783
106.26/106.93	c current bound: 783
106.64/107.32	c current bound: 783
107.12/107.71	c current bound: 783
107.43/108.10	c current bound: 783
107.92/108.50	c current bound: 783
108.20/108.88	c current bound: 783
108.59/109.27	c current bound: 783
108.99/109.66	c current bound: 783
109.38/110.05	c current bound: 783
109.77/110.44	c current bound: 783
110.16/110.84	c current bound: 783
110.57/111.24	c current bound: 783
110.95/111.63	c current bound: 783
111.34/112.01	c current bound: 783
111.75/112.43	c current bound: 783
112.14/112.81	c current bound: 783
112.60/113.21	c current bound: 783
112.94/113.60	c current bound: 783
113.31/113.99	c current bound: 783
113.71/114.38	c current bound: 783
114.10/114.77	c current bound: 783
114.49/115.16	c current bound: 783
114.89/115.56	c current bound: 783
115.27/115.94	c current bound: 783
115.66/116.33	c current bound: 783
116.08/116.74	c current bound: 783
116.45/117.13	c current bound: 783
116.85/117.53	c current bound: 783
117.25/117.93	c current bound: 783
117.64/118.32	c current bound: 783
118.11/118.71	c current bound: 783
118.42/119.10	c current bound: 783
118.80/119.49	c current bound: 783
119.20/119.88	c current bound: 783
119.59/120.28	c current bound: 783
120.00/120.67	c current bound: 783
120.39/121.08	c current bound: 783
120.79/121.47	c current bound: 783
121.18/121.85	c current bound: 783
121.57/122.25	c current bound: 783
121.96/122.63	c current bound: 783
122.34/123.02	c current bound: 783
122.72/123.41	c current bound: 783
123.11/123.80	c current bound: 783
123.50/124.19	c current bound: 783
123.88/124.58	c current bound: 783
124.29/124.97	c current bound: 783
124.70/125.36	c current bound: 783
125.06/125.74	c current bound: 783
125.45/126.13	c current bound: 783
125.83/126.53	c current bound: 783
126.23/126.92	c current bound: 783
126.63/127.32	c current bound: 783
127.02/127.70	c current bound: 783
127.42/128.10	c current bound: 783
127.82/128.50	c current bound: 783
128.23/128.90	c current bound: 783
128.62/129.31	c current bound: 783
129.10/129.76	c current bound: 783
129.42/130.16	c current bound: 783
129.80/130.55	c current bound: 783
130.20/130.94	c current bound: 783
130.60/131.34	c current bound: 783
131.00/131.74	c current bound: 783
131.40/132.13	c current bound: 783
131.79/132.52	c current bound: 783
132.18/132.91	c current bound: 783
132.57/133.31	c current bound: 783
132.98/133.71	c current bound: 783
133.44/134.11	c current bound: 783
133.76/134.51	c current bound: 783
134.17/134.91	c current bound: 783
134.64/135.30	c current bound: 783
134.96/135.70	c current bound: 783
135.08/136.10	c current bound: 783
135.75/136.49	c current bound: 783
136.14/136.88	c current bound: 783
136.54/137.28	c current bound: 783
136.93/137.67	c current bound: 783
137.32/138.06	c current bound: 783
137.71/138.45	c current bound: 783
138.10/138.84	c current bound: 783
138.49/139.24	c current bound: 783
138.94/139.65	c current bound: 783
139.30/140.05	c current bound: 783
139.71/140.46	c current bound: 783
140.11/140.85	c current bound: 783
140.49/141.25	c current bound: 783
140.89/141.64	c current bound: 783
141.29/142.04	c current bound: 783
141.68/142.44	c current bound: 783
142.09/142.84	c current bound: 783
142.49/143.24	c current bound: 783
142.88/143.64	c current bound: 783
143.34/144.03	c current bound: 783
143.66/144.42	c current bound: 783
144.07/144.86	c current bound: 783
144.45/145.25	c current bound: 783
144.85/145.65	c current bound: 783
145.25/146.04	c current bound: 783
145.64/146.44	c current bound: 783
146.03/146.82	c current bound: 783
146.44/147.23	c current bound: 783
146.83/147.62	c current bound: 783
147.23/148.02	c current bound: 783
147.69/148.41	c current bound: 783
148.01/148.81	c current bound: 783
148.41/149.20	c current bound: 783
148.77/149.60	c current bound: 783
149.29/150.00	c current bound: 783
149.33/150.39	c current bound: 783
149.98/150.78	c current bound: 783
150.36/151.17	c current bound: 783
150.77/151.56	c current bound: 783
151.15/151.96	c current bound: 783
151.55/152.35	c current bound: 783
151.95/152.75	c current bound: 783
152.34/153.14	c current bound: 783
152.74/153.54	c current bound: 783
153.18/153.93	c current bound: 783
153.52/154.32	c current bound: 783
153.90/154.71	c current bound: 783
154.30/155.11	c current bound: 783
154.72/155.51	c current bound: 783
155.12/155.91	c current bound: 783
155.60/156.30	c current bound: 783
155.64/156.69	c current bound: 783
156.30/157.08	c current bound: 783
156.70/157.48	c current bound: 783
157.09/157.88	c current bound: 783
157.49/158.28	c current bound: 783
157.89/158.68	c current bound: 783
158.28/159.07	c current bound: 783
158.69/159.47	c current bound: 783
159.07/159.86	c current bound: 783
159.47/160.25	c current bound: 783
159.85/160.66	c current bound: 783
160.25/161.05	c current bound: 783
160.64/161.44	c current bound: 783
161.04/161.84	c current bound: 783
161.43/162.23	c current bound: 783
161.82/162.62	c current bound: 783
162.20/163.00	c current bound: 783
162.34/163.39	c current bound: 783
162.98/163.78	c current bound: 783
163.38/164.16	c current bound: 783
163.77/164.57	c current bound: 783
164.18/164.98	c current bound: 783
164.57/165.37	c current bound: 783
164.96/165.76	c current bound: 783
165.36/166.17	c current bound: 783
165.78/166.58	c current bound: 783
165.90/166.99	c current bound: 783
166.57/167.38	c current bound: 783
166.97/167.77	c current bound: 783
167.36/168.16	c current bound: 783
167.78/168.58	c current bound: 783
168.18/168.98	c current bound: 783
168.57/169.37	c current bound: 783
168.95/169.75	c current bound: 783
169.33/170.19	c current bound: 783
169.73/170.58	c current bound: 783
170.10/170.97	c current bound: 783
170.50/171.36	c current bound: 783
170.90/171.76	c current bound: 783
171.29/172.15	c current bound: 783
171.68/172.54	c current bound: 783
172.08/172.94	c current bound: 783
172.46/173.33	c current bound: 783
172.93/173.71	c current bound: 783
172.97/174.09	c current bound: 783
173.62/174.48	c current bound: 783
174.02/174.87	c current bound: 783
174.39/175.25	c current bound: 783
174.78/175.65	c current bound: 783
175.17/176.04	c current bound: 783
175.57/176.44	c current bound: 783
175.96/176.83	c current bound: 783
176.35/177.22	c current bound: 783
176.74/177.61	c current bound: 783
177.23/178.00	c current bound: 783
177.62/178.40	c current bound: 783
177.92/178.79	c current bound: 783
178.31/179.17	c current bound: 783
178.70/179.57	c current bound: 783
179.09/179.97	c current bound: 783
179.52/180.35	c current bound: 783
179.87/180.74	c current bound: 783
180.28/181.14	c current bound: 783
180.66/181.53	c current bound: 783
181.05/181.91	c current bound: 783
181.52/182.30	c current bound: 783
181.83/182.70	c current bound: 783
182.22/183.09	c current bound: 783
182.60/183.47	c current bound: 783
183.02/183.89	c current bound: 783
183.40/184.28	c current bound: 783
183.80/184.67	c current bound: 783
184.17/185.06	c current bound: 783
184.58/185.45	c current bound: 783
185.01/185.84	c current bound: 783
185.34/186.22	c current bound: 783
185.74/186.61	c current bound: 783
186.13/187.01	c current bound: 783
186.25/187.39	c current bound: 783
186.89/187.77	c current bound: 783
187.28/188.17	c current bound: 783
187.68/188.56	c current bound: 783
188.07/188.96	c current bound: 783
188.47/189.36	c current bound: 783
188.85/189.74	c current bound: 783
189.23/190.13	c current bound: 783
189.64/190.53	c current bound: 783
190.02/190.93	c current bound: 783
190.49/191.32	c current bound: 783
190.81/191.71	c current bound: 783
191.20/192.10	c current bound: 783
191.60/192.49	c current bound: 783
192.00/192.89	c current bound: 783
192.39/193.28	c current bound: 783
192.77/193.68	c current bound: 783
193.16/194.06	c current bound: 783
193.54/194.44	c current bound: 783
193.94/194.84	c current bound: 783
194.32/195.23	c current bound: 783
194.70/195.61	c current bound: 783
195.12/196.02	c current bound: 783
195.49/196.40	c current bound: 783
195.62/196.80	c current bound: 783
196.01/197.20	c current bound: 783
196.67/197.58	c current bound: 783
197.08/197.96	c current bound: 783
197.45/198.36	c current bound: 783
197.83/198.74	c current bound: 783
198.22/199.13	c current bound: 783
198.64/199.54	c current bound: 783
199.05/199.96	c current bound: 783
199.48/200.38	c current bound: 783
199.90/200.80	c current bound: 783
200.36/201.23	c current bound: 783
200.74/201.65	c current bound: 783
201.16/202.07	c current bound: 783
201.58/202.48	c current bound: 783
201.69/202.89	c current bound: 783
202.39/203.30	c current bound: 783
202.81/203.72	c current bound: 783
203.22/204.13	c current bound: 783
203.66/204.56	c current bound: 783
204.06/204.97	c current bound: 783
204.46/205.38	c current bound: 783
204.98/205.80	c current bound: 783
205.31/206.22	c current bound: 783
205.72/206.63	c current bound: 783
206.13/207.03	c current bound: 783
206.55/207.45	c current bound: 783
206.98/207.85	c current bound: 783
207.38/208.28	c current bound: 783
207.77/208.69	c current bound: 783
208.28/209.10	c current bound: 783
208.60/209.52	c current bound: 783
209.01/209.92	c current bound: 783
209.44/210.34	c current bound: 783
209.85/210.83	c current bound: 783
210.25/211.24	c current bound: 783
210.68/211.65	c current bound: 783
211.09/212.07	c current bound: 783
211.51/212.48	c current bound: 783
211.63/212.89	c current bound: 783
212.32/213.30	c current bound: 783
212.71/213.69	c current bound: 783
213.12/214.09	c current bound: 783
213.51/214.50	c current bound: 783
213.92/214.90	c current bound: 783
214.32/215.30	c current bound: 783
214.73/215.76	c current bound: 783
215.12/216.17	c current bound: 783
215.52/216.56	c current bound: 783
215.93/216.97	c current bound: 783
216.33/217.38	c current bound: 783
216.76/217.79	c current bound: 783
217.14/218.18	c current bound: 783
217.54/218.59	c current bound: 783
217.95/218.99	c current bound: 783
218.35/219.39	c current bound: 783
218.86/219.80	c current bound: 783
219.26/220.20	c current bound: 783
219.54/220.59	c current bound: 783
219.95/220.99	c current bound: 783
220.33/221.39	c current bound: 783
220.71/221.79	c current bound: 783
221.14/222.18	c current bound: 783
221.53/222.59	c current bound: 783
221.92/222.99	c current bound: 783
222.44/223.40	c current bound: 783
222.76/223.81	c current bound: 783
223.14/224.20	c current bound: 783
223.55/224.60	c current bound: 783
223.96/225.01	c current bound: 783
224.45/225.40	c current bound: 783
224.76/225.86	c current bound: 783
225.17/226.26	c current bound: 783
225.59/226.68	c current bound: 783
226.01/227.10	c current bound: 783
226.44/227.52	c current bound: 783
226.85/227.95	c current bound: 783
227.27/228.35	c current bound: 783
227.70/228.78	c current bound: 783
228.11/229.20	c current bound: 783
228.53/229.63	c current bound: 783
228.95/230.04	c current bound: 783
229.37/230.45	c current bound: 783
229.88/230.93	c current bound: 783
230.20/231.34	c current bound: 783
230.63/231.76	c current bound: 783
231.05/232.19	c current bound: 783
231.46/232.61	c current bound: 783
231.87/233.02	c current bound: 783
232.30/233.44	c current bound: 783
232.72/233.86	c current bound: 783
233.14/234.28	c current bound: 783
233.55/234.69	c current bound: 783
233.95/235.10	c current bound: 783
234.36/235.51	c current bound: 783
234.79/235.98	c current bound: 783
234.89/236.40	c current bound: 783
235.30/236.79	c current bound: 783
235.97/237.18	c current bound: 783
236.37/237.56	c current bound: 783
236.75/237.96	c current bound: 783
237.13/238.35	c current bound: 783
237.52/238.73	c current bound: 783
237.91/239.13	c current bound: 783
238.29/239.52	c current bound: 783
238.69/239.91	c current bound: 783
239.09/240.31	c current bound: 783
239.48/240.71	c current bound: 783
239.88/241.11	c current bound: 783
240.27/241.50	c current bound: 783
240.41/241.90	c current bound: 783
241.07/242.30	c current bound: 783
241.46/242.69	c current bound: 783
241.86/243.10	c current bound: 783
242.00/243.49	c current bound: 783
242.39/243.89	c current bound: 783
243.05/244.29	c current bound: 783
243.44/244.67	c current bound: 783
243.85/245.08	c current bound: 783
244.23/245.47	c current bound: 783
244.63/245.86	c current bound: 783
245.03/246.26	c current bound: 783
245.42/246.65	c current bound: 783
245.82/247.05	c current bound: 783
246.24/247.45	c current bound: 783
246.60/247.84	c current bound: 783
246.99/248.23	c current bound: 783
247.40/248.63	c current bound: 783
247.79/249.03	c current bound: 783
248.20/249.42	c current bound: 783
248.57/249.82	c current bound: 783
248.98/250.21	c current bound: 783
249.37/250.61	c current bound: 783
249.78/251.00	c current bound: 783
250.17/251.40	c current bound: 783
250.56/251.79	c current bound: 783
250.95/252.18	c current bound: 783
251.35/252.57	c current bound: 783
251.75/252.98	c current bound: 783
252.15/253.39	c current bound: 783
252.56/253.78	c current bound: 783
252.94/254.17	c current bound: 783
253.35/254.57	c current bound: 783
253.73/254.97	c current bound: 783
254.13/255.36	c current bound: 783
254.52/255.75	c current bound: 783
254.92/256.14	c current bound: 783
255.30/256.54	c current bound: 783
255.71/256.93	c current bound: 783
256.16/257.32	c current bound: 783
256.48/257.71	c current bound: 783
256.88/258.11	c current bound: 783
257.28/258.51	c current bound: 783
257.67/258.90	c current bound: 783
258.16/259.30	c current bound: 783
258.57/259.70	c current bound: 783
258.85/260.09	c current bound: 783
259.25/260.48	c current bound: 783
259.63/260.87	c current bound: 783
260.04/261.27	c current bound: 783
260.44/261.66	c current bound: 783
260.82/262.05	c current bound: 783
261.20/262.44	c current bound: 783
261.64/262.83	c current bound: 783
261.98/263.22	c current bound: 783
262.38/263.62	c current bound: 783
262.78/264.01	c current bound: 783
263.26/264.40	c current bound: 783
263.65/264.80	c current bound: 783
263.97/265.21	c current bound: 783
264.10/265.59	c current bound: 783
264.75/265.98	c current bound: 783
265.15/266.38	c current bound: 783
265.53/266.77	c current bound: 783
265.92/267.17	c current bound: 783
266.32/267.56	c current bound: 783
266.71/267.95	c current bound: 783
267.14/268.35	c current bound: 783
267.50/268.75	c current bound: 783
267.90/269.15	c current bound: 783
268.28/269.53	c current bound: 783
268.67/269.92	c current bound: 783
269.06/270.31	c current bound: 783
269.45/270.71	c current bound: 783
269.60/271.09	c current bound: 783
270.23/271.48	c current bound: 783
270.63/271.88	c current bound: 783
271.02/272.27	c current bound: 783
271.42/272.67	c current bound: 783
271.81/273.06	c current bound: 783
272.22/273.46	c current bound: 783
272.65/273.85	c current bound: 783
272.99/274.24	c current bound: 783
273.39/274.62	c current bound: 783
273.78/275.02	c current bound: 783
274.16/275.41	c current bound: 783
274.56/275.81	c current bound: 783
274.96/276.21	c current bound: 783
275.35/276.61	c current bound: 783
275.75/277.01	c current bound: 783
276.13/277.39	c current bound: 783
276.54/277.79	c current bound: 783
276.92/278.17	c current bound: 783
277.31/278.57	c current bound: 783
277.70/278.96	c current bound: 783
278.12/279.36	c current bound: 783
278.48/279.75	c current bound: 783
278.87/280.13	c current bound: 783
279.26/280.52	c current bound: 783
279.67/280.92	c current bound: 783
280.06/281.31	c current bound: 783
280.45/281.71	c current bound: 783
280.86/282.10	c current bound: 783
281.25/282.49	c current bound: 783
281.63/282.88	c current bound: 783
282.02/283.27	c current bound: 783
282.41/283.66	c current bound: 783
282.81/284.06	c current bound: 783
283.20/284.46	c current bound: 783
283.64/284.86	c current bound: 783
284.01/285.26	c current bound: 783
284.40/285.65	c current bound: 783
284.80/286.05	c current bound: 783
285.20/286.51	c current bound: 783
285.59/286.90	c current bound: 783
286.07/287.30	c current bound: 783
286.37/287.69	c current bound: 783
286.76/288.08	c current bound: 783
287.17/288.48	c current bound: 783
287.56/288.87	c current bound: 783
287.98/289.27	c current bound: 783
288.34/289.66	c current bound: 783
288.73/290.05	c current bound: 783
289.13/290.44	c current bound: 783
289.54/290.85	c current bound: 783
289.93/291.25	c current bound: 783
290.33/291.64	c current bound: 783
290.72/292.03	c current bound: 783
291.11/292.43	c current bound: 783
291.51/292.81	c current bound: 783
291.90/293.21	c current bound: 783
292.38/293.61	c current bound: 783
292.70/294.01	c current bound: 783
293.10/294.41	c current bound: 783
293.59/294.80	c current bound: 783
293.89/295.20	c current bound: 783
294.29/295.59	c current bound: 783
294.68/295.99	c current bound: 783
295.07/296.37	c current bound: 783
295.47/296.77	c current bound: 783
295.87/297.17	c current bound: 783
296.26/297.57	c current bound: 783
296.64/297.96	c current bound: 783
297.04/298.36	c current bound: 783
297.45/298.76	c current bound: 783
297.86/299.16	c current bound: 783
298.23/299.55	c current bound: 783
298.63/299.94	c current bound: 783
299.03/300.33	c current bound: 783
299.41/300.73	c current bound: 783
299.81/301.12	c current bound: 783
300.21/301.52	c current bound: 783
300.60/301.97	c current bound: 783
301.00/302.36	c current bound: 783
301.40/302.76	c current bound: 783
301.78/303.15	c current bound: 783
302.21/303.56	c current bound: 783
302.57/303.95	c current bound: 783
302.98/304.35	c current bound: 783
303.37/304.75	c current bound: 783
303.76/305.14	c current bound: 783
304.16/305.54	c current bound: 783
304.56/305.93	c current bound: 783
304.95/306.32	c current bound: 783
305.33/306.71	c current bound: 783
305.73/307.10	c current bound: 783
306.21/307.50	c current bound: 783
306.51/307.89	c current bound: 783
306.90/308.29	c current bound: 783
307.31/308.68	c current bound: 783
307.71/309.08	c current bound: 783
308.10/309.47	c current bound: 783
308.50/309.87	c current bound: 783
308.90/310.26	c current bound: 783
309.29/310.66	c current bound: 783
309.69/311.06	c current bound: 783
310.10/311.46	c current bound: 783
310.50/311.86	c current bound: 783
310.88/312.25	c current bound: 783
311.27/312.64	c current bound: 783
311.67/313.03	c current bound: 783
312.12/313.43	c current bound: 783
312.45/313.83	c current bound: 783
312.86/314.23	c current bound: 783
313.25/314.62	c current bound: 783
313.65/315.02	c current bound: 783
314.04/315.41	c current bound: 783
314.44/315.81	c current bound: 783
314.91/316.20	c current bound: 783
315.24/316.60	c current bound: 783
315.60/316.99	c current bound: 783
315.75/317.39	c current bound: 783
316.41/317.80	c current bound: 783
316.91/318.20	c current bound: 783
317.21/318.58	c current bound: 783
317.61/318.98	c current bound: 783
318.01/319.38	c current bound: 783
318.39/319.77	c current bound: 783
318.79/320.17	c current bound: 783
319.18/320.56	c current bound: 783
319.59/320.96	c current bound: 783
319.98/321.36	c current bound: 783
320.38/321.83	c current bound: 783
320.84/322.21	c current bound: 783
321.16/322.60	c current bound: 783
321.56/323.00	c current bound: 783
321.94/323.40	c current bound: 783
322.34/323.79	c current bound: 783
322.73/324.18	c current bound: 783
323.13/324.58	c current bound: 783
323.52/324.97	c current bound: 783
323.94/325.38	c current bound: 783
324.32/325.77	c current bound: 783
324.72/326.17	c current bound: 783
325.11/326.56	c current bound: 783
325.51/327.01	c current bound: 783
325.90/327.41	c current bound: 783
326.30/327.81	c current bound: 783
326.78/328.20	c current bound: 783
326.83/328.59	c current bound: 783
327.49/328.99	c current bound: 783
327.87/329.39	c current bound: 783
328.27/329.78	c current bound: 783
328.67/330.18	c current bound: 783
329.07/330.58	c current bound: 783
329.46/330.97	c current bound: 783
329.85/331.36	c current bound: 783
330.25/331.75	c current bound: 783
330.69/332.15	c current bound: 783
331.05/332.56	c current bound: 783
331.45/332.94	c current bound: 783
331.85/333.34	c current bound: 783
332.24/333.74	c current bound: 783
332.62/334.13	c current bound: 783
333.02/334.52	c current bound: 783
333.41/334.92	c current bound: 783
333.81/335.32	c current bound: 783
334.21/335.70	c current bound: 783
334.59/336.09	c current bound: 783
334.97/336.48	c current bound: 783
335.37/336.87	c current bound: 783
335.77/337.27	c current bound: 783
336.19/337.66	c current bound: 783
336.56/338.06	c current bound: 783
336.96/338.46	c current bound: 783
337.34/338.85	c current bound: 783
337.74/339.24	c current bound: 783
338.13/339.63	c current bound: 783
338.51/340.01	c current bound: 783
338.89/340.40	c current bound: 783
339.28/340.79	c current bound: 783
339.67/341.18	c current bound: 783
340.07/341.58	c current bound: 783
340.48/341.98	c current bound: 783
340.86/342.37	c current bound: 783
341.26/342.76	c current bound: 783
341.67/343.16	c current bound: 783
342.05/343.56	c current bound: 783
342.43/343.95	c current bound: 783
342.84/344.35	c current bound: 783
343.23/344.74	c current bound: 783
343.62/345.13	c current bound: 783
344.00/345.51	c current bound: 783
344.40/345.91	c current bound: 783
344.79/346.30	c current bound: 783
345.20/346.70	c current bound: 783
345.59/347.09	c current bound: 783
345.96/347.49	c current bound: 783
346.36/347.87	c current bound: 783
346.76/348.27	c current bound: 783
347.16/348.66	c current bound: 783
347.54/349.07	c current bound: 783
347.94/349.46	c current bound: 783
348.34/349.85	c current bound: 783
348.73/350.25	c current bound: 783
349.14/350.65	c current bound: 783
349.53/351.06	c current bound: 783
349.93/351.45	c current bound: 783
350.32/351.84	c current bound: 783
350.71/352.23	c current bound: 783
351.11/352.63	c current bound: 783
351.56/353.03	c current bound: 783
351.90/353.42	c current bound: 783
352.28/353.81	c current bound: 783
352.68/354.20	c current bound: 783
353.06/354.59	c current bound: 783
353.46/354.99	c current bound: 783
353.86/355.38	c current bound: 783
354.25/355.78	c current bound: 783
354.66/356.18	c current bound: 783
355.04/356.57	c current bound: 783
355.44/356.95	c current bound: 783
355.82/357.35	c current bound: 783
356.22/357.75	c current bound: 783
356.61/358.14	c current bound: 783
357.04/358.54	c current bound: 783
357.41/358.94	c current bound: 783
357.81/359.34	c current bound: 783
358.19/359.73	c current bound: 783
358.59/360.12	c current bound: 783
358.98/360.52	c current bound: 783
359.38/360.91	c current bound: 783
359.85/361.30	c current bound: 783
360.16/361.70	c current bound: 783
360.55/362.09	c current bound: 783
360.95/362.54	c current bound: 783
361.38/362.95	c current bound: 783
361.74/363.34	c current bound: 783
362.15/363.74	c current bound: 783
362.54/364.14	c current bound: 783
362.94/364.54	c current bound: 783
363.34/364.94	c current bound: 783
363.73/365.33	c current bound: 783
364.12/365.72	c current bound: 783
364.52/366.12	c current bound: 783
364.90/366.51	c current bound: 783
365.31/366.90	c current bound: 783
365.44/367.30	c current bound: 783
366.09/367.69	c current bound: 783
366.49/368.09	c current bound: 783
366.88/368.49	c current bound: 783
367.39/368.90	c current bound: 783
367.79/369.30	c current bound: 783
368.10/369.69	c current bound: 783
368.48/370.09	c current bound: 783
368.88/370.49	c current bound: 783
369.26/370.87	c current bound: 783
369.66/371.27	c current bound: 783
370.06/371.66	c current bound: 783
370.47/372.07	c current bound: 783
370.85/372.46	c current bound: 783
371.28/372.86	c current bound: 783
371.66/373.27	c current bound: 783
372.06/373.67	c current bound: 783
372.44/374.06	c current bound: 783
372.86/374.45	c current bound: 783
373.24/374.85	c current bound: 783
373.63/375.24	c current bound: 783
374.03/375.63	c current bound: 783
374.42/376.03	c current bound: 783
374.82/376.42	c current bound: 783
375.21/376.82	c current bound: 783
375.67/377.26	c current bound: 783
376.02/377.64	c current bound: 783
376.40/378.03	c current bound: 783
376.79/378.43	c current bound: 783
377.20/378.83	c current bound: 783
377.58/379.22	c current bound: 783
378.00/379.62	c current bound: 783
378.39/380.02	c current bound: 783
378.80/380.41	c current bound: 783
379.19/380.81	c current bound: 783
379.67/381.20	c current bound: 783
379.70/381.60	c current bound: 783
380.47/382.00	c current bound: 783
380.76/382.38	c current bound: 783
381.17/382.78	c current bound: 783
381.56/383.18	c current bound: 783
381.95/383.57	c current bound: 783
382.34/383.97	c current bound: 783
382.75/384.37	c current bound: 783
383.14/384.77	c current bound: 783
383.55/385.20	c current bound: 783
383.71/385.59	c current bound: 783
384.47/386.00	c current bound: 783
384.52/386.39	c current bound: 783
385.15/386.78	c current bound: 783
385.56/387.19	c current bound: 783
385.95/387.58	c current bound: 783
386.35/387.96	c current bound: 783
386.74/388.37	c current bound: 783
387.15/388.77	c current bound: 783
387.52/389.16	c current bound: 783
387.92/389.55	c current bound: 783
388.31/389.94	c current bound: 783
388.70/390.33	c current bound: 783
389.11/390.72	c current bound: 783
389.49/391.12	c current bound: 783
389.97/391.51	c current bound: 783
390.29/391.91	c current bound: 783
390.68/392.30	c current bound: 783
391.07/392.69	c current bound: 783
391.46/393.09	c current bound: 783
391.86/393.48	c current bound: 783
392.24/393.87	c current bound: 783
392.64/394.26	c current bound: 783
393.03/394.65	c current bound: 783
393.43/395.04	c current bound: 783
393.81/395.43	c current bound: 783
394.20/395.82	c current bound: 783
394.59/396.22	c current bound: 783
395.00/396.63	c current bound: 783
395.46/397.01	c current bound: 783
395.79/397.40	c current bound: 783
396.18/397.82	c current bound: 783
396.58/398.22	c current bound: 783
396.97/398.61	c current bound: 783
397.36/399.01	c current bound: 783
397.76/399.41	c current bound: 783
397.90/399.79	c current bound: 783
398.54/400.19	c current bound: 783
398.95/400.60	c current bound: 783
399.36/401.00	c current bound: 783
399.85/401.40	c current bound: 783
400.15/401.80	c current bound: 783
400.55/402.19	c current bound: 783
400.94/402.58	c current bound: 783
401.32/402.97	c current bound: 783
401.71/403.37	c current bound: 783
402.13/403.77	c current bound: 783
402.50/404.16	c current bound: 783
402.89/404.54	c current bound: 783
403.29/404.94	c current bound: 783
403.68/405.34	c current bound: 783
404.08/405.72	c current bound: 783
404.46/406.11	c current bound: 783
404.87/406.51	c current bound: 783
405.34/406.92	c current bound: 783
405.67/407.31	c current bound: 783
406.07/407.71	c current bound: 783
406.43/408.10	c current bound: 783
406.84/408.48	c current bound: 783
407.23/408.88	c current bound: 783
407.63/409.28	c current bound: 783
408.02/409.67	c current bound: 783
408.42/410.07	c current bound: 783
408.82/410.47	c current bound: 783
409.22/410.86	c current bound: 783
409.60/411.24	c current bound: 783
409.99/411.63	c current bound: 783
410.38/412.03	c current bound: 783
410.83/412.43	c current bound: 783
411.17/412.83	c current bound: 783
411.56/413.22	c current bound: 783
411.95/413.61	c current bound: 783
412.43/414.00	c current bound: 783
412.74/414.39	c current bound: 783
413.13/414.78	c current bound: 783
413.51/415.18	c current bound: 783
413.93/415.58	c current bound: 783
414.33/415.98	c current bound: 783
414.73/416.37	c current bound: 783
415.12/416.77	c current bound: 783
415.52/417.17	c current bound: 783
415.91/417.57	c current bound: 783
416.31/417.98	c current bound: 783
416.70/418.37	c current bound: 783
417.09/418.77	c current bound: 783
417.49/419.16	c current bound: 783
417.88/419.55	c current bound: 783
418.27/419.94	c current bound: 783
418.66/420.33	c current bound: 783
419.05/420.73	c current bound: 783
419.46/421.13	c current bound: 783
419.86/421.53	c current bound: 783
420.24/421.91	c current bound: 783
420.71/422.31	c current bound: 783
421.02/422.77	c current bound: 783
421.42/423.17	c current bound: 783
421.81/423.56	c current bound: 783
422.21/423.95	c current bound: 783
422.61/424.35	c current bound: 783
423.00/424.74	c current bound: 783
423.38/425.12	c current bound: 783
423.78/425.52	c current bound: 783
424.17/425.91	c current bound: 783
424.64/426.30	c current bound: 783
424.68/426.70	c current bound: 783
425.08/427.09	c current bound: 783
425.74/427.48	c current bound: 783
426.14/427.88	c current bound: 783
426.53/428.28	c current bound: 783
426.93/428.67	c current bound: 783
427.33/429.07	c current bound: 783
427.73/429.46	c current bound: 783
428.11/429.85	c current bound: 783
428.51/430.25	c current bound: 783
428.91/430.65	c current bound: 783
429.29/431.04	c current bound: 783
429.70/431.43	c current bound: 783
430.08/431.82	c current bound: 783
430.53/432.22	c current bound: 783
430.87/432.61	c current bound: 783
431.26/433.01	c current bound: 783
431.75/433.40	c current bound: 783
431.78/433.79	c current bound: 783
432.17/434.19	c current bound: 783
432.83/434.58	c current bound: 783
433.22/434.98	c current bound: 783
433.61/435.37	c current bound: 783
434.01/435.76	c current bound: 783
434.40/436.16	c current bound: 783
434.81/436.56	c current bound: 783
435.18/436.94	c current bound: 783
435.59/437.34	c current bound: 783
436.04/437.74	c current bound: 783
436.37/438.13	c current bound: 783
436.77/438.52	c current bound: 783
437.16/438.92	c current bound: 783
437.56/439.31	c current bound: 783
437.95/439.70	c current bound: 783
438.35/440.11	c current bound: 783
438.76/440.51	c current bound: 783
439.16/440.90	c current bound: 783
439.63/441.30	c current bound: 783
439.67/441.69	c current bound: 783
440.32/442.08	c current bound: 783
440.72/442.48	c current bound: 783
441.12/442.87	c current bound: 783
441.54/443.28	c current bound: 783
441.92/443.67	c current bound: 783
442.31/444.07	c current bound: 783
442.71/444.46	c current bound: 783
443.10/444.85	c current bound: 783
443.48/445.24	c current bound: 783
443.88/445.63	c current bound: 783
444.28/446.03	c current bound: 783
444.67/446.42	c current bound: 783
445.06/446.82	c current bound: 783
445.47/447.22	c current bound: 783
445.91/447.62	c current bound: 783
446.26/448.01	c current bound: 783
446.66/448.41	c current bound: 783
447.06/448.81	c current bound: 783
447.45/449.20	c current bound: 783
447.82/449.59	c current bound: 783
448.23/449.99	c current bound: 783
448.64/450.39	c current bound: 783
449.02/450.78	c current bound: 783
449.42/451.17	c current bound: 783
449.81/451.58	c current bound: 783
450.21/451.97	c current bound: 783
450.61/452.36	c current bound: 783
450.99/452.82	c current bound: 783
451.39/453.22	c current bound: 783
451.77/453.61	c current bound: 783
452.18/454.00	c current bound: 783
452.56/454.39	c current bound: 783
452.96/454.78	c current bound: 783
453.34/455.18	c current bound: 783
453.74/455.56	c current bound: 783
454.13/455.96	c current bound: 783
454.54/456.36	c current bound: 783
454.93/456.76	c current bound: 783
455.34/457.16	c current bound: 783
455.76/457.55	c current bound: 783
456.12/457.94	c current bound: 783
456.50/458.33	c current bound: 783
456.90/458.72	c current bound: 783
457.29/459.12	c current bound: 783
457.69/459.52	c current bound: 783
458.08/459.91	c current bound: 783
458.48/460.30	c current bound: 783
458.88/460.70	c current bound: 783
459.27/461.10	c current bound: 783
459.68/461.50	c current bound: 783
459.80/461.90	c current bound: 783
460.47/462.29	c current bound: 783
460.86/462.68	c current bound: 783
461.26/463.09	c current bound: 783
461.66/463.49	c current bound: 783
462.05/463.88	c current bound: 783
462.45/464.27	c current bound: 783
462.83/464.66	c current bound: 783
463.24/465.06	c current bound: 783
463.62/465.45	c current bound: 783
464.04/465.85	c current bound: 783
464.43/466.25	c current bound: 783
464.83/466.64	c current bound: 783
465.22/467.04	c current bound: 783
465.66/467.44	c current bound: 783
466.01/467.83	c current bound: 783
466.41/468.23	c current bound: 783
466.81/468.63	c current bound: 783
467.21/469.03	c current bound: 783
467.61/469.43	c current bound: 783
468.01/469.83	c current bound: 783
468.40/470.22	c current bound: 783
468.80/470.62	c current bound: 783
469.20/471.01	c current bound: 783
469.60/471.41	c current bound: 783
469.72/471.80	c current bound: 783
470.11/472.19	c current bound: 783
470.77/472.59	c current bound: 783
471.27/473.01	c current bound: 783
471.57/473.41	c current bound: 783
472.06/473.80	c current bound: 783
472.46/474.20	c current bound: 783
472.75/474.58	c current bound: 783
473.14/474.98	c current bound: 783
473.54/475.37	c current bound: 783
473.94/475.77	c current bound: 783
474.34/476.17	c current bound: 783
474.74/476.57	c current bound: 783
475.14/476.96	c current bound: 783
475.56/477.36	c current bound: 783
475.92/477.75	c current bound: 783
476.32/478.14	c current bound: 783
476.69/478.53	c current bound: 783
477.08/478.92	c current bound: 783
477.48/479.31	c current bound: 783
477.88/479.70	c current bound: 783
478.00/480.09	c current bound: 783
478.65/480.48	c current bound: 783
479.07/480.89	c current bound: 783
479.45/481.28	c current bound: 783
479.85/481.67	c current bound: 783
480.24/482.06	c current bound: 783
480.64/482.46	c current bound: 783
481.06/482.85	c current bound: 783
481.42/483.24	c current bound: 783
481.81/483.63	c current bound: 783
482.21/484.03	c current bound: 783
482.60/484.42	c current bound: 783
482.99/484.81	c current bound: 783
483.46/485.20	c current bound: 783
483.79/485.59	c current bound: 783
484.16/485.99	c current bound: 783
484.57/486.38	c current bound: 783
484.96/486.78	c current bound: 783
485.36/487.19	c current bound: 783
485.87/487.60	c current bound: 783
486.27/488.02	c current bound: 783
486.57/488.42	c current bound: 783
486.97/488.83	c current bound: 783
487.36/489.23	c current bound: 783
487.76/489.62	c current bound: 783
488.16/490.03	c current bound: 783
488.57/490.43	c current bound: 783
488.97/490.84	c current bound: 783
489.40/491.24	c current bound: 783
489.84/491.65	c current bound: 783
490.20/492.05	c current bound: 783
490.59/492.45	c current bound: 783
491.00/492.85	c current bound: 783
491.40/493.26	c current bound: 783
491.80/493.64	c current bound: 783
492.19/494.04	c current bound: 783
492.59/494.44	c current bound: 783
492.99/494.84	c current bound: 783
493.39/495.24	c current bound: 783
493.79/495.64	c current bound: 783
494.24/496.04	c current bound: 783
494.59/496.45	c current bound: 783
494.99/496.84	c current bound: 783
495.39/497.25	c current bound: 783
495.81/497.64	c current bound: 783
496.19/498.04	c current bound: 783
496.60/498.44	c current bound: 783
496.98/498.84	c current bound: 783
497.40/499.24	c current bound: 783
497.79/499.64	c current bound: 783
498.19/500.04	c current bound: 783
498.65/500.45	c current bound: 783
499.00/500.85	c current bound: 783
499.40/501.25	c current bound: 783
499.80/501.65	c current bound: 783
500.21/502.05	c current bound: 783
500.60/502.46	c current bound: 783
501.01/502.85	c current bound: 783
501.40/503.26	c current bound: 783
501.81/503.66	c current bound: 783
502.22/504.07	c current bound: 783
502.62/504.48	c current bound: 783
503.04/504.88	c current bound: 783
503.43/505.29	c current bound: 783
503.84/505.69	c current bound: 783
504.24/506.09	c current bound: 783
504.65/506.50	c current bound: 783
505.05/506.91	c current bound: 783
505.45/507.30	c current bound: 783
505.94/507.70	c current bound: 783
506.36/508.19	c current bound: 783
506.64/508.59	c current bound: 783
507.05/508.98	c current bound: 783
507.44/509.38	c current bound: 783
507.84/509.78	c current bound: 783
508.25/510.19	c current bound: 783
508.64/510.59	c current bound: 783
509.06/511.00	c current bound: 783
509.56/511.40	c current bound: 783
509.87/511.82	c current bound: 783
510.27/512.20	c current bound: 783
510.66/512.60	c current bound: 783
511.05/513.00	c current bound: 783
511.47/513.41	c current bound: 783
511.87/513.81	c current bound: 783
512.28/514.21	c current bound: 783
512.67/514.62	c current bound: 783
513.09/515.02	c current bound: 783
513.48/515.41	c current bound: 783
513.97/515.81	c current bound: 783
514.26/516.20	c current bound: 783
514.66/516.60	c current bound: 783
515.06/516.99	c current bound: 783
515.57/517.40	c current bound: 783
515.87/517.80	c current bound: 783
516.26/518.24	c current bound: 783
516.67/518.65	c current bound: 783
517.07/519.05	c current bound: 783
517.47/519.45	c current bound: 783
517.87/519.85	c current bound: 783
518.31/520.25	c current bound: 783
518.67/520.65	c current bound: 783
519.07/521.05	c current bound: 783
519.46/521.44	c current bound: 783
519.86/521.85	c current bound: 783
520.26/522.25	c current bound: 783
520.67/522.65	c current bound: 783
521.08/523.05	c current bound: 783
521.47/523.45	c current bound: 783
521.87/523.85	c current bound: 783
522.27/524.26	c current bound: 783
522.72/524.66	c current bound: 783
523.08/525.06	c current bound: 783
523.48/525.45	c current bound: 783
523.88/525.86	c current bound: 783
524.28/526.26	c current bound: 783
524.68/526.65	c current bound: 783
525.08/527.05	c current bound: 783
525.49/527.46	c current bound: 783
525.88/527.85	c current bound: 783
526.28/528.25	c current bound: 783
526.69/528.66	c current bound: 783
527.12/529.06	c current bound: 783
527.50/529.47	c current bound: 783
527.89/529.86	c current bound: 783
528.27/530.26	c current bound: 783
528.69/530.66	c current bound: 783
529.07/531.06	c current bound: 783
529.49/531.46	c current bound: 783
529.89/531.86	c current bound: 783
530.28/532.27	c current bound: 783
530.72/532.70	c current bound: 783
531.10/533.09	c current bound: 783
531.51/533.49	c current bound: 783
531.89/533.88	c current bound: 783
532.30/534.28	c current bound: 783
532.70/534.68	c current bound: 783
533.11/535.09	c current bound: 783
533.51/535.49	c current bound: 783
533.91/535.89	c current bound: 783
534.30/536.29	c current bound: 783
534.70/536.69	c current bound: 783
535.09/537.08	c current bound: 783
535.50/537.49	c current bound: 783
535.91/537.89	c current bound: 783
536.31/538.29	c current bound: 783
536.69/538.69	c current bound: 783
537.12/539.11	c current bound: 783
537.51/539.50	c current bound: 783
537.92/539.91	c current bound: 783
538.32/540.31	c current bound: 783
538.72/540.72	c current bound: 783
539.20/541.12	c current bound: 783
539.54/541.53	c current bound: 783
539.93/541.93	c current bound: 783
540.33/542.32	c current bound: 783
540.72/542.72	c current bound: 783
541.12/543.12	c current bound: 783
541.51/543.51	c current bound: 783
541.92/543.91	c current bound: 783
542.33/544.32	c current bound: 783
542.72/544.72	c current bound: 783
543.13/545.13	c current bound: 783
543.60/545.53	c current bound: 783
543.94/545.94	c current bound: 783
544.35/546.35	c current bound: 783
544.76/546.75	c current bound: 783
545.16/547.15	c current bound: 783
545.56/547.56	c current bound: 783
545.95/547.96	c current bound: 783
546.36/548.36	c current bound: 783
546.75/548.76	c current bound: 783
547.15/549.16	c current bound: 783
547.55/549.56	c current bound: 783
547.99/549.96	c current bound: 783
548.36/550.36	c current bound: 783
548.75/550.75	c current bound: 783
549.15/551.16	c current bound: 783
549.55/551.55	c current bound: 783
549.95/551.95	c current bound: 783
550.35/552.34	c current bound: 783
550.75/552.75	c current bound: 783
551.16/553.16	c current bound: 783
551.56/553.56	c current bound: 783
551.96/553.96	c current bound: 783
552.39/554.37	c current bound: 783
552.77/554.78	c current bound: 783
553.19/555.19	c current bound: 783
553.70/555.60	c current bound: 783
554.00/556.01	c current bound: 783
554.40/556.40	c current bound: 783
554.91/556.80	c current bound: 783
555.20/557.19	c current bound: 783
555.58/557.59	c current bound: 783
556.10/558.00	c current bound: 783
556.50/558.40	c current bound: 783
556.80/558.79	c current bound: 783
557.19/559.20	c current bound: 783
557.59/559.60	c current bound: 783
558.09/560.00	c current bound: 783
558.48/560.40	c current bound: 783
558.79/560.79	c current bound: 783
559.17/561.19	c current bound: 783
559.70/561.60	c current bound: 783
560.00/562.00	c current bound: 783
560.39/562.38	c current bound: 783
560.78/562.78	c current bound: 783
561.20/563.18	c current bound: 783
561.59/563.59	c current bound: 783
561.99/563.99	c current bound: 783
562.50/564.40	c current bound: 783
562.90/564.80	c current bound: 783
563.21/565.21	c current bound: 783
563.60/565.60	c current bound: 783
564.00/566.01	c current bound: 783
564.49/566.41	c current bound: 783
564.80/566.81	c current bound: 783
565.21/567.21	c current bound: 783
565.61/567.62	c current bound: 783
566.00/568.02	c current bound: 783
566.42/568.43	c current bound: 783
566.81/568.84	c current bound: 783
567.22/569.24	c current bound: 783
567.61/569.65	c current bound: 783
568.03/570.04	c current bound: 783
568.41/570.44	c current bound: 783
568.88/570.84	c current bound: 783
569.22/571.25	c current bound: 783
569.62/571.64	c current bound: 783
570.02/572.04	c current bound: 783
570.42/572.42	c current bound: 783
570.81/572.83	c current bound: 783
571.21/573.23	c current bound: 783
571.62/573.64	c current bound: 783
572.01/574.03	c current bound: 783
572.41/574.43	c current bound: 783
572.81/574.84	c current bound: 783
573.27/575.24	c current bound: 783
573.60/575.63	c current bound: 783
574.01/576.03	c current bound: 783
574.40/576.43	c current bound: 783
574.80/576.82	c current bound: 783
575.21/577.23	c current bound: 783
575.61/577.63	c current bound: 783
576.00/578.03	c current bound: 783
576.40/578.46	c current bound: 783
576.79/578.85	c current bound: 783
577.20/579.26	c current bound: 783
577.62/579.66	c current bound: 783
578.00/580.06	c current bound: 783
578.40/580.46	c current bound: 783
578.80/580.87	c current bound: 783
579.21/581.27	c current bound: 783
579.62/581.68	c current bound: 783
580.03/582.09	c current bound: 783
580.43/582.49	c current bound: 783
580.82/582.89	c current bound: 783
581.26/583.32	c current bound: 783
581.65/583.72	c current bound: 783
582.06/584.13	c current bound: 783
582.47/584.53	c current bound: 783
582.87/584.94	c current bound: 783
583.28/585.33	c current bound: 783
583.68/585.74	c current bound: 783
584.08/586.14	c current bound: 783
584.48/586.54	c current bound: 783
584.89/586.95	c current bound: 783
585.34/587.35	c current bound: 783
585.70/587.75	c current bound: 783
586.08/588.14	c current bound: 783
586.48/588.55	c current bound: 783
586.88/588.96	c current bound: 783
587.29/589.36	c current bound: 783
587.69/589.77	c current bound: 783
588.11/590.18	c current bound: 783
588.51/590.58	c current bound: 783
588.93/590.98	c current bound: 783
589.32/591.39	c current bound: 783
589.73/591.79	c current bound: 783
590.12/592.19	c current bound: 783
590.54/592.60	c current bound: 783
590.94/593.00	c current bound: 783
591.34/593.41	c current bound: 783
591.76/593.81	c current bound: 783
592.22/594.20	c current bound: 783
592.26/594.59	c current bound: 783
592.92/595.00	c current bound: 783
593.33/595.40	c current bound: 783
593.72/595.80	c current bound: 783
594.38/596.20	c current bound: 783
594.51/596.59	c current bound: 783
595.04/597.00	c current bound: 783
595.33/597.40	c current bound: 783
595.73/597.81	c current bound: 783
596.14/598.21	c current bound: 783
596.55/598.62	c current bound: 783
596.94/599.02	c current bound: 783
597.44/599.42	c current bound: 783
597.74/599.82	c current bound: 783
598.14/600.21	c current bound: 783
598.54/600.62	c current bound: 783
598.96/601.02	c current bound: 783
599.34/601.42	c current bound: 783
599.75/601.81	c current bound: 783
600.15/602.22	c current bound: 783
600.56/602.62	c current bound: 783
600.95/603.02	c current bound: 783
601.35/603.43	c current bound: 783
601.80/603.85	c current bound: 783
602.16/604.24	c current bound: 783
602.57/604.65	c current bound: 783
602.95/605.05	c current bound: 783
603.35/605.45	c current bound: 783
603.75/605.84	c current bound: 783
604.16/606.25	c current bound: 783
604.56/606.64	c current bound: 783
604.95/607.03	c current bound: 783
605.34/607.43	c current bound: 783
605.74/607.84	c current bound: 783
606.20/608.24	c current bound: 783
606.54/608.64	c current bound: 783
606.95/609.03	c current bound: 783
607.34/609.44	c current bound: 783
607.76/609.84	c current bound: 783
608.13/610.23	c current bound: 783
608.54/610.63	c current bound: 783
608.95/611.04	c current bound: 783
609.35/611.42	c current bound: 783
609.74/611.83	c current bound: 783
610.13/612.22	c current bound: 783
610.61/612.62	c current bound: 783
610.92/613.02	c current bound: 783
611.33/613.42	c current bound: 783
611.73/613.82	c current bound: 783
612.14/614.22	c current bound: 783
612.53/614.63	c current bound: 783
612.93/615.03	c current bound: 783
613.34/615.43	c current bound: 783
613.74/615.83	c current bound: 783
614.15/616.22	c current bound: 783
614.54/616.62	c current bound: 783
615.00/617.03	c current bound: 783
615.35/617.43	c current bound: 783
615.76/617.84	c current bound: 783
616.16/618.24	c current bound: 783
616.54/618.63	c current bound: 783
616.95/619.04	c current bound: 783
617.35/619.44	c current bound: 783
617.76/619.86	c current bound: 783
618.17/620.25	c current bound: 783
618.56/620.65	c current bound: 783
618.95/621.04	c current bound: 783
619.41/621.45	c current bound: 783
619.77/621.86	c current bound: 783
620.17/622.26	c current bound: 783
620.58/622.66	c current bound: 783
620.97/623.06	c current bound: 783
621.39/623.47	c current bound: 783
621.77/623.87	c current bound: 783
622.19/624.27	c current bound: 783
622.59/624.67	c current bound: 783
623.02/625.11	c current bound: 783
623.42/625.51	c current bound: 783
623.83/625.92	c current bound: 783
624.23/626.32	c current bound: 783
624.64/626.71	c current bound: 783
625.04/627.13	c current bound: 783
625.45/627.53	c current bound: 783
625.84/627.93	c current bound: 783
626.24/628.32	c current bound: 783
626.64/628.73	c current bound: 783
627.11/629.12	c current bound: 783
627.44/629.52	c current bound: 783
627.85/629.93	c current bound: 783
628.25/630.33	c current bound: 783
628.65/630.74	c current bound: 783
629.06/631.14	c current bound: 783
629.45/631.54	c current bound: 783
629.86/631.94	c current bound: 783
630.26/632.34	c current bound: 783
630.66/632.72	c current bound: 783
631.03/633.12	c current bound: 783
631.51/633.53	c current bound: 783
631.84/633.98	c current bound: 783
632.24/634.39	c current bound: 783
632.64/634.79	c current bound: 783
633.04/635.18	c current bound: 783
633.42/635.58	c current bound: 783
633.83/635.98	c current bound: 783
634.23/636.39	c current bound: 783
634.64/636.79	c current bound: 783
635.16/637.20	c current bound: 783
635.46/637.60	c current bound: 783
635.85/638.00	c current bound: 783
636.35/638.40	c current bound: 783
636.64/638.79	c current bound: 783
637.05/639.20	c current bound: 783
637.55/639.60	c current bound: 783
637.96/640.00	c current bound: 783
638.35/640.40	c current bound: 783
638.65/640.79	c current bound: 783
639.03/641.19	c current bound: 783
639.44/641.58	c current bound: 783
639.83/641.98	c current bound: 783
640.26/642.39	c current bound: 783
640.64/642.79	c current bound: 783
641.16/643.20	c current bound: 783
641.55/643.69	c current bound: 783
641.85/644.09	c current bound: 783
642.25/644.49	c current bound: 783
642.65/644.89	c current bound: 783
643.07/645.30	c current bound: 783
643.46/645.71	c current bound: 783
643.89/646.12	c current bound: 783
644.27/646.52	c current bound: 783
644.66/646.92	c current bound: 783
645.07/647.33	c current bound: 783
645.48/647.73	c current bound: 783
645.89/648.13	c current bound: 783
646.28/648.53	c current bound: 783
646.75/648.94	c current bound: 783
647.09/649.34	c current bound: 783
647.48/649.74	c current bound: 783
647.90/650.14	c current bound: 783
648.30/650.54	c current bound: 783
648.70/650.95	c current bound: 783
649.10/651.35	c current bound: 783
649.51/651.76	c current bound: 783
649.90/652.16	c current bound: 783
650.32/652.56	c current bound: 783
650.70/652.96	c current bound: 783
651.16/653.36	c current bound: 783
651.50/653.76	c current bound: 783
651.90/654.15	c current bound: 783
652.30/654.56	c current bound: 783
652.70/654.95	c current bound: 783
653.11/655.36	c current bound: 783
653.51/655.76	c current bound: 783
653.91/656.16	c current bound: 783
654.32/656.56	c current bound: 783
654.71/656.96	c current bound: 783
655.11/657.35	c current bound: 783
655.54/657.75	c current bound: 783
655.90/658.14	c current bound: 783
656.29/658.53	c current bound: 783
656.69/658.93	c current bound: 783
657.09/659.33	c current bound: 783
657.49/659.73	c current bound: 783
657.88/660.13	c current bound: 783
658.28/660.53	c current bound: 783
658.69/660.94	c current bound: 783
659.09/661.33	c current bound: 783
659.49/661.73	c current bound: 783
659.94/662.14	c current bound: 783
660.29/662.54	c current bound: 783
660.69/662.93	c current bound: 783
661.10/663.34	c current bound: 783
661.50/663.74	c current bound: 783
661.89/664.13	c current bound: 783
662.32/664.55	c current bound: 783
662.74/664.97	c current bound: 783
663.16/665.39	c current bound: 783
663.56/665.80	c current bound: 783
663.96/666.20	c current bound: 783
664.35/666.59	c current bound: 783
664.74/666.98	c current bound: 783
665.14/667.38	c current bound: 783
665.54/667.79	c current bound: 783
666.06/668.20	c current bound: 783
666.36/668.68	c current bound: 783
666.77/669.08	c current bound: 783
667.15/669.46	c current bound: 783
667.58/669.85	c current bound: 783
667.93/670.24	c current bound: 783
668.32/670.62	c current bound: 783
668.71/671.02	c current bound: 783
669.09/671.40	c current bound: 783
669.59/671.80	c current bound: 783
669.98/672.20	c current bound: 783
670.01/672.59	c current bound: 783
670.67/672.99	c current bound: 783
671.04/673.37	c current bound: 783
671.44/673.76	c current bound: 783
671.83/674.15	c current bound: 783
672.21/674.54	c current bound: 783
672.60/674.93	c current bound: 783
673.07/675.32	c current bound: 783
673.39/675.72	c current bound: 783
673.80/676.11	c current bound: 783
674.18/676.51	c current bound: 783
674.57/676.90	c current bound: 783
675.07/677.30	c current bound: 783
675.46/677.70	c current bound: 783
675.77/678.08	c current bound: 783
676.15/678.48	c current bound: 783
676.52/678.86	c current bound: 783
676.92/679.26	c current bound: 783
677.31/679.64	c current bound: 783
677.69/680.03	c current bound: 783
678.08/680.41	c current bound: 783
678.20/680.80	c current bound: 783
678.85/681.19	c current bound: 783
679.24/681.58	c current bound: 783
679.64/681.96	c current bound: 783
680.00/682.35	c current bound: 783
680.40/682.74	c current bound: 783
680.79/683.15	c current bound: 783
681.20/683.54	c current bound: 783
681.58/683.93	c current bound: 783
681.99/684.35	c current bound: 783
682.40/684.73	c current bound: 783
682.78/685.13	c current bound: 783
683.21/685.55	c current bound: 783
683.62/685.97	c current bound: 783
684.15/686.40	c current bound: 783
684.47/686.82	c current bound: 783
684.90/687.23	c current bound: 783
685.31/687.65	c current bound: 783
685.73/688.08	c current bound: 783
686.25/688.50	c current bound: 783
686.57/688.91	c current bound: 783
686.99/689.33	c current bound: 783
687.42/689.75	c current bound: 783
687.83/690.18	c current bound: 783
688.28/690.62	c current bound: 783
688.69/691.04	c current bound: 783
689.13/691.46	c current bound: 783
689.54/691.87	c current bound: 783
689.95/692.28	c current bound: 783
690.37/692.71	c current bound: 783
690.79/693.13	c current bound: 783
691.21/693.54	c current bound: 783
691.64/693.96	c current bound: 783
692.07/694.38	c current bound: 783
692.18/694.79	c current bound: 783
692.89/695.21	c current bound: 783
693.28/695.62	c current bound: 783
693.71/696.03	c current bound: 783
694.13/696.46	c current bound: 783
694.55/696.87	c current bound: 783
694.97/697.28	c current bound: 783
695.37/697.70	c current bound: 783
695.80/698.12	c current bound: 783
696.22/698.54	c current bound: 783
696.62/698.95	c current bound: 783
697.05/699.38	c current bound: 783
697.44/699.79	c current bound: 783
697.85/700.19	c current bound: 783
698.25/700.59	c current bound: 783
698.65/700.99	c current bound: 783
699.06/701.39	c current bound: 783
699.46/701.80	c current bound: 783
699.87/702.21	c current bound: 783
700.27/702.60	c current bound: 783
700.67/703.01	c current bound: 783
701.08/703.41	c current bound: 783
701.47/703.81	c current bound: 783
701.88/704.22	c current bound: 783
702.28/704.62	c current bound: 783
702.76/705.02	c current bound: 783
703.08/705.41	c current bound: 783
703.48/705.82	c current bound: 783
703.88/706.22	c current bound: 783
704.27/706.62	c current bound: 783
704.68/707.02	c current bound: 783
705.08/707.42	c current bound: 783
705.48/707.82	c current bound: 783
705.89/708.22	c current bound: 783
706.28/708.63	c current bound: 783
706.69/709.03	c current bound: 783
707.15/709.43	c current bound: 783
707.49/709.83	c current bound: 783
707.89/710.24	c current bound: 783
708.30/710.63	c current bound: 783
708.69/711.03	c current bound: 783
709.11/711.44	c current bound: 783
709.50/711.84	c current bound: 783
709.91/712.25	c current bound: 783
710.31/712.65	c current bound: 783
710.71/713.06	c current bound: 783
711.13/713.46	c current bound: 783
711.55/713.86	c current bound: 783
711.92/714.27	c current bound: 783
712.32/714.67	c current bound: 783
712.72/715.06	c current bound: 783
713.12/715.47	c current bound: 783
713.53/715.88	c current bound: 783
713.94/716.28	c current bound: 783
714.33/716.67	c current bound: 783
714.72/717.07	c current bound: 783
715.15/717.49	c current bound: 783
715.55/717.89	c current bound: 783
715.96/718.29	c current bound: 783
716.35/718.69	c current bound: 783
716.74/719.14	c current bound: 783
717.18/719.56	c current bound: 783
717.59/719.97	c current bound: 783
717.71/720.40	c current bound: 783
718.40/720.78	c current bound: 783
718.80/721.18	c current bound: 783
719.21/721.57	c current bound: 783
719.58/721.97	c current bound: 783
720.00/722.37	c current bound: 783
720.38/722.76	c current bound: 783
720.79/723.16	c current bound: 783
721.17/723.56	c current bound: 783
721.56/723.95	c current bound: 783
721.96/724.34	c current bound: 783
722.36/724.74	c current bound: 783
722.75/725.13	c current bound: 783
723.14/725.52	c current bound: 783
723.59/725.92	c current bound: 783
723.93/726.31	c current bound: 783
724.32/726.70	c current bound: 783
724.71/727.10	c current bound: 783
725.21/727.50	c current bound: 783
725.50/727.89	c current bound: 783
725.91/728.29	c current bound: 783
726.30/728.68	c current bound: 783
726.69/729.09	c current bound: 783
727.09/729.48	c current bound: 783
727.49/729.87	c current bound: 783
727.89/730.26	c current bound: 783
728.26/730.65	c current bound: 783
728.66/731.05	c current bound: 783
729.09/731.45	c current bound: 783
729.46/731.85	c current bound: 783
729.85/732.25	c current bound: 783
730.26/732.65	c current bound: 783
730.65/733.05	c current bound: 783
731.06/733.45	c current bound: 783
731.46/733.85	c current bound: 783
731.85/734.25	c current bound: 783
732.24/734.67	c current bound: 783
732.62/735.06	c current bound: 783
733.03/735.45	c current bound: 783
733.45/735.85	c current bound: 783
733.82/736.25	c current bound: 783
734.21/736.64	c current bound: 783
734.61/737.03	c current bound: 783
735.00/737.42	c current bound: 783
735.39/737.81	c current bound: 783
735.78/738.21	c current bound: 783
736.18/738.61	c current bound: 783
736.57/739.00	c current bound: 783
736.98/739.40	c current bound: 783
737.38/739.80	c current bound: 783
737.77/740.19	c current bound: 783
738.16/740.59	c current bound: 783
738.56/740.99	c current bound: 783
738.96/741.39	c current bound: 783
739.36/741.79	c current bound: 783
739.75/742.17	c current bound: 783
740.15/742.57	c current bound: 783
740.55/742.97	c current bound: 783
740.94/743.37	c current bound: 783
741.34/743.77	c current bound: 783
741.73/744.17	c current bound: 783
742.14/744.57	c current bound: 783
742.53/744.96	c current bound: 783
742.93/745.35	c current bound: 783
743.36/745.75	c current bound: 783
743.72/746.14	c current bound: 783
744.10/746.53	c current bound: 783
744.50/746.93	c current bound: 783
744.91/747.33	c current bound: 783
745.30/747.73	c current bound: 783
745.70/748.13	c current bound: 783
746.10/748.53	c current bound: 783
746.50/748.92	c current bound: 783
746.89/749.32	c current bound: 783
747.29/749.72	c current bound: 783
747.76/750.11	c current bound: 783
748.08/750.50	c current bound: 783
748.46/750.89	c current bound: 783
748.87/751.29	c current bound: 783
749.26/751.69	c current bound: 783
749.66/752.08	c current bound: 783
750.04/752.47	c current bound: 783
750.44/752.86	c current bound: 783
750.83/753.26	c current bound: 783
751.23/753.65	c current bound: 783
751.62/754.04	c current bound: 783
752.03/754.44	c current bound: 783
752.41/754.83	c current bound: 783
752.81/755.23	c current bound: 783
753.27/755.62	c current bound: 783
753.60/756.02	c current bound: 783
753.98/756.40	c current bound: 783
754.38/756.79	c current bound: 783
754.76/757.18	c current bound: 783
755.16/757.58	c current bound: 783
755.55/757.97	c current bound: 783
755.95/758.36	c current bound: 783
756.35/758.76	c current bound: 783
756.74/759.15	c current bound: 783
757.14/759.55	c current bound: 783
757.53/759.95	c current bound: 783
757.92/760.34	c current bound: 783
758.31/760.74	c current bound: 783
758.76/761.13	c current bound: 783
759.10/761.52	c current bound: 783
759.50/761.92	c current bound: 783
759.90/762.32	c current bound: 783
760.31/762.71	c current bound: 783
760.69/763.10	c current bound: 783
761.18/763.50	c current bound: 783
761.57/763.90	c current bound: 783
761.89/764.37	c current bound: 783
762.28/764.76	c current bound: 783
762.66/765.15	c current bound: 783
763.11/765.55	c current bound: 783
763.45/765.94	c current bound: 783
763.85/766.33	c current bound: 783
764.23/766.72	c current bound: 783
764.63/767.11	c current bound: 783
765.04/767.51	c current bound: 783
765.43/767.91	c current bound: 783
765.82/768.30	c current bound: 783
766.23/768.70	c current bound: 783
766.62/769.10	c current bound: 783
767.11/769.50	c current bound: 783
767.52/769.90	c current bound: 783
767.56/770.29	c current bound: 783
768.19/770.68	c current bound: 783
768.58/771.07	c current bound: 783
768.99/771.47	c current bound: 783
769.38/771.86	c current bound: 783
769.76/772.25	c current bound: 783
770.16/772.65	c current bound: 783
770.56/773.05	c current bound: 783
770.95/773.45	c current bound: 783
771.34/773.84	c current bound: 783
771.74/774.23	c current bound: 783
772.13/774.62	c current bound: 783
772.52/775.01	c current bound: 783
772.99/775.41	c current bound: 783
773.05/775.79	c current bound: 783
773.43/776.19	c current bound: 783
774.11/776.59	c current bound: 783
774.50/776.98	c current bound: 783
774.89/777.37	c current bound: 783
775.27/777.75	c current bound: 783
775.67/778.15	c current bound: 783
776.06/778.54	c current bound: 783
776.56/779.00	c current bound: 783
776.84/779.40	c current bound: 783
777.25/779.80	c current bound: 783
777.65/780.18	c current bound: 783
778.03/780.58	c current bound: 783
778.44/780.98	c current bound: 783
778.83/781.37	c current bound: 783
779.22/781.78	c current bound: 783
779.64/782.19	c current bound: 783
780.03/782.59	c current bound: 783
780.42/782.98	c current bound: 783
780.82/783.38	c current bound: 783
781.21/783.78	c current bound: 783
781.62/784.17	c current bound: 783
782.02/784.58	c current bound: 783
782.42/784.98	c current bound: 783
782.85/785.38	c current bound: 783
783.22/785.78	c current bound: 783
783.63/786.18	c current bound: 783
784.02/786.58	c current bound: 783
784.44/786.99	c current bound: 783
784.83/787.39	c current bound: 783
785.23/787.78	c current bound: 783
785.63/788.18	c current bound: 783
786.03/788.59	c current bound: 783
786.53/789.05	c current bound: 783
786.84/789.46	c current bound: 783
787.25/789.86	c current bound: 783
787.64/790.26	c current bound: 783
788.03/790.65	c current bound: 783
788.44/791.06	c current bound: 783
788.83/791.46	c current bound: 783
789.25/791.85	c current bound: 783
789.64/792.26	c current bound: 783
790.04/792.66	c current bound: 783
790.48/793.06	c current bound: 783
790.85/793.47	c current bound: 783
791.25/793.87	c current bound: 783
791.65/794.26	c current bound: 783
792.05/794.66	c current bound: 783
792.44/795.06	c current bound: 783
792.86/795.47	c current bound: 783
793.27/795.87	c current bound: 783
793.66/796.27	c current bound: 783
794.06/796.67	c current bound: 783
794.45/797.07	c current bound: 783
794.88/797.46	c current bound: 783
795.25/797.86	c current bound: 783
795.65/798.27	c current bound: 783
796.05/798.67	c current bound: 783
796.57/799.15	c current bound: 783
796.85/799.55	c current bound: 783
797.25/799.95	c current bound: 783
797.65/800.36	c current bound: 783
798.10/800.75	c current bound: 783
798.45/801.16	c current bound: 783
798.86/801.55	c current bound: 783
799.25/801.95	c current bound: 783
799.65/802.35	c current bound: 783
800.07/802.76	c current bound: 783
800.47/803.17	c current bound: 783
800.87/803.57	c current bound: 783
801.27/803.97	c current bound: 783
801.69/804.38	c current bound: 783
802.10/804.79	c current bound: 783
802.50/805.19	c current bound: 783
803.01/805.60	c current bound: 783
803.31/805.99	c current bound: 783
803.71/806.39	c current bound: 783
804.20/806.80	c current bound: 783
804.51/807.20	c current bound: 783
805.01/807.60	c current bound: 783
805.41/808.00	c current bound: 783
805.70/808.39	c current bound: 783
806.21/808.80	c current bound: 783
806.50/809.19	c current bound: 783
806.90/809.60	c current bound: 783
807.31/810.01	c current bound: 783
807.70/810.39	c current bound: 783
808.10/810.79	c current bound: 783
808.50/811.19	c current bound: 783
808.91/811.60	c current bound: 783
809.30/812.00	c current bound: 783
809.72/812.41	c current bound: 783
810.20/812.82	c current bound: 783
810.53/813.22	c current bound: 783
810.93/813.62	c current bound: 783
811.33/814.02	c current bound: 783
811.74/814.42	c current bound: 783
812.12/814.82	c current bound: 783
812.54/815.22	c current bound: 783
812.92/815.62	c current bound: 783
813.32/816.01	c current bound: 783
813.71/816.41	c current bound: 783
814.12/816.81	c current bound: 783
814.61/817.21	c current bound: 783
814.92/817.61	c current bound: 783
815.32/818.01	c current bound: 783
815.72/818.41	c current bound: 783
816.12/818.82	c current bound: 783
816.52/819.21	c current bound: 783
817.01/819.60	c current bound: 783
817.31/820.00	c current bound: 783
817.72/820.40	c current bound: 783
818.11/820.81	c current bound: 783
818.53/821.22	c current bound: 783
819.01/821.63	c current bound: 783
819.34/822.03	c current bound: 783
819.76/822.43	c current bound: 783
820.15/822.84	c current bound: 783
820.55/823.23	c current bound: 783
820.95/823.64	c current bound: 783
821.35/824.04	c current bound: 783
821.77/824.45	c current bound: 783
822.15/824.85	c current bound: 783
822.56/825.24	c current bound: 783
822.96/825.65	c current bound: 783
823.40/826.05	c current bound: 783
823.76/826.45	c current bound: 783
824.16/826.85	c current bound: 783
824.56/827.25	c current bound: 783
824.97/827.66	c current bound: 783
825.37/828.05	c current bound: 783
825.77/828.45	c current bound: 783
826.16/828.84	c current bound: 783
826.55/829.24	c current bound: 783
826.95/829.65	c current bound: 783
827.37/830.05	c current bound: 783
827.80/830.46	c current bound: 783
828.19/830.86	c current bound: 783
828.58/831.26	c current bound: 783
828.98/831.66	c current bound: 783
829.38/832.05	c current bound: 783
829.77/832.45	c current bound: 783
830.18/832.85	c current bound: 783
830.56/833.25	c current bound: 783
830.97/833.65	c current bound: 783
831.37/834.06	c current bound: 783
831.77/834.49	c current bound: 783
832.17/834.89	c current bound: 783
832.57/835.28	c current bound: 783
832.95/835.68	c current bound: 783
833.36/836.07	c current bound: 783
833.75/836.47	c current bound: 783
834.15/836.87	c current bound: 783
834.56/837.28	c current bound: 783
834.96/837.68	c current bound: 783
835.35/838.08	c current bound: 783
835.76/838.48	c current bound: 783
836.16/838.89	c current bound: 783
836.57/839.28	c current bound: 783
836.94/839.68	c current bound: 783
837.36/840.09	c current bound: 783
837.76/840.49	c current bound: 783
838.15/840.88	c current bound: 783
838.54/841.28	c current bound: 783
838.95/841.68	c current bound: 783
839.35/842.08	c current bound: 783
839.75/842.49	c current bound: 783
840.16/842.88	c current bound: 783
840.55/843.29	c current bound: 783
840.97/843.68	c current bound: 783
841.35/844.08	c current bound: 783
841.75/844.48	c current bound: 783
842.14/844.88	c current bound: 783
842.56/845.29	c current bound: 783
842.96/845.69	c current bound: 783
843.36/846.09	c current bound: 783
843.77/846.50	c current bound: 783
843.90/846.90	c current bound: 783
844.30/847.29	c current bound: 783
844.97/847.69	c current bound: 783
845.37/848.09	c current bound: 783
845.76/848.49	c current bound: 783
846.15/848.89	c current bound: 783
846.56/849.29	c current bound: 783
846.95/849.69	c current bound: 783
847.47/850.10	c current bound: 783
847.77/850.50	c current bound: 783
848.26/850.90	c current bound: 783
848.55/851.29	c current bound: 783
849.07/851.70	c current bound: 783
849.35/852.09	c current bound: 783
849.76/852.49	c current bound: 783
850.16/852.90	c current bound: 783
850.58/853.31	c current bound: 783
850.97/853.71	c current bound: 783
851.36/854.10	c current bound: 783
851.86/854.50	c current bound: 783
852.16/854.91	c current bound: 783
852.58/855.31	c current bound: 783
853.06/855.71	c current bound: 783
853.38/856.12	c current bound: 783
853.78/856.53	c current bound: 783
854.20/856.93	c current bound: 783
854.59/857.33	c current bound: 783
854.98/857.73	c current bound: 783
855.40/858.13	c current bound: 783
855.78/858.53	c current bound: 783
856.20/858.93	c current bound: 783
856.60/859.34	c current bound: 783
857.01/859.75	c current bound: 783
857.45/860.15	c current bound: 783
857.81/860.56	c current bound: 783
858.22/860.96	c current bound: 783
858.63/861.36	c current bound: 783
859.04/861.78	c current bound: 783
859.44/862.18	c current bound: 783
859.86/862.59	c current bound: 783
860.26/862.99	c current bound: 783
860.65/863.39	c current bound: 783
861.04/863.78	c current bound: 783
861.44/864.18	c current bound: 783
861.86/864.57	c current bound: 783
862.24/864.97	c current bound: 783
862.62/865.37	c current bound: 783
863.03/865.77	c current bound: 783
863.42/866.17	c current bound: 783
863.84/866.57	c current bound: 783
864.23/866.97	c current bound: 783
864.61/867.36	c current bound: 783
865.04/867.77	c current bound: 783
865.42/868.17	c current bound: 783
865.84/868.58	c current bound: 783
866.25/868.97	c current bound: 783
866.64/869.36	c current bound: 783
867.04/869.77	c current bound: 783
867.45/870.17	c current bound: 783
867.84/870.57	c current bound: 783
868.24/870.97	c current bound: 783
868.64/871.37	c current bound: 783
869.04/871.77	c current bound: 783
869.44/872.17	c current bound: 783
869.86/872.58	c current bound: 783
870.25/872.98	c current bound: 783
870.67/873.39	c current bound: 783
871.06/873.79	c current bound: 783
871.46/874.19	c current bound: 783
871.97/874.60	c current bound: 783
872.27/875.01	c current bound: 783
872.67/875.41	c current bound: 783
873.08/875.81	c current bound: 783
873.47/876.21	c current bound: 783
873.96/876.62	c current bound: 783
874.28/877.02	c current bound: 783
874.69/877.42	c current bound: 783
875.09/877.82	c current bound: 783
875.48/878.22	c current bound: 783
875.88/878.61	c current bound: 783
876.28/879.01	c current bound: 783
876.66/879.40	c current bound: 783
877.18/879.80	c current bound: 783
877.48/880.20	c current bound: 783
877.87/880.60	c current bound: 783
878.36/881.01	c current bound: 783
878.68/881.41	c current bound: 783
879.08/881.81	c current bound: 783
879.47/882.20	c current bound: 783
879.96/882.60	c current bound: 783
880.26/882.98	c current bound: 783
880.64/883.38	c current bound: 783
881.04/883.79	c current bound: 783
881.47/884.20	c current bound: 783
881.86/884.60	c current bound: 783
882.26/885.00	c current bound: 783
882.77/885.41	c current bound: 783
883.06/885.81	c current bound: 783
883.48/886.20	c current bound: 783
883.87/886.60	c current bound: 783
884.28/887.01	c current bound: 783
884.68/887.41	c current bound: 783
885.07/887.81	c current bound: 783
885.47/888.21	c current bound: 783
885.87/888.60	c current bound: 783
886.27/889.01	c current bound: 783
886.68/889.41	c current bound: 783
887.16/889.81	c current bound: 783
887.49/890.22	c current bound: 783
887.89/890.62	c current bound: 783
888.29/891.02	c current bound: 783
888.70/891.43	c current bound: 783
889.11/891.84	c current bound: 783
889.51/892.24	c current bound: 783
889.92/892.64	c current bound: 783
890.31/893.04	c current bound: 783
890.72/893.45	c current bound: 783
891.13/893.86	c current bound: 783
891.57/894.27	c current bound: 783
891.95/894.68	c current bound: 783
892.34/895.08	c current bound: 783
892.74/895.48	c current bound: 783
893.16/895.87	c current bound: 783
893.54/896.28	c current bound: 783
893.95/896.67	c current bound: 783
894.33/897.07	c current bound: 783
894.74/897.46	c current bound: 783
895.13/897.86	c current bound: 783
895.53/898.25	c current bound: 783
895.98/898.66	c current bound: 783
896.33/899.07	c current bound: 783
896.75/899.48	c current bound: 783
897.15/899.88	c current bound: 783
897.56/900.28	c current bound: 783
897.96/900.68	c current bound: 783
898.35/901.09	c current bound: 783
898.76/901.49	c current bound: 783
899.16/901.89	c current bound: 783
899.56/902.28	c current bound: 783
899.96/902.69	c current bound: 783
900.39/903.10	c current bound: 783
900.78/903.51	c current bound: 783
901.18/903.91	c current bound: 783
901.58/904.31	c current bound: 783
902.07/904.70	c current bound: 783
902.47/905.10	c current bound: 783
902.77/905.48	c current bound: 783
903.16/905.89	c current bound: 783
903.55/906.28	c current bound: 783
903.95/906.68	c current bound: 783
904.36/907.09	c current bound: 783
904.77/907.48	c current bound: 783
905.16/907.88	c current bound: 783
905.56/908.28	c current bound: 783
905.95/908.66	c current bound: 783
906.35/909.07	c current bound: 783
906.74/909.47	c current bound: 783
907.14/909.93	c current bound: 783
907.54/910.33	c current bound: 783
908.00/910.74	c current bound: 783
908.36/911.15	c current bound: 783
908.75/911.54	c current bound: 783
909.15/911.94	c current bound: 783
909.55/912.34	c current bound: 783
909.96/912.76	c current bound: 783
910.38/913.16	c current bound: 783
910.77/913.56	c current bound: 783
911.17/913.94	c current bound: 783
911.57/914.35	c current bound: 783
911.95/914.74	c current bound: 783
912.39/915.12	c current bound: 783
912.72/915.51	c current bound: 783
913.10/915.89	c current bound: 783
913.50/916.28	c current bound: 783
913.87/916.66	c current bound: 783
914.26/917.05	c current bound: 783
914.64/917.43	c current bound: 783
915.04/917.83	c current bound: 783
915.43/918.22	c current bound: 783
915.81/918.61	c current bound: 783
915.94/918.99	c current bound: 783
916.60/919.39	c current bound: 783
917.01/919.80	c current bound: 783
917.41/920.20	c current bound: 783
917.79/920.58	c current bound: 783
918.18/920.98	c current bound: 783
918.56/921.36	c current bound: 783
918.99/921.75	c current bound: 783
919.34/922.13	c current bound: 783
919.73/922.52	c current bound: 783
920.11/922.91	c current bound: 783
920.51/923.30	c current bound: 783
920.99/923.70	c current bound: 783
921.29/924.09	c current bound: 783
921.70/924.49	c current bound: 783
922.07/924.90	c current bound: 783
922.49/925.31	c current bound: 783
922.88/925.70	c current bound: 783
923.27/926.09	c current bound: 783
923.65/926.47	c current bound: 783
924.04/926.87	c current bound: 783
924.46/927.25	c current bound: 783
924.82/927.64	c current bound: 783
925.21/928.03	c current bound: 783
925.60/928.42	c current bound: 783
925.98/928.80	c current bound: 783
926.37/929.19	c current bound: 783
926.76/929.59	c current bound: 783
927.15/929.98	c current bound: 783
927.54/930.36	c current bound: 783
927.94/930.78	c current bound: 783
928.34/931.16	c current bound: 783
928.72/931.54	c current bound: 783
929.10/931.94	c current bound: 783
929.51/932.33	c current bound: 783
929.96/932.73	c current bound: 783
930.31/933.13	c current bound: 783
930.69/933.51	c current bound: 783
931.05/933.90	c current bound: 783
931.46/934.28	c current bound: 783
931.83/934.67	c current bound: 783
932.25/935.07	c current bound: 783
932.64/935.46	c current bound: 783
933.02/935.86	c current bound: 783
933.43/936.26	c current bound: 783
933.82/936.65	c current bound: 783
934.20/937.04	c current bound: 783
934.59/937.43	c current bound: 783
934.97/937.81	c current bound: 783
935.11/938.20	c current bound: 783
935.74/938.58	c current bound: 783
936.14/938.97	c current bound: 783
936.55/939.36	c current bound: 783
936.90/939.74	c current bound: 783
937.29/940.13	c current bound: 783
937.69/940.53	c current bound: 783
938.08/940.92	c current bound: 783
938.47/941.31	c current bound: 783
938.86/941.70	c current bound: 783
938.98/942.09	c current bound: 783
939.64/942.49	c current bound: 783
940.04/942.89	c current bound: 783
940.42/943.27	c current bound: 783
940.81/943.66	c current bound: 783
941.23/944.07	c current bound: 783
941.61/944.47	c current bound: 783
942.03/944.85	c current bound: 783
942.38/945.24	c current bound: 783
942.77/945.63	c current bound: 783
943.18/946.03	c current bound: 783
943.57/946.42	c current bound: 783
943.96/946.81	c current bound: 783
944.37/947.22	c current bound: 783
944.75/947.62	c current bound: 783
945.15/948.00	c current bound: 783
945.56/948.42	c current bound: 783
945.96/948.81	c current bound: 783
946.07/949.20	c current bound: 783
946.83/949.65	c current bound: 783
947.12/950.04	c current bound: 783
947.52/950.43	c current bound: 783
947.90/950.82	c current bound: 783
948.30/951.21	c current bound: 783
948.70/951.61	c current bound: 783
949.09/952.01	c current bound: 783
949.22/952.39	c current bound: 783
949.97/952.80	c current bound: 783
950.25/953.18	c current bound: 783
950.65/953.57	c current bound: 783
951.03/953.96	c current bound: 783
951.43/954.35	c current bound: 783
951.85/954.74	c current bound: 783
952.21/955.13	c current bound: 783
952.59/955.52	c current bound: 783
952.98/955.91	c current bound: 783
953.46/956.30	c current bound: 783
953.75/956.68	c current bound: 783
954.15/957.09	c current bound: 783
954.54/957.48	c current bound: 783
954.92/957.86	c current bound: 783
955.32/958.26	c current bound: 783
955.71/958.64	c current bound: 783
956.09/959.03	c current bound: 783
956.47/959.42	c current bound: 783
956.86/959.80	c current bound: 783
957.25/960.19	c current bound: 783
957.62/960.57	c current bound: 783
958.02/960.96	c current bound: 783
958.44/961.35	c current bound: 783
958.80/961.75	c current bound: 783
959.18/962.13	c current bound: 783
959.59/962.53	c current bound: 783
959.95/962.92	c current bound: 783
960.43/963.30	c current bound: 783
960.73/963.69	c current bound: 783
961.13/964.09	c current bound: 783
961.52/964.49	c current bound: 783
961.91/964.88	c current bound: 783
962.30/965.27	c current bound: 783
962.69/965.65	c current bound: 783
963.07/966.04	c current bound: 783
963.46/966.43	c current bound: 783
963.92/966.81	c current bound: 783
964.24/967.21	c current bound: 783
964.64/967.60	c current bound: 783
965.03/968.00	c current bound: 783
965.43/968.39	c current bound: 783
965.81/968.78	c current bound: 783
966.21/969.19	c current bound: 783
966.62/969.66	c current bound: 783
967.01/970.05	c current bound: 783
967.40/970.45	c current bound: 783
967.79/970.83	c current bound: 783
968.24/971.22	c current bound: 783
968.57/971.61	c current bound: 783
969.05/972.00	c current bound: 783
969.34/972.38	c current bound: 783
969.72/972.77	c current bound: 783
970.13/973.17	c current bound: 783
970.52/973.56	c current bound: 783
970.91/973.96	c current bound: 783
971.30/974.35	c current bound: 783
971.70/974.74	c current bound: 783
972.08/975.13	c current bound: 783
972.47/975.53	c current bound: 783
972.88/975.93	c current bound: 783
973.28/976.33	c current bound: 783
973.73/976.71	c current bound: 783
974.05/977.10	c current bound: 783
974.44/977.49	c current bound: 783
974.83/977.87	c current bound: 783
975.22/978.27	c current bound: 783
975.61/978.67	c current bound: 783
976.01/979.07	c current bound: 783
976.40/979.45	c current bound: 783
976.78/979.83	c current bound: 783
977.18/980.23	c current bound: 783
977.56/980.62	c current bound: 783
977.95/981.01	c current bound: 783
978.33/981.40	c current bound: 783
978.73/981.80	c current bound: 783
979.12/982.18	c current bound: 783
979.50/982.58	c current bound: 783
979.91/982.97	c current bound: 783
980.33/983.37	c current bound: 783
980.72/983.78	c current bound: 783
981.10/984.17	c current bound: 783
981.50/984.57	c current bound: 783
981.90/984.97	c current bound: 783
982.29/985.37	c current bound: 783
982.69/985.77	c current bound: 783
983.09/986.16	c current bound: 783
983.48/986.56	c current bound: 783
983.90/986.98	c current bound: 783
984.30/987.38	c current bound: 783
984.71/987.76	c current bound: 783
985.07/988.15	c current bound: 783
985.46/988.54	c current bound: 783
985.87/988.95	c current bound: 783
986.26/989.35	c current bound: 783
986.66/989.75	c current bound: 783
987.05/990.15	c current bound: 783
987.44/990.54	c current bound: 783
987.84/990.93	c current bound: 783
988.24/991.34	c current bound: 783
988.62/991.72	c current bound: 783
989.08/992.12	c current bound: 783
989.40/992.50	c current bound: 783
989.79/992.90	c current bound: 783
990.19/993.29	c current bound: 783
990.58/993.68	c current bound: 783
990.97/994.08	c current bound: 783
991.37/994.47	c current bound: 783
991.75/994.86	c current bound: 783
992.15/995.25	c current bound: 783
992.53/995.64	c current bound: 783
992.92/996.04	c current bound: 783
993.31/996.42	c current bound: 783
993.69/996.82	c current bound: 783
994.09/997.21	c current bound: 783
994.48/997.59	c current bound: 783
994.86/997.98	c current bound: 783
995.26/998.37	c current bound: 783
995.66/998.76	c current bound: 783
996.03/999.15	c current bound: 783
996.43/999.55	c current bound: 783
996.82/999.95	c current bound: 783
997.20/1000.33	c current bound: 783
997.58/1000.71	c current bound: 783
997.97/1001.11	c current bound: 783
998.37/1001.51	c current bound: 783
998.77/1001.90	c current bound: 783
999.25/1002.30	c current bound: 783
999.55/1002.68	c current bound: 783
999.93/1003.07	c current bound: 783
1000.33/1003.47	c current bound: 783
1000.71/1003.85	c current bound: 783
1001.14/1004.23	c current bound: 783
1001.49/1004.63	c current bound: 783
1001.86/1005.01	c current bound: 783
1002.27/1005.41	c current bound: 783
1002.39/1005.79	c current bound: 783
1003.04/1006.18	c current bound: 783
1003.42/1006.57	c current bound: 783
1003.81/1006.97	c current bound: 783
1004.21/1007.36	c current bound: 783
1004.61/1007.77	c current bound: 783
1005.01/1008.16	c current bound: 783
1005.40/1008.55	c current bound: 783
1005.82/1008.98	c current bound: 783
1006.20/1009.36	c current bound: 783
1006.62/1009.75	c current bound: 783
1006.98/1010.14	c current bound: 783
1007.36/1010.53	c current bound: 783
1007.77/1010.92	c current bound: 783
1008.15/1011.32	c current bound: 783
1008.55/1011.71	c current bound: 783
1008.94/1012.11	c current bound: 783
1009.35/1012.51	c current bound: 783
1009.74/1012.90	c current bound: 783
1010.16/1013.32	c current bound: 783
1010.53/1013.70	c current bound: 783
1010.65/1014.10	c current bound: 783
1011.32/1014.49	c current bound: 783
1011.70/1014.87	c current bound: 783
1012.11/1015.26	c current bound: 783
1012.49/1015.65	c current bound: 783
1012.88/1016.05	c current bound: 783
1013.27/1016.44	c current bound: 783
1013.65/1016.83	c current bound: 783
1014.05/1017.22	c current bound: 783
1014.44/1017.62	c current bound: 783
1014.83/1018.00	c current bound: 783
1015.33/1018.40	c current bound: 783
1015.63/1018.80	c current bound: 783
1016.13/1019.20	c current bound: 783
1016.42/1019.59	c current bound: 783
1016.81/1019.98	c current bound: 783
1017.19/1020.36	c current bound: 783
1017.63/1020.75	c current bound: 783
1017.96/1021.13	c current bound: 783
1018.36/1021.53	c current bound: 783
1018.77/1021.93	c current bound: 783
1019.14/1022.31	c current bound: 783
1019.55/1022.71	c current bound: 783
1019.93/1023.10	c current bound: 783
1020.32/1023.49	c current bound: 783
1020.72/1023.88	c current bound: 783
1021.22/1024.30	c current bound: 783
1021.26/1024.69	c current bound: 783
1021.91/1025.08	c current bound: 783
1022.29/1025.46	c current bound: 783
1022.68/1025.85	c current bound: 783
1023.11/1026.24	c current bound: 783
1023.47/1026.63	c current bound: 783
1023.85/1027.02	c current bound: 783
1024.23/1027.41	c current bound: 783
1024.64/1027.80	c current bound: 783
1024.74/1028.19	c current bound: 783
1025.44/1028.60	c current bound: 783
1025.82/1028.99	c current bound: 783
1026.20/1029.37	c current bound: 783
1026.70/1029.85	c current bound: 783
1027.00/1030.24	c current bound: 783
1027.44/1030.62	c current bound: 783
1027.78/1031.02	c current bound: 783
1028.16/1031.41	c current bound: 783
1028.54/1031.80	c current bound: 783
1028.68/1032.19	c current bound: 783
1029.34/1032.58	c current bound: 783
1029.73/1032.97	c current bound: 783
1030.13/1033.36	c current bound: 783
1030.49/1033.74	c current bound: 783
1030.91/1034.16	c current bound: 783
1031.31/1034.55	c current bound: 783
1031.69/1034.93	c current bound: 783
1032.11/1035.35	c current bound: 783
1032.49/1035.73	c current bound: 783
1032.94/1036.12	c current bound: 783
1033.28/1036.52	c current bound: 783
1033.67/1036.91	c current bound: 783
1034.05/1037.30	c current bound: 783
1034.45/1037.68	c current bound: 783
1034.83/1038.07	c current bound: 783
1035.22/1038.47	c current bound: 783
1035.61/1038.85	c current bound: 783
1035.99/1039.23	c current bound: 783
1036.39/1039.64	c current bound: 783
1036.77/1040.02	c current bound: 783
1037.16/1040.41	c current bound: 783
1037.57/1040.81	c current bound: 783
1037.94/1041.19	c current bound: 783
1038.33/1041.58	c current bound: 783
1038.72/1041.97	c current bound: 783
1039.12/1042.37	c current bound: 783
1039.54/1042.76	c current bound: 783
1039.90/1043.15	c current bound: 783
1040.29/1043.54	c current bound: 783
1040.68/1043.93	c current bound: 783
1041.07/1044.32	c current bound: 783
1041.46/1044.71	c current bound: 783
1041.85/1045.11	c current bound: 783
1042.25/1045.49	c current bound: 783
1042.63/1045.89	c current bound: 783
1043.02/1046.30	c current bound: 783
1043.43/1046.69	c current bound: 783
1043.83/1047.09	c current bound: 783
1044.21/1047.47	c current bound: 783
1044.60/1047.87	c current bound: 783
1045.03/1048.26	c current bound: 783
1045.40/1048.66	c current bound: 783
1045.78/1049.05	c current bound: 783
1046.18/1049.44	c current bound: 783
1046.56/1049.83	c current bound: 783
1046.97/1050.23	c current bound: 783
1047.37/1050.65	c current bound: 783
1047.76/1051.03	c current bound: 783
1048.14/1051.41	c current bound: 783
1048.56/1051.83	c current bound: 783
1048.94/1052.21	c current bound: 783
1049.07/1052.60	c current bound: 783
1049.45/1052.99	c current bound: 783
1050.11/1053.38	c current bound: 783
1050.51/1053.76	c current bound: 783
1050.87/1054.15	c current bound: 783
1051.28/1054.54	c current bound: 783
1051.77/1055.02	c current bound: 783
1052.15/1055.40	c current bound: 783
1052.44/1055.78	c current bound: 783
1052.95/1056.20	c current bound: 783
1052.98/1056.60	c current bound: 783
1053.64/1056.99	c current bound: 783
1054.03/1057.38	c current bound: 783
1054.42/1057.76	c current bound: 783
1054.83/1058.15	c current bound: 783
1055.21/1058.56	c current bound: 783
1055.59/1058.94	c current bound: 783
1055.97/1059.33	c current bound: 783
1056.37/1059.73	c current bound: 783
1056.75/1060.11	c current bound: 783
1057.16/1060.51	c current bound: 783
1057.54/1060.90	c current bound: 783
1057.93/1061.29	c current bound: 783
1058.33/1061.68	c current bound: 783
1058.70/1062.06	c current bound: 783
1059.09/1062.45	c current bound: 783
1059.49/1062.85	c current bound: 783
1059.87/1063.23	c current bound: 783
1060.31/1063.62	c current bound: 783
1060.65/1064.02	c current bound: 783
1061.04/1064.40	c current bound: 783
1061.42/1064.79	c current bound: 783
1061.82/1065.18	c current bound: 783
1062.21/1065.58	c current bound: 783
1062.62/1065.99	c current bound: 783
1063.00/1066.37	c current bound: 783
1063.39/1066.76	c current bound: 783
1063.80/1067.17	c current bound: 783
1064.18/1067.55	c current bound: 783
1064.58/1067.95	c current bound: 783
1065.00/1068.37	c current bound: 783
1065.40/1068.77	c current bound: 783
1065.81/1069.16	c current bound: 783
1066.19/1069.55	c current bound: 783
1066.60/1069.97	c current bound: 783
1066.97/1070.35	c current bound: 783
1067.36/1070.74	c current bound: 783
1067.75/1071.13	c current bound: 783
1068.17/1071.55	c current bound: 783
1068.60/1071.98	c current bound: 783
1069.02/1072.39	c current bound: 783
1069.52/1072.80	c current bound: 783
1069.80/1073.18	c current bound: 783
1070.22/1073.57	c current bound: 783
1070.59/1073.97	c current bound: 783
1070.98/1074.35	c current bound: 783
1071.37/1074.75	c current bound: 783
1071.77/1075.19	c current bound: 783
1072.17/1075.59	c current bound: 783
1072.58/1075.99	c current bound: 783
1072.96/1076.38	c current bound: 783
1073.34/1076.76	c current bound: 783
1073.74/1077.16	c current bound: 783
1074.14/1077.56	c current bound: 783
1074.57/1077.96	c current bound: 783
1074.93/1078.36	c current bound: 783
1075.33/1078.75	c current bound: 783
1075.73/1079.15	c current bound: 783
1076.14/1079.55	c current bound: 783
1076.53/1079.95	c current bound: 783
1076.94/1080.35	c current bound: 783
1077.32/1080.75	c current bound: 783
1077.72/1081.14	c current bound: 783
1078.11/1081.53	c current bound: 783
1078.49/1081.93	c current bound: 783
1078.97/1082.32	c current bound: 783
1079.28/1082.71	c current bound: 783
1079.76/1083.10	c current bound: 783
1080.06/1083.49	c current bound: 783
1080.47/1083.89	c current bound: 783
1080.86/1084.29	c current bound: 783
1081.27/1084.69	c current bound: 783
1081.67/1085.11	c current bound: 783
1082.04/1085.50	c current bound: 783
1082.53/1085.90	c current bound: 783
1082.56/1086.30	c current bound: 783
1083.35/1086.70	c current bound: 783
1083.74/1087.10	c current bound: 783
1084.03/1087.49	c current bound: 783
1084.44/1087.90	c current bound: 783
1084.83/1088.29	c current bound: 783
1085.23/1088.69	c current bound: 783
1085.63/1089.09	c current bound: 783
1086.02/1089.48	c current bound: 783
1086.42/1089.87	c current bound: 783
1086.81/1090.27	c current bound: 783
1087.20/1090.66	c current bound: 783
1087.62/1091.08	c current bound: 783
1088.01/1091.47	c current bound: 783
1088.41/1091.86	c current bound: 783
1088.82/1092.26	c current bound: 783
1089.21/1092.66	c current bound: 783
1089.59/1093.05	c current bound: 783
1089.98/1093.44	c current bound: 783
1090.37/1093.83	c current bound: 783
1090.78/1094.24	c current bound: 783
1091.18/1094.64	c current bound: 783
1091.58/1095.03	c current bound: 783
1091.96/1095.43	c current bound: 783
1092.37/1095.82	c current bound: 783
1092.77/1096.22	c current bound: 783
1093.22/1096.63	c current bound: 783
1093.57/1097.03	c current bound: 783
1093.96/1097.42	c current bound: 783
1094.37/1097.82	c current bound: 783
1094.76/1098.22	c current bound: 783
1095.17/1098.62	c current bound: 783
1095.55/1099.01	c current bound: 783
1096.02/1099.40	c current bound: 783
1096.33/1099.78	c current bound: 783
1096.72/1100.19	c current bound: 783
1096.86/1100.59	c current bound: 783
1097.52/1100.98	c current bound: 783
1097.91/1101.37	c current bound: 783
1098.31/1101.77	c current bound: 783
1098.71/1102.17	c current bound: 783
1099.09/1102.55	c current bound: 783
1099.49/1102.95	c current bound: 783
1099.88/1103.34	c current bound: 783
1100.28/1103.74	c current bound: 783
1100.68/1104.13	c current bound: 783
1101.06/1104.52	c current bound: 783
1101.45/1104.91	c current bound: 783
1101.92/1105.30	c current bound: 783
1102.22/1105.69	c current bound: 783
1102.36/1106.09	c current bound: 783
1103.03/1106.49	c current bound: 783
1103.41/1106.88	c current bound: 783
1103.81/1107.28	c current bound: 783
1104.22/1107.67	c current bound: 783
1104.60/1108.07	c current bound: 783
1104.99/1108.46	c current bound: 783
1105.38/1108.85	c current bound: 783
1105.77/1109.25	c current bound: 783
1106.17/1109.64	c current bound: 783
1106.57/1110.04	c current bound: 783
1106.96/1110.43	c current bound: 783
1107.35/1110.82	c current bound: 783
1107.74/1111.21	c current bound: 783
1108.14/1111.61	c current bound: 783
1108.27/1112.00	c current bound: 783
1109.02/1112.40	c current bound: 783
1109.43/1112.80	c current bound: 783
1109.71/1113.20	c current bound: 783
1110.11/1113.58	c current bound: 783
1110.50/1113.98	c current bound: 783
1110.90/1114.38	c current bound: 783
1111.29/1114.77	c current bound: 783
1111.69/1115.16	c current bound: 783
1112.08/1115.56	c current bound: 783
1112.49/1115.96	c current bound: 783
1112.88/1116.35	c current bound: 783
1113.28/1116.75	c current bound: 783
1113.68/1117.15	c current bound: 783
1114.10/1117.54	c current bound: 783
1114.46/1117.93	c current bound: 783
1114.85/1118.32	c current bound: 783
1115.24/1118.72	c current bound: 783
1115.64/1119.12	c current bound: 783
1116.04/1119.52	c current bound: 783
1116.42/1119.91	c current bound: 783
1116.84/1120.31	c current bound: 783
1117.23/1120.70	c current bound: 783
1117.63/1121.10	c current bound: 783
1118.12/1121.50	c current bound: 783
1118.15/1121.89	c current bound: 783
1118.80/1122.28	c current bound: 783
1119.19/1122.67	c current bound: 783
1119.60/1123.06	c current bound: 783
1119.98/1123.46	c current bound: 783
1120.36/1123.85	c current bound: 783
1120.77/1124.24	c current bound: 783
1121.15/1124.64	c current bound: 783
1121.54/1125.03	c current bound: 783
1121.93/1125.42	c current bound: 783
1122.33/1125.81	c current bound: 783
1122.81/1126.20	c current bound: 783
1123.11/1126.59	c current bound: 783
1123.50/1126.98	c current bound: 783
1123.90/1127.38	c current bound: 783
1124.30/1127.77	c current bound: 783
1124.70/1128.17	c current bound: 783
1125.11/1128.56	c current bound: 783
1125.49/1128.97	c current bound: 783
1125.87/1129.35	c current bound: 783
1126.27/1129.75	c current bound: 783
1126.67/1130.15	c current bound: 783
1127.07/1130.54	c current bound: 783
1127.46/1130.93	c current bound: 783
1127.84/1131.32	c current bound: 783
1128.25/1131.72	c current bound: 783
1128.64/1132.11	c current bound: 783
1129.04/1132.51	c current bound: 783
1129.51/1132.91	c current bound: 783
1129.92/1133.30	c current bound: 783
1130.21/1133.69	c current bound: 783
1130.61/1134.08	c current bound: 783
1131.00/1134.48	c current bound: 783
1131.40/1134.88	c current bound: 783
1131.79/1135.27	c current bound: 783
1132.18/1135.72	c current bound: 783
1132.57/1136.12	c current bound: 783
1132.97/1136.51	c current bound: 783
1133.45/1136.90	c current bound: 783
1133.48/1137.30	c current bound: 783
1134.26/1137.70	c current bound: 783
1134.54/1138.08	c current bound: 783
1134.95/1138.49	c current bound: 783
1135.34/1138.88	c current bound: 783
1135.74/1139.27	c current bound: 783
1136.12/1139.66	c current bound: 783
1136.51/1140.05	c current bound: 783
1136.91/1140.44	c current bound: 783
1137.29/1140.83	c current bound: 783
1137.68/1141.22	c current bound: 783
1138.09/1141.62	c current bound: 783
1138.47/1142.01	c current bound: 783
1138.86/1142.40	c current bound: 783
1139.26/1142.79	c current bound: 783
1139.64/1143.18	c current bound: 783
1140.05/1143.58	c current bound: 783
1140.45/1143.97	c current bound: 783
1140.83/1144.37	c current bound: 783
1141.23/1144.77	c current bound: 783
1141.62/1145.15	c current bound: 783
1142.00/1145.56	c current bound: 783
1142.39/1145.95	c current bound: 783
1142.79/1146.35	c current bound: 783
1143.19/1146.76	c current bound: 783
1143.59/1147.15	c current bound: 783
1143.99/1147.55	c current bound: 783
1144.37/1147.94	c current bound: 783
1144.82/1148.33	c current bound: 783
1145.16/1148.73	c current bound: 783
1145.55/1149.12	c current bound: 783
1145.94/1149.51	c current bound: 783
1146.35/1149.91	c current bound: 783
1146.75/1150.31	c current bound: 783
1147.15/1150.77	c current bound: 783
1147.56/1151.16	c current bound: 783
1147.94/1151.55	c current bound: 783
1148.32/1151.94	c current bound: 783
1148.72/1152.34	c current bound: 783
1149.16/1152.74	c current bound: 783
1149.50/1153.12	c current bound: 783
1149.91/1153.52	c current bound: 783
1150.29/1153.91	c current bound: 783
1150.42/1154.29	c current bound: 783
1151.07/1154.68	c current bound: 783
1151.46/1155.07	c current bound: 783
1151.86/1155.47	c current bound: 783
1152.25/1155.86	c current bound: 783
1152.64/1156.26	c current bound: 783
1153.05/1156.66	c current bound: 783
1153.43/1157.05	c current bound: 783
1153.82/1157.43	c current bound: 783
1154.21/1157.82	c current bound: 783
1154.68/1158.23	c current bound: 783
1155.01/1158.62	c current bound: 783
1155.41/1159.02	c current bound: 783
1155.81/1159.42	c current bound: 783
1156.21/1159.82	c current bound: 783
1156.59/1160.20	c current bound: 783
1156.99/1160.59	c current bound: 783
1157.11/1160.99	c current bound: 783
1157.52/1161.39	c current bound: 783
1158.17/1161.78	c current bound: 783
1158.56/1162.18	c current bound: 783
1158.96/1162.58	c current bound: 783
1159.36/1162.98	c current bound: 783
1159.77/1163.37	c current bound: 783
1160.17/1163.77	c current bound: 783
1160.55/1164.16	c current bound: 783
1160.94/1164.56	c current bound: 783
1161.35/1164.96	c current bound: 783
1161.75/1165.37	c current bound: 783
1162.15/1165.83	c current bound: 783
1162.54/1166.23	c current bound: 783
1162.95/1166.63	c current bound: 783
1163.41/1167.03	c current bound: 783
1163.75/1167.42	c current bound: 783
1164.15/1167.82	c current bound: 783
1164.55/1168.21	c current bound: 783
1164.93/1168.61	c current bound: 783
1165.33/1169.01	c current bound: 783
1165.81/1169.40	c current bound: 783
1166.21/1169.80	c current bound: 783
1166.50/1170.18	c current bound: 783
1167.00/1170.60	c current bound: 783
1167.27/1170.99	c current bound: 783
1167.67/1171.39	c current bound: 783
1168.06/1171.78	c current bound: 783
1168.46/1172.18	c current bound: 783
1168.89/1172.58	c current bound: 783
1169.27/1172.99	c current bound: 783
1169.68/1173.40	c current bound: 783
1170.09/1173.81	c current bound: 783
1170.49/1174.21	c current bound: 783
1170.90/1174.62	c current bound: 783
1171.29/1175.01	c current bound: 783
1171.71/1175.42	c current bound: 783
1172.16/1175.84	c current bound: 783
1172.50/1176.24	c current bound: 783
1172.90/1176.63	c current bound: 783
1173.30/1177.04	c current bound: 783
1173.72/1177.45	c current bound: 783
1174.12/1177.85	c current bound: 783
1174.53/1178.26	c current bound: 783
1174.93/1178.66	c current bound: 783
1175.33/1179.06	c current bound: 783
1175.73/1179.46	c current bound: 783
1176.12/1179.86	c current bound: 783
1176.58/1180.26	c current bound: 783
1176.92/1180.66	c current bound: 783
1177.33/1181.07	c current bound: 783
1177.73/1181.46	c current bound: 783
1178.12/1181.86	c current bound: 783
1178.54/1182.26	c current bound: 783
1178.93/1182.67	c current bound: 783
1179.34/1183.07	c current bound: 783
1179.73/1183.47	c current bound: 783
1179.88/1183.89	c current bound: 783
1180.68/1184.30	c current bound: 783
1180.97/1184.70	c current bound: 783
1181.38/1185.10	c current bound: 783
1181.79/1185.59	c current bound: 783
1182.19/1185.99	c current bound: 783
1182.58/1186.39	c current bound: 783
1182.98/1186.79	c current bound: 783
1183.38/1187.19	c current bound: 783
1183.89/1187.60	c current bound: 783
1184.18/1187.99	c current bound: 783
1184.69/1188.40	c current bound: 783
1184.99/1188.81	c current bound: 783
1185.40/1189.21	c current bound: 783
1185.81/1189.61	c current bound: 783
1186.20/1190.01	c current bound: 783
1186.61/1190.42	c current bound: 783
1187.00/1190.81	c current bound: 783
1187.48/1191.21	c current bound: 783
1187.81/1191.62	c current bound: 783
1188.22/1192.03	c current bound: 783
1188.61/1192.41	c current bound: 783
1189.01/1192.81	c current bound: 783
1189.40/1193.20	c current bound: 783
1189.89/1193.60	c current bound: 783
1190.28/1194.00	c current bound: 783
1190.59/1194.39	c current bound: 783
1190.98/1194.78	c current bound: 783
1191.37/1195.17	c current bound: 783
1191.83/1195.61	c current bound: 783
1192.15/1196.01	c current bound: 783
1192.54/1196.40	c current bound: 783
1193.03/1196.80	c current bound: 783
1193.35/1197.20	c current bound: 783
1193.73/1197.59	c current bound: 783
1194.12/1197.98	c current bound: 783
1194.51/1198.38	c current bound: 783
1194.92/1198.78	c current bound: 783
1195.31/1199.18	c current bound: 783
1195.70/1199.57	c current bound: 783
1196.09/1199.96	c current bound: 783
1196.47/1200.34	c current bound: 783
1196.86/1200.73	c current bound: 783
1197.32/1201.12	c current bound: 783
1197.64/1201.51	c current bound: 783
1198.05/1201.92	c current bound: 783
1198.43/1202.31	c current bound: 783
1198.83/1202.70	c current bound: 783
1198.96/1203.09	c current bound: 783
1199.62/1203.48	c current bound: 783
1200.00/1203.87	c current bound: 783
1200.39/1204.26	c current bound: 783
1200.78/1204.66	c current bound: 783
1201.18/1205.06	c current bound: 783
1201.57/1205.45	c current bound: 783
1201.97/1205.85	c current bound: 783
1202.38/1206.24	c current bound: 783
1202.81/1206.64	c current bound: 783
1203.16/1207.03	c current bound: 783
1203.54/1207.42	c current bound: 783
1204.01/1207.80	c current bound: 783
1204.40/1208.20	c current bound: 783
1204.82/1208.60	c current bound: 783
1205.22/1209.00	c current bound: 783
1205.51/1209.38	c current bound: 783
1205.90/1209.77	c current bound: 783
1206.28/1210.16	c current bound: 783
1206.69/1210.55	c current bound: 783
1207.14/1211.02	c current bound: 783
1207.48/1211.41	c current bound: 783
1207.96/1211.80	c current bound: 783
1208.26/1212.19	c current bound: 783
1208.64/1212.59	c current bound: 783
1208.79/1212.99	c current bound: 783
1209.45/1213.38	c current bound: 783
1209.85/1213.77	c current bound: 783
1210.23/1214.16	c current bound: 783
1210.63/1214.56	c current bound: 783
1211.03/1214.96	c current bound: 783
1211.43/1215.35	c current bound: 783
1211.82/1215.75	c current bound: 783
1212.21/1216.14	c current bound: 783
1212.66/1216.54	c current bound: 783
1213.00/1216.93	c current bound: 783
1213.40/1217.33	c current bound: 783
1213.79/1217.73	c current bound: 783
1214.19/1218.12	c current bound: 783
1214.57/1218.50	c current bound: 783
1215.06/1218.90	c current bound: 783
1215.09/1219.29	c current bound: 783
1215.49/1219.69	c current bound: 783
1216.16/1220.09	c current bound: 783
1216.55/1220.48	c current bound: 783
1216.95/1220.88	c current bound: 783
1217.35/1221.28	c current bound: 783
1217.75/1221.68	c current bound: 783
1218.16/1222.07	c current bound: 783
1218.54/1222.47	c current bound: 783
1218.95/1222.87	c current bound: 783
1219.33/1223.26	c current bound: 783
1219.72/1223.65	c current bound: 783
1220.09/1224.03	c current bound: 783
1220.49/1224.42	c current bound: 783
1220.90/1224.82	c current bound: 783
1221.29/1225.21	c current bound: 783
1221.69/1225.61	c current bound: 783
1222.08/1226.01	c current bound: 783
1222.53/1226.41	c current bound: 783
1222.86/1226.81	c current bound: 783
1222.99/1227.19	c current bound: 783
1223.63/1227.59	c current bound: 783
1224.02/1227.98	c current bound: 783
1224.41/1228.37	c current bound: 783
1224.80/1228.76	c current bound: 783
1225.20/1229.15	c current bound: 783
1225.59/1229.54	c current bound: 783
1225.99/1229.94	c current bound: 783
1226.38/1230.33	c current bound: 783
1226.78/1230.74	c current bound: 783
1227.17/1231.13	c current bound: 783
1227.56/1231.52	c current bound: 783
1228.01/1231.91	c current bound: 783
1228.33/1232.31	c current bound: 783
1228.73/1232.69	c current bound: 783
1229.12/1233.08	c current bound: 783
1229.51/1233.47	c current bound: 783
1229.91/1233.87	c current bound: 783
1230.30/1234.27	c current bound: 783
1230.70/1234.66	c current bound: 783
1231.09/1235.06	c current bound: 783
1231.48/1235.44	c current bound: 783
1231.88/1235.85	c current bound: 783
1232.26/1236.23	c current bound: 783
1232.65/1236.63	c current bound: 783
1233.05/1237.02	c current bound: 783
1233.51/1237.41	c current bound: 783
1233.83/1237.80	c current bound: 783
1234.23/1238.20	c current bound: 783
1234.62/1238.59	c current bound: 783
1235.00/1238.98	c current bound: 783
1235.39/1239.37	c current bound: 783
1235.79/1239.77	c current bound: 783
1236.20/1240.17	c current bound: 783
1236.61/1240.57	c current bound: 783
1237.00/1240.97	c current bound: 783
1237.39/1241.36	c current bound: 783
1237.79/1241.76	c current bound: 783
1238.18/1242.15	c current bound: 783
1238.57/1242.54	c current bound: 783
1239.02/1242.94	c current bound: 783
1239.36/1243.34	c current bound: 783
1239.76/1243.74	c current bound: 783
1240.16/1244.13	c current bound: 783
1240.55/1244.53	c current bound: 783
1240.95/1244.93	c current bound: 783
1241.35/1245.32	c current bound: 783
1241.76/1245.82	c current bound: 783
1242.21/1246.21	c current bound: 783
1242.54/1246.61	c current bound: 783
1243.02/1247.00	c current bound: 783
1243.32/1247.39	c current bound: 783
1243.72/1247.78	c current bound: 783
1244.11/1248.18	c current bound: 783
1244.49/1248.57	c current bound: 783
1244.90/1248.97	c current bound: 783
1245.30/1249.37	c current bound: 783
1245.70/1249.77	c current bound: 783
1246.10/1250.17	c current bound: 783
1246.50/1250.57	c current bound: 783
1246.89/1250.96	c current bound: 783
1247.28/1251.35	c current bound: 783
1247.72/1251.76	c current bound: 783
1248.08/1252.15	c current bound: 783
1248.47/1252.55	c current bound: 783
1248.89/1252.94	c current bound: 783
1249.27/1253.34	c current bound: 783
1249.66/1253.73	c current bound: 783
1250.06/1254.12	c current bound: 783
1250.45/1254.52	c current bound: 783
1250.84/1254.90	c current bound: 783
1251.23/1255.30	c current bound: 783
1251.37/1255.69	c current bound: 783
1252.09/1256.12	c current bound: 783
1252.44/1256.52	c current bound: 783
1252.85/1256.92	c current bound: 783
1253.23/1257.32	c current bound: 783
1253.63/1257.70	c current bound: 783
1253.75/1258.09	c current bound: 783
1254.41/1258.48	c current bound: 783
1254.80/1258.88	c current bound: 783
1255.20/1259.28	c current bound: 783
1255.58/1259.67	c current bound: 783
1255.97/1260.05	c current bound: 783
1256.37/1260.45	c current bound: 783
1256.75/1260.84	c current bound: 783
1257.14/1261.23	c current bound: 783
1257.60/1261.64	c current bound: 783
1257.96/1262.04	c current bound: 783
1258.35/1262.43	c current bound: 783
1258.73/1262.82	c current bound: 783
1259.14/1263.22	c current bound: 783
1259.51/1263.61	c current bound: 783
1259.91/1264.01	c current bound: 783
1260.32/1264.41	c current bound: 783
1260.71/1264.81	c current bound: 783
1261.12/1265.20	c current bound: 783
1261.25/1265.59	c current bound: 783
1261.89/1265.99	c current bound: 783
1262.30/1266.38	c current bound: 783
1262.69/1266.78	c current bound: 783
1263.09/1267.17	c current bound: 783
1263.47/1267.56	c current bound: 783
1263.87/1267.96	c current bound: 783
1264.27/1268.35	c current bound: 783
1264.64/1268.74	c current bound: 783
1265.06/1269.14	c current bound: 783
1265.45/1269.54	c current bound: 783
1265.86/1269.94	c current bound: 783
1266.24/1270.33	c current bound: 783
1266.72/1270.86	c current bound: 783
1267.04/1271.25	c current bound: 783
1267.43/1271.64	c current bound: 783
1267.81/1272.04	c current bound: 783
1268.20/1272.42	c current bound: 783
1268.60/1272.82	c current bound: 783
1268.99/1273.20	c current bound: 783
1269.36/1273.59	c current bound: 783
1269.78/1274.01	c current bound: 783
1270.17/1274.39	c current bound: 783
1270.56/1274.78	c current bound: 783
1270.95/1275.17	c current bound: 783
1271.33/1275.56	c current bound: 783
1271.76/1275.94	c current bound: 783
1272.09/1276.33	c current bound: 783
1272.49/1276.71	c current bound: 783
1272.88/1277.11	c current bound: 783
1273.29/1277.51	c current bound: 783
1273.68/1277.91	c current bound: 783
1274.09/1278.32	c current bound: 783
1274.48/1278.71	c current bound: 783
1274.85/1279.09	c current bound: 783
1275.25/1279.49	c current bound: 783
1275.65/1279.89	c current bound: 783
1276.06/1280.28	c current bound: 783
1276.43/1280.67	c current bound: 783
1276.83/1281.05	c current bound: 783
1277.24/1281.43	c current bound: 783
1277.61/1281.83	c current bound: 783
1277.98/1282.21	c current bound: 783
1278.47/1282.60	c current bound: 783
1278.76/1282.99	c current bound: 783
1279.15/1283.38	c current bound: 783
1279.56/1283.78	c current bound: 783
1279.94/1284.17	c current bound: 783
1280.34/1284.56	c current bound: 783
1280.74/1284.98	c current bound: 783
1281.14/1285.38	c current bound: 783
1281.55/1285.77	c current bound: 783
1281.92/1286.22	c current bound: 783
1282.31/1286.60	c current bound: 783
1282.70/1286.99	c current bound: 783
1283.08/1287.37	c current bound: 783
1283.47/1287.75	c current bound: 783
1283.85/1288.15	c current bound: 783
1284.24/1288.53	c current bound: 783
1284.63/1288.92	c current bound: 783
1285.03/1289.33	c current bound: 783
1285.43/1289.72	c current bound: 783
1285.90/1290.10	c current bound: 783
1286.29/1290.50	c current bound: 783
1286.32/1290.89	c current bound: 783
1286.98/1291.28	c current bound: 783
1287.38/1291.67	c current bound: 783
1287.75/1292.06	c current bound: 783
1288.20/1292.45	c current bound: 783
1288.55/1292.84	c current bound: 783
1288.94/1293.23	c current bound: 783
1289.33/1293.64	c current bound: 783
1289.72/1294.02	c current bound: 783
1290.12/1294.40	c current bound: 783
1290.59/1294.81	c current bound: 783
1290.98/1295.20	c current bound: 783
1291.28/1295.59	c current bound: 783
1291.68/1295.99	c current bound: 783
1292.07/1296.38	c current bound: 783
1292.47/1296.77	c current bound: 783
1292.89/1297.20	c current bound: 783
1293.27/1297.58	c current bound: 783
1293.67/1297.97	c current bound: 783
1294.05/1298.36	c current bound: 783
1294.45/1298.76	c current bound: 783
1294.84/1299.15	c current bound: 783
1295.24/1299.55	c current bound: 783
1295.62/1299.94	c current bound: 783
1296.03/1300.34	c current bound: 783
1296.40/1300.73	c current bound: 783
1296.80/1301.11	c current bound: 783
1297.21/1301.51	c current bound: 783
1297.59/1301.90	c current bound: 783
1298.09/1302.30	c current bound: 783
1298.36/1302.68	c current bound: 783
1298.76/1303.07	c current bound: 783
1299.16/1303.46	c current bound: 783
1299.53/1303.85	c current bound: 783
1299.93/1304.24	c current bound: 783
1300.30/1304.63	c current bound: 783
1300.70/1305.02	c current bound: 783
1301.09/1305.41	c current bound: 783
1301.49/1305.81	c current bound: 783
1301.89/1306.20	c current bound: 783
1302.01/1306.59	c current bound: 783
1302.67/1306.99	c current bound: 783
1303.05/1307.38	c current bound: 783
1303.45/1307.77	c current bound: 783
1303.83/1308.16	c current bound: 783
1304.22/1308.55	c current bound: 783
1304.66/1308.94	c current bound: 783
1305.02/1309.34	c current bound: 783
1305.40/1309.72	c current bound: 783
1305.78/1310.12	c current bound: 783
1306.19/1310.51	c current bound: 783
1306.56/1310.90	c current bound: 783
1306.98/1311.31	c current bound: 783
1307.37/1311.70	c current bound: 783
1307.75/1312.09	c current bound: 783
1308.17/1312.50	c current bound: 783
1308.28/1312.89	c current bound: 783
1308.95/1313.29	c current bound: 783
1309.35/1313.68	c current bound: 783
1309.75/1314.07	c current bound: 783
1310.14/1314.46	c current bound: 783
1310.52/1314.86	c current bound: 783
1310.91/1315.25	c current bound: 783
1311.30/1315.65	c current bound: 783
1311.79/1316.11	c current bound: 783
1311.81/1316.49	c current bound: 783
1312.49/1316.92	c current bound: 783
1312.88/1317.30	c current bound: 783
1313.37/1317.70	c current bound: 783
1313.76/1318.10	c current bound: 783
1314.06/1318.48	c current bound: 783
1314.46/1318.87	c current bound: 783
1314.84/1319.26	c current bound: 783
1315.23/1319.65	c current bound: 783
1315.62/1320.05	c current bound: 783
1316.02/1320.44	c current bound: 783
1316.41/1320.84	c current bound: 783
1316.80/1321.23	c current bound: 783
1317.18/1321.61	c current bound: 783
1317.65/1322.00	c current bound: 783
1317.98/1322.42	c current bound: 783
1318.36/1322.80	c current bound: 783
1318.50/1323.19	c current bound: 783
1319.15/1323.59	c current bound: 783
1319.54/1323.98	c current bound: 783
1319.94/1324.36	c current bound: 783
1320.33/1324.76	c current bound: 783
1320.71/1325.16	c current bound: 783
1321.12/1325.56	c current bound: 783
1321.51/1325.95	c current bound: 783
1321.90/1326.34	c current bound: 783
1322.30/1326.74	c current bound: 783
1322.69/1327.14	c current bound: 783
1323.07/1327.52	c current bound: 783
1323.47/1327.92	c current bound: 783
1323.86/1328.31	c current bound: 783
1323.98/1328.69	c current bound: 783
1324.64/1329.08	c current bound: 783
1325.02/1329.47	c current bound: 783
1325.44/1329.86	c current bound: 783
1325.81/1330.25	c current bound: 783
1326.20/1330.64	c current bound: 783
1326.58/1331.02	c current bound: 783
1326.98/1331.42	c current bound: 783
1327.36/1331.81	c current bound: 783
1327.84/1332.20	c current bound: 783
1328.13/1332.58	c current bound: 783
1328.51/1332.96	c current bound: 783
1328.90/1333.35	c current bound: 783
1329.28/1333.74	c current bound: 783
1329.68/1334.14	c current bound: 783
1330.08/1334.54	c current bound: 783
1330.48/1334.94	c current bound: 783
1330.92/1335.33	c current bound: 783
1331.27/1335.72	c current bound: 783
1331.66/1336.18	c current bound: 783
1332.05/1336.57	c current bound: 783
1332.43/1336.95	c current bound: 783
1332.81/1337.34	c current bound: 783
1333.21/1337.73	c current bound: 783
1333.59/1338.12	c current bound: 783
1333.98/1338.51	c current bound: 783
1334.39/1338.92	c current bound: 783
1334.78/1339.31	c current bound: 783
1334.90/1339.70	c current bound: 783
1335.66/1340.10	c current bound: 783
1335.96/1340.48	c current bound: 783
1336.35/1340.87	c current bound: 783
1336.73/1341.25	c current bound: 783
1337.12/1341.65	c current bound: 783
1337.52/1342.05	c current bound: 783
1337.90/1342.44	c current bound: 783
1338.31/1342.83	c current bound: 783
1338.72/1343.24	c current bound: 783
1339.10/1343.62	c current bound: 783
1339.49/1344.01	c current bound: 783
1339.89/1344.42	c current bound: 783
1340.29/1344.81	c current bound: 783
1340.40/1345.19	c current bound: 783
1341.04/1345.58	c current bound: 783
1341.43/1345.96	c current bound: 783
1341.84/1346.36	c current bound: 783
1342.22/1346.75	c current bound: 783
1342.60/1347.13	c current bound: 783
1342.99/1347.52	c current bound: 783
1343.37/1347.90	c current bound: 783
1343.49/1348.29	c current bound: 783
1344.14/1348.68	c current bound: 783
1344.52/1349.06	c current bound: 783
1344.92/1349.46	c current bound: 783
1345.32/1349.86	c current bound: 783
1345.72/1350.26	c current bound: 783
1346.11/1350.65	c current bound: 783
1346.54/1351.09	c current bound: 783
1346.95/1351.48	c current bound: 783
1347.34/1351.87	c current bound: 783
1347.72/1352.26	c current bound: 783
1348.11/1352.65	c current bound: 783
1348.51/1353.05	c current bound: 783
1348.90/1353.45	c current bound: 783
1349.29/1353.83	c current bound: 783
1349.70/1354.24	c current bound: 783
1350.10/1354.64	c current bound: 783
1350.50/1355.04	c current bound: 783
1350.93/1355.47	c current bound: 783
1351.33/1355.87	c current bound: 783
1351.74/1356.25	c current bound: 783
1352.11/1356.65	c current bound: 783
1352.50/1357.05	c current bound: 783
1352.90/1357.44	c current bound: 783
1353.27/1357.82	c current bound: 783
1353.67/1358.21	c current bound: 783
1354.07/1358.61	c current bound: 783
1354.19/1358.99	c current bound: 783
1354.85/1359.38	c current bound: 783
1355.24/1359.79	c current bound: 783
1355.64/1360.17	c current bound: 783
1356.02/1360.57	c current bound: 783
1356.43/1360.98	c current bound: 783
1356.83/1361.38	c current bound: 783
1357.23/1361.77	c current bound: 783
1357.65/1362.19	c current bound: 783
1358.03/1362.57	c current bound: 783
1358.44/1362.98	c current bound: 783
1358.81/1363.37	c current bound: 783
1359.20/1363.76	c current bound: 783
1359.59/1364.16	c current bound: 783
1359.99/1364.56	c current bound: 783
1360.39/1364.95	c current bound: 783
1360.80/1365.37	c current bound: 783
1361.19/1365.75	c current bound: 783
1361.62/1366.13	c current bound: 783
1361.95/1366.52	c current bound: 783
1362.35/1366.91	c current bound: 783
1362.72/1367.30	c current bound: 783
1362.85/1367.69	c current bound: 783
1363.51/1368.08	c current bound: 783
1363.91/1368.48	c current bound: 783
1364.29/1368.86	c current bound: 783
1364.68/1369.25	c current bound: 783
1365.07/1369.65	c current bound: 783
1365.46/1370.04	c current bound: 783
1365.85/1370.42	c current bound: 783
1366.27/1370.85	c current bound: 783
1366.66/1371.24	c current bound: 783
1367.10/1371.64	c current bound: 783
1367.45/1372.04	c current bound: 783
1367.85/1372.43	c current bound: 783
1368.23/1372.82	c current bound: 783
1368.64/1373.24	c current bound: 783
1369.03/1373.62	c current bound: 783
1369.43/1374.02	c current bound: 783
1369.83/1374.42	c current bound: 783
1370.23/1374.81	c current bound: 783
1370.64/1375.24	c current bound: 783
1371.04/1375.64	c current bound: 783
1371.48/1376.04	c current bound: 783
1371.85/1376.44	c current bound: 783
1372.23/1376.82	c current bound: 783
1372.63/1377.21	c current bound: 783
1372.74/1377.59	c current bound: 783
1373.38/1377.98	c current bound: 783
1373.79/1378.39	c current bound: 783
1374.20/1378.78	c current bound: 783
1374.58/1379.17	c current bound: 783
1374.98/1379.58	c current bound: 783
1375.37/1379.97	c current bound: 783
1375.75/1380.35	c current bound: 783
1376.17/1380.79	c current bound: 783
1376.58/1381.18	c current bound: 783
1376.98/1381.56	c current bound: 783
1377.35/1381.95	c current bound: 783
1377.74/1382.35	c current bound: 783
1378.12/1382.74	c current bound: 783
1378.52/1383.13	c current bound: 783
1378.90/1383.52	c current bound: 783
1379.32/1383.93	c current bound: 783
1379.70/1384.32	c current bound: 783
1380.10/1384.71	c current bound: 783
1380.50/1385.12	c current bound: 783
1380.89/1385.51	c current bound: 783
1381.37/1385.93	c current bound: 783
1381.71/1386.33	c current bound: 783
1382.10/1386.72	c current bound: 783
1382.49/1387.11	c current bound: 783
1382.88/1387.51	c current bound: 783
1383.29/1387.91	c current bound: 783
1383.67/1388.31	c current bound: 783
1384.08/1388.70	c current bound: 783
1384.46/1389.09	c current bound: 783
1384.84/1389.48	c current bound: 783
1385.24/1389.87	c current bound: 783
1385.64/1390.27	c current bound: 783
1386.06/1390.69	c current bound: 783
1386.44/1391.07	c current bound: 783
1386.86/1391.47	c current bound: 783
1387.23/1391.85	c current bound: 783
1387.61/1392.25	c current bound: 783
1388.02/1392.65	c current bound: 783
1388.42/1393.04	c current bound: 783
1388.79/1393.42	c current bound: 783
1389.20/1393.82	c current bound: 783
1389.58/1394.22	c current bound: 783
1389.97/1394.61	c current bound: 783
1390.38/1395.01	c current bound: 783
1390.77/1395.41	c current bound: 783
1391.16/1395.79	c current bound: 783
1391.55/1396.19	c current bound: 783
1391.93/1396.57	c current bound: 783
1392.35/1396.97	c current bound: 783
1392.71/1397.35	c current bound: 783
1393.11/1397.75	c current bound: 783
1393.49/1398.14	c current bound: 783
1393.90/1398.53	c current bound: 783
1394.27/1398.92	c current bound: 783
1394.67/1399.32	c current bound: 783
1395.08/1399.72	c current bound: 783
1395.46/1400.11	c current bound: 783
1395.86/1400.52	c current bound: 783
1396.26/1400.91	c current bound: 783
1396.38/1401.29	c current bound: 783
1397.15/1401.70	c current bound: 783
1397.43/1402.08	c current bound: 783
1397.83/1402.47	c current bound: 783
1398.21/1402.86	c current bound: 783
1398.59/1403.25	c current bound: 783
1398.99/1403.65	c current bound: 783
1399.39/1404.04	c current bound: 783
1399.78/1404.44	c current bound: 783
1400.18/1404.84	c current bound: 783
1400.56/1405.23	c current bound: 783
1400.96/1405.62	c current bound: 783
1401.37/1406.04	c current bound: 783
1401.77/1406.53	c current bound: 783
1402.14/1406.93	c current bound: 783
1402.55/1407.32	c current bound: 783
1402.93/1407.71	c current bound: 783
1403.37/1408.14	c current bound: 783
1403.75/1408.54	c current bound: 783
1404.15/1408.92	c current bound: 783
1404.55/1409.34	c current bound: 783
1404.95/1409.73	c current bound: 783
1405.42/1410.12	c current bound: 783
1405.72/1410.50	c current bound: 783
1406.12/1410.89	c current bound: 783
1406.51/1411.27	c current bound: 783
1406.89/1411.67	c current bound: 783
1407.28/1412.07	c current bound: 783
1407.69/1412.47	c current bound: 783
1408.08/1412.86	c current bound: 783
1408.48/1413.26	c current bound: 783
1408.88/1413.67	c current bound: 783
1409.27/1414.05	c current bound: 783
1409.66/1414.43	c current bound: 783
1410.10/1414.88	c current bound: 783
1410.47/1415.26	c current bound: 783
1410.90/1415.65	c current bound: 783
1411.25/1416.05	c current bound: 783
1411.66/1416.45	c current bound: 783
1412.06/1416.92	c current bound: 783
1412.44/1417.30	c current bound: 783
1412.94/1417.70	c current bound: 783
1413.33/1418.10	c current bound: 783
1413.63/1418.49	c current bound: 783
1414.02/1418.88	c current bound: 783
1414.41/1419.26	c current bound: 783
1414.79/1419.66	c current bound: 783
1415.23/1420.05	c current bound: 783
1415.57/1420.44	c current bound: 783
1415.97/1420.83	c current bound: 783
1416.36/1421.23	c current bound: 783
1416.74/1421.62	c current bound: 783
1417.14/1422.00	c current bound: 783
1417.53/1422.40	c current bound: 783
1417.94/1422.81	c current bound: 783
1418.06/1423.19	c current bound: 783
1418.71/1423.58	c current bound: 783
1419.11/1423.98	c current bound: 783
1419.50/1424.37	c current bound: 783
1419.92/1424.79	c current bound: 783
1420.31/1425.18	c current bound: 783
1420.72/1425.57	c current bound: 783
1421.09/1425.96	c current bound: 783
1421.49/1426.36	c current bound: 783
1421.88/1426.76	c current bound: 783
1422.28/1427.15	c current bound: 783
1422.67/1427.54	c current bound: 783
1423.08/1427.95	c current bound: 783
1423.46/1428.34	c current bound: 783
1423.86/1428.73	c current bound: 783
1424.24/1429.12	c current bound: 783
1424.62/1429.51	c current bound: 783
1425.10/1429.91	c current bound: 783
1425.41/1430.30	c current bound: 783
1425.81/1430.69	c current bound: 783
1426.21/1431.08	c current bound: 783
1426.60/1431.48	c current bound: 783
1426.98/1431.93	c current bound: 783
1427.38/1432.33	c current bound: 783
1427.77/1432.72	c current bound: 783
1428.17/1433.12	c current bound: 783
1428.54/1433.51	c current bound: 783
1428.95/1433.91	c current bound: 783
1429.33/1434.29	c current bound: 783
1429.71/1434.68	c current bound: 783
1430.11/1435.07	c current bound: 783
1430.51/1435.46	c current bound: 783
1430.89/1435.85	c current bound: 783
1431.29/1436.25	c current bound: 783
1431.69/1436.65	c current bound: 783
1432.09/1437.05	c current bound: 783
1432.48/1437.44	c current bound: 783
1432.88/1437.85	c current bound: 783
1433.27/1438.24	c current bound: 783
1433.66/1438.64	c current bound: 783
1434.08/1439.05	c current bound: 783
1434.49/1439.45	c current bound: 783
1434.91/1439.84	c current bound: 783
1435.27/1440.24	c current bound: 783
1435.66/1440.63	c current bound: 783
1436.04/1441.02	c current bound: 783
1436.44/1441.41	c current bound: 783
1436.83/1441.80	c current bound: 783
1437.23/1442.20	c current bound: 783
1437.71/1442.60	c current bound: 783
1438.01/1442.98	c current bound: 783
1438.42/1443.39	c current bound: 783
1438.81/1443.79	c current bound: 783
1439.21/1444.18	c current bound: 783
1439.60/1444.57	c current bound: 783
1439.98/1444.95	c current bound: 783
1440.42/1445.34	c current bound: 783
1440.75/1445.73	c current bound: 783
1441.16/1446.13	c current bound: 783
1441.55/1446.53	c current bound: 783
1441.93/1447.01	c current bound: 783
1442.34/1447.41	c current bound: 783
1442.73/1447.80	c current bound: 783
1442.85/1448.19	c current bound: 783
1443.50/1448.57	c current bound: 783
1443.63/1448.99	c current bound: 783
1444.31/1449.39	c current bound: 783
1444.71/1449.78	c current bound: 783
1445.09/1450.17	c current bound: 783
1445.48/1450.56	c current bound: 783
1445.88/1450.96	c current bound: 783
1446.28/1451.36	c current bound: 783
1446.68/1451.76	c current bound: 783
1447.08/1452.16	c current bound: 783
1447.46/1452.54	c current bound: 783
1447.86/1452.93	c current bound: 783
1448.24/1453.33	c current bound: 783
1448.64/1453.72	c current bound: 783
1449.11/1454.11	c current bound: 783
1449.41/1454.50	c current bound: 783
1449.91/1454.90	c current bound: 783
1450.21/1455.28	c current bound: 783
1450.59/1455.67	c current bound: 783
1450.98/1456.06	c current bound: 783
1451.38/1456.47	c current bound: 783
1451.77/1456.85	c current bound: 783
1452.16/1457.24	c current bound: 783
1452.55/1457.64	c current bound: 783
1452.96/1458.04	c current bound: 783
1453.33/1458.42	c current bound: 783
1453.75/1458.83	c current bound: 783
1454.13/1459.22	c current bound: 783
1454.62/1459.60	c current bound: 783
1454.64/1459.99	c current bound: 783
1455.29/1460.38	c current bound: 783
1455.70/1460.77	c current bound: 783
1456.07/1461.15	c current bound: 783
1456.47/1461.55	c current bound: 783
1456.85/1461.97	c current bound: 783
1457.25/1462.35	c current bound: 783
1457.63/1462.74	c current bound: 783
1458.04/1463.15	c current bound: 783
1458.42/1463.53	c current bound: 783
1458.81/1463.92	c current bound: 783
1459.22/1464.33	c current bound: 783
1459.60/1464.72	c current bound: 783
1460.00/1465.11	c current bound: 783
1460.40/1465.50	c current bound: 783
1460.78/1465.89	c current bound: 783
1461.19/1466.27	c current bound: 783
1461.55/1466.66	c current bound: 783
1461.94/1467.05	c current bound: 783
1462.33/1467.45	c current bound: 783
1462.72/1467.84	c current bound: 783
1463.11/1468.22	c current bound: 783
1463.50/1468.62	c current bound: 783
1463.88/1469.00	c current bound: 783
1464.27/1469.39	c current bound: 783
1464.66/1469.79	c current bound: 783
1465.06/1470.18	c current bound: 783
1465.45/1470.57	c current bound: 783
1465.83/1470.96	c current bound: 783
1466.23/1471.35	c current bound: 783
1466.66/1471.74	c current bound: 783
1467.00/1472.13	c current bound: 783
1467.40/1472.52	c current bound: 783
1467.77/1472.91	c current bound: 783
1468.18/1473.30	c current bound: 783
1468.29/1473.69	c current bound: 783
1468.96/1474.09	c current bound: 783
1469.35/1474.49	c current bound: 783
1469.76/1474.88	c current bound: 783
1470.16/1475.29	c current bound: 783
1470.54/1475.67	c current bound: 783
1470.92/1476.05	c current bound: 783
1471.34/1476.48	c current bound: 783
1471.74/1476.88	c current bound: 783
1472.12/1477.27	c current bound: 783
1472.51/1477.65	c current bound: 783
1472.89/1478.04	c current bound: 783
1473.27/1478.43	c current bound: 783
1473.68/1478.83	c current bound: 783
1474.07/1479.22	c current bound: 783
1474.48/1479.64	c current bound: 783
1474.86/1480.02	c current bound: 783
1475.24/1480.40	c current bound: 783
1475.65/1480.80	c current bound: 783
1476.13/1481.20	c current bound: 783
1476.43/1481.58	c current bound: 783
1476.80/1481.96	c current bound: 783
1477.19/1482.36	c current bound: 783
1477.63/1482.75	c current bound: 783
1477.98/1483.14	c current bound: 783
1478.37/1483.53	c current bound: 783
1478.75/1483.92	c current bound: 783
1479.13/1484.30	c current bound: 783
1479.53/1484.69	c current bound: 783
1480.02/1485.10	c current bound: 783
1480.34/1485.49	c current bound: 783
1480.71/1485.88	c current bound: 783
1481.12/1486.29	c current bound: 783
1481.51/1486.68	c current bound: 783
1481.95/1487.13	c current bound: 783
1482.32/1487.55	c current bound: 783
1482.75/1487.97	c current bound: 783
1483.16/1488.39	c current bound: 783
1483.59/1488.82	c current bound: 783
1484.02/1489.24	c current bound: 783
1484.44/1489.66	c current bound: 783
1484.85/1490.07	c current bound: 783
1485.28/1490.50	c current bound: 783
1485.68/1490.91	c current bound: 783
1486.11/1491.34	c current bound: 783
1486.53/1491.79	c current bound: 783
1486.94/1492.21	c current bound: 783
1487.41/1492.64	c current bound: 783
1487.78/1493.04	c current bound: 783
1488.20/1493.47	c current bound: 783
1488.64/1493.91	c current bound: 783
1489.05/1494.32	c current bound: 783
1489.48/1494.75	c current bound: 783
1489.91/1495.17	c current bound: 783
1490.34/1495.59	c current bound: 783
1490.75/1496.01	c current bound: 783
1491.18/1496.44	c current bound: 783
1491.59/1496.85	c current bound: 783
1492.00/1497.27	c current bound: 783
1492.52/1497.70	c current bound: 783
1492.93/1498.11	c current bound: 783
1493.24/1498.50	c current bound: 783
1493.37/1498.89	c current bound: 783
1494.03/1499.30	c current bound: 783
1494.42/1499.69	c current bound: 783
1494.82/1500.08	c current bound: 783
1495.20/1500.47	c current bound: 783
1495.59/1500.86	c current bound: 783
1496.01/1501.26	c current bound: 783
1496.40/1501.66	c current bound: 783
1496.80/1502.05	c current bound: 783
1497.18/1502.44	c current bound: 783
1497.57/1502.84	c current bound: 783
1497.95/1503.23	c current bound: 783
1498.42/1503.63	c current bound: 783
1498.75/1504.03	c current bound: 783
1499.15/1504.42	c current bound: 783
1499.53/1504.81	c current bound: 783
1499.91/1505.20	c current bound: 783
1500.05/1505.59	c current bound: 783
1500.71/1505.99	c current bound: 783
1501.11/1506.38	c current bound: 783
1501.49/1506.85	c current bound: 783
1501.89/1507.25	c current bound: 783
1502.28/1507.63	c current bound: 783
1502.73/1508.03	c current bound: 783
1503.07/1508.42	c current bound: 783
1503.47/1508.81	c current bound: 783
1503.84/1509.20	c current bound: 783
1504.25/1509.60	c current bound: 783
1504.63/1509.99	c current bound: 783
1505.03/1510.39	c current bound: 783
1505.43/1510.79	c current bound: 783
1505.83/1511.18	c current bound: 783
1506.23/1511.58	c current bound: 783
1506.63/1511.97	c current bound: 783
1507.00/1512.36	c current bound: 783
1507.41/1512.76	c current bound: 783
1507.79/1513.14	c current bound: 783
1508.23/1513.54	c current bound: 783
1508.59/1513.94	c current bound: 783
1508.99/1514.34	c current bound: 783
1509.39/1514.74	c current bound: 783
1509.79/1515.14	c current bound: 783
1510.18/1515.53	c current bound: 783
1510.58/1515.92	c current bound: 783
1510.96/1516.31	c current bound: 783
1511.35/1516.70	c current bound: 783
1511.73/1517.09	c current bound: 783
1512.15/1517.49	c current bound: 783
1512.54/1517.89	c current bound: 783
1512.94/1518.28	c current bound: 783
1513.33/1518.69	c current bound: 783
1513.74/1519.07	c current bound: 783
1514.12/1519.46	c current bound: 783
1514.53/1519.87	c current bound: 783
1514.91/1520.26	c current bound: 783
1515.32/1520.66	c current bound: 783
1515.71/1521.05	c current bound: 783
1516.11/1521.45	c current bound: 783
1516.50/1521.85	c current bound: 783
1516.90/1522.25	c current bound: 783
1517.30/1522.64	c current bound: 783
1517.69/1523.04	c current bound: 783
1518.14/1523.45	c current bound: 783
1518.50/1523.84	c current bound: 783
1518.89/1524.24	c current bound: 783
1519.30/1524.64	c current bound: 783
1519.69/1525.04	c current bound: 783
1520.08/1525.43	c current bound: 783
1520.47/1525.83	c current bound: 783
1520.86/1526.22	c current bound: 783
1521.26/1526.62	c current bound: 783
1521.67/1527.02	c current bound: 783
1522.06/1527.42	c current bound: 783
1522.52/1527.82	c current bound: 783
1522.86/1528.21	c current bound: 783
1522.98/1528.59	c current bound: 783
1523.65/1528.99	c current bound: 783
1524.02/1529.38	c current bound: 783
1524.42/1529.77	c current bound: 783
1524.82/1530.17	c current bound: 783
1525.21/1530.56	c current bound: 783
1525.60/1530.95	c current bound: 783
1526.00/1531.34	c current bound: 783
1526.39/1531.73	c current bound: 783
1526.79/1532.13	c current bound: 783
1527.18/1532.53	c current bound: 783
1527.58/1532.91	c current bound: 783
1528.03/1533.31	c current bound: 783
1528.45/1533.70	c current bound: 783
1528.84/1534.10	c current bound: 783
1529.14/1534.50	c current bound: 783
1529.55/1534.89	c current bound: 783
1529.94/1535.28	c current bound: 783
1530.33/1535.67	c current bound: 783
1530.74/1536.08	c current bound: 783
1531.13/1536.47	c current bound: 783
1531.53/1536.87	c current bound: 783
1531.93/1537.29	c current bound: 783
1532.32/1537.69	c current bound: 783
1532.73/1538.09	c current bound: 783
1533.12/1538.48	c current bound: 783
1533.52/1538.87	c current bound: 783
1533.90/1539.27	c current bound: 783
1534.31/1539.67	c current bound: 783
1534.69/1540.06	c current bound: 783
1535.09/1540.46	c current bound: 783
1535.49/1540.85	c current bound: 783
1535.89/1541.25	c current bound: 783
1536.27/1541.64	c current bound: 783
1536.67/1542.10	c current bound: 783
1537.06/1542.49	c current bound: 783
1537.46/1542.89	c current bound: 783
1537.87/1543.29	c current bound: 783
1538.25/1543.68	c current bound: 783
1538.64/1544.08	c current bound: 783
1539.05/1544.48	c current bound: 783
1539.43/1544.86	c current bound: 783
1539.83/1545.25	c current bound: 783
1540.23/1545.65	c current bound: 783
1540.61/1546.04	c current bound: 783
1540.99/1546.42	c current bound: 783
1541.39/1546.81	c current bound: 783
1541.78/1547.22	c current bound: 783
1542.26/1547.61	c current bound: 783
1542.66/1548.00	c current bound: 783
1542.71/1548.40	c current bound: 783
1543.36/1548.79	c current bound: 783
1543.50/1549.19	c current bound: 783
1543.90/1549.59	c current bound: 783
1544.57/1549.99	c current bound: 783
1544.96/1550.38	c current bound: 783
1545.35/1550.78	c current bound: 783
1545.74/1551.17	c current bound: 783
1546.14/1551.58	c current bound: 783
1546.56/1551.98	c current bound: 783
1546.95/1552.38	c current bound: 783
1547.34/1552.77	c current bound: 783
1547.75/1553.16	c current bound: 783
1548.15/1553.56	c current bound: 783
1548.53/1553.95	c current bound: 783
1548.92/1554.34	c current bound: 783
1549.31/1554.73	c current bound: 783
1549.69/1555.12	c current bound: 783
1550.09/1555.51	c current bound: 783
1550.49/1555.91	c current bound: 783
1550.97/1556.30	c current bound: 783
1551.35/1556.70	c current bound: 783
1551.66/1557.09	c current bound: 783
1552.06/1557.48	c current bound: 783
1552.44/1557.87	c current bound: 783
1552.83/1558.26	c current bound: 783
1553.26/1558.65	c current bound: 783
1553.62/1559.05	c current bound: 783
1554.02/1559.45	c current bound: 783
1554.40/1559.84	c current bound: 783
1554.81/1560.24	c current bound: 783
1555.20/1560.64	c current bound: 783
1555.61/1561.03	c current bound: 783
1555.99/1561.42	c current bound: 783
1556.38/1561.81	c current bound: 783
1556.78/1562.21	c current bound: 783
1557.17/1562.61	c current bound: 783
1557.65/1563.00	c current bound: 783
1557.69/1563.39	c current bound: 783
1558.08/1563.79	c current bound: 783
1558.75/1564.19	c current bound: 783
1558.88/1564.59	c current bound: 783
1559.54/1564.98	c current bound: 783
1559.93/1565.37	c current bound: 783
1560.33/1565.76	c current bound: 783
1560.73/1566.17	c current bound: 783
1561.12/1566.57	c current bound: 783
1561.53/1566.97	c current bound: 783
1561.92/1567.36	c current bound: 783
1562.32/1567.75	c current bound: 783
1562.70/1568.14	c current bound: 783
1563.14/1568.54	c current bound: 783
1563.48/1568.93	c current bound: 783
1563.90/1569.33	c current bound: 783
1564.29/1569.74	c current bound: 783
1564.69/1570.13	c current bound: 783
1565.09/1570.52	c current bound: 783
1565.48/1570.93	c current bound: 783
1565.87/1571.31	c current bound: 783
1566.35/1571.70	c current bound: 783
1566.65/1572.16	c current bound: 783
1567.04/1572.55	c current bound: 783
1567.48/1572.94	c current bound: 783
1567.81/1573.32	c current bound: 783
1568.19/1573.71	c current bound: 783
1568.58/1574.10	c current bound: 783
1568.98/1574.49	c current bound: 783
1569.38/1574.88	c current bound: 783
1569.77/1575.28	c current bound: 783
1570.15/1575.67	c current bound: 783
1570.53/1576.05	c current bound: 783
1570.94/1576.46	c current bound: 783
1571.33/1576.85	c current bound: 783
1571.71/1577.23	c current bound: 783
1572.12/1577.63	c current bound: 783
1572.50/1578.03	c current bound: 783
1572.97/1578.41	c current bound: 783
1573.36/1578.80	c current bound: 783
1573.66/1579.18	c current bound: 783
1574.06/1579.58	c current bound: 783
1574.44/1579.97	c current bound: 783
1574.84/1580.36	c current bound: 783
1575.24/1580.77	c current bound: 783
1575.62/1581.15	c current bound: 783
1576.02/1581.54	c current bound: 783
1576.41/1581.94	c current bound: 783
1576.80/1582.32	c current bound: 783
1577.18/1582.72	c current bound: 783
1577.60/1583.12	c current bound: 783
1577.98/1583.51	c current bound: 783
1578.12/1583.90	c current bound: 783
1578.49/1584.29	c current bound: 783
1579.15/1584.69	c current bound: 783
1579.55/1585.07	c current bound: 783
1579.93/1585.47	c current bound: 783
1580.32/1585.86	c current bound: 783
1580.71/1586.25	c current bound: 783
1581.10/1586.64	c current bound: 783
1581.50/1587.03	c current bound: 783
1581.90/1587.44	c current bound: 783
1582.30/1587.83	c current bound: 783
1582.69/1588.23	c current bound: 783
1583.10/1588.64	c current bound: 783
1583.49/1589.03	c current bound: 783
1583.94/1589.42	c current bound: 783
1584.28/1589.82	c current bound: 783
1584.67/1590.21	c current bound: 783
1585.04/1590.60	c current bound: 783
1585.17/1590.99	c current bound: 783
1585.84/1591.39	c current bound: 783
1586.33/1591.80	c current bound: 783
1586.63/1592.20	c current bound: 783
1586.76/1592.59	c current bound: 783
1587.42/1592.99	c current bound: 783
1587.83/1593.39	c current bound: 783
1588.21/1593.78	c current bound: 783
1588.61/1594.17	c current bound: 783
1588.98/1594.55	c current bound: 783
1589.42/1594.95	c current bound: 783
1589.77/1595.34	c current bound: 783
1590.18/1595.74	c current bound: 783
1590.56/1596.13	c current bound: 783
1590.95/1596.52	c current bound: 783
1591.34/1596.91	c current bound: 783
1591.74/1597.35	c current bound: 783
1592.13/1597.73	c current bound: 783
1592.52/1598.12	c current bound: 783
1592.91/1598.52	c current bound: 783
1593.31/1598.91	c current bound: 783
1593.43/1599.30	c current bound: 783
1593.81/1599.69	c current bound: 783
1594.48/1600.08	c current bound: 783
1594.89/1600.47	c current bound: 783
1595.26/1600.87	c current bound: 783
1595.65/1601.25	c current bound: 783
1596.05/1601.65	c current bound: 783
1596.44/1602.05	c current bound: 783
1596.84/1602.44	c current bound: 783
1597.23/1602.85	c current bound: 783
1597.63/1603.24	c current bound: 783
1598.02/1603.64	c current bound: 783
1598.44/1604.06	c current bound: 783
1598.85/1604.45	c current bound: 783
1599.27/1604.85	c current bound: 783
1599.64/1605.24	c current bound: 783
1600.02/1605.63	c current bound: 783
1600.40/1606.01	c current bound: 783
1600.80/1606.41	c current bound: 783
1601.19/1606.80	c current bound: 783
1601.59/1607.27	c current bound: 783
1602.00/1607.66	c current bound: 783
1602.38/1608.05	c current bound: 783
1602.81/1608.48	c current bound: 783
1603.19/1608.87	c current bound: 783
1603.61/1609.26	c current bound: 783
1603.99/1609.66	c current bound: 783
1604.37/1610.05	c current bound: 783
1604.77/1610.45	c current bound: 783
1605.16/1610.85	c current bound: 783
1605.56/1611.24	c current bound: 783
1605.97/1611.65	c current bound: 783
1606.36/1612.04	c current bound: 783
1606.76/1612.43	c current bound: 783
1607.17/1612.85	c current bound: 783
1607.57/1613.25	c current bound: 783
1608.00/1613.64	c current bound: 783
1608.35/1614.03	c current bound: 783
1608.74/1614.42	c current bound: 783
1609.13/1614.81	c current bound: 783
1609.61/1615.20	c current bound: 783
1609.89/1615.59	c current bound: 783
1610.31/1615.99	c current bound: 783
1610.69/1616.38	c current bound: 783
1611.10/1616.78	c current bound: 783
1611.49/1617.18	c current bound: 783
1611.87/1617.57	c current bound: 783
1612.28/1617.96	c current bound: 783
1612.68/1618.38	c current bound: 783
1613.09/1618.77	c current bound: 783
1613.49/1619.17	c current bound: 783
1613.88/1619.56	c current bound: 783
1614.27/1619.95	c current bound: 783
1614.67/1620.35	c current bound: 783
1615.05/1620.74	c current bound: 783
1615.43/1621.13	c current bound: 783
1615.84/1621.54	c current bound: 783
1616.23/1621.93	c current bound: 783
1616.61/1622.32	c current bound: 783
1617.01/1622.72	c current bound: 783
1617.39/1623.10	c current bound: 783
1617.96/1623.50	c current bound: 783
1617.92/1623.89	c current bound: 783
1618.57/1624.29	c current bound: 783
1618.97/1624.67	c current bound: 783
1619.35/1625.06	c current bound: 783
1619.72/1625.45	c current bound: 783
1620.12/1625.84	c current bound: 783
1620.50/1626.22	c current bound: 783
1620.91/1626.62	c current bound: 783
1621.30/1627.02	c current bound: 783
1621.68/1627.40	c current bound: 783
1622.07/1627.79	c current bound: 783
1622.48/1628.20	c current bound: 783
1622.89/1628.60	c current bound: 783
1623.26/1628.99	c current bound: 783
1623.67/1629.37	c current bound: 783
1624.04/1629.75	c current bound: 783
1624.47/1630.14	c current bound: 783
1624.80/1630.52	c current bound: 783
1625.20/1630.92	c current bound: 783
1625.62/1631.32	c current bound: 783
1625.99/1631.71	c current bound: 783
1626.38/1632.11	c current bound: 783
1626.78/1632.51	c current bound: 783
1627.16/1632.89	c current bound: 783
1627.56/1633.28	c current bound: 783
1627.96/1633.67	c current bound: 783
1628.33/1634.06	c current bound: 783
1628.73/1634.45	c current bound: 783
1629.15/1634.87	c current bound: 783
1629.53/1635.27	c current bound: 783
1629.95/1635.65	c current bound: 783
1630.31/1636.04	c current bound: 783
1630.71/1636.43	c current bound: 783
1631.08/1636.82	c current bound: 783
1631.49/1637.21	c current bound: 783
1631.88/1637.61	c current bound: 783
1632.27/1638.01	c current bound: 783
1632.40/1638.39	c current bound: 783
1633.03/1638.78	c current bound: 783
1633.46/1639.19	c current bound: 783
1633.84/1639.58	c current bound: 783
1634.23/1639.97	c current bound: 783
1634.63/1640.37	c current bound: 783
1635.01/1640.76	c current bound: 783
1635.45/1641.15	c current bound: 783
1635.80/1641.53	c current bound: 783
1636.18/1641.92	c current bound: 783
1636.68/1642.40	c current bound: 783
1636.96/1642.78	c current bound: 783
1637.37/1643.18	c current bound: 783
1637.74/1643.57	c current bound: 783
1638.13/1643.96	c current bound: 783
1638.54/1644.36	c current bound: 783
1638.92/1644.76	c current bound: 783
1639.33/1645.15	c current bound: 783
1639.76/1645.54	c current bound: 783
1640.09/1645.92	c current bound: 783
1640.48/1646.31	c current bound: 783
1640.85/1646.70	c current bound: 783
1641.37/1647.10	c current bound: 783
1641.66/1647.48	c current bound: 783
1642.05/1647.87	c current bound: 783
1642.43/1648.27	c current bound: 783
1642.83/1648.66	c current bound: 783
1643.22/1649.06	c current bound: 783
1643.65/1649.48	c current bound: 783
1644.03/1649.86	c current bound: 783
1644.45/1650.29	c current bound: 783
1644.85/1650.68	c current bound: 783
1645.25/1651.08	c current bound: 783
1645.63/1651.47	c current bound: 783
1646.02/1651.86	c current bound: 783
1646.41/1652.26	c current bound: 783
1646.80/1652.65	c current bound: 783
1647.19/1653.03	c current bound: 783
1647.59/1653.44	c current bound: 783
1647.98/1653.83	c current bound: 783
1648.38/1654.22	c current bound: 783
1648.81/1654.65	c current bound: 783
1649.20/1655.05	c current bound: 783
1649.63/1655.43	c current bound: 783
1649.98/1655.81	c current bound: 783
1650.35/1656.20	c current bound: 783
1650.75/1656.58	c current bound: 783
1651.12/1656.97	c current bound: 783
1651.51/1657.43	c current bound: 783
1651.89/1657.83	c current bound: 783
1652.28/1658.21	c current bound: 783
1652.77/1658.60	c current bound: 783
1653.07/1659.00	c current bound: 783
1653.45/1659.39	c current bound: 783
1653.85/1659.78	c current bound: 783
1654.25/1660.18	c current bound: 783
1654.63/1660.56	c current bound: 783
1655.05/1660.94	c current bound: 783
1655.40/1661.33	c current bound: 783
1655.78/1661.71	c current bound: 783
1656.17/1662.11	c current bound: 783
1656.30/1662.50	c current bound: 783
1656.96/1662.89	c current bound: 783
1657.46/1663.30	c current bound: 783
1657.76/1663.69	c current bound: 783
1658.15/1664.08	c current bound: 783
1658.54/1664.48	c current bound: 783
1658.94/1664.87	c current bound: 783
1659.32/1665.25	c current bound: 783
1659.72/1665.68	c current bound: 783
1660.14/1666.07	c current bound: 783
1660.55/1666.46	c current bound: 783
1660.90/1666.84	c current bound: 783
1661.30/1667.23	c current bound: 783
1661.69/1667.63	c current bound: 783
1662.09/1668.02	c current bound: 783
1662.48/1668.42	c current bound: 783
1662.89/1668.82	c current bound: 783
1663.27/1669.21	c current bound: 783
1663.66/1669.60	c current bound: 783
1664.06/1670.00	c current bound: 783
1664.44/1670.39	c current bound: 783
1664.83/1670.77	c current bound: 783
1665.22/1671.17	c current bound: 783
1665.61/1671.56	c current bound: 783
1666.03/1671.96	c current bound: 783
1666.40/1672.35	c current bound: 783
1666.80/1672.74	c current bound: 783
1667.19/1673.14	c current bound: 783
1667.58/1673.53	c current bound: 783
1667.98/1673.93	c current bound: 783
1668.39/1674.34	c current bound: 783
1668.78/1674.73	c current bound: 783
1669.17/1675.12	c current bound: 783
1669.58/1675.54	c current bound: 783
1669.98/1675.92	c current bound: 783
1670.43/1676.31	c current bound: 783
1670.84/1676.70	c current bound: 783
1671.23/1677.10	c current bound: 783
1671.53/1677.58	c current bound: 783
1671.94/1677.98	c current bound: 783
1672.35/1678.37	c current bound: 783
1672.73/1678.78	c current bound: 783
1673.13/1679.16	c current bound: 783
1673.53/1679.56	c current bound: 783
1673.92/1679.96	c current bound: 783
1674.31/1680.36	c current bound: 783
1674.74/1680.76	c current bound: 783
1675.12/1681.15	c current bound: 783
1675.50/1681.55	c current bound: 783
1675.90/1681.94	c current bound: 783
1676.28/1682.34	c current bound: 783
1676.69/1682.73	c current bound: 783
1677.06/1683.12	c current bound: 783
1677.45/1683.51	c current bound: 783
1677.94/1683.90	c current bound: 783
1678.24/1684.30	c current bound: 783
1678.62/1684.69	c current bound: 783
1679.02/1685.07	c current bound: 783
1679.41/1685.46	c current bound: 783
1679.79/1685.85	c current bound: 783
1680.23/1686.24	c current bound: 783
1680.58/1686.63	c current bound: 783
1680.95/1687.01	c current bound: 783
1681.35/1687.41	c current bound: 783
1681.74/1687.83	c current bound: 783
1682.13/1688.22	c current bound: 783
1682.54/1688.63	c current bound: 783
1682.93/1689.01	c current bound: 783
1683.40/1689.40	c current bound: 783
1683.73/1689.81	c current bound: 783
1684.12/1690.21	c current bound: 783
1684.51/1690.59	c current bound: 783
1684.89/1690.98	c current bound: 783
1685.29/1691.36	c current bound: 783
1685.70/1691.75	c current bound: 783
1686.04/1692.13	c current bound: 783
1686.43/1692.52	c current bound: 783
1686.83/1692.91	c current bound: 783
1687.30/1693.30	c current bound: 783
1687.60/1693.69	c current bound: 783
1687.99/1694.09	c current bound: 783
1688.37/1694.47	c current bound: 783
1688.77/1694.86	c current bound: 783
1689.17/1695.26	c current bound: 783
1689.55/1695.65	c current bound: 783
1689.95/1696.04	c current bound: 783
1690.34/1696.43	c current bound: 783
1690.72/1696.82	c current bound: 783
1691.18/1697.21	c current bound: 783
1691.59/1697.60	c current bound: 783
1691.98/1698.00	c current bound: 783
1692.27/1698.39	c current bound: 783
1692.66/1698.79	c current bound: 783
1693.06/1699.18	c current bound: 783
1693.47/1699.59	c current bound: 783
1693.85/1699.98	c current bound: 783
1694.24/1700.37	c current bound: 783
1694.63/1700.77	c current bound: 783
1695.03/1701.16	c current bound: 783
1695.43/1701.55	c current bound: 783
1695.85/1701.97	c current bound: 783
1696.22/1702.36	c current bound: 783
1696.66/1702.75	c current bound: 783
1697.01/1703.14	c current bound: 783
1697.40/1703.54	c current bound: 783
1697.79/1703.93	c current bound: 783
1698.19/1704.32	c current bound: 783
1698.58/1704.71	c current bound: 783
1698.97/1705.11	c current bound: 783
1699.10/1705.49	c current bound: 783
1699.75/1705.88	c current bound: 783
1700.17/1706.30	c current bound: 783
1700.54/1706.68	c current bound: 783
1700.93/1707.07	c current bound: 783
1701.33/1707.46	c current bound: 783
1701.73/1707.87	c current bound: 783
1702.15/1708.26	c current bound: 783
1702.52/1708.65	c current bound: 783
1702.90/1709.03	c current bound: 783
1703.29/1709.44	c current bound: 783
1703.70/1709.83	c current bound: 783
1704.08/1710.22	c current bound: 783
1704.49/1710.63	c current bound: 783
1704.88/1711.02	c current bound: 783
1705.26/1711.41	c current bound: 783
1705.75/1711.80	c current bound: 783
1706.03/1712.18	c current bound: 783
1706.43/1712.58	c current bound: 783
1706.82/1712.96	c current bound: 783
1707.20/1713.35	c current bound: 783
1707.64/1713.74	c current bound: 783
1707.98/1714.13	c current bound: 783
1708.38/1714.52	c current bound: 783
1708.84/1714.90	c current bound: 783
1709.14/1715.30	c current bound: 783
1709.54/1715.70	c current bound: 783
1709.94/1716.09	c current bound: 783
1710.33/1716.48	c current bound: 783
1710.72/1716.87	c current bound: 783
1711.11/1717.27	c current bound: 783
1711.51/1717.74	c current bound: 783
1711.94/1718.14	c current bound: 783
1712.30/1718.54	c current bound: 783
1712.68/1718.94	c current bound: 783
1713.09/1719.33	c current bound: 783
1713.49/1719.73	c current bound: 783
1713.89/1720.13	c current bound: 783
1714.29/1720.53	c current bound: 783
1714.69/1720.94	c current bound: 783
1715.09/1721.34	c current bound: 783
1715.50/1721.75	c current bound: 783
1715.92/1722.15	c current bound: 783
1716.36/1722.55	c current bound: 783
1716.70/1722.94	c current bound: 783
1717.10/1723.34	c current bound: 783
1717.50/1723.74	c current bound: 783
1717.90/1724.15	c current bound: 783
1718.31/1724.56	c current bound: 783
1718.71/1724.95	c current bound: 783
1719.11/1725.35	c current bound: 783
1719.51/1725.76	c current bound: 783
1719.92/1726.16	c current bound: 783
1720.31/1726.56	c current bound: 783
1720.75/1726.96	c current bound: 783
1721.13/1727.37	c current bound: 783
1721.65/1727.82	c current bound: 783
1721.94/1728.23	c current bound: 783
1722.35/1728.63	c current bound: 783
1722.76/1729.04	c current bound: 783
1723.15/1729.43	c current bound: 783
1723.55/1729.84	c current bound: 783
1724.01/1730.24	c current bound: 783
1724.36/1730.65	c current bound: 783
1724.78/1731.06	c current bound: 783
1725.16/1731.46	c current bound: 783
1725.59/1731.86	c current bound: 783
1725.98/1732.27	c current bound: 783
1726.39/1732.66	c current bound: 783
1726.78/1733.06	c current bound: 783
1727.17/1733.46	c current bound: 783
1727.59/1733.86	c current bound: 783
1727.97/1734.26	c current bound: 783
1728.41/1734.67	c current bound: 783
1728.77/1735.06	c current bound: 783
1729.18/1735.47	c current bound: 783
1729.59/1735.88	c current bound: 783
1729.99/1736.28	c current bound: 783
1730.38/1736.67	c current bound: 783
1730.78/1737.08	c current bound: 783
1731.22/1737.49	c current bound: 783
1731.60/1737.88	c current bound: 783
1732.00/1738.29	c current bound: 783
1732.39/1738.68	c current bound: 783
1732.82/1739.09	c current bound: 783
1733.20/1739.49	c current bound: 783
1733.63/1739.91	c current bound: 783
1734.01/1740.30	c current bound: 783
1734.43/1740.71	c current bound: 783
1734.83/1741.12	c current bound: 783
1735.25/1741.53	c current bound: 783
1735.64/1741.93	c current bound: 783
1736.11/1742.34	c current bound: 783
1736.45/1742.73	c current bound: 783
1736.87/1743.14	c current bound: 783
1737.26/1743.54	c current bound: 783
1737.66/1743.93	c current bound: 783
1738.06/1744.34	c current bound: 783
1738.46/1744.74	c current bound: 783
1738.88/1745.15	c current bound: 783
1739.26/1745.55	c current bound: 783
1739.68/1745.96	c current bound: 783
1740.07/1746.36	c current bound: 783
1740.52/1746.75	c current bound: 783
1740.87/1747.16	c current bound: 783
1741.28/1747.56	c current bound: 783
1741.67/1747.96	c current bound: 783
1742.07/1748.35	c current bound: 783
1742.47/1748.75	c current bound: 783
1742.86/1749.15	c current bound: 783
1743.25/1749.55	c current bound: 783
1743.66/1749.94	c current bound: 783
1744.06/1750.35	c current bound: 783
1744.47/1750.76	c current bound: 783
1744.92/1751.16	c current bound: 783
1745.28/1751.57	c current bound: 783
1745.70/1751.98	c current bound: 783
1746.09/1752.37	c current bound: 783
1746.49/1752.78	c current bound: 783
1746.90/1753.19	c current bound: 783
1747.42/1753.60	c current bound: 783
1747.72/1754.01	c current bound: 783
1748.21/1754.41	c current bound: 783
1748.54/1754.83	c current bound: 783
1748.95/1755.23	c current bound: 783
1749.34/1755.63	c current bound: 783
1749.75/1756.04	c current bound: 783
1750.16/1756.44	c current bound: 783
1750.56/1756.84	c current bound: 783
1750.96/1757.25	c current bound: 783
1751.36/1757.66	c current bound: 783
1751.77/1758.06	c current bound: 783
1752.16/1758.46	c current bound: 783
1752.61/1758.87	c current bound: 783
1752.99/1759.27	c current bound: 783
1753.39/1759.69	c current bound: 783
1753.79/1760.08	c current bound: 783
1754.19/1760.47	c current bound: 783
1754.59/1760.86	c current bound: 783
1754.97/1761.27	c current bound: 783
1755.39/1761.66	c current bound: 783
1755.78/1762.06	c current bound: 783
1756.17/1762.46	c current bound: 783
1756.59/1762.88	c current bound: 783
1756.99/1763.39	c current bound: 783
1757.39/1763.79	c current bound: 783
1757.79/1764.19	c current bound: 783
1758.19/1764.58	c current bound: 783
1758.58/1764.97	c current bound: 783
1758.97/1765.37	c current bound: 783
1759.38/1765.77	c current bound: 783
1759.78/1766.17	c current bound: 783
1760.21/1766.58	c current bound: 783
1760.58/1766.98	c current bound: 783
1761.00/1767.38	c current bound: 783
1761.39/1767.79	c current bound: 783
1761.92/1768.20	c current bound: 783
1762.22/1768.61	c current bound: 783
1762.63/1769.01	c current bound: 783
1763.03/1769.42	c current bound: 783
1763.52/1769.83	c current bound: 783
1763.83/1770.23	c current bound: 783
1764.24/1770.63	c current bound: 783
1764.63/1771.03	c current bound: 783
1765.05/1771.43	c current bound: 783
1765.44/1771.84	c current bound: 783
1765.85/1772.24	c current bound: 783
1766.25/1772.64	c current bound: 783
1766.65/1773.05	c current bound: 783
1767.06/1773.44	c current bound: 783
1767.47/1773.85	c current bound: 783
1767.90/1774.26	c current bound: 783
1768.27/1774.66	c current bound: 783
1768.67/1775.06	c current bound: 783
1769.08/1775.47	c current bound: 783
1769.49/1775.87	c current bound: 783
1769.89/1776.28	c current bound: 783
1770.30/1776.68	c current bound: 783
1770.69/1777.09	c current bound: 783
1771.12/1777.50	c current bound: 783
1771.63/1777.90	c current bound: 783
1771.93/1778.32	c current bound: 783
1772.33/1778.73	c current bound: 783
1772.72/1779.12	c current bound: 783
1773.14/1779.53	c current bound: 783
1773.53/1779.94	c current bound: 783
1773.94/1780.34	c current bound: 783
1774.34/1780.75	c current bound: 783
1774.76/1781.15	c current bound: 783
1775.15/1781.54	c current bound: 783
1775.59/1781.94	c current bound: 783
1775.94/1782.34	c current bound: 783
1776.34/1782.74	c current bound: 783
1776.76/1783.15	c current bound: 783
1777.15/1783.55	c current bound: 783
1777.55/1783.96	c current bound: 783
1777.96/1784.35	c current bound: 783
1778.34/1784.74	c current bound: 783
1778.74/1785.13	c current bound: 783
1779.13/1785.53	c current bound: 783
1779.53/1785.93	c current bound: 783
1780.00/1786.33	c current bound: 783
1780.33/1786.73	c current bound: 783
1780.73/1787.12	c current bound: 783
1781.12/1787.52	c current bound: 783
1781.53/1787.92	c current bound: 783
1781.93/1788.35	c current bound: 783
1782.33/1788.74	c current bound: 783
1782.73/1789.15	c current bound: 783
1783.14/1789.55	c current bound: 783
1783.52/1789.95	c current bound: 783
1783.95/1790.36	c current bound: 783
1784.39/1790.76	c current bound: 783
1784.75/1791.16	c current bound: 783
1785.14/1791.57	c current bound: 783
1785.57/1791.97	c current bound: 783
1785.97/1792.37	c current bound: 783
1786.36/1792.78	c current bound: 783
1786.76/1793.18	c current bound: 783
1787.16/1793.58	c current bound: 783
1787.58/1793.99	c current bound: 783
1787.96/1794.38	c current bound: 783
1788.37/1794.77	c current bound: 783
1788.79/1795.18	c current bound: 783
1789.16/1795.58	c current bound: 783
1789.58/1795.99	c current bound: 783
1789.97/1796.39	c current bound: 783
1790.49/1796.80	c current bound: 783
1790.77/1797.19	c current bound: 783
1791.19/1797.59	c current bound: 783
1791.58/1797.99	c current bound: 783
1792.08/1798.42	c current bound: 783
1792.40/1798.82	c current bound: 783
1792.79/1799.22	c current bound: 783
1793.20/1799.62	c current bound: 783
1793.60/1800.03	c current bound: 783
1794.01/1800.43	c current bound: 783
1794.41/1800.84	c current bound: 783
1794.80/1801.24	c current bound: 783
1795.22/1801.65	c current bound: 783
1795.62/1802.05	c current bound: 783
1796.03/1802.45	c current bound: 783
1796.47/1802.86	c current bound: 783
1796.83/1803.26	c current bound: 783
1797.23/1803.65	c current bound: 783
1797.63/1804.06	c current bound: 783
1798.03/1804.45	c current bound: 783
1798.44/1804.86	c current bound: 783
1798.84/1805.27	c current bound: 783
1799.24/1805.67	c current bound: 783
1799.64/1806.06	c current bound: 783
1799.78/1806.11	./satsolver.sh: line 5: 11688 Terminated              ./glucose $1 > $2 2> /dev/null
1799.78/1806.11	c error: unexpected solver exit code
1799.78/1806.11	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 1.95 1.88 3/180 2209
/proc/meminfo: memFree=29038676/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0

[startup+0.0631451 s]
/proc/loadavg: 2.20 1.95 1.88 3/180 2209
/proc/meminfo: memFree=29038676/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100213 s]
/proc/loadavg: 2.20 1.95 1.88 3/180 2209
/proc/meminfo: memFree=29038676/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300213 s]
/proc/loadavg: 2.20 1.95 1.88 3/180 2209
/proc/meminfo: memFree=29038676/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700214 s]
/proc/loadavg: 2.20 1.95 1.88 3/180 2209
/proc/meminfo: memFree=29038676/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.20 1.95 1.88 3/184 2265
/proc/meminfo: memFree=29011972/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1.22 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4938 23636 0 0 14 4 92 12 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 17220

[startup+3.10016 s]
/proc/loadavg: 2.20 1.95 1.88 3/184 2321
/proc/meminfo: memFree=29010592/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=3.07 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 9418 61357 0 0 26 6 241 34 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 17220

[startup+6.3002 s]
/proc/loadavg: 2.19 1.95 1.88 3/184 2478
/proc/meminfo: memFree=29018672/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=5.95 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 18354 121930 0 0 47 9 464 75 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 17220

[startup+12.7002 s]
/proc/loadavg: 2.09 1.93 1.87 3/183 2818
/proc/meminfo: memFree=29033204/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=12.47 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 36250 255952 0 0 87 16 982 162 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 17220

[startup+25.5002 s]
/proc/loadavg: 1.99 1.92 1.87 3/181 3488
/proc/meminfo: memFree=29024872/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=25.17 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 73136 517409 0 0 171 30 1983 333 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 17220

[startup+51.1003 s]
/proc/loadavg: 1.86 1.89 1.86 3/183 4778
/proc/meminfo: memFree=29013616/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=50.62 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 144696 1041382 0 0 333 58 3994 677 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 6 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 17220

[startup+102.306 s]
/proc/loadavg: 1.90 1.89 1.86 3/183 7419
/proc/meminfo: memFree=29022464/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=101.7 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 291146 2093782 0 0 662 118 8028 1362 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 12 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 17220

[startup+162.3 s]
/proc/loadavg: 1.83 1.86 1.85 3/181 10448
/proc/meminfo: memFree=29022636/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=161.56 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 461082 3323391 0 0 1081 192 12717 2166 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 17220

[startup+222.3 s]
/proc/loadavg: 1.82 1.85 1.84 3/183 13515
/proc/meminfo: memFree=29028732/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=221.26 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 628782 4524117 0 0 1464 259 17432 2971 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (KiB) 17220

[startup+282.3 s]
/proc/loadavg: 1.76 1.82 1.83 3/183 16530
/proc/meminfo: memFree=29015092/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=280.98 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 796482 5733727 0 0 1887 332 22114 3765 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (KiB) 17220

[startup+342.3 s]
/proc/loadavg: 1.82 1.82 1.82 3/181 19612
/proc/meminfo: memFree=29034860/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=340.86 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 965308 6961499 0 0 2332 406 26782 4566 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 17 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 17220

[startup+402.3 s]
/proc/loadavg: 1.82 1.81 1.82 3/183 22634
/proc/meminfo: memFree=29031388/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6

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

[pid=20451] ppid=2210 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20451/stat : 20451 (satsolver.sh) S 2210 2209 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289015159 9367552 267 33554432000 4194304 5064252 140736049342064 140736049340976 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20451/statm: 2287 267 226 213 0 72 0
[pid=20452] ppid=20451 vsize=21260 CPUtime=0.25 cores=0,2,4,6
/proc/20452/stat : 20452 (glucose) R 20451 2209 1843 0 -1 4202496 4383 0 0 0 25 0 0 0 20 0 1 0 289015159 21770240 4596 33554432000 4194304 5208918 140737177488000 140737177485848 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20452/statm: 5315 4596 105 248 0 5064 0
Current children cumulated CPU time (s) 1417.51
Current children cumulated vsize (KiB) 47628

[startup+1482.3 s]
/proc/loadavg: 1.88 1.77 1.75 3/181 24121
/proc/meminfo: memFree=29019604/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1477.19 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4171665 30110081 0 0 9999 1734 115948 20038 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 114 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1477.19
Current children cumulated vsize (KiB) 17220

[startup+1542.3 s]
/proc/loadavg: 1.88 1.79 1.75 2/182 27834
/proc/meminfo: memFree=29025628/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1536.8 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4339357 31318751 0 0 10425 1809 120614 20832 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 122 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1536.8
Current children cumulated vsize (KiB) 17220

[startup+1602.3 s]
/proc/loadavg: 1.91 1.81 1.76 3/183 31490
/proc/meminfo: memFree=29007460/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1596.57 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4509293 32549159 0 0 10837 1880 125305 21635 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 122 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1596.57
Current children cumulated vsize (KiB) 17220

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

[startup+1623.5 s]
/proc/loadavg: 1.94 1.83 1.77 3/183 382
/proc/meminfo: memFree=29018700/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1617.88 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4568619 32992064 0 0 10972 1902 126992 21922 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567373440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 122 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
[pid=377] ppid=2210 vsize=9148 CPUtime=0.08 cores=0,2,4,6
/proc/377/stat : 377 (cp2_post.sh) S 2210 2209 1843 0 -1 4202496 635 2000 0 0 0 0 5 3 20 0 1 0 289035296 9367552 268 33554432000 4194304 5064252 140733363096384 140733363095296 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/377/statm: 2287 268 228 213 0 72 0
Current children cumulated CPU time (s) 1617.96
Current children cumulated vsize (KiB) 26368

[startup+1623.61 s]
/proc/loadavg: 1.94 1.83 1.77 3/183 382
/proc/meminfo: memFree=29018700/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1617.92 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4569665 32992578 0 0 10974 1903 126992 21923 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 122 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1617.92
Current children cumulated vsize (KiB) 17220
#
############


[startup+1662.3 s]
/proc/loadavg: 1.95 1.84 1.77 3/182 2826
/proc/meminfo: memFree=29010592/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1656.3 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4679229 33784362 0 0 11224 1944 130020 22442 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 122 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1656.3
Current children cumulated vsize (KiB) 17220

[startup+1722.3 s]
/proc/loadavg: 1.82 1.81 1.76 3/183 6496
/proc/meminfo: memFree=29012068/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1716.05 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 4849149 35016449 0 0 11615 2009 134733 23248 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 124 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1716.05
Current children cumulated vsize (KiB) 17220

[startup+1782.3 s]
/proc/loadavg: 1.75 1.80 1.76 3/184 10200
/proc/meminfo: memFree=29007776/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1775.94 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 5014621 36223935 0 0 11989 2074 139425 24106 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 137 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
Current children cumulated CPU time (s) 1775.94
Current children cumulated vsize (KiB) 17220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.1 s]
/proc/loadavg: 1.71 1.78 1.75 3/183 11688
/proc/meminfo: memFree=29013276/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1799.77 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 5081693 36699990 0 0 12142 2100 141292 24443 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 140 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
[pid=11687] ppid=2210 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11687/stat : 11687 (satsolver.sh) S 2210 2209 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 289053565 9367552 266 33554432000 4194304 5064252 140736246131632 140736246130544 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11687/statm: 2287 266 226 213 0 72 0
[pid=11688] ppid=11687 vsize=11940 CPUtime=0.01 cores=0,2,4,6
/proc/11688/stat : 11688 (glucose) R 11687 2209 1843 0 -1 4202496 1784 0 0 0 1 0 0 0 20 0 1 0 289053565 12226560 2191 33554432000 4194304 5208918 140735052396160 140736246130568 4235965 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11688/statm: 2985 2192 70 248 0 2734 0
Current children cumulated CPU time (s) 1799.78
Current children cumulated vsize (KiB) 38308

Sending SIGTERM to process tree (bottom up)

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

[startup+1806.1 s]
/proc/loadavg: 1.71 1.78 1.75 3/183 11688
/proc/meminfo: memFree=29013276/32873648 swapFree=7116/7116
[pid=2209] ppid=2207 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2209/stat : 2209 (npSolver-wbo-It) S 2207 2209 1843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288872955 9367552 275 33554432000 4194304 5064252 140735977019072 140735977017984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2209/statm: 2287 275 233 213 0 72 0
[pid=2210] ppid=2209 vsize=8072 CPUtime=1799.77 cores=0,2,4,6
/proc/2210/stat : 2210 (npSolver-wbo) S 2209 2209 1843 0 -1 4202496 5081693 36699990 0 0 12142 2100 141292 24443 20 0 1 0 288872955 8265728 1508 33554432000 4194304 5990268 140735567381456 140735567372864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 140 0 0
/proc/2210/statm: 2018 1508 176 439 0 1575 0
[pid=11687] ppid=2210 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11687/stat : 11687 (satsolver.sh) S 2210 2209 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 289053565 9367552 266 33554432000 4194304 5064252 140736246131632 140736246130544 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11687/statm: 2287 266 226 213 0 72 0
[pid=11688] ppid=11687 vsize=11940 CPUtime=0.01 cores=0,2,4,6
/proc/11688/stat : 11688 (glucose) R 11687 2209 1843 0 -1 4202496 1784 0 0 0 1 0 0 0 20 0 1 0 289053565 12226560 2191 33554432000 4194304 5208918 140735052396160 140736246130568 4235965 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11688/statm: 2985 2192 70 248 0 2734 0
Current children cumulated CPU time (s) 1799.78
Current children cumulated vsize (KiB) 38308

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.340057
#  lost CPU user time (s): 0.370026
#  lost CPU system time (s): -0.0299911

Real time (s): 1806.11
CPU time (s): 1800.15
CPU user time (s): 1534.73
CPU system time (s): 265.42
CPU usage (%): 99.6697
Max. virtual memory (cumulated for all children) (KiB): 47632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1534.36
system time used= 265.45
maximum resident set size= 19592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41784485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24613104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 404785
involuntary context switches= 53733

runsolver used 2.74058 second user time and 7.28789 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-28 19:50:56
IDJOB=3715952
IDBENCH=79234
IDSOLVER=2297
FILE ID=node114/3715952-1338227456
RUNJOBID= node114-1338194810-1859
PBS_JOBID= 14624601
Free space on /tmp= 71456 MiB

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

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

MD5SUM BENCH= 359f8e8e206a8ecfac2e3b6d9e7369bc
RANDOM SEED=1874265369

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29039048 kB
Buffers:          809428 kB
Cached:          2080600 kB
SwapCached:         2108 kB
Active:          1582796 kB
Inactive:        1343684 kB
Active(anon):      21456 kB
Inactive(anon):     7892 kB
Active(file):    1561340 kB
Inactive(file):  1335792 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103912 kB
Dirty:              9908 kB
Writeback:             0 kB
AnonPages:         36252 kB
Mapped:            15448 kB
Shmem:               116 kB
Slab:             770140 kB
SReclaimable:     211912 kB
SUnreclaim:       558228 kB
KernelStack:        1560 kB
PageTables:         3560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     148680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71444 MiB
End job on node114 at 2012-05-28 20:21:02