Trace number 3715956

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.3 1805.62

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo
MD5SUMdbf89d35013c2bab398211fa15264c93
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.447931
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 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1200
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.57	o 2364
0.00/0.57	c starting approximation
0.00/0.57	c factor = 2
0.00/0.57	c current bound: 1182
0.97/1.04	c current bound: 1182
1.37/1.52	c current bound: 1182
1.83/1.98	c current bound: 1182
2.30/2.45	c current bound: 1182
2.79/2.93	c current bound: 1182
3.25/3.40	c current bound: 1182
3.71/3.87	c current bound: 1182
4.25/4.35	c current bound: 1182
4.67/4.83	c current bound: 1182
5.26/5.30	c current bound: 1182
5.62/5.77	c current bound: 1182
6.09/6.24	c current bound: 1182
6.56/6.72	c current bound: 1182
7.04/7.20	c current bound: 1182
7.55/7.68	c current bound: 1182
8.00/8.15	c current bound: 1182
8.47/8.63	c current bound: 1182
8.94/9.10	c current bound: 1182
9.41/9.58	c current bound: 1182
9.89/10.22	c current bound: 1182
10.36/10.69	c current bound: 1182
10.82/11.16	c current bound: 1182
11.30/11.63	c current bound: 1182
11.86/12.11	c current bound: 1182
12.25/12.59	c current bound: 1182
12.73/13.07	c current bound: 1182
13.21/13.55	c current bound: 1182
13.68/14.03	c current bound: 1182
14.16/14.50	c current bound: 1182
14.75/15.00	c current bound: 1182
15.10/15.47	c current bound: 1182
15.57/15.95	c current bound: 1182
16.14/16.43	c current bound: 1182
16.64/16.90	c current bound: 1182
16.99/17.38	c current bound: 1182
17.48/17.86	c current bound: 1182
17.96/18.34	c current bound: 1182
18.43/18.81	c current bound: 1182
18.91/19.29	c current bound: 1182
19.43/19.77	c current bound: 1182
19.85/20.24	c current bound: 1182
20.34/20.72	c current bound: 1182
20.81/21.19	c current bound: 1182
21.28/21.66	c current bound: 1182
21.74/22.13	c current bound: 1182
22.22/22.61	c current bound: 1182
22.72/23.08	c current bound: 1182
23.17/23.57	c current bound: 1182
23.65/24.04	c current bound: 1182
24.14/24.52	c current bound: 1182
24.74/25.00	c current bound: 1182
25.11/25.48	c current bound: 1182
25.57/25.95	c current bound: 1182
26.06/26.43	c current bound: 1182
26.53/26.91	c current bound: 1182
27.01/27.39	c current bound: 1182
27.50/27.87	c current bound: 1182
27.98/28.36	c current bound: 1182
28.45/28.83	c current bound: 1182
28.93/29.30	c current bound: 1182
29.40/29.78	c current bound: 1182
29.88/30.25	c current bound: 1182
30.44/30.72	c current bound: 1182
30.94/31.20	c current bound: 1182
31.30/31.67	c current bound: 1182
31.78/32.15	c current bound: 1182
32.25/32.63	c current bound: 1182
32.84/33.10	c current bound: 1182
33.20/33.57	c current bound: 1182
33.73/34.06	c current bound: 1182
34.16/34.53	c current bound: 1182
34.63/35.01	c current bound: 1182
35.11/35.49	c current bound: 1182
35.59/35.98	c current bound: 1182
36.07/36.45	c current bound: 1182
36.54/36.92	c current bound: 1182
37.03/37.39	c current bound: 1182
37.49/37.88	c current bound: 1182
37.96/38.35	c current bound: 1182
38.44/38.82	c current bound: 1182
39.05/39.30	c current bound: 1182
39.40/39.79	c current bound: 1182
39.89/40.26	c current bound: 1182
40.37/40.73	c current bound: 1182
40.82/41.21	c current bound: 1182
41.29/41.68	c current bound: 1182
41.78/42.15	c current bound: 1182
42.25/42.63	c current bound: 1182
42.72/43.10	c current bound: 1182
43.20/43.59	c current bound: 1182
43.68/44.06	c current bound: 1182
44.15/44.54	c current bound: 1182
44.72/45.02	c current bound: 1182
45.23/45.50	c current bound: 1182
45.58/45.96	c current bound: 1182
46.07/46.45	c current bound: 1182
46.53/46.92	c current bound: 1182
47.00/47.39	c current bound: 1182
47.48/47.87	c current bound: 1182
48.03/48.36	c current bound: 1182
48.45/48.83	c current bound: 1182
48.91/49.30	c current bound: 1182
49.39/49.78	c current bound: 1182
49.86/50.25	c current bound: 1182
50.33/50.72	c current bound: 1182
50.82/51.19	c current bound: 1182
51.32/51.68	c current bound: 1182
51.76/52.15	c current bound: 1182
52.24/52.62	c current bound: 1182
52.71/53.10	c current bound: 1182
53.20/53.58	c current bound: 1182
53.66/54.05	c current bound: 1182
54.13/54.52	c current bound: 1182
54.61/55.00	c current bound: 1182
55.09/55.48	c current bound: 1182
55.56/55.96	c current bound: 1182
56.04/56.43	c current bound: 1182
56.51/56.91	c current bound: 1182
56.99/57.39	c current bound: 1182
57.47/57.85	c current bound: 1182
57.93/58.33	c current bound: 1182
58.42/58.81	c current bound: 1182
58.89/59.29	c current bound: 1182
59.38/59.77	c current bound: 1182
59.86/60.24	c current bound: 1182
60.33/60.71	c current bound: 1182
60.80/61.19	c current bound: 1182
61.27/61.67	c current bound: 1182
61.76/62.14	c current bound: 1182
62.32/62.62	c current bound: 1182
62.82/63.10	c current bound: 1182
63.18/63.57	c current bound: 1182
63.66/64.04	c current bound: 1182
64.13/64.51	c current bound: 1182
64.72/65.00	c current bound: 1182
65.08/65.47	c current bound: 1182
65.61/65.95	c current bound: 1182
66.03/66.43	c current bound: 1182
66.62/66.90	c current bound: 1182
66.99/67.38	c current bound: 1182
67.48/67.86	c current bound: 1182
67.93/68.33	c current bound: 1182
68.41/68.81	c current bound: 1182
68.92/69.28	c current bound: 1182
69.36/69.76	c current bound: 1182
69.82/70.22	c current bound: 1182
70.42/70.70	c current bound: 1182
70.77/71.18	c current bound: 1182
71.26/71.66	c current bound: 1182
71.75/72.13	c current bound: 1182
72.34/72.78	c current bound: 1182
72.69/73.25	c current bound: 1182
73.17/73.73	c current bound: 1182
73.64/74.21	c current bound: 1182
74.12/74.68	c current bound: 1182
74.61/75.16	c current bound: 1182
75.07/75.64	c current bound: 1182
75.55/76.12	c current bound: 1182
76.15/76.60	c current bound: 1182
76.51/77.08	c current bound: 1182
76.99/77.59	c current bound: 1182
77.51/78.06	c current bound: 1182
77.94/78.54	c current bound: 1182
78.43/79.02	c current bound: 1182
79.02/79.50	c current bound: 1182
79.39/79.98	c current bound: 1182
79.85/80.45	c current bound: 1182
80.32/80.92	c current bound: 1182
80.81/81.40	c current bound: 1182
81.28/81.87	c current bound: 1182
81.75/82.35	c current bound: 1182
82.22/82.83	c current bound: 1182
82.70/83.30	c current bound: 1182
83.18/83.78	c current bound: 1182
83.64/84.25	c current bound: 1182
84.12/84.72	c current bound: 1182
84.58/85.19	c current bound: 1182
85.05/85.66	c current bound: 1182
85.53/86.15	c current bound: 1182
86.02/86.63	c current bound: 1182
86.51/87.11	c current bound: 1182
86.99/87.59	c current bound: 1182
87.46/88.06	c current bound: 1182
87.94/88.54	c current bound: 1182
88.50/89.02	c current bound: 1182
88.89/89.49	c current bound: 1182
89.37/89.97	c current bound: 1182
89.83/90.44	c current bound: 1182
90.32/90.92	c current bound: 1182
90.80/91.39	c current bound: 1182
91.27/91.87	c current bound: 1182
91.80/92.35	c current bound: 1182
92.23/92.83	c current bound: 1182
92.70/93.32	c current bound: 1182
93.18/93.79	c current bound: 1182
93.66/94.27	c current bound: 1182
94.14/94.75	c current bound: 1182
94.61/95.22	c current bound: 1182
95.20/95.71	c current bound: 1182
95.56/96.18	c current bound: 1182
96.04/96.65	c current bound: 1182
96.51/97.13	c current bound: 1182
96.99/97.61	c current bound: 1182
97.48/98.09	c current bound: 1182
97.96/98.57	c current bound: 1182
98.43/99.05	c current bound: 1182
98.91/99.52	c current bound: 1182
99.39/99.99	c current bound: 1182
99.87/100.47	c current bound: 1182
100.34/100.95	c current bound: 1182
100.81/101.42	c current bound: 1182
101.29/101.89	c current bound: 1182
101.76/102.37	c current bound: 1182
102.24/102.84	c current bound: 1182
102.80/103.32	c current bound: 1182
103.30/103.80	c current bound: 1182
103.66/104.27	c current bound: 1182
104.14/104.75	c current bound: 1182
104.62/105.23	c current bound: 1182
105.09/105.70	c current bound: 1182
105.56/106.17	c current bound: 1182
106.10/106.64	c current bound: 1182
106.51/107.12	c current bound: 1182
107.00/107.61	c current bound: 1182
107.47/108.09	c current bound: 1182
107.96/108.56	c current bound: 1182
108.43/109.04	c current bound: 1182
108.91/109.52	c current bound: 1182
109.52/110.00	c current bound: 1182
109.86/110.48	c current bound: 1182
110.34/110.95	c current bound: 1182
110.83/111.43	c current bound: 1182
111.29/111.91	c current bound: 1182
111.78/112.38	c current bound: 1182
112.24/112.85	c current bound: 1182
112.72/113.33	c current bound: 1182
113.20/113.80	c current bound: 1182
113.68/114.28	c current bound: 1182
114.15/114.76	c current bound: 1182
114.63/115.23	c current bound: 1182
115.10/115.71	c current bound: 1182
115.57/116.18	c current bound: 1182
116.05/116.66	c current bound: 1182
116.53/117.14	c current bound: 1182
117.10/117.62	c current bound: 1182
117.61/118.10	c current bound: 1182
117.98/118.58	c current bound: 1182
118.45/119.05	c current bound: 1182
118.92/119.53	c current bound: 1182
119.40/120.01	c current bound: 1182
119.88/120.48	c current bound: 1182
120.40/120.96	c current bound: 1182
120.82/121.44	c current bound: 1182
121.29/121.90	c current bound: 1182
121.76/122.38	c current bound: 1182
122.23/122.85	c current bound: 1182
122.70/123.32	c current bound: 1182
123.18/123.80	c current bound: 1182
123.69/124.28	c current bound: 1182
124.13/124.75	c current bound: 1182
124.60/125.22	c current bound: 1182
125.07/125.69	c current bound: 1182
125.56/126.17	c current bound: 1182
126.02/126.64	c current bound: 1182
126.49/127.11	c current bound: 1182
127.00/127.58	c current bound: 1182
127.44/128.06	c current bound: 1182
127.91/128.53	c current bound: 1182
128.38/129.00	c current bound: 1182
128.86/129.48	c current bound: 1182
129.46/130.10	c current bound: 1182
129.82/130.57	c current bound: 1182
130.28/131.04	c current bound: 1182
130.75/131.52	c current bound: 1182
131.25/131.99	c current bound: 1182
131.72/132.47	c current bound: 1182
132.19/132.96	c current bound: 1182
132.69/133.43	c current bound: 1182
133.27/133.90	c current bound: 1182
133.62/134.37	c current bound: 1182
134.10/134.87	c current bound: 1182
134.56/135.34	c current bound: 1182
135.04/135.82	c current bound: 1182
135.51/136.29	c current bound: 1182
136.00/136.77	c current bound: 1182
136.46/137.24	c current bound: 1182
136.94/137.72	c current bound: 1182
137.42/138.19	c current bound: 1182
137.89/138.67	c current bound: 1182
138.37/139.15	c current bound: 1182
138.95/139.62	c current bound: 1182
139.33/140.10	c current bound: 1182
139.81/140.58	c current bound: 1182
140.29/141.05	c current bound: 1182
140.75/141.54	c current bound: 1182
141.23/142.01	c current bound: 1182
141.83/142.50	c current bound: 1182
142.24/142.97	c current bound: 1182
142.67/143.44	c current bound: 1182
143.14/143.92	c current bound: 1182
143.62/144.38	c current bound: 1182
144.07/144.85	c current bound: 1182
144.55/145.32	c current bound: 1182
145.02/145.79	c current bound: 1182
145.52/146.27	c current bound: 1182
145.96/146.74	c current bound: 1182
146.44/147.22	c current bound: 1182
146.93/147.70	c current bound: 1182
147.39/148.17	c current bound: 1182
147.86/148.65	c current bound: 1182
148.33/149.12	c current bound: 1182
148.83/149.59	c current bound: 1182
149.28/150.06	c current bound: 1182
149.75/150.54	c current bound: 1182
150.23/151.01	c current bound: 1182
150.71/151.49	c current bound: 1182
151.17/151.96	c current bound: 1182
151.66/152.44	c current bound: 1182
152.23/152.92	c current bound: 1182
152.60/153.39	c current bound: 1182
153.08/153.87	c current bound: 1182
153.57/154.35	c current bound: 1182
154.03/154.82	c current bound: 1182
154.50/155.29	c current bound: 1182
154.99/155.77	c current bound: 1182
155.45/156.24	c current bound: 1182
155.92/156.71	c current bound: 1182
156.41/157.19	c current bound: 1182
156.88/157.67	c current bound: 1182
157.37/158.15	c current bound: 1182
157.84/158.62	c current bound: 1182
158.31/159.10	c current bound: 1182
158.80/159.58	c current bound: 1182
159.26/160.06	c current bound: 1182
159.82/160.53	c current bound: 1182
160.22/161.01	c current bound: 1182
160.68/161.48	c current bound: 1182
161.18/161.97	c current bound: 1182
161.64/162.44	c current bound: 1182
162.12/162.92	c current bound: 1182
162.61/163.40	c current bound: 1182
163.12/163.88	c current bound: 1182
163.56/164.35	c current bound: 1182
164.03/164.82	c current bound: 1182
164.50/165.29	c current bound: 1182
164.98/165.77	c current bound: 1182
165.45/166.24	c current bound: 1182
165.92/166.71	c current bound: 1182
166.42/167.18	c current bound: 1182
166.87/167.66	c current bound: 1182
167.35/168.14	c current bound: 1182
167.82/168.61	c current bound: 1182
168.28/169.09	c current bound: 1182
168.77/169.56	c current bound: 1182
169.25/170.04	c current bound: 1182
169.72/170.52	c current bound: 1182
170.32/171.00	c current bound: 1182
170.67/171.47	c current bound: 1182
171.14/171.94	c current bound: 1182
171.64/172.42	c current bound: 1182
172.10/172.89	c current bound: 1182
172.57/173.36	c current bound: 1182
173.05/173.83	c current bound: 1182
173.52/174.31	c current bound: 1182
174.00/174.79	c current bound: 1182
174.48/175.26	c current bound: 1182
174.94/175.73	c current bound: 1182
175.53/176.20	c current bound: 1182
175.89/176.67	c current bound: 1182
176.36/177.15	c current bound: 1182
176.84/177.63	c current bound: 1182
177.44/178.11	c current bound: 1182
177.79/178.59	c current bound: 1182
178.28/179.06	c current bound: 1182
178.75/179.54	c current bound: 1182
179.23/180.02	c current bound: 1182
179.72/180.49	c current bound: 1182
180.19/180.97	c current bound: 1182
180.72/181.44	c current bound: 1182
181.12/181.91	c current bound: 1182
181.59/182.39	c current bound: 1182
182.09/182.87	c current bound: 1182
182.55/183.34	c current bound: 1182
183.03/183.82	c current bound: 1182
183.63/184.30	c current bound: 1182
184.03/184.78	c current bound: 1182
184.46/185.25	c current bound: 1182
184.94/185.73	c current bound: 1182
185.53/186.20	c current bound: 1182
185.89/186.68	c current bound: 1182
186.49/187.32	c current bound: 1182
186.85/187.79	c current bound: 1182
187.33/188.28	c current bound: 1182
187.82/188.76	c current bound: 1182
188.30/189.24	c current bound: 1182
188.79/189.72	c current bound: 1182
189.25/190.19	c current bound: 1182
189.72/190.66	c current bound: 1182
190.20/191.14	c current bound: 1182
190.69/191.63	c current bound: 1182
191.17/192.17	c current bound: 1182
191.65/192.64	c current bound: 1182
192.13/193.13	c current bound: 1182
192.73/193.61	c current bound: 1182
193.09/194.09	c current bound: 1182
193.56/194.56	c current bound: 1182
194.04/195.04	c current bound: 1182
194.51/195.51	c current bound: 1182
194.99/195.98	c current bound: 1182
195.46/196.46	c current bound: 1182
195.94/196.94	c current bound: 1182
196.42/197.42	c current bound: 1182
196.88/197.89	c current bound: 1182
197.36/198.36	c current bound: 1182
197.84/198.84	c current bound: 1182
198.33/199.32	c current bound: 1182
198.80/199.79	c current bound: 1182
199.28/200.27	c current bound: 1182
199.75/200.75	c current bound: 1182
200.31/201.23	c current bound: 1182
200.83/201.70	c current bound: 1182
201.19/202.18	c current bound: 1182
201.67/202.66	c current bound: 1182
202.14/203.14	c current bound: 1182
202.61/203.61	c current bound: 1182
203.10/204.08	c current bound: 1182
203.62/204.56	c current bound: 1182
204.05/205.04	c current bound: 1182
204.51/205.50	c current bound: 1182
204.99/205.98	c current bound: 1182
205.46/206.45	c current bound: 1182
205.94/206.93	c current bound: 1182
206.42/207.40	c current bound: 1182
206.93/207.88	c current bound: 1182
207.37/208.36	c current bound: 1182
207.85/208.83	c current bound: 1182
208.33/209.30	c current bound: 1182
208.79/209.77	c current bound: 1182
209.25/210.24	c current bound: 1182
209.74/210.72	c current bound: 1182
210.24/211.20	c current bound: 1182
210.71/211.68	c current bound: 1182
211.18/212.15	c current bound: 1182
211.65/212.62	c current bound: 1182
212.11/213.09	c current bound: 1182
212.59/213.56	c current bound: 1182
213.07/214.04	c current bound: 1182
213.54/214.52	c current bound: 1182
214.02/214.99	c current bound: 1182
214.48/215.46	c current bound: 1182
214.96/215.93	c current bound: 1182
215.43/216.41	c current bound: 1182
216.04/216.90	c current bound: 1182
216.41/217.38	c current bound: 1182
216.88/217.86	c current bound: 1182
217.36/218.33	c current bound: 1182
217.94/218.81	c current bound: 1182
218.33/219.29	c current bound: 1182
218.80/219.77	c current bound: 1182
219.27/220.24	c current bound: 1182
219.74/220.71	c current bound: 1182
220.22/221.19	c current bound: 1182
220.69/221.66	c current bound: 1182
221.24/222.14	c current bound: 1182
221.64/222.62	c current bound: 1182
222.12/223.09	c current bound: 1182
222.60/223.56	c current bound: 1182
223.07/224.04	c current bound: 1182
223.54/224.51	c current bound: 1182
224.02/224.99	c current bound: 1182
224.55/225.46	c current bound: 1182
224.97/225.94	c current bound: 1182
225.44/226.42	c current bound: 1182
225.92/226.89	c current bound: 1182
226.40/227.37	c current bound: 1182
226.86/227.85	c current bound: 1182
227.35/228.32	c current bound: 1182
227.84/228.79	c current bound: 1182
228.30/229.26	c current bound: 1182
228.76/229.74	c current bound: 1182
229.25/230.22	c current bound: 1182
229.84/230.70	c current bound: 1182
230.18/231.17	c current bound: 1182
230.66/231.65	c current bound: 1182
231.15/232.13	c current bound: 1182
231.62/232.60	c current bound: 1182
232.10/233.08	c current bound: 1182
232.59/233.56	c current bound: 1182
233.05/234.03	c current bound: 1182
233.53/234.50	c current bound: 1182
233.99/234.97	c current bound: 1182
234.48/235.45	c current bound: 1182
234.95/235.92	c current bound: 1182
235.42/236.40	c current bound: 1182
235.89/236.88	c current bound: 1182
236.37/237.35	c current bound: 1182
236.86/237.83	c current bound: 1182
237.32/238.30	c current bound: 1182
237.80/238.78	c current bound: 1182
238.29/239.26	c current bound: 1182
238.82/239.74	c current bound: 1182
239.23/240.22	c current bound: 1182
239.84/240.70	c current bound: 1182
240.19/241.18	c current bound: 1182
240.68/241.66	c current bound: 1182
241.15/242.13	c current bound: 1182
241.74/242.60	c current bound: 1182
242.12/243.07	c current bound: 1182
242.56/243.55	c current bound: 1182
243.05/244.04	c current bound: 1182
243.53/244.51	c current bound: 1182
244.00/244.98	c current bound: 1182
244.47/245.45	c current bound: 1182
244.94/245.92	c current bound: 1182
245.43/246.39	c current bound: 1182
245.89/246.87	c current bound: 1182
246.36/247.34	c current bound: 1182
246.84/247.81	c current bound: 1182
247.31/248.29	c current bound: 1182
247.78/248.76	c current bound: 1182
248.25/249.23	c current bound: 1182
248.84/249.86	c current bound: 1182
249.20/250.33	c current bound: 1182
249.69/250.80	c current bound: 1182
250.14/251.28	c current bound: 1182
250.62/251.75	c current bound: 1182
251.08/252.22	c current bound: 1182
251.57/252.69	c current bound: 1182
252.04/253.17	c current bound: 1182
252.53/253.66	c current bound: 1182
252.99/254.13	c current bound: 1182
253.47/254.66	c current bound: 1182
254.02/255.14	c current bound: 1182
254.42/255.61	c current bound: 1182
254.91/256.09	c current bound: 1182
255.37/256.56	c current bound: 1182
255.84/257.03	c current bound: 1182
256.33/257.51	c current bound: 1182
256.80/257.99	c current bound: 1182
257.31/258.47	c current bound: 1182
257.76/258.95	c current bound: 1182
258.24/259.43	c current bound: 1182
258.72/259.91	c current bound: 1182
259.20/260.38	c current bound: 1182
259.66/260.85	c current bound: 1182
260.15/261.33	c current bound: 1182
260.72/261.81	c current bound: 1182
261.11/262.29	c current bound: 1182
261.60/262.78	c current bound: 1182
262.07/263.26	c current bound: 1182
262.55/263.74	c current bound: 1182
263.04/264.22	c current bound: 1182
263.50/264.70	c current bound: 1182
264.00/265.18	c current bound: 1182
264.48/265.67	c current bound: 1182
265.01/266.14	c current bound: 1182
265.43/266.62	c current bound: 1182
265.91/267.09	c current bound: 1182
266.39/267.57	c current bound: 1182
266.87/268.04	c current bound: 1182
267.32/268.51	c current bound: 1182
267.81/268.99	c current bound: 1182
268.32/269.46	c current bound: 1182
268.75/269.93	c current bound: 1182
269.24/270.41	c current bound: 1182
269.70/270.89	c current bound: 1182
270.19/271.37	c current bound: 1182
270.66/271.85	c current bound: 1182
271.14/272.32	c current bound: 1182
271.63/272.79	c current bound: 1182
272.07/273.26	c current bound: 1182
272.57/273.74	c current bound: 1182
273.04/274.22	c current bound: 1182
273.50/274.69	c current bound: 1182
273.99/275.17	c current bound: 1182
274.47/275.64	c current bound: 1182
274.94/276.12	c current bound: 1182
275.43/276.60	c current bound: 1182
275.89/277.08	c current bound: 1182
276.38/277.55	c current bound: 1182
276.86/278.03	c current bound: 1182
277.33/278.51	c current bound: 1182
277.80/278.98	c current bound: 1182
278.29/279.46	c current bound: 1182
278.75/279.93	c current bound: 1182
279.35/280.41	c current bound: 1182
279.71/280.88	c current bound: 1182
280.19/281.36	c current bound: 1182
280.65/281.83	c current bound: 1182
281.14/282.31	c current bound: 1182
281.60/282.79	c current bound: 1182
282.08/283.26	c current bound: 1182
282.64/283.74	c current bound: 1182
283.05/284.22	c current bound: 1182
283.51/284.68	c current bound: 1182
283.98/285.16	c current bound: 1182
284.46/285.63	c current bound: 1182
284.93/286.11	c current bound: 1182
285.41/286.58	c current bound: 1182
285.95/287.05	c current bound: 1182
286.36/287.53	c current bound: 1182
286.82/288.00	c current bound: 1182
287.30/288.47	c current bound: 1182
287.76/288.94	c current bound: 1182
288.26/289.42	c current bound: 1182
288.74/289.90	c current bound: 1182
289.24/290.38	c current bound: 1182
289.68/290.86	c current bound: 1182
290.17/291.33	c current bound: 1182
290.64/291.80	c current bound: 1182
291.10/292.27	c current bound: 1182
291.58/292.74	c current bound: 1182
292.04/293.22	c current bound: 1182
292.55/293.70	c current bound: 1182
293.01/294.18	c current bound: 1182
293.49/294.65	c current bound: 1182
293.96/295.12	c current bound: 1182
294.43/295.60	c current bound: 1182
294.92/296.08	c current bound: 1182
295.38/296.56	c current bound: 1182
295.88/297.04	c current bound: 1182
296.35/297.51	c current bound: 1182
296.83/297.98	c current bound: 1182
297.30/298.46	c current bound: 1182
297.77/298.93	c current bound: 1182
298.25/299.41	c current bound: 1182
298.73/299.89	c current bound: 1182
299.20/300.36	c current bound: 1182
299.67/300.83	c current bound: 1182
300.26/301.30	c current bound: 1182
300.60/301.77	c current bound: 1182
301.08/302.24	c current bound: 1182
301.54/302.71	c current bound: 1182
302.03/303.19	c current bound: 1182
302.53/303.68	c current bound: 1182
302.99/304.15	c current bound: 1182
303.56/304.63	c current bound: 1182
303.94/305.10	c current bound: 1182
304.42/305.58	c current bound: 1182
304.89/306.06	c current bound: 1182
305.37/306.53	c current bound: 1182
305.84/307.00	c current bound: 1182
306.31/307.48	c current bound: 1182
306.85/307.95	c current bound: 1182
307.26/308.43	c current bound: 1182
307.74/308.91	c current bound: 1182
308.22/309.38	c current bound: 1182
308.70/309.86	c current bound: 1182
309.17/310.33	c current bound: 1182
309.64/310.79	c current bound: 1182
310.14/311.28	c current bound: 1182
310.59/311.75	c current bound: 1182
311.19/312.39	c current bound: 1182
311.56/312.87	c current bound: 1182
312.03/313.35	c current bound: 1182
312.51/313.82	c current bound: 1182
312.99/314.30	c current bound: 1182
313.47/314.79	c current bound: 1182
313.95/315.26	c current bound: 1182
314.43/315.75	c current bound: 1182
314.90/316.23	c current bound: 1182
315.39/316.70	c current bound: 1182
315.87/317.19	c current bound: 1182
316.33/317.66	c current bound: 1182
316.80/318.13	c current bound: 1182
317.39/318.60	c current bound: 1182
317.75/319.08	c current bound: 1182
318.23/319.55	c current bound: 1182
318.79/320.03	c current bound: 1182
319.18/320.50	c current bound: 1182
319.65/320.98	c current bound: 1182
320.12/321.45	c current bound: 1182
320.60/321.92	c current bound: 1182
321.07/322.39	c current bound: 1182
321.55/322.86	c current bound: 1182
322.10/323.34	c current bound: 1182
322.49/323.81	c current bound: 1182
322.96/324.28	c current bound: 1182
323.43/324.75	c current bound: 1182
323.91/325.23	c current bound: 1182
324.38/325.71	c current bound: 1182
324.87/326.18	c current bound: 1182
325.39/326.66	c current bound: 1182
325.82/327.14	c current bound: 1182
326.30/327.62	c current bound: 1182
326.89/328.10	c current bound: 1182
327.25/328.57	c current bound: 1182
327.72/329.04	c current bound: 1182
328.20/329.52	c current bound: 1182
328.70/329.99	c current bound: 1182
329.15/330.47	c current bound: 1182
329.63/330.95	c current bound: 1182
330.11/331.43	c current bound: 1182
330.60/331.92	c current bound: 1182
331.08/332.39	c current bound: 1182
331.55/332.87	c current bound: 1182
332.04/333.35	c current bound: 1182
332.51/333.84	c current bound: 1182
333.09/334.32	c current bound: 1182
333.47/334.79	c current bound: 1182
333.95/335.27	c current bound: 1182
334.42/335.74	c current bound: 1182
334.89/336.21	c current bound: 1182
335.37/336.69	c current bound: 1182
335.86/337.18	c current bound: 1182
336.39/337.65	c current bound: 1182
336.81/338.13	c current bound: 1182
337.29/338.61	c current bound: 1182
337.79/339.09	c current bound: 1182
338.25/339.57	c current bound: 1182
338.72/340.04	c current bound: 1182
339.21/340.53	c current bound: 1182
339.81/341.01	c current bound: 1182
340.17/341.48	c current bound: 1182
340.64/341.95	c current bound: 1182
341.11/342.42	c current bound: 1182
341.70/342.90	c current bound: 1182
342.06/343.38	c current bound: 1182
342.53/343.85	c current bound: 1182
343.00/344.32	c current bound: 1182
343.49/344.79	c current bound: 1182
343.95/345.27	c current bound: 1182
344.44/345.75	c current bound: 1182
344.91/346.22	c current bound: 1182
345.38/346.69	c current bound: 1182
345.86/347.18	c current bound: 1182
346.35/347.66	c current bound: 1182
346.81/348.12	c current bound: 1182
347.41/348.61	c current bound: 1182
347.77/349.09	c current bound: 1182
348.27/349.57	c current bound: 1182
348.74/350.05	c current bound: 1182
349.23/350.53	c current bound: 1182
349.81/351.00	c current bound: 1182
350.17/351.47	c current bound: 1182
350.69/351.95	c current bound: 1182
351.11/352.42	c current bound: 1182
351.60/352.90	c current bound: 1182
352.07/353.39	c current bound: 1182
352.54/353.86	c current bound: 1182
353.03/354.34	c current bound: 1182
353.50/354.81	c current bound: 1182
354.00/355.28	c current bound: 1182
354.45/355.76	c current bound: 1182
354.92/356.23	c current bound: 1182
355.40/356.70	c current bound: 1182
355.87/357.18	c current bound: 1182
356.35/357.66	c current bound: 1182
356.83/358.13	c current bound: 1182
357.40/358.61	c current bound: 1182
357.79/359.09	c current bound: 1182
358.26/359.56	c current bound: 1182
358.74/360.03	c current bound: 1182
359.21/360.51	c current bound: 1182
359.69/360.99	c current bound: 1182
360.16/361.46	c current bound: 1182
360.65/361.93	c current bound: 1182
361.11/362.41	c current bound: 1182
361.59/362.89	c current bound: 1182
362.07/363.36	c current bound: 1182
362.55/363.84	c current bound: 1182
363.03/364.32	c current bound: 1182
363.49/364.79	c current bound: 1182
363.96/365.26	c current bound: 1182
364.45/365.74	c current bound: 1182
365.00/366.22	c current bound: 1182
365.40/366.69	c current bound: 1182
365.86/367.16	c current bound: 1182
366.34/367.63	c current bound: 1182
366.80/368.10	c current bound: 1182
367.27/368.57	c current bound: 1182
367.74/369.05	c current bound: 1182
368.35/369.69	c current bound: 1182
368.71/370.17	c current bound: 1182
369.26/370.65	c current bound: 1182
369.67/371.12	c current bound: 1182
370.14/371.59	c current bound: 1182
370.62/372.07	c current bound: 1182
371.09/372.55	c current bound: 1182
371.56/373.02	c current bound: 1182
372.04/373.50	c current bound: 1182
372.55/373.98	c current bound: 1182
373.00/374.48	c current bound: 1182
373.47/374.96	c current bound: 1182
373.93/375.43	c current bound: 1182
374.42/375.91	c current bound: 1182
374.90/376.39	c current bound: 1182
375.37/376.86	c current bound: 1182
375.84/377.33	c current bound: 1182
376.31/377.81	c current bound: 1182
376.79/378.29	c current bound: 1182
377.28/378.78	c current bound: 1182
377.76/379.26	c current bound: 1182
378.24/379.75	c current bound: 1182
378.73/380.23	c current bound: 1182
379.21/380.71	c current bound: 1182
379.69/381.19	c current bound: 1182
380.21/381.66	c current bound: 1182
380.63/382.14	c current bound: 1182
381.12/382.62	c current bound: 1182
381.60/383.10	c current bound: 1182
382.07/383.57	c current bound: 1182
382.56/384.06	c current bound: 1182
383.04/384.53	c current bound: 1182
383.62/385.01	c current bound: 1182
383.98/385.48	c current bound: 1182
384.45/385.95	c current bound: 1182
384.93/386.44	c current bound: 1182
385.41/386.91	c current bound: 1182
385.87/387.38	c current bound: 1182
386.33/387.85	c current bound: 1182
386.83/388.34	c current bound: 1182
387.31/388.82	c current bound: 1182
387.79/389.30	c current bound: 1182
388.26/389.76	c current bound: 1182
388.73/390.24	c current bound: 1182
389.20/390.72	c current bound: 1182
389.68/391.19	c current bound: 1182
390.15/391.66	c current bound: 1182
390.62/392.14	c current bound: 1182
391.19/392.61	c current bound: 1182
391.57/393.09	c current bound: 1182
392.05/393.57	c current bound: 1182
392.53/394.05	c current bound: 1182
393.00/394.53	c current bound: 1182
393.48/395.01	c current bound: 1182
393.95/395.48	c current bound: 1182
394.49/395.96	c current bound: 1182
394.91/396.44	c current bound: 1182
395.39/396.91	c current bound: 1182
395.85/397.38	c current bound: 1182
396.32/397.86	c current bound: 1182
396.81/398.33	c current bound: 1182
397.26/398.80	c current bound: 1182
397.78/399.28	c current bound: 1182
398.21/399.75	c current bound: 1182
398.69/400.23	c current bound: 1182
399.17/400.70	c current bound: 1182
399.64/401.18	c current bound: 1182
400.12/401.65	c current bound: 1182
400.58/402.13	c current bound: 1182
401.07/402.60	c current bound: 1182
401.54/403.08	c current bound: 1182
402.02/403.56	c current bound: 1182
402.50/404.04	c current bound: 1182
402.98/404.51	c current bound: 1182
403.44/404.98	c current bound: 1182
403.91/405.46	c current bound: 1182
404.39/405.93	c current bound: 1182
404.85/406.41	c current bound: 1182
405.34/406.88	c current bound: 1182
405.81/407.35	c current bound: 1182
406.30/407.84	c current bound: 1182
406.77/408.32	c current bound: 1182
407.25/408.79	c current bound: 1182
407.74/409.28	c current bound: 1182
408.20/409.75	c current bound: 1182
408.76/410.22	c current bound: 1182
409.16/410.70	c current bound: 1182
409.64/411.18	c current bound: 1182
410.10/411.65	c current bound: 1182
410.57/412.12	c current bound: 1182
411.05/412.60	c current bound: 1182
411.52/413.08	c current bound: 1182
412.05/413.56	c current bound: 1182
412.48/414.03	c current bound: 1182
412.95/414.51	c current bound: 1182
413.43/414.99	c current bound: 1182
413.89/415.46	c current bound: 1182
414.38/415.93	c current bound: 1182
414.85/416.40	c current bound: 1182
415.36/416.87	c current bound: 1182
415.79/417.34	c current bound: 1182
416.27/417.81	c current bound: 1182
416.87/418.30	c current bound: 1182
417.22/418.78	c current bound: 1182
417.70/419.25	c current bound: 1182
418.16/419.72	c current bound: 1182
418.66/420.19	c current bound: 1182
419.12/420.68	c current bound: 1182
419.61/421.16	c current bound: 1182
420.08/421.63	c current bound: 1182
420.66/422.10	c current bound: 1182
421.03/422.58	c current bound: 1182
421.50/423.05	c current bound: 1182
421.97/423.53	c current bound: 1182
422.45/424.01	c current bound: 1182
422.93/424.48	c current bound: 1182
423.40/424.96	c current bound: 1182
423.86/425.43	c current bound: 1182
424.35/425.91	c current bound: 1182
424.83/426.39	c current bound: 1182
425.31/426.88	c current bound: 1182
425.79/427.35	c current bound: 1182
426.35/427.83	c current bound: 1182
426.76/428.32	c current bound: 1182
427.22/428.79	c current bound: 1182
427.69/429.27	c current bound: 1182
428.18/429.75	c current bound: 1182
428.66/430.23	c current bound: 1182
429.15/430.71	c current bound: 1182
429.64/431.19	c current bound: 1182
430.10/431.94	c current bound: 1182
430.57/432.41	c current bound: 1182
431.03/432.89	c current bound: 1182
431.56/433.37	c current bound: 1182
431.99/433.85	c current bound: 1182
432.47/434.32	c current bound: 1182
432.94/434.79	c current bound: 1182
433.42/435.27	c current bound: 1182
433.88/435.74	c current bound: 1182
434.36/436.21	c current bound: 1182
434.94/436.71	c current bound: 1182
435.29/437.19	c current bound: 1182
435.77/437.66	c current bound: 1182
436.25/438.14	c current bound: 1182
436.71/438.60	c current bound: 1182
437.18/439.08	c current bound: 1182
437.66/439.55	c current bound: 1182
438.14/440.04	c current bound: 1182
438.62/440.51	c current bound: 1182
439.09/440.98	c current bound: 1182
439.56/441.46	c current bound: 1182
440.06/441.94	c current bound: 1182
440.52/442.42	c current bound: 1182
440.99/442.89	c current bound: 1182
441.46/443.36	c current bound: 1182
441.94/443.84	c current bound: 1182
442.53/444.31	c current bound: 1182
442.89/444.78	c current bound: 1182
443.36/445.26	c current bound: 1182
443.84/445.73	c current bound: 1182
444.32/446.21	c current bound: 1182
444.92/446.70	c current bound: 1182
445.28/447.17	c current bound: 1182
445.81/447.64	c current bound: 1182
446.25/448.14	c current bound: 1182
446.71/448.61	c current bound: 1182
447.19/449.08	c current bound: 1182
447.66/449.56	c current bound: 1182
448.14/450.03	c current bound: 1182
448.62/450.51	c current bound: 1182
449.12/451.00	c current bound: 1182
449.58/451.47	c current bound: 1182
450.05/451.95	c current bound: 1182
450.54/452.43	c current bound: 1182
451.01/452.91	c current bound: 1182
451.49/453.38	c current bound: 1182
451.98/453.86	c current bound: 1182
452.45/454.35	c current bound: 1182
452.93/454.82	c current bound: 1182
453.39/455.29	c current bound: 1182
453.88/455.77	c current bound: 1182
454.34/456.24	c current bound: 1182
454.83/456.71	c current bound: 1182
455.29/457.18	c current bound: 1182
455.78/457.67	c current bound: 1182
456.24/458.14	c current bound: 1182
456.82/458.61	c current bound: 1182
457.18/459.08	c current bound: 1182
457.65/459.56	c current bound: 1182
458.15/460.04	c current bound: 1182
458.61/460.51	c current bound: 1182
459.09/460.99	c current bound: 1182
459.56/461.46	c current bound: 1182
460.13/461.94	c current bound: 1182
460.52/462.41	c current bound: 1182
460.98/462.89	c current bound: 1182
461.48/463.37	c current bound: 1182
461.94/463.84	c current bound: 1182
462.42/464.32	c current bound: 1182
463.03/464.80	c current bound: 1182
463.41/465.28	c current bound: 1182
463.86/465.76	c current bound: 1182
464.35/466.24	c current bound: 1182
464.82/466.71	c current bound: 1182
465.28/467.18	c current bound: 1182
465.76/467.66	c current bound: 1182
466.24/468.13	c current bound: 1182
466.80/468.61	c current bound: 1182
467.20/469.09	c current bound: 1182
467.69/469.58	c current bound: 1182
468.15/470.05	c current bound: 1182
468.63/470.52	c current bound: 1182
469.22/471.00	c current bound: 1182
469.58/471.47	c current bound: 1182
470.05/471.95	c current bound: 1182
470.52/472.43	c current bound: 1182
471.01/472.90	c current bound: 1182
471.48/473.37	c current bound: 1182
471.95/473.85	c current bound: 1182
472.43/474.33	c current bound: 1182
473.02/474.80	c current bound: 1182
473.37/475.27	c current bound: 1182
473.85/475.75	c current bound: 1182
474.40/476.22	c current bound: 1182
474.81/476.70	c current bound: 1182
475.28/477.17	c current bound: 1182
475.75/477.65	c current bound: 1182
476.23/478.12	c current bound: 1182
476.69/478.60	c current bound: 1182
477.18/479.08	c current bound: 1182
477.72/479.56	c current bound: 1182
478.14/480.04	c current bound: 1182
478.60/480.51	c current bound: 1182
479.09/480.98	c current bound: 1182
479.55/481.45	c current bound: 1182
480.02/481.92	c current bound: 1182
480.50/482.40	c current bound: 1182
481.02/482.87	c current bound: 1182
481.45/483.35	c current bound: 1182
481.93/483.83	c current bound: 1182
482.40/484.31	c current bound: 1182
482.88/484.79	c current bound: 1182
483.36/485.26	c current bound: 1182
483.83/485.74	c current bound: 1182
484.32/486.22	c current bound: 1182
484.81/486.70	c current bound: 1182
485.28/487.19	c current bound: 1182
485.77/487.66	c current bound: 1182
486.22/488.12	c current bound: 1182
486.82/488.60	c current bound: 1182
487.17/489.07	c current bound: 1182
487.63/489.54	c current bound: 1182
488.11/490.02	c current bound: 1182
488.58/490.49	c current bound: 1182
489.07/490.97	c current bound: 1182
489.53/491.44	c current bound: 1182
490.02/491.93	c current bound: 1182
490.61/492.40	c current bound: 1182
490.96/492.87	c current bound: 1182
491.44/493.35	c current bound: 1182
491.99/493.83	c current bound: 1182
492.40/494.31	c current bound: 1182
492.88/494.79	c current bound: 1182
493.35/495.26	c current bound: 1182
493.81/495.73	c current bound: 1182
494.29/496.21	c current bound: 1182
494.76/496.68	c current bound: 1182
495.29/497.16	c current bound: 1182
495.72/497.64	c current bound: 1182
496.19/498.11	c current bound: 1182
496.66/498.58	c current bound: 1182
497.12/499.06	c current bound: 1182
497.61/499.54	c current bound: 1182
498.09/500.01	c current bound: 1182
498.57/500.49	c current bound: 1182
499.02/500.96	c current bound: 1182
499.51/501.43	c current bound: 1182
499.99/501.91	c current bound: 1182
500.46/502.39	c current bound: 1182
500.94/502.86	c current bound: 1182
501.40/503.34	c current bound: 1182
501.99/503.81	c current bound: 1182
502.34/504.28	c current bound: 1182
502.82/504.75	c current bound: 1182
503.30/505.23	c current bound: 1182
503.77/505.70	c current bound: 1182
504.24/506.18	c current bound: 1182
504.72/506.65	c current bound: 1182
505.18/507.12	c current bound: 1182
505.66/507.59	c current bound: 1182
506.13/508.06	c current bound: 1182
506.61/508.54	c current bound: 1182
507.07/509.01	c current bound: 1182
507.56/509.49	c current bound: 1182
508.01/509.96	c current bound: 1182
508.51/510.45	c current bound: 1182
508.97/510.92	c current bound: 1182
509.45/511.39	c current bound: 1182
509.92/511.86	c current bound: 1182
510.41/512.34	c current bound: 1182
510.88/512.82	c current bound: 1182
511.34/513.29	c current bound: 1182
511.82/513.77	c current bound: 1182
512.30/514.24	c current bound: 1182
512.87/514.72	c current bound: 1182
513.25/515.19	c current bound: 1182
513.73/515.67	c current bound: 1182
514.19/516.15	c current bound: 1182
514.67/516.62	c current bound: 1182
515.26/517.10	c current bound: 1182
515.63/517.58	c current bound: 1182
516.15/518.06	c current bound: 1182
516.59/518.53	c current bound: 1182
517.05/519.01	c current bound: 1182
517.52/519.48	c current bound: 1182
518.01/519.96	c current bound: 1182
518.48/520.44	c current bound: 1182
518.96/520.92	c current bound: 1182
519.46/521.40	c current bound: 1182
519.91/521.87	c current bound: 1182
520.39/522.34	c current bound: 1182
520.86/522.82	c current bound: 1182
521.45/523.30	c current bound: 1182
521.82/523.78	c current bound: 1182
522.29/524.26	c current bound: 1182
522.78/524.75	c current bound: 1182
523.26/525.23	c current bound: 1182
523.73/525.70	c current bound: 1182
524.21/526.18	c current bound: 1182
524.69/526.66	c current bound: 1182
525.16/527.14	c current bound: 1182
525.64/527.62	c current bound: 1182
526.12/528.11	c current bound: 1182
526.62/528.59	c current bound: 1182
527.14/529.06	c current bound: 1182
527.56/529.53	c current bound: 1182
528.04/530.01	c current bound: 1182
528.51/530.49	c current bound: 1182
528.98/530.96	c current bound: 1182
529.47/531.44	c current bound: 1182
529.94/531.92	c current bound: 1182
530.44/532.39	c current bound: 1182
530.89/532.86	c current bound: 1182
531.35/533.33	c current bound: 1182
531.84/533.82	c current bound: 1182
532.32/534.30	c current bound: 1182
532.80/534.78	c current bound: 1182
533.28/535.26	c current bound: 1182
533.74/535.73	c current bound: 1182
534.21/536.20	c current bound: 1182
534.69/536.67	c current bound: 1182
535.18/537.16	c current bound: 1182
535.64/537.63	c current bound: 1182
536.13/538.12	c current bound: 1182
536.73/538.60	c current bound: 1182
537.08/539.08	c current bound: 1182
537.57/539.55	c current bound: 1182
538.12/540.03	c current bound: 1182
538.52/540.51	c current bound: 1182
538.99/540.98	c current bound: 1182
539.46/541.46	c current bound: 1182
539.93/541.94	c current bound: 1182
540.42/542.41	c current bound: 1182
540.88/542.89	c current bound: 1182
541.41/543.36	c current bound: 1182
541.82/543.83	c current bound: 1182
542.30/544.31	c current bound: 1182
542.78/544.78	c current bound: 1182
543.24/545.25	c current bound: 1182
543.73/545.73	c current bound: 1182
544.19/546.49	c current bound: 1182
544.67/546.98	c current bound: 1182
545.15/547.45	c current bound: 1182
545.62/547.93	c current bound: 1182
546.10/548.41	c current bound: 1182
546.60/548.89	c current bound: 1182
547.07/549.37	c current bound: 1182
547.54/549.85	c current bound: 1182
548.01/550.32	c current bound: 1182
548.49/550.79	c current bound: 1182
548.96/551.31	c current bound: 1182
549.43/551.78	c current bound: 1182
549.90/552.26	c current bound: 1182
550.39/552.74	c current bound: 1182
550.96/553.21	c current bound: 1182
551.33/553.68	c current bound: 1182
551.81/554.16	c current bound: 1182
552.28/554.64	c current bound: 1182
552.76/555.12	c current bound: 1182
553.36/555.60	c current bound: 1182
553.70/556.07	c current bound: 1182
554.26/556.54	c current bound: 1182
554.66/557.02	c current bound: 1182
555.26/557.50	c current bound: 1182
555.62/557.98	c current bound: 1182
556.09/558.46	c current bound: 1182
556.58/558.93	c current bound: 1182
557.05/559.41	c current bound: 1182
557.55/559.88	c current bound: 1182
558.00/560.36	c current bound: 1182
558.47/560.83	c current bound: 1182
558.94/561.31	c current bound: 1182
559.43/561.78	c current bound: 1182
559.90/562.26	c current bound: 1182
560.38/562.74	c current bound: 1182
560.87/563.23	c current bound: 1182
561.45/563.70	c current bound: 1182
561.82/564.18	c current bound: 1182
562.31/564.66	c current bound: 1182
562.76/565.13	c current bound: 1182
563.25/565.61	c current bound: 1182
563.73/566.09	c current bound: 1182
564.20/566.56	c current bound: 1182
564.67/567.04	c current bound: 1182
565.25/567.52	c current bound: 1182
565.63/567.99	c current bound: 1182
566.10/568.46	c current bound: 1182
566.58/568.94	c current bound: 1182
567.06/569.42	c current bound: 1182
567.54/569.91	c current bound: 1182
568.02/570.38	c current bound: 1182
568.55/570.86	c current bound: 1182
568.97/571.34	c current bound: 1182
569.44/571.81	c current bound: 1182
569.92/572.29	c current bound: 1182
570.40/572.77	c current bound: 1182
570.88/573.25	c current bound: 1182
571.34/573.72	c current bound: 1182
571.84/574.20	c current bound: 1182
572.31/574.68	c current bound: 1182
572.77/575.15	c current bound: 1182
573.26/575.63	c current bound: 1182
573.73/576.11	c current bound: 1182
574.21/576.59	c current bound: 1182
574.68/577.06	c current bound: 1182
575.15/577.53	c current bound: 1182
575.63/578.01	c current bound: 1182
576.10/578.48	c current bound: 1182
576.57/578.95	c current bound: 1182
577.06/579.43	c current bound: 1182
577.52/579.90	c current bound: 1182
577.99/580.38	c current bound: 1182
578.47/580.85	c current bound: 1182
578.94/581.33	c current bound: 1182
579.52/581.81	c current bound: 1182
579.91/582.29	c current bound: 1182
580.39/582.77	c current bound: 1182
580.87/583.26	c current bound: 1182
581.35/583.74	c current bound: 1182
581.84/584.23	c current bound: 1182
582.31/584.71	c current bound: 1182
582.80/585.19	c current bound: 1182
583.28/585.67	c current bound: 1182
583.74/586.14	c current bound: 1182
584.22/586.61	c current bound: 1182
584.68/587.08	c current bound: 1182
585.17/587.56	c current bound: 1182
585.64/588.03	c current bound: 1182
586.11/588.50	c current bound: 1182
586.57/588.97	c current bound: 1182
587.06/589.45	c current bound: 1182
587.53/589.93	c current bound: 1182
588.00/590.40	c current bound: 1182
588.48/590.89	c current bound: 1182
588.97/591.37	c current bound: 1182
589.45/591.85	c current bound: 1182
589.93/592.32	c current bound: 1182
590.52/592.80	c current bound: 1182
590.87/593.28	c current bound: 1182
591.35/593.75	c current bound: 1182
591.82/594.23	c current bound: 1182
592.30/594.70	c current bound: 1182
592.78/595.18	c current bound: 1182
593.26/595.66	c current bound: 1182
593.82/596.13	c current bound: 1182
594.21/596.60	c current bound: 1182
594.68/597.08	c current bound: 1182
595.15/597.55	c current bound: 1182
595.63/598.03	c current bound: 1182
596.12/598.51	c current bound: 1182
596.59/599.00	c current bound: 1182
597.12/599.47	c current bound: 1182
597.54/599.94	c current bound: 1182
598.02/600.42	c current bound: 1182
598.49/600.89	c current bound: 1182
598.98/601.37	c current bound: 1182
599.44/601.85	c current bound: 1182
599.92/602.33	c current bound: 1182
600.42/602.80	c current bound: 1182
600.87/603.27	c current bound: 1182
601.47/603.94	c current bound: 1182
601.82/604.41	c current bound: 1182
602.30/604.90	c current bound: 1182
602.78/605.36	c current bound: 1182
603.24/605.84	c current bound: 1182
603.72/606.32	c current bound: 1182
604.33/606.80	c current bound: 1182
604.68/607.28	c current bound: 1182
605.15/607.75	c current bound: 1182
605.71/608.23	c current bound: 1182
606.11/608.74	c current bound: 1182
606.60/609.21	c current bound: 1182
607.06/609.69	c current bound: 1182
607.55/610.16	c current bound: 1182
608.02/610.65	c current bound: 1182
608.51/611.13	c current bound: 1182
608.99/611.60	c current bound: 1182
609.45/612.07	c current bound: 1182
609.93/612.55	c current bound: 1182
610.40/613.02	c current bound: 1182
610.88/613.50	c current bound: 1182
611.37/613.99	c current bound: 1182
611.85/614.47	c current bound: 1182
612.34/614.96	c current bound: 1182
612.80/615.43	c current bound: 1182
613.39/615.90	c current bound: 1182
613.75/616.37	c current bound: 1182
614.22/616.85	c current bound: 1182
614.69/617.32	c current bound: 1182
615.18/617.80	c current bound: 1182
615.65/618.29	c current bound: 1182
616.14/618.76	c current bound: 1182
616.68/619.23	c current bound: 1182
617.08/619.71	c current bound: 1182
617.56/620.19	c current bound: 1182
618.04/620.67	c current bound: 1182
618.51/621.15	c current bound: 1182
619.00/621.62	c current bound: 1182
619.46/622.10	c current bound: 1182
619.96/622.58	c current bound: 1182
620.43/623.06	c current bound: 1182
620.89/623.53	c current bound: 1182
621.37/624.02	c current bound: 1182
621.85/624.50	c current bound: 1182
622.33/624.98	c current bound: 1182
622.80/625.45	c current bound: 1182
623.29/625.93	c current bound: 1182
623.75/626.40	c current bound: 1182
624.23/626.89	c current bound: 1182
624.72/627.37	c current bound: 1182
625.20/627.85	c current bound: 1182
625.66/628.32	c current bound: 1182
626.13/628.79	c current bound: 1182
626.61/629.27	c current bound: 1182
627.09/629.74	c current bound: 1182
627.65/630.23	c current bound: 1182
628.05/630.71	c current bound: 1182
628.53/631.18	c current bound: 1182
629.01/631.66	c current bound: 1182
629.48/632.15	c current bound: 1182
629.97/632.63	c current bound: 1182
630.44/633.11	c current bound: 1182
630.95/633.59	c current bound: 1182
631.41/634.07	c current bound: 1182
631.88/634.54	c current bound: 1182
632.36/635.02	c current bound: 1182
632.96/635.50	c current bound: 1182
633.32/635.98	c current bound: 1182
633.79/636.46	c current bound: 1182
634.27/636.94	c current bound: 1182
634.74/637.42	c current bound: 1182
635.21/637.89	c current bound: 1182
635.70/638.37	c current bound: 1182
636.17/638.85	c current bound: 1182
636.65/639.33	c current bound: 1182
637.14/639.81	c current bound: 1182
637.61/640.29	c current bound: 1182
638.08/640.76	c current bound: 1182
638.64/641.24	c current bound: 1182
639.04/641.72	c current bound: 1182
639.52/642.19	c current bound: 1182
639.98/642.67	c current bound: 1182
640.46/643.14	c current bound: 1182
640.94/643.62	c current bound: 1182
641.42/644.10	c current bound: 1182
641.93/644.57	c current bound: 1182
642.36/645.05	c current bound: 1182
642.84/645.53	c current bound: 1182
643.32/646.00	c current bound: 1182
643.79/646.48	c current bound: 1182
644.28/646.97	c current bound: 1182
644.75/647.44	c current bound: 1182
645.23/647.93	c current bound: 1182
645.71/648.40	c current bound: 1182
646.19/648.88	c current bound: 1182
646.67/649.37	c current bound: 1182
647.14/649.84	c current bound: 1182
647.62/650.31	c current bound: 1182
648.09/650.78	c current bound: 1182
648.57/651.27	c current bound: 1182
649.05/651.75	c current bound: 1182
649.61/652.22	c current bound: 1182
649.99/652.69	c current bound: 1182
650.46/653.17	c current bound: 1182
650.94/653.65	c current bound: 1182
651.42/654.12	c current bound: 1182
651.89/654.59	c current bound: 1182
652.36/655.07	c current bound: 1182
652.90/655.54	c current bound: 1182
653.30/656.01	c current bound: 1182
653.77/656.48	c current bound: 1182
654.25/656.97	c current bound: 1182
654.73/657.45	c current bound: 1182
655.21/657.93	c current bound: 1182
655.69/658.40	c current bound: 1182
656.19/658.87	c current bound: 1182
656.63/659.35	c current bound: 1182
657.11/659.83	c current bound: 1182
657.59/660.31	c current bound: 1182
658.07/660.79	c current bound: 1182
658.55/661.27	c current bound: 1182
659.02/661.75	c current bound: 1182
659.50/662.23	c current bound: 1182
660.09/662.70	c current bound: 1182
660.46/663.18	c current bound: 1182
660.95/663.66	c current bound: 1182
661.40/664.13	c current bound: 1182
661.90/664.62	c current bound: 1182
662.37/665.10	c current bound: 1182
662.86/665.59	c current bound: 1182
663.33/666.06	c current bound: 1182
663.93/666.68	c current bound: 1182
664.28/667.16	c current bound: 1182
664.83/667.63	c current bound: 1182
665.23/668.10	c current bound: 1182
665.69/668.57	c current bound: 1182
666.17/669.06	c current bound: 1182
666.66/669.54	c current bound: 1182
667.13/670.02	c current bound: 1182
667.60/670.49	c current bound: 1182
668.12/670.97	c current bound: 1182
668.56/671.47	c current bound: 1182
669.04/671.95	c current bound: 1182
669.50/672.43	c current bound: 1182
670.10/672.90	c current bound: 1182
670.45/673.38	c current bound: 1182
670.94/673.85	c current bound: 1182
671.42/674.34	c current bound: 1182
671.89/674.82	c current bound: 1182
672.36/675.29	c current bound: 1182
672.83/675.76	c current bound: 1182
673.32/676.24	c current bound: 1182
673.78/676.71	c current bound: 1182
674.26/677.18	c current bound: 1182
674.74/677.67	c current bound: 1182
675.20/678.14	c current bound: 1182
675.78/678.62	c current bound: 1182
676.29/679.10	c current bound: 1182
676.63/679.57	c current bound: 1182
677.11/680.05	c current bound: 1182
677.59/680.52	c current bound: 1182
678.19/681.00	c current bound: 1182
678.55/681.48	c current bound: 1182
679.08/681.96	c current bound: 1182
679.50/682.43	c current bound: 1182
679.97/682.90	c current bound: 1182
680.45/683.38	c current bound: 1182
680.94/683.86	c current bound: 1182
681.40/684.33	c current bound: 1182
681.87/684.80	c current bound: 1182
682.39/685.28	c current bound: 1182
682.82/685.75	c current bound: 1182
683.30/686.23	c current bound: 1182
683.78/686.71	c current bound: 1182
684.24/687.18	c current bound: 1182
684.72/687.65	c current bound: 1182
685.19/688.12	c current bound: 1182
685.68/688.59	c current bound: 1182
686.13/689.08	c current bound: 1182
686.62/689.54	c current bound: 1182
687.08/690.01	c current bound: 1182
687.55/690.48	c current bound: 1182
688.01/690.96	c current bound: 1182
688.49/691.43	c current bound: 1182
689.06/691.91	c current bound: 1182
689.44/692.38	c current bound: 1182
689.92/692.86	c current bound: 1182
690.39/693.33	c current bound: 1182
690.86/693.80	c current bound: 1182
691.33/694.27	c current bound: 1182
691.82/694.75	c current bound: 1182
692.29/695.23	c current bound: 1182
692.88/695.70	c current bound: 1182
693.22/696.17	c current bound: 1182
693.70/696.64	c current bound: 1182
694.17/697.11	c current bound: 1182
694.65/697.59	c current bound: 1182
695.13/698.07	c current bound: 1182
695.61/698.54	c current bound: 1182
696.08/699.02	c current bound: 1182
696.55/699.49	c current bound: 1182
697.02/699.96	c current bound: 1182
697.50/700.44	c current bound: 1182
697.97/700.92	c current bound: 1182
698.58/701.40	c current bound: 1182
698.94/701.88	c current bound: 1182
699.41/702.36	c current bound: 1182
699.96/702.83	c current bound: 1182
700.37/703.31	c current bound: 1182
700.85/703.79	c current bound: 1182
701.33/704.27	c current bound: 1182
701.81/704.75	c current bound: 1182
702.32/705.25	c current bound: 1182
702.80/705.73	c current bound: 1182
703.38/706.21	c current bound: 1182
703.87/706.70	c current bound: 1182
704.24/707.17	c current bound: 1182
704.69/707.64	c current bound: 1182
705.17/708.12	c current bound: 1182
705.65/708.59	c current bound: 1182
706.13/709.07	c current bound: 1182
706.59/709.54	c current bound: 1182
707.09/710.03	c current bound: 1182
707.55/710.50	c current bound: 1182
708.04/710.98	c current bound: 1182
708.51/711.45	c current bound: 1182
708.98/711.93	c current bound: 1182
709.46/712.39	c current bound: 1182
709.94/712.88	c current bound: 1182
710.40/713.35	c current bound: 1182
710.98/713.82	c current bound: 1182
711.35/714.29	c current bound: 1182
711.83/714.77	c current bound: 1182
712.30/715.24	c current bound: 1182
712.79/715.72	c current bound: 1182
713.24/716.19	c current bound: 1182
713.74/716.67	c current bound: 1182
714.28/717.14	c current bound: 1182
714.68/717.62	c current bound: 1182
715.16/718.09	c current bound: 1182
715.63/718.57	c current bound: 1182
716.09/719.04	c current bound: 1182
716.58/719.52	c current bound: 1182
717.05/719.99	c current bound: 1182
717.57/720.47	c current bound: 1182
718.02/720.96	c current bound: 1182
718.49/721.43	c current bound: 1182
718.96/721.90	c current bound: 1182
719.44/722.38	c current bound: 1182
719.91/722.85	c current bound: 1182
720.39/723.33	c current bound: 1182
720.99/723.92	c current bound: 1182
721.35/724.42	c current bound: 1182
721.86/724.90	c current bound: 1182
722.31/725.37	c current bound: 1182
722.79/725.85	c current bound: 1182
723.27/726.33	c current bound: 1182
723.75/726.81	c current bound: 1182
724.22/727.29	c current bound: 1182
724.70/727.77	c current bound: 1182
725.18/728.25	c current bound: 1182
725.66/728.75	c current bound: 1182
726.20/729.23	c current bound: 1182
726.61/729.71	c current bound: 1182
727.08/730.19	c current bound: 1182
727.56/730.66	c current bound: 1182
728.03/731.13	c current bound: 1182
728.51/731.62	c current bound: 1182
728.98/732.08	c current bound: 1182
729.51/732.56	c current bound: 1182
729.94/733.03	c current bound: 1182
730.41/733.52	c current bound: 1182
730.90/734.01	c current bound: 1182
731.40/734.50	c current bound: 1182
731.87/734.98	c current bound: 1182
732.35/735.46	c current bound: 1182
732.84/735.94	c current bound: 1182
733.31/736.41	c current bound: 1182
733.79/736.89	c current bound: 1182
734.25/737.36	c current bound: 1182
734.73/737.83	c current bound: 1182
735.22/738.32	c current bound: 1182
735.69/738.79	c current bound: 1182
736.15/739.26	c current bound: 1182
736.64/739.74	c current bound: 1182
737.20/740.21	c current bound: 1182
737.58/740.69	c current bound: 1182
738.07/741.17	c current bound: 1182
738.54/741.65	c current bound: 1182
739.02/742.12	c current bound: 1182
739.48/742.59	c current bound: 1182
739.96/743.07	c current bound: 1182
740.51/743.54	c current bound: 1182
740.90/744.02	c current bound: 1182
741.39/744.49	c current bound: 1182
741.87/744.97	c current bound: 1182
742.33/745.44	c current bound: 1182
742.81/745.92	c current bound: 1182
743.29/746.39	c current bound: 1182
743.80/746.87	c current bound: 1182
744.24/747.34	c current bound: 1182
744.71/747.82	c current bound: 1182
745.19/748.29	c current bound: 1182
745.67/748.77	c current bound: 1182
746.14/749.25	c current bound: 1182
746.63/749.73	c current bound: 1182
747.20/750.21	c current bound: 1182
747.58/750.68	c current bound: 1182
748.04/751.15	c current bound: 1182
748.51/751.62	c current bound: 1182
749.00/752.10	c current bound: 1182
749.47/752.58	c current bound: 1182
749.96/753.05	c current bound: 1182
750.43/753.54	c current bound: 1182
750.90/754.01	c current bound: 1182
751.39/754.49	c current bound: 1182
751.87/754.97	c current bound: 1182
752.33/755.44	c current bound: 1182
752.82/755.92	c current bound: 1182
753.29/756.39	c current bound: 1182
753.78/756.87	c current bound: 1182
754.26/757.35	c current bound: 1182
754.82/757.83	c current bound: 1182
755.22/758.31	c current bound: 1182
755.70/758.79	c current bound: 1182
756.17/759.26	c current bound: 1182
756.64/759.73	c current bound: 1182
757.12/760.20	c current bound: 1182
757.59/760.68	c current bound: 1182
758.10/761.16	c current bound: 1182
758.55/761.64	c current bound: 1182
759.02/762.11	c current bound: 1182
759.49/762.58	c current bound: 1182
759.96/763.05	c current bound: 1182
760.43/763.53	c current bound: 1182
760.92/764.01	c current bound: 1182
761.42/764.48	c current bound: 1182
761.87/764.96	c current bound: 1182
762.35/765.44	c current bound: 1182
762.82/765.92	c current bound: 1182
763.31/766.39	c current bound: 1182
763.78/766.87	c current bound: 1182
764.26/767.35	c current bound: 1182
764.74/767.83	c current bound: 1182
765.33/768.30	c current bound: 1182
765.69/768.78	c current bound: 1182
766.18/769.26	c current bound: 1182
766.65/769.73	c current bound: 1182
767.13/770.21	c current bound: 1182
767.61/770.68	c current bound: 1182
768.07/771.15	c current bound: 1182
768.54/771.63	c current bound: 1182
769.02/772.10	c current bound: 1182
769.49/772.58	c current bound: 1182
769.96/773.05	c current bound: 1182
770.44/773.53	c current bound: 1182
770.92/774.00	c current bound: 1182
771.39/774.47	c current bound: 1182
771.86/774.95	c current bound: 1182
772.44/775.42	c current bound: 1182
772.81/775.89	c current bound: 1182
773.29/776.37	c current bound: 1182
773.76/776.84	c current bound: 1182
774.25/777.31	c current bound: 1182
774.70/777.78	c current bound: 1182
775.18/778.26	c current bound: 1182
775.74/778.74	c current bound: 1182
776.14/779.21	c current bound: 1182
776.62/779.69	c current bound: 1182
777.10/780.17	c current bound: 1182
777.57/780.65	c current bound: 1182
778.05/781.13	c current bound: 1182
778.51/781.61	c current bound: 1182
779.03/782.07	c current bound: 1182
779.47/782.55	c current bound: 1182
779.94/783.02	c current bound: 1182
780.41/783.50	c current bound: 1182
780.89/783.98	c current bound: 1182
781.37/784.45	c current bound: 1182
781.84/784.92	c current bound: 1182
782.33/785.39	c current bound: 1182
782.78/785.87	c current bound: 1182
783.27/786.37	c current bound: 1182
783.74/786.84	c current bound: 1182
784.21/787.31	c current bound: 1182
784.69/787.79	c current bound: 1182
785.16/788.26	c current bound: 1182
785.64/788.74	c current bound: 1182
786.12/789.22	c current bound: 1182
786.59/789.70	c current bound: 1182
787.07/790.17	c current bound: 1182
787.55/790.64	c current bound: 1182
788.01/791.11	c current bound: 1182
788.48/791.59	c current bound: 1182
788.97/792.07	c current bound: 1182
789.44/792.54	c current bound: 1182
790.01/793.02	c current bound: 1182
790.40/793.50	c current bound: 1182
790.87/793.98	c current bound: 1182
791.36/794.46	c current bound: 1182
791.83/794.93	c current bound: 1182
792.30/795.41	c current bound: 1182
792.79/795.89	c current bound: 1182
793.30/796.37	c current bound: 1182
793.74/796.85	c current bound: 1182
794.21/797.32	c current bound: 1182
794.80/797.80	c current bound: 1182
795.18/798.28	c current bound: 1182
795.66/798.76	c current bound: 1182
796.12/799.23	c current bound: 1182
796.72/799.70	c current bound: 1182
797.07/800.18	c current bound: 1182
797.56/800.66	c current bound: 1182
798.02/801.13	c current bound: 1182
798.50/801.61	c current bound: 1182
798.97/802.08	c current bound: 1182
799.45/802.56	c current bound: 1182
799.93/803.04	c current bound: 1182
800.40/803.51	c current bound: 1182
800.86/803.99	c current bound: 1182
801.36/804.46	c current bound: 1182
801.82/804.94	c current bound: 1182
802.30/805.42	c current bound: 1182
802.91/805.90	c current bound: 1182
803.26/806.38	c current bound: 1182
803.75/806.86	c current bound: 1182
804.30/807.33	c current bound: 1182
804.69/807.81	c current bound: 1182
805.17/808.28	c current bound: 1182
805.64/808.75	c current bound: 1182
806.11/809.23	c current bound: 1182
806.71/809.70	c current bound: 1182
807.07/810.18	c current bound: 1182
807.59/810.65	c current bound: 1182
808.01/811.13	c current bound: 1182
808.49/811.60	c current bound: 1182
808.96/812.08	c current bound: 1182
809.44/812.55	c current bound: 1182
809.92/813.02	c current bound: 1182
810.39/813.50	c current bound: 1182
810.91/813.97	c current bound: 1182
811.33/814.45	c current bound: 1182
811.82/814.92	c current bound: 1182
812.41/815.40	c current bound: 1182
812.77/815.88	c current bound: 1182
813.26/816.36	c current bound: 1182
813.73/816.83	c current bound: 1182
814.30/817.31	c current bound: 1182
814.68/817.78	c current bound: 1182
815.15/818.26	c current bound: 1182
815.63/818.74	c current bound: 1182
816.12/819.21	c current bound: 1182
816.57/819.68	c current bound: 1182
817.06/820.16	c current bound: 1182
817.54/820.64	c current bound: 1182
818.01/821.12	c current bound: 1182
818.50/821.59	c current bound: 1182
818.95/822.06	c current bound: 1182
819.43/822.53	c current bound: 1182
819.92/823.01	c current bound: 1182
820.38/823.49	c current bound: 1182
820.86/823.97	c current bound: 1182
821.34/824.44	c current bound: 1182
821.91/824.91	c current bound: 1182
822.29/825.39	c current bound: 1182
822.76/825.86	c current bound: 1182
823.23/826.33	c current bound: 1182
823.72/826.82	c current bound: 1182
824.31/827.30	c current bound: 1182
824.67/827.77	c current bound: 1182
825.21/828.24	c current bound: 1182
825.61/828.71	c current bound: 1182
826.09/829.19	c current bound: 1182
826.56/829.67	c current bound: 1182
827.04/830.15	c current bound: 1182
827.52/830.63	c current bound: 1182
828.00/831.11	c current bound: 1182
828.51/831.59	c current bound: 1182
828.97/832.07	c current bound: 1182
829.45/832.55	c current bound: 1182
829.93/833.02	c current bound: 1182
830.40/833.49	c current bound: 1182
830.87/833.97	c current bound: 1182
831.34/834.44	c current bound: 1182
831.83/834.93	c current bound: 1182
832.29/835.40	c current bound: 1182
832.79/835.88	c current bound: 1182
833.26/836.36	c current bound: 1182
833.74/836.85	c current bound: 1182
834.22/837.32	c current bound: 1182
834.83/837.80	c current bound: 1182
835.17/838.27	c current bound: 1182
835.76/838.90	c current bound: 1182
836.12/839.37	c current bound: 1182
836.60/839.85	c current bound: 1182
837.17/840.32	c current bound: 1182
837.54/840.79	c current bound: 1182
838.02/841.26	c current bound: 1182
838.50/841.74	c current bound: 1182
838.97/842.22	c current bound: 1182
839.46/842.70	c current bound: 1182
839.94/843.17	c current bound: 1182
840.46/843.69	c current bound: 1182
840.87/844.16	c current bound: 1182
841.35/844.63	c current bound: 1182
841.84/845.11	c current bound: 1182
842.30/845.58	c current bound: 1182
842.79/846.06	c current bound: 1182
843.25/846.53	c current bound: 1182
843.81/847.01	c current bound: 1182
844.21/847.48	c current bound: 1182
844.68/847.96	c current bound: 1182
845.15/848.43	c current bound: 1182
845.63/848.91	c current bound: 1182
846.11/849.39	c current bound: 1182
846.58/849.87	c current bound: 1182
847.06/850.34	c current bound: 1182
847.53/850.82	c current bound: 1182
848.03/851.29	c current bound: 1182
848.49/851.77	c current bound: 1182
848.97/852.25	c current bound: 1182
849.45/852.73	c current bound: 1182
849.92/853.20	c current bound: 1182
850.40/853.68	c current bound: 1182
850.88/854.16	c current bound: 1182
851.42/854.64	c current bound: 1182
851.83/855.12	c current bound: 1182
852.42/855.60	c current bound: 1182
852.79/856.08	c current bound: 1182
853.27/856.56	c current bound: 1182
853.76/857.05	c current bound: 1182
854.24/857.53	c current bound: 1182
854.83/858.00	c current bound: 1182
855.19/858.48	c current bound: 1182
855.67/858.95	c current bound: 1182
856.14/859.42	c current bound: 1182
856.60/859.89	c current bound: 1182
857.09/860.37	c current bound: 1182
857.54/860.84	c current bound: 1182
858.11/861.31	c current bound: 1182
858.63/861.80	c current bound: 1182
858.98/862.27	c current bound: 1182
859.44/862.74	c current bound: 1182
859.92/863.21	c current bound: 1182
860.40/863.69	c current bound: 1182
860.87/864.16	c current bound: 1182
861.34/864.63	c current bound: 1182
861.91/865.10	c current bound: 1182
862.29/865.58	c current bound: 1182
862.76/866.05	c current bound: 1182
863.24/866.52	c current bound: 1182
863.71/867.00	c current bound: 1182
864.18/867.47	c current bound: 1182
864.65/867.95	c current bound: 1182
865.13/868.42	c current bound: 1182
865.72/868.90	c current bound: 1182
866.08/869.37	c current bound: 1182
866.56/869.85	c current bound: 1182
867.03/870.33	c current bound: 1182
867.62/870.80	c current bound: 1182
867.98/871.27	c current bound: 1182
868.46/871.76	c current bound: 1182
869.01/872.23	c current bound: 1182
869.42/872.71	c current bound: 1182
869.89/873.18	c current bound: 1182
870.36/873.65	c current bound: 1182
870.83/874.12	c current bound: 1182
871.31/874.60	c current bound: 1182
871.78/875.07	c current bound: 1182
872.32/875.56	c current bound: 1182
872.74/876.03	c current bound: 1182
873.23/876.51	c current bound: 1182
873.69/876.98	c current bound: 1182
874.16/877.45	c current bound: 1182
874.65/877.94	c current bound: 1182
875.12/878.41	c current bound: 1182
875.62/878.88	c current bound: 1182
876.08/879.37	c current bound: 1182
876.55/879.84	c current bound: 1182
877.03/880.32	c current bound: 1182
877.50/880.79	c current bound: 1182
877.97/881.26	c current bound: 1182
878.44/881.73	c current bound: 1182
879.04/882.20	c current bound: 1182
879.39/882.68	c current bound: 1182
879.86/883.15	c current bound: 1182
880.33/883.62	c current bound: 1182
880.81/884.09	c current bound: 1182
881.29/884.58	c current bound: 1182
881.76/885.05	c current bound: 1182
882.23/885.52	c current bound: 1182
882.72/886.00	c current bound: 1182
883.19/886.48	c current bound: 1182
883.67/886.95	c current bound: 1182
884.15/887.43	c current bound: 1182
884.63/887.92	c current bound: 1182
885.24/888.40	c current bound: 1182
885.59/888.88	c current bound: 1182
886.07/889.35	c current bound: 1182
886.62/889.83	c current bound: 1182
887.03/890.31	c current bound: 1182
887.50/890.78	c current bound: 1182
887.97/891.25	c current bound: 1182
888.46/891.73	c current bound: 1182
888.92/892.20	c current bound: 1182
889.39/892.67	c current bound: 1182
889.93/893.14	c current bound: 1182
890.33/893.61	c current bound: 1182
890.80/894.09	c current bound: 1182
891.28/894.56	c current bound: 1182
891.76/895.04	c current bound: 1182
892.24/895.51	c current bound: 1182
892.83/896.15	c current bound: 1182
893.19/896.63	c current bound: 1182
893.77/897.10	c current bound: 1182
894.16/897.57	c current bound: 1182
894.60/898.05	c current bound: 1182
895.07/898.52	c current bound: 1182
895.55/898.99	c current bound: 1182
896.02/899.47	c current bound: 1182
896.51/899.95	c current bound: 1182
896.98/900.42	c current bound: 1182
897.57/900.95	c current bound: 1182
897.94/901.43	c current bound: 1182
898.52/901.91	c current bound: 1182
898.90/902.38	c current bound: 1182
899.36/902.86	c current bound: 1182
899.85/903.33	c current bound: 1182
900.31/903.80	c current bound: 1182
900.77/904.27	c current bound: 1182
901.26/904.74	c current bound: 1182
901.83/905.22	c current bound: 1182
902.21/905.69	c current bound: 1182
902.68/906.17	c current bound: 1182
903.16/906.64	c current bound: 1182
903.64/907.12	c current bound: 1182
904.12/907.60	c current bound: 1182
904.60/908.08	c current bound: 1182
905.14/908.55	c current bound: 1182
905.55/909.03	c current bound: 1182
906.01/909.50	c current bound: 1182
906.48/909.97	c current bound: 1182
906.97/910.45	c current bound: 1182
907.44/910.93	c current bound: 1182
907.92/911.41	c current bound: 1182
908.43/911.88	c current bound: 1182
908.87/912.36	c current bound: 1182
909.36/912.84	c current bound: 1182
909.83/913.31	c current bound: 1182
910.30/913.79	c current bound: 1182
910.76/914.26	c current bound: 1182
911.25/914.74	c current bound: 1182
911.72/915.22	c current bound: 1182
912.33/915.70	c current bound: 1182
912.69/916.19	c current bound: 1182
913.16/916.66	c current bound: 1182
913.65/917.14	c current bound: 1182
914.12/917.61	c current bound: 1182
914.59/918.09	c current bound: 1182
915.08/918.57	c current bound: 1182
915.55/919.04	c current bound: 1182
916.13/919.52	c current bound: 1182
916.51/919.99	c current bound: 1182
916.99/920.48	c current bound: 1182
917.46/920.96	c current bound: 1182
917.93/921.43	c current bound: 1182
918.41/921.90	c current bound: 1182
918.90/922.38	c current bound: 1182
919.42/922.85	c current bound: 1182
919.84/923.33	c current bound: 1182
920.31/923.80	c current bound: 1182
920.78/924.27	c current bound: 1182
921.26/924.75	c current bound: 1182
921.74/925.23	c current bound: 1182
922.22/925.71	c current bound: 1182
922.72/926.18	c current bound: 1182
923.17/926.66	c current bound: 1182
923.64/927.13	c current bound: 1182
924.24/927.60	c current bound: 1182
924.58/928.07	c current bound: 1182
925.06/928.55	c current bound: 1182
925.54/929.03	c current bound: 1182
926.03/929.50	c current bound: 1182
926.49/929.97	c current bound: 1182
926.96/930.45	c current bound: 1182
927.44/930.92	c current bound: 1182
927.91/931.39	c current bound: 1182
928.37/931.86	c current bound: 1182
928.86/932.33	c current bound: 1182
929.33/932.82	c current bound: 1182
929.92/933.30	c current bound: 1182
930.29/933.78	c current bound: 1182
930.77/934.26	c current bound: 1182
931.25/934.74	c current bound: 1182
931.73/935.21	c current bound: 1182
932.20/935.69	c current bound: 1182
932.68/936.17	c current bound: 1182
933.16/936.64	c current bound: 1182
933.71/937.11	c current bound: 1182
934.10/937.58	c current bound: 1182
934.56/938.05	c current bound: 1182
935.03/938.53	c current bound: 1182
935.52/939.01	c current bound: 1182
935.99/939.48	c current bound: 1182
936.47/939.96	c current bound: 1182
937.03/940.44	c current bound: 1182
937.42/940.92	c current bound: 1182
937.91/941.41	c current bound: 1182
938.38/941.88	c current bound: 1182
938.86/942.35	c current bound: 1182
939.34/942.82	c current bound: 1182
939.81/943.30	c current bound: 1182
940.31/943.78	c current bound: 1182
940.77/944.26	c current bound: 1182
941.24/944.73	c current bound: 1182
941.73/945.21	c current bound: 1182
942.20/945.68	c current bound: 1182
942.69/946.16	c current bound: 1182
943.15/946.64	c current bound: 1182
943.63/947.12	c current bound: 1182
944.11/947.59	c current bound: 1182
944.58/948.07	c current bound: 1182
945.05/948.54	c current bound: 1182
945.53/949.01	c current bound: 1182
945.99/949.48	c current bound: 1182
946.47/949.95	c current bound: 1182
946.95/950.44	c current bound: 1182
947.42/950.91	c current bound: 1182
947.92/951.39	c current bound: 1182
948.38/951.87	c current bound: 1182
948.87/952.36	c current bound: 1182
949.36/952.84	c current bound: 1182
949.82/953.31	c current bound: 1182
950.29/953.78	c current bound: 1182
950.77/954.25	c current bound: 1182
951.32/954.73	c current bound: 1182
951.73/955.21	c current bound: 1182
952.20/955.68	c current bound: 1182
952.66/956.15	c current bound: 1182
953.15/956.63	c current bound: 1182
953.60/957.09	c current bound: 1182
954.08/957.58	c current bound: 1182
954.62/958.05	c current bound: 1182
955.16/958.65	c current bound: 1182
955.60/959.13	c current bound: 1182
956.01/959.61	c current bound: 1182
956.47/960.08	c current bound: 1182
956.95/960.55	c current bound: 1182
957.43/961.03	c current bound: 1182
957.88/961.51	c current bound: 1182
958.36/961.97	c current bound: 1182
958.91/962.45	c current bound: 1182
959.32/962.93	c current bound: 1182
959.80/963.50	c current bound: 1182
960.28/963.98	c current bound: 1182
960.77/964.47	c current bound: 1182
961.25/964.95	c current bound: 1182
961.72/965.42	c current bound: 1182
962.20/965.90	c current bound: 1182
962.69/966.38	c current bound: 1182
963.21/966.86	c current bound: 1182
963.63/967.33	c current bound: 1182
964.11/967.82	c current bound: 1182
964.73/968.30	c current bound: 1182
965.08/968.78	c current bound: 1182
965.56/969.25	c current bound: 1182
966.03/969.72	c current bound: 1182
966.51/970.19	c current bound: 1182
966.98/970.67	c current bound: 1182
967.45/971.14	c current bound: 1182
967.92/971.62	c current bound: 1182
968.39/972.09	c current bound: 1182
968.86/972.57	c current bound: 1182
969.33/973.04	c current bound: 1182
969.81/973.52	c current bound: 1182
970.29/973.99	c current bound: 1182
970.75/974.47	c current bound: 1182
971.23/974.94	c current bound: 1182
971.70/975.42	c current bound: 1182
972.19/975.90	c current bound: 1182
972.68/976.38	c current bound: 1182
973.14/976.86	c current bound: 1182
973.62/977.34	c current bound: 1182
974.21/977.81	c current bound: 1182
974.58/978.29	c current bound: 1182
975.07/978.77	c current bound: 1182
975.54/979.25	c current bound: 1182
976.02/979.73	c current bound: 1182
976.49/980.20	c current bound: 1182
976.97/980.67	c current bound: 1182
977.51/981.15	c current bound: 1182
977.92/981.62	c current bound: 1182
978.51/982.10	c current bound: 1182
978.85/982.57	c current bound: 1182
979.34/983.04	c current bound: 1182
979.82/983.52	c current bound: 1182
980.27/983.99	c current bound: 1182
980.81/984.48	c current bound: 1182
981.26/984.96	c current bound: 1182
981.72/985.43	c current bound: 1182
982.20/985.90	c current bound: 1182
982.67/986.37	c current bound: 1182
983.14/986.85	c current bound: 1182
983.63/987.33	c current bound: 1182
984.21/987.80	c current bound: 1182
984.58/988.28	c current bound: 1182
985.05/988.76	c current bound: 1182
985.53/989.24	c current bound: 1182
986.02/989.72	c current bound: 1182
986.49/990.19	c current bound: 1182
986.96/990.67	c current bound: 1182
987.44/991.14	c current bound: 1182
987.92/991.62	c current bound: 1182
988.40/992.10	c current bound: 1182
988.87/992.58	c current bound: 1182
989.34/993.06	c current bound: 1182
989.84/993.54	c current bound: 1182
990.30/994.00	c current bound: 1182
990.78/994.49	c current bound: 1182
991.26/994.96	c current bound: 1182
991.81/995.44	c current bound: 1182
992.21/995.92	c current bound: 1182
992.70/996.40	c current bound: 1182
993.18/996.89	c current bound: 1182
993.65/997.36	c current bound: 1182
994.13/997.84	c current bound: 1182
994.61/998.32	c current bound: 1182
995.10/998.80	c current bound: 1182
995.57/999.27	c current bound: 1182
996.04/999.75	c current bound: 1182
996.53/1000.23	c current bound: 1182
996.99/1000.70	c current bound: 1182
997.46/1001.17	c current bound: 1182
997.95/1001.65	c current bound: 1182
998.41/1002.12	c current bound: 1182
998.88/1002.59	c current bound: 1182
999.35/1003.07	c current bound: 1182
999.83/1003.54	c current bound: 1182
1000.30/1004.00	c current bound: 1182
1000.77/1004.48	c current bound: 1182
1001.25/1004.95	c current bound: 1182
1001.73/1005.43	c current bound: 1182
1002.21/1005.91	c current bound: 1182
1002.68/1006.38	c current bound: 1182
1003.16/1006.86	c current bound: 1182
1003.63/1007.33	c current bound: 1182
1004.12/1007.80	c current bound: 1182
1004.58/1008.28	c current bound: 1182
1005.05/1008.75	c current bound: 1182
1005.54/1009.22	c current bound: 1182
1006.00/1009.69	c current bound: 1182
1006.48/1010.17	c current bound: 1182
1006.93/1010.64	c current bound: 1182
1007.42/1011.11	c current bound: 1182
1007.87/1011.58	c current bound: 1182
1008.37/1012.06	c current bound: 1182
1008.83/1012.53	c current bound: 1182
1009.43/1013.01	c current bound: 1182
1009.80/1013.49	c current bound: 1182
1010.28/1013.96	c current bound: 1182
1010.76/1014.45	c current bound: 1182
1011.23/1014.92	c current bound: 1182
1011.83/1015.40	c current bound: 1182
1012.31/1016.01	c current bound: 1182
1012.65/1016.48	c current bound: 1182
1013.13/1016.96	c current bound: 1182
1013.67/1017.43	c current bound: 1182
1014.07/1017.90	c current bound: 1182
1014.55/1018.37	c current bound: 1182
1015.02/1018.85	c current bound: 1182
1015.49/1019.32	c current bound: 1182
1016.09/1019.80	c current bound: 1182
1016.46/1020.28	c current bound: 1182
1017.04/1020.84	c current bound: 1182
1017.41/1021.31	c current bound: 1182
1017.90/1021.80	c current bound: 1182
1018.37/1022.27	c current bound: 1182
1018.84/1022.74	c current bound: 1182
1019.32/1023.22	c current bound: 1182
1019.79/1023.69	c current bound: 1182
1020.26/1024.16	c current bound: 1182
1020.74/1024.63	c current bound: 1182
1021.31/1025.11	c current bound: 1182
1021.69/1025.58	c current bound: 1182
1022.16/1026.05	c current bound: 1182
1022.61/1026.52	c current bound: 1182
1023.09/1026.99	c current bound: 1182
1023.56/1027.46	c current bound: 1182
1024.04/1027.93	c current bound: 1182
1024.61/1028.41	c current bound: 1182
1024.98/1028.89	c current bound: 1182
1025.47/1029.36	c current bound: 1182
1025.94/1029.84	c current bound: 1182
1026.41/1030.31	c current bound: 1182
1026.89/1030.79	c current bound: 1182
1027.36/1031.26	c current bound: 1182
1027.91/1031.74	c current bound: 1182
1028.32/1032.21	c current bound: 1182
1028.81/1032.69	c current bound: 1182
1029.28/1033.17	c current bound: 1182
1029.75/1033.64	c current bound: 1182
1030.23/1034.12	c current bound: 1182
1030.71/1034.61	c current bound: 1182
1031.23/1035.09	c current bound: 1182
1031.68/1035.56	c current bound: 1182
1032.15/1036.04	c current bound: 1182
1032.62/1036.51	c current bound: 1182
1033.09/1036.98	c current bound: 1182
1033.57/1037.46	c current bound: 1182
1034.04/1037.94	c current bound: 1182
1034.63/1038.41	c current bound: 1182
1034.99/1038.88	c current bound: 1182
1035.46/1039.35	c current bound: 1182
1035.93/1039.82	c current bound: 1182
1036.42/1040.30	c current bound: 1182
1036.89/1040.77	c current bound: 1182
1037.37/1041.25	c current bound: 1182
1037.83/1041.72	c current bound: 1182
1038.30/1042.19	c current bound: 1182
1038.78/1042.66	c current bound: 1182
1039.26/1043.15	c current bound: 1182
1039.75/1043.62	c current bound: 1182
1040.32/1044.10	c current bound: 1182
1040.68/1044.57	c current bound: 1182
1041.16/1045.04	c current bound: 1182
1041.64/1045.52	c current bound: 1182
1042.11/1045.99	c current bound: 1182
1042.59/1046.47	c current bound: 1182
1043.08/1046.97	c current bound: 1182
1043.56/1047.45	c current bound: 1182
1044.05/1047.93	c current bound: 1182
1044.52/1048.41	c current bound: 1182
1045.01/1048.89	c current bound: 1182
1045.52/1049.36	c current bound: 1182
1045.96/1049.84	c current bound: 1182
1046.44/1050.32	c current bound: 1182
1046.91/1050.80	c current bound: 1182
1047.40/1051.27	c current bound: 1182
1047.87/1051.75	c current bound: 1182
1048.33/1052.22	c current bound: 1182
1048.84/1052.69	c current bound: 1182
1049.29/1053.17	c current bound: 1182
1049.76/1053.65	c current bound: 1182
1050.25/1054.12	c current bound: 1182
1050.71/1054.59	c current bound: 1182
1051.19/1055.06	c current bound: 1182
1051.66/1055.54	c current bound: 1182
1052.14/1056.02	c current bound: 1182
1052.62/1056.50	c current bound: 1182
1053.08/1056.97	c current bound: 1182
1053.57/1057.46	c current bound: 1182
1054.05/1057.93	c current bound: 1182
1054.63/1058.40	c current bound: 1182
1054.99/1058.87	c current bound: 1182
1055.47/1059.35	c current bound: 1182
1055.95/1059.83	c current bound: 1182
1056.53/1060.31	c current bound: 1182
1056.90/1060.78	c current bound: 1182
1057.37/1061.26	c current bound: 1182
1057.85/1061.73	c current bound: 1182
1058.31/1062.21	c current bound: 1182
1058.80/1062.68	c current bound: 1182
1059.28/1063.17	c current bound: 1182
1059.81/1063.64	c current bound: 1182
1060.24/1064.11	c current bound: 1182
1060.83/1064.60	c current bound: 1182
1061.19/1065.08	c current bound: 1182
1061.66/1065.55	c current bound: 1182
1062.14/1066.02	c current bound: 1182
1062.61/1066.50	c current bound: 1182
1063.12/1066.97	c current bound: 1182
1063.56/1067.44	c current bound: 1182
1064.03/1067.92	c current bound: 1182
1064.50/1068.39	c current bound: 1182
1064.97/1068.86	c current bound: 1182
1065.47/1069.34	c current bound: 1182
1065.94/1069.82	c current bound: 1182
1066.43/1070.29	c current bound: 1182
1066.89/1070.77	c current bound: 1182
1067.36/1071.24	c current bound: 1182
1067.83/1071.71	c current bound: 1182
1068.32/1072.18	c current bound: 1182
1068.77/1072.65	c current bound: 1182
1069.38/1073.27	c current bound: 1182
1069.73/1073.75	c current bound: 1182
1070.21/1074.23	c current bound: 1182
1070.80/1074.71	c current bound: 1182
1071.16/1075.18	c current bound: 1182
1071.64/1075.66	c current bound: 1182
1072.12/1076.14	c current bound: 1182
1072.58/1076.61	c current bound: 1182
1073.07/1077.08	c current bound: 1182
1073.55/1077.55	c current bound: 1182
1074.01/1078.06	c current bound: 1182
1074.51/1078.55	c current bound: 1182
1075.06/1079.02	c current bound: 1182
1075.45/1079.49	c current bound: 1182
1075.93/1079.97	c current bound: 1182
1076.41/1080.44	c current bound: 1182
1076.88/1080.92	c current bound: 1182
1077.37/1081.40	c current bound: 1182
1077.86/1081.89	c current bound: 1182
1078.38/1082.36	c current bound: 1182
1078.80/1082.84	c current bound: 1182
1079.27/1083.32	c current bound: 1182
1079.75/1083.79	c current bound: 1182
1080.22/1084.26	c current bound: 1182
1080.69/1084.73	c current bound: 1182
1081.28/1085.20	c current bound: 1182
1081.67/1085.68	c current bound: 1182
1082.12/1086.16	c current bound: 1182
1082.60/1086.64	c current bound: 1182
1083.08/1087.11	c current bound: 1182
1083.54/1087.58	c current bound: 1182
1084.03/1088.06	c current bound: 1182
1084.50/1088.53	c current bound: 1182
1085.09/1089.01	c current bound: 1182
1085.46/1089.49	c current bound: 1182
1085.94/1089.97	c current bound: 1182
1086.42/1090.45	c current bound: 1182
1086.88/1090.92	c current bound: 1182
1087.48/1091.40	c current bound: 1182
1087.85/1091.88	c current bound: 1182
1088.32/1092.35	c current bound: 1182
1088.80/1092.83	c current bound: 1182
1089.37/1093.32	c current bound: 1182
1089.76/1093.79	c current bound: 1182
1090.23/1094.27	c current bound: 1182
1090.71/1094.75	c current bound: 1182
1091.21/1095.23	c current bound: 1182
1091.66/1095.70	c current bound: 1182
1092.14/1096.17	c current bound: 1182
1092.70/1096.64	c current bound: 1182
1093.08/1097.11	c current bound: 1182
1093.55/1097.58	c current bound: 1182
1094.03/1098.05	c current bound: 1182
1094.49/1098.53	c current bound: 1182
1094.98/1099.01	c current bound: 1182
1095.47/1099.49	c current bound: 1182
1095.99/1099.97	c current bound: 1182
1096.43/1100.45	c current bound: 1182
1096.90/1100.93	c current bound: 1182
1097.38/1101.40	c current bound: 1182
1097.85/1101.87	c current bound: 1182
1098.32/1102.34	c current bound: 1182
1098.79/1102.81	c current bound: 1182
1099.28/1103.29	c current bound: 1182
1099.74/1103.76	c current bound: 1182
1100.22/1104.24	c current bound: 1182
1100.68/1104.71	c current bound: 1182
1101.17/1105.19	c current bound: 1182
1101.64/1105.66	c current bound: 1182
1102.12/1106.14	c current bound: 1182
1102.70/1106.61	c current bound: 1182
1103.05/1107.08	c current bound: 1182
1103.54/1107.56	c current bound: 1182
1104.01/1108.04	c current bound: 1182
1104.50/1108.52	c current bound: 1182
1105.10/1109.00	c current bound: 1182
1105.46/1109.47	c current bound: 1182
1105.93/1109.95	c current bound: 1182
1106.41/1110.42	c current bound: 1182
1106.88/1110.90	c current bound: 1182
1107.37/1111.38	c current bound: 1182
1107.85/1111.86	c current bound: 1182
1108.32/1112.33	c current bound: 1182
1108.79/1112.81	c current bound: 1182
1109.28/1113.29	c current bound: 1182
1109.75/1113.77	c current bound: 1182
1110.30/1114.24	c current bound: 1182
1110.71/1114.72	c current bound: 1182
1111.18/1115.19	c current bound: 1182
1111.66/1115.67	c current bound: 1182
1112.14/1116.15	c current bound: 1182
1112.62/1116.62	c current bound: 1182
1113.20/1117.10	c current bound: 1182
1113.60/1117.58	c current bound: 1182
1114.04/1118.06	c current bound: 1182
1114.51/1118.53	c current bound: 1182
1114.99/1119.01	c current bound: 1182
1115.47/1119.48	c current bound: 1182
1115.96/1119.96	c current bound: 1182
1116.43/1120.43	c current bound: 1182
1116.99/1120.91	c current bound: 1182
1117.38/1121.38	c current bound: 1182
1117.85/1121.86	c current bound: 1182
1118.33/1122.34	c current bound: 1182
1118.80/1122.81	c current bound: 1182
1119.27/1123.29	c current bound: 1182
1119.77/1123.77	c current bound: 1182
1120.24/1124.24	c current bound: 1182
1120.71/1124.72	c current bound: 1182
1121.19/1125.19	c current bound: 1182
1121.67/1125.67	c current bound: 1182
1122.13/1126.14	c current bound: 1182
1122.62/1126.62	c current bound: 1182
1123.08/1127.09	c current bound: 1182
1123.56/1127.57	c current bound: 1182
1124.02/1128.03	c current bound: 1182
1124.62/1128.50	c current bound: 1182
1124.97/1128.98	c current bound: 1182
1125.45/1129.46	c current bound: 1182
1125.94/1129.94	c current bound: 1182
1126.41/1130.42	c current bound: 1182
1126.90/1130.90	c current bound: 1182
1127.36/1131.37	c current bound: 1182
1127.91/1131.85	c current bound: 1182
1128.32/1132.32	c current bound: 1182
1128.79/1132.80	c current bound: 1182
1129.27/1133.27	c current bound: 1182
1129.75/1133.75	c current bound: 1182
1130.23/1134.23	c current bound: 1182
1130.70/1134.72	c current bound: 1182
1131.21/1135.19	c current bound: 1182
1131.65/1135.66	c current bound: 1182
1132.13/1136.14	c current bound: 1182
1132.60/1136.62	c current bound: 1182
1133.21/1137.10	c current bound: 1182
1133.57/1137.57	c current bound: 1182
1134.03/1138.06	c current bound: 1182
1134.52/1138.54	c current bound: 1182
1135.01/1139.01	c current bound: 1182
1135.47/1139.49	c current bound: 1182
1135.97/1139.97	c current bound: 1182
1136.43/1140.44	c current bound: 1182
1136.92/1140.92	c current bound: 1182
1137.38/1141.39	c current bound: 1182
1137.86/1141.86	c current bound: 1182
1138.33/1142.34	c current bound: 1182
1138.91/1142.81	c current bound: 1182
1139.28/1143.28	c current bound: 1182
1139.74/1143.75	c current bound: 1182
1140.23/1144.23	c current bound: 1182
1140.70/1144.71	c current bound: 1182
1141.19/1145.19	c current bound: 1182
1141.67/1145.67	c current bound: 1182
1142.21/1146.15	c current bound: 1182
1142.62/1146.62	c current bound: 1182
1143.09/1147.09	c current bound: 1182
1143.58/1147.58	c current bound: 1182
1144.06/1148.05	c current bound: 1182
1144.53/1148.53	c current bound: 1182
1145.00/1149.00	c current bound: 1182
1145.51/1149.49	c current bound: 1182
1145.97/1149.96	c current bound: 1182
1146.45/1150.43	c current bound: 1182
1146.92/1150.91	c current bound: 1182
1147.40/1151.39	c current bound: 1182
1147.88/1151.87	c current bound: 1182
1148.37/1152.35	c current bound: 1182
1148.83/1152.82	c current bound: 1182
1149.31/1153.30	c current bound: 1182
1149.79/1153.78	c current bound: 1182
1150.27/1154.26	c current bound: 1182
1150.75/1154.74	c current bound: 1182
1151.22/1155.20	c current bound: 1182
1151.69/1155.68	c current bound: 1182
1152.17/1156.15	c current bound: 1182
1152.63/1156.62	c current bound: 1182
1153.11/1157.09	c current bound: 1182
1153.59/1157.56	c current bound: 1182
1154.05/1158.03	c current bound: 1182
1154.52/1158.51	c current bound: 1182
1154.99/1158.98	c current bound: 1182
1155.46/1159.45	c current bound: 1182
1155.94/1159.92	c current bound: 1182
1156.43/1160.40	c current bound: 1182
1156.89/1160.88	c current bound: 1182
1157.36/1161.35	c current bound: 1182
1157.85/1161.83	c current bound: 1182
1158.32/1162.31	c current bound: 1182
1158.79/1162.77	c current bound: 1182
1159.27/1163.25	c current bound: 1182
1159.83/1163.72	c current bound: 1182
1160.21/1164.19	c current bound: 1182
1160.70/1164.67	c current bound: 1182
1161.16/1165.14	c current bound: 1182
1161.64/1165.62	c current bound: 1182
1162.12/1166.09	c current bound: 1182
1162.60/1166.58	c current bound: 1182
1163.13/1167.05	c current bound: 1182
1163.56/1167.52	c current bound: 1182
1164.02/1168.00	c current bound: 1182
1164.50/1168.48	c current bound: 1182
1164.98/1168.96	c current bound: 1182
1165.45/1169.43	c current bound: 1182
1165.93/1169.91	c current bound: 1182
1166.43/1170.39	c current bound: 1182
1166.88/1170.85	c current bound: 1182
1167.35/1171.33	c current bound: 1182
1167.83/1171.80	c current bound: 1182
1168.31/1172.29	c current bound: 1182
1168.79/1172.76	c current bound: 1182
1169.27/1173.25	c current bound: 1182
1169.74/1173.72	c current bound: 1182
1170.23/1174.19	c current bound: 1182
1170.69/1174.66	c current bound: 1182
1171.17/1175.14	c current bound: 1182
1171.65/1175.62	c current bound: 1182
1172.25/1176.10	c current bound: 1182
1172.62/1176.58	c current bound: 1182
1173.10/1177.06	c current bound: 1182
1173.58/1177.54	c current bound: 1182
1174.16/1178.01	c current bound: 1182
1174.52/1178.48	c current bound: 1182
1175.00/1178.96	c current bound: 1182
1175.48/1179.45	c current bound: 1182
1175.96/1179.93	c current bound: 1182
1176.56/1180.40	c current bound: 1182
1176.91/1180.87	c current bound: 1182
1177.46/1181.34	c current bound: 1182
1177.86/1181.82	c current bound: 1182
1178.34/1182.30	c current bound: 1182
1178.82/1182.77	c current bound: 1182
1179.29/1183.25	c current bound: 1182
1179.77/1183.73	c current bound: 1182
1180.35/1184.20	c current bound: 1182
1180.76/1184.68	c current bound: 1182
1181.20/1185.16	c current bound: 1182
1181.68/1185.63	c current bound: 1182
1182.16/1186.11	c current bound: 1182
1182.64/1186.59	c current bound: 1182
1183.11/1187.06	c current bound: 1182
1183.58/1187.53	c current bound: 1182
1184.16/1188.01	c current bound: 1182
1184.56/1188.49	c current bound: 1182
1185.01/1188.97	c current bound: 1182
1185.50/1189.45	c current bound: 1182
1185.97/1189.92	c current bound: 1182
1186.58/1190.40	c current bound: 1182
1186.91/1190.87	c current bound: 1182
1187.40/1191.34	c current bound: 1182
1187.87/1191.82	c current bound: 1182
1188.35/1192.29	c current bound: 1182
1188.83/1192.77	c current bound: 1182
1189.42/1193.41	c current bound: 1182
1189.77/1193.89	c current bound: 1182
1190.27/1194.37	c current bound: 1182
1190.72/1194.84	c current bound: 1182
1191.19/1195.32	c current bound: 1182
1191.68/1195.79	c current bound: 1182
1192.14/1196.27	c current bound: 1182
1192.68/1196.74	c current bound: 1182
1193.10/1197.21	c current bound: 1182
1193.57/1197.68	c current bound: 1182
1194.04/1198.17	c current bound: 1182
1194.53/1198.65	c current bound: 1182
1195.00/1199.12	c current bound: 1182
1195.47/1199.60	c current bound: 1182
1195.99/1200.07	c current bound: 1182
1196.42/1200.55	c current bound: 1182
1196.93/1201.06	c current bound: 1182
1197.42/1201.54	c current bound: 1182
1197.89/1202.01	c current bound: 1182
1198.35/1202.49	c current bound: 1182
1198.84/1202.96	c current bound: 1182
1199.31/1203.43	c current bound: 1182
1199.78/1203.91	c current bound: 1182
1200.27/1204.39	c current bound: 1182
1200.76/1204.87	c current bound: 1182
1201.22/1205.35	c current bound: 1182
1201.68/1205.82	c current bound: 1182
1202.30/1206.30	c current bound: 1182
1202.65/1206.77	c current bound: 1182
1203.13/1207.25	c current bound: 1182
1203.69/1207.72	c current bound: 1182
1204.07/1208.19	c current bound: 1182
1204.55/1208.67	c current bound: 1182
1205.01/1209.14	c current bound: 1182
1205.50/1209.62	c current bound: 1182
1205.98/1210.10	c current bound: 1182
1206.45/1210.58	c current bound: 1182
1206.98/1211.06	c current bound: 1182
1207.40/1211.53	c current bound: 1182
1207.88/1212.01	c current bound: 1182
1208.37/1212.49	c current bound: 1182
1208.84/1212.97	c current bound: 1182
1209.31/1213.44	c current bound: 1182
1209.78/1213.91	c current bound: 1182
1210.39/1214.40	c current bound: 1182
1210.75/1214.88	c current bound: 1182
1211.22/1215.36	c current bound: 1182
1211.70/1215.83	c current bound: 1182
1212.17/1216.31	c current bound: 1182
1212.65/1216.79	c current bound: 1182
1213.12/1217.26	c current bound: 1182
1213.59/1217.73	c current bound: 1182
1214.07/1218.21	c current bound: 1182
1214.54/1218.69	c current bound: 1182
1215.02/1219.16	c current bound: 1182
1215.50/1219.64	c current bound: 1182
1215.97/1220.11	c current bound: 1182
1216.45/1220.59	c current bound: 1182
1216.94/1221.07	c current bound: 1182
1217.41/1221.54	c current bound: 1182
1217.98/1222.01	c current bound: 1182
1218.34/1222.48	c current bound: 1182
1218.83/1222.96	c current bound: 1182
1219.30/1223.43	c current bound: 1182
1219.77/1223.91	c current bound: 1182
1220.26/1224.39	c current bound: 1182
1220.73/1224.86	c current bound: 1182
1221.27/1225.34	c current bound: 1182
1221.67/1225.81	c current bound: 1182
1222.14/1226.28	c current bound: 1182
1222.62/1226.76	c current bound: 1182
1223.10/1227.23	c current bound: 1182
1223.58/1227.71	c current bound: 1182
1224.05/1228.19	c current bound: 1182
1224.58/1228.67	c current bound: 1182
1225.03/1229.15	c current bound: 1182
1225.50/1229.64	c current bound: 1182
1225.96/1230.11	c current bound: 1182
1226.46/1230.59	c current bound: 1182
1226.94/1231.07	c current bound: 1182
1227.42/1231.55	c current bound: 1182
1227.90/1232.03	c current bound: 1182
1228.38/1232.50	c current bound: 1182
1228.85/1232.99	c current bound: 1182
1229.34/1233.47	c current bound: 1182
1229.81/1233.94	c current bound: 1182
1230.28/1234.42	c current bound: 1182
1230.75/1234.89	c current bound: 1182
1231.24/1235.37	c current bound: 1182
1231.72/1235.85	c current bound: 1182
1232.27/1236.33	c current bound: 1182
1232.68/1236.80	c current bound: 1182
1233.14/1237.28	c current bound: 1182
1233.62/1237.75	c current bound: 1182
1234.09/1238.23	c current bound: 1182
1234.57/1238.71	c current bound: 1182
1235.06/1239.19	c current bound: 1182
1235.56/1239.67	c current bound: 1182
1236.01/1240.14	c current bound: 1182
1236.48/1240.62	c current bound: 1182
1237.08/1241.10	c current bound: 1182
1237.44/1241.57	c current bound: 1182
1237.91/1242.05	c current bound: 1182
1238.38/1242.52	c current bound: 1182
1238.87/1243.00	c current bound: 1182
1239.35/1243.48	c current bound: 1182
1239.82/1243.96	c current bound: 1182
1240.30/1244.44	c current bound: 1182
1240.77/1244.91	c current bound: 1182
1241.26/1245.39	c current bound: 1182
1241.72/1245.87	c current bound: 1182
1242.20/1246.34	c current bound: 1182
1242.68/1246.82	c current bound: 1182
1243.15/1247.30	c current bound: 1182
1243.63/1247.77	c current bound: 1182
1244.11/1248.25	c current bound: 1182
1244.60/1248.73	c current bound: 1182
1245.07/1249.21	c current bound: 1182
1245.55/1249.69	c current bound: 1182
1246.03/1250.17	c current bound: 1182
1246.62/1250.78	c current bound: 1182
1246.98/1251.26	c current bound: 1182
1247.54/1251.74	c current bound: 1182
1247.93/1252.21	c current bound: 1182
1248.54/1252.70	c current bound: 1182
1248.90/1253.17	c current bound: 1182
1249.37/1253.63	c current bound: 1182
1249.82/1254.11	c current bound: 1182
1250.32/1254.58	c current bound: 1182
1250.83/1255.05	c current bound: 1182
1251.38/1255.61	c current bound: 1182
1251.74/1256.09	c current bound: 1182
1252.21/1256.56	c current bound: 1182
1252.69/1257.03	c current bound: 1182
1253.17/1257.50	c current bound: 1182
1253.63/1257.99	c current bound: 1182
1254.12/1258.46	c current bound: 1182
1254.59/1258.94	c current bound: 1182
1255.15/1259.42	c current bound: 1182
1255.55/1259.90	c current bound: 1182
1256.02/1260.37	c current bound: 1182
1256.50/1260.85	c current bound: 1182
1256.98/1261.33	c current bound: 1182
1257.45/1261.80	c current bound: 1182
1257.93/1262.28	c current bound: 1182
1258.47/1262.76	c current bound: 1182
1258.89/1263.24	c current bound: 1182
1259.36/1263.71	c current bound: 1182
1259.83/1264.18	c current bound: 1182
1260.30/1264.65	c current bound: 1182
1260.79/1265.13	c current bound: 1182
1261.27/1265.62	c current bound: 1182
1261.78/1266.10	c current bound: 1182
1262.24/1266.58	c current bound: 1182
1262.72/1267.06	c current bound: 1182
1263.18/1267.53	c current bound: 1182
1263.67/1268.01	c current bound: 1182
1264.14/1268.49	c current bound: 1182
1264.62/1268.97	c current bound: 1182
1265.10/1269.44	c current bound: 1182
1265.57/1269.92	c current bound: 1182
1266.06/1270.40	c current bound: 1182
1266.53/1270.88	c current bound: 1182
1267.01/1271.35	c current bound: 1182
1267.50/1271.84	c current bound: 1182
1267.96/1272.31	c current bound: 1182
1268.57/1272.80	c current bound: 1182
1268.93/1273.28	c current bound: 1182
1269.46/1273.76	c current bound: 1182
1269.90/1274.24	c current bound: 1182
1270.37/1274.71	c current bound: 1182
1270.83/1275.19	c current bound: 1182
1271.32/1275.67	c current bound: 1182
1271.80/1276.15	c current bound: 1182
1272.26/1276.62	c current bound: 1182
1272.77/1277.10	c current bound: 1182
1273.24/1277.58	c current bound: 1182
1273.72/1278.06	c current bound: 1182
1274.19/1278.53	c current bound: 1182
1274.65/1279.00	c current bound: 1182
1275.14/1279.49	c current bound: 1182
1275.62/1279.97	c current bound: 1182
1276.08/1280.43	c current bound: 1182
1276.56/1280.92	c current bound: 1182
1277.17/1281.40	c current bound: 1182
1277.52/1281.88	c current bound: 1182
1278.00/1282.36	c current bound: 1182
1278.48/1282.83	c current bound: 1182
1278.95/1283.31	c current bound: 1182
1279.42/1283.79	c current bound: 1182
1279.92/1284.27	c current bound: 1182
1280.46/1284.75	c current bound: 1182
1280.87/1285.22	c current bound: 1182
1281.34/1285.70	c current bound: 1182
1281.82/1286.18	c current bound: 1182
1282.31/1286.66	c current bound: 1182
1282.79/1287.14	c current bound: 1182
1283.27/1287.62	c current bound: 1182
1283.87/1288.11	c current bound: 1182
1284.21/1288.58	c current bound: 1182
1284.70/1289.06	c current bound: 1182
1285.17/1289.53	c current bound: 1182
1285.66/1290.01	c current bound: 1182
1286.13/1290.49	c current bound: 1182
1286.60/1290.97	c current bound: 1182
1287.09/1291.45	c current bound: 1182
1287.57/1291.93	c current bound: 1182
1288.15/1292.41	c current bound: 1182
1288.53/1292.88	c current bound: 1182
1289.00/1293.36	c current bound: 1182
1289.48/1293.84	c current bound: 1182
1289.96/1294.32	c current bound: 1182
1290.43/1294.79	c current bound: 1182
1290.90/1295.27	c current bound: 1182
1291.45/1295.75	c current bound: 1182
1291.86/1296.23	c current bound: 1182
1292.34/1296.71	c current bound: 1182
1292.82/1297.18	c current bound: 1182
1293.30/1297.66	c current bound: 1182
1293.77/1298.13	c current bound: 1182
1294.25/1298.60	c current bound: 1182
1294.75/1299.08	c current bound: 1182
1295.20/1299.56	c current bound: 1182
1295.68/1300.04	c current bound: 1182
1296.15/1300.52	c current bound: 1182
1296.63/1300.99	c current bound: 1182
1297.11/1301.47	c current bound: 1182
1297.58/1301.94	c current bound: 1182
1298.15/1302.41	c current bound: 1182
1298.54/1302.89	c current bound: 1182
1299.02/1303.37	c current bound: 1182
1299.47/1303.84	c current bound: 1182
1299.95/1304.31	c current bound: 1182
1300.43/1304.79	c current bound: 1182
1300.91/1305.27	c current bound: 1182
1301.38/1305.74	c current bound: 1182
1301.86/1306.21	c current bound: 1182
1302.33/1306.69	c current bound: 1182
1302.81/1307.17	c current bound: 1182
1303.29/1307.65	c current bound: 1182
1303.77/1308.13	c current bound: 1182
1304.35/1308.60	c current bound: 1182
1304.72/1309.07	c current bound: 1182
1305.19/1309.56	c current bound: 1182
1305.76/1310.03	c current bound: 1182
1306.15/1310.50	c current bound: 1182
1306.62/1310.98	c current bound: 1182
1307.11/1311.47	c current bound: 1182
1307.57/1311.94	c current bound: 1182
1308.06/1312.41	c current bound: 1182
1308.66/1312.90	c current bound: 1182
1309.15/1313.43	c current bound: 1182
1309.50/1313.89	c current bound: 1182
1309.99/1314.38	c current bound: 1182
1310.46/1314.85	c current bound: 1182
1310.94/1315.33	c current bound: 1182
1311.42/1315.81	c current bound: 1182
1311.90/1316.29	c current bound: 1182
1312.38/1316.76	c current bound: 1182
1312.85/1317.24	c current bound: 1182
1313.41/1317.71	c current bound: 1182
1313.78/1318.18	c current bound: 1182
1314.27/1318.66	c current bound: 1182
1314.74/1319.13	c current bound: 1182
1315.22/1319.61	c current bound: 1182
1315.70/1320.08	c current bound: 1182
1316.17/1320.55	c current bound: 1182
1316.72/1321.03	c current bound: 1182
1317.12/1321.51	c current bound: 1182
1317.59/1321.98	c current bound: 1182
1318.05/1322.44	c current bound: 1182
1318.54/1322.92	c current bound: 1182
1319.01/1323.39	c current bound: 1182
1319.49/1323.87	c current bound: 1182
1320.01/1324.34	c current bound: 1182
1320.43/1324.82	c current bound: 1182
1320.90/1325.29	c current bound: 1182
1321.38/1325.77	c current bound: 1182
1321.87/1326.26	c current bound: 1182
1322.33/1326.73	c current bound: 1182
1322.82/1327.21	c current bound: 1182
1323.32/1327.69	c current bound: 1182
1323.78/1328.17	c current bound: 1182
1324.27/1328.65	c current bound: 1182
1324.74/1329.12	c current bound: 1182
1325.23/1329.60	c current bound: 1182
1325.70/1330.08	c current bound: 1182
1326.17/1330.56	c current bound: 1182
1326.65/1331.03	c current bound: 1182
1327.13/1331.51	c current bound: 1182
1327.59/1331.98	c current bound: 1182
1328.07/1332.45	c current bound: 1182
1328.53/1332.93	c current bound: 1182
1329.03/1333.41	c current bound: 1182
1329.50/1333.89	c current bound: 1182
1329.97/1334.36	c current bound: 1182
1330.45/1334.83	c current bound: 1182
1331.01/1335.31	c current bound: 1182
1331.39/1335.78	c current bound: 1182
1331.86/1336.25	c current bound: 1182
1332.35/1336.74	c current bound: 1182
1332.82/1337.23	c current bound: 1182
1333.32/1337.70	c current bound: 1182
1333.78/1338.18	c current bound: 1182
1334.33/1338.65	c current bound: 1182
1334.75/1339.13	c current bound: 1182
1335.33/1339.60	c current bound: 1182
1335.68/1340.07	c current bound: 1182
1336.15/1340.54	c current bound: 1182
1336.62/1341.01	c current bound: 1182
1337.08/1341.48	c current bound: 1182
1337.63/1341.96	c current bound: 1182
1338.05/1342.44	c current bound: 1182
1338.53/1342.92	c current bound: 1182
1339.01/1343.39	c current bound: 1182
1339.49/1343.88	c current bound: 1182
1339.97/1344.35	c current bound: 1182
1340.43/1344.82	c current bound: 1182
1340.93/1345.30	c current bound: 1182
1341.39/1345.78	c current bound: 1182
1341.88/1346.26	c current bound: 1182
1342.35/1346.73	c current bound: 1182
1342.82/1347.21	c current bound: 1182
1343.30/1347.68	c current bound: 1182
1343.77/1348.15	c current bound: 1182
1344.24/1348.62	c current bound: 1182
1344.72/1349.11	c current bound: 1182
1345.20/1349.59	c current bound: 1182
1345.67/1350.06	c current bound: 1182
1346.15/1350.54	c current bound: 1182
1346.63/1351.01	c current bound: 1182
1347.09/1351.48	c current bound: 1182
1347.58/1351.96	c current bound: 1182
1348.05/1352.44	c current bound: 1182
1348.62/1352.91	c current bound: 1182
1349.14/1353.40	c current bound: 1182
1349.49/1353.87	c current bound: 1182
1349.95/1354.34	c current bound: 1182
1350.44/1354.82	c current bound: 1182
1350.91/1355.29	c current bound: 1182
1351.39/1355.77	c current bound: 1182
1351.94/1356.26	c current bound: 1182
1352.36/1356.74	c current bound: 1182
1352.84/1357.22	c current bound: 1182
1353.44/1357.70	c current bound: 1182
1353.80/1358.17	c current bound: 1182
1354.27/1358.65	c current bound: 1182
1354.73/1359.12	c current bound: 1182
1355.23/1359.60	c current bound: 1182
1355.70/1360.07	c current bound: 1182
1356.17/1360.55	c current bound: 1182
1356.64/1361.02	c current bound: 1182
1357.24/1361.50	c current bound: 1182
1357.59/1361.97	c current bound: 1182
1358.07/1362.45	c current bound: 1182
1358.55/1362.94	c current bound: 1182
1359.03/1363.42	c current bound: 1182
1359.52/1363.90	c current bound: 1182
1360.00/1364.38	c current bound: 1182
1360.47/1364.86	c current bound: 1182
1360.96/1365.34	c current bound: 1182
1361.43/1365.81	c current bound: 1182
1361.89/1366.28	c current bound: 1182
1362.37/1366.75	c current bound: 1182
1362.93/1367.23	c current bound: 1182
1363.33/1367.71	c current bound: 1182
1363.80/1368.19	c current bound: 1182
1364.29/1368.66	c current bound: 1182
1364.77/1369.15	c current bound: 1182
1365.24/1369.63	c current bound: 1182
1365.74/1370.11	c current bound: 1182
1366.23/1370.59	c current bound: 1182
1366.81/1371.23	c current bound: 1182
1367.29/1371.71	c current bound: 1182
1367.66/1372.19	c current bound: 1182
1368.12/1372.66	c current bound: 1182
1368.61/1373.14	c current bound: 1182
1369.09/1373.62	c current bound: 1182
1369.57/1374.10	c current bound: 1182
1370.06/1374.59	c current bound: 1182
1370.53/1375.06	c current bound: 1182
1371.01/1375.53	c current bound: 1182
1371.60/1376.10	c current bound: 1182
1371.95/1376.57	c current bound: 1182
1372.42/1377.05	c current bound: 1182
1372.90/1377.53	c current bound: 1182
1373.38/1378.01	c current bound: 1182
1373.84/1378.48	c current bound: 1182
1374.33/1378.96	c current bound: 1182
1374.81/1379.44	c current bound: 1182
1375.28/1379.91	c current bound: 1182
1375.75/1380.38	c current bound: 1182
1376.23/1380.86	c current bound: 1182
1376.71/1381.34	c current bound: 1182
1377.20/1381.83	c current bound: 1182
1377.69/1382.32	c current bound: 1182
1378.29/1382.80	c current bound: 1182
1378.65/1383.28	c current bound: 1182
1379.19/1383.76	c current bound: 1182
1379.61/1384.23	c current bound: 1182
1380.08/1384.71	c current bound: 1182
1380.57/1385.19	c current bound: 1182
1381.05/1385.67	c current bound: 1182
1381.52/1386.15	c current bound: 1182
1382.00/1386.62	c current bound: 1182
1382.59/1387.10	c current bound: 1182
1382.96/1387.58	c current bound: 1182
1383.44/1388.07	c current bound: 1182
1383.91/1388.54	c current bound: 1182
1384.40/1389.02	c current bound: 1182
1384.99/1389.50	c current bound: 1182
1385.33/1389.97	c current bound: 1182
1385.80/1390.45	c current bound: 1182
1386.28/1390.92	c current bound: 1182
1386.76/1391.39	c current bound: 1182
1387.23/1391.86	c current bound: 1182
1387.69/1392.33	c current bound: 1182
1388.17/1392.82	c current bound: 1182
1388.77/1393.30	c current bound: 1182
1389.15/1393.78	c current bound: 1182
1389.61/1394.26	c current bound: 1182
1390.17/1394.73	c current bound: 1182
1390.56/1395.22	c current bound: 1182
1391.06/1395.71	c current bound: 1182
1391.54/1396.18	c current bound: 1182
1392.00/1396.65	c current bound: 1182
1392.59/1397.27	c current bound: 1182
1392.95/1397.74	c current bound: 1182
1393.42/1398.21	c current bound: 1182
1393.89/1398.69	c current bound: 1182
1394.42/1399.16	c current bound: 1182
1394.84/1399.64	c current bound: 1182
1395.34/1400.12	c current bound: 1182
1395.92/1400.60	c current bound: 1182
1396.26/1401.07	c current bound: 1182
1396.76/1401.56	c current bound: 1182
1397.23/1402.15	c current bound: 1182
1397.72/1402.63	c current bound: 1182
1398.20/1403.11	c current bound: 1182
1398.70/1403.60	c current bound: 1182
1399.17/1404.08	c current bound: 1182
1399.65/1404.56	c current bound: 1182
1400.12/1405.03	c current bound: 1182
1400.60/1405.51	c current bound: 1182
1401.07/1405.99	c current bound: 1182
1401.56/1406.47	c current bound: 1182
1402.04/1406.95	c current bound: 1182
1402.50/1407.42	c current bound: 1182
1402.97/1407.89	c current bound: 1182
1403.43/1408.36	c current bound: 1182
1403.93/1408.85	c current bound: 1182
1404.41/1409.33	c current bound: 1182
1404.88/1409.80	c current bound: 1182
1405.36/1410.28	c current bound: 1182
1405.84/1410.76	c current bound: 1182
1406.39/1411.23	c current bound: 1182
1406.80/1411.72	c current bound: 1182
1407.27/1412.19	c current bound: 1182
1407.74/1412.67	c current bound: 1182
1408.21/1413.14	c current bound: 1182
1408.68/1413.62	c current bound: 1182
1409.29/1414.10	c current bound: 1182
1409.69/1414.57	c current bound: 1182
1410.12/1415.04	c current bound: 1182
1410.58/1415.52	c current bound: 1182
1411.18/1416.00	c current bound: 1182
1411.55/1416.48	c current bound: 1182
1412.02/1416.95	c current bound: 1182
1412.49/1417.43	c current bound: 1182
1413.10/1417.90	c current bound: 1182
1413.45/1418.38	c current bound: 1182
1413.92/1418.86	c current bound: 1182
1414.41/1419.33	c current bound: 1182
1414.88/1419.81	c current bound: 1182
1415.36/1420.29	c current bound: 1182
1415.83/1420.77	c current bound: 1182
1416.32/1421.24	c current bound: 1182
1416.78/1421.71	c current bound: 1182
1417.25/1422.18	c current bound: 1182
1417.73/1422.67	c current bound: 1182
1418.20/1423.15	c current bound: 1182
1418.69/1423.63	c current bound: 1182
1419.17/1424.11	c current bound: 1182
1419.63/1424.59	c current bound: 1182
1420.12/1425.06	c current bound: 1182
1420.66/1425.53	c current bound: 1182
1421.05/1426.01	c current bound: 1182
1421.54/1426.48	c current bound: 1182
1422.01/1426.97	c current bound: 1182
1422.49/1427.44	c current bound: 1182
1422.96/1427.92	c current bound: 1182
1423.45/1428.39	c current bound: 1182
1423.97/1428.86	c current bound: 1182
1424.38/1429.34	c current bound: 1182
1424.87/1429.81	c current bound: 1182
1425.35/1430.30	c current bound: 1182
1425.82/1430.77	c current bound: 1182
1426.30/1431.25	c current bound: 1182
1426.78/1431.73	c current bound: 1182
1427.36/1432.20	c current bound: 1182
1427.73/1432.67	c current bound: 1182
1428.19/1433.14	c current bound: 1182
1428.68/1433.63	c current bound: 1182
1429.15/1434.10	c current bound: 1182
1429.62/1434.59	c current bound: 1182
1430.11/1435.06	c current bound: 1182
1430.57/1435.54	c current bound: 1182
1431.06/1436.02	c current bound: 1182
1431.53/1436.49	c current bound: 1182
1432.01/1436.97	c current bound: 1182
1432.48/1437.45	c current bound: 1182
1432.96/1437.92	c current bound: 1182
1433.45/1438.42	c current bound: 1182
1433.94/1438.90	c current bound: 1182
1434.41/1439.38	c current bound: 1182
1434.95/1439.85	c current bound: 1182
1435.36/1440.33	c current bound: 1182
1435.95/1440.80	c current bound: 1182
1436.32/1441.28	c current bound: 1182
1436.80/1441.77	c current bound: 1182
1437.27/1442.24	c current bound: 1182
1437.75/1442.72	c current bound: 1182
1438.36/1443.20	c current bound: 1182
1438.72/1443.69	c current bound: 1182
1439.19/1444.16	c current bound: 1182
1439.67/1444.64	c current bound: 1182
1440.15/1445.13	c current bound: 1182
1440.62/1445.61	c current bound: 1182
1441.25/1446.10	c current bound: 1182
1441.60/1446.58	c current bound: 1182
1442.08/1447.06	c current bound: 1182
1442.63/1447.54	c current bound: 1182
1443.04/1448.02	c current bound: 1182
1443.64/1448.50	c current bound: 1182
1444.00/1448.98	c current bound: 1182
1444.47/1449.47	c current bound: 1182
1444.94/1449.94	c current bound: 1182
1445.42/1450.41	c current bound: 1182
1445.92/1450.90	c current bound: 1182
1446.38/1451.37	c current bound: 1182
1446.86/1451.85	c current bound: 1182
1447.33/1452.32	c current bound: 1182
1447.80/1452.79	c current bound: 1182
1448.27/1453.26	c current bound: 1182
1448.74/1453.73	c current bound: 1182
1449.31/1454.21	c current bound: 1182
1449.68/1454.68	c current bound: 1182
1450.17/1455.16	c current bound: 1182
1450.63/1455.64	c current bound: 1182
1451.12/1456.12	c current bound: 1182
1451.59/1456.59	c current bound: 1182
1452.06/1457.06	c current bound: 1182
1452.55/1457.53	c current bound: 1182
1453.00/1458.00	c current bound: 1182
1453.48/1458.48	c current bound: 1182
1453.96/1458.95	c current bound: 1182
1454.42/1459.43	c current bound: 1182
1455.02/1459.90	c current bound: 1182
1455.37/1460.37	c current bound: 1182
1455.84/1460.85	c current bound: 1182
1456.32/1461.32	c current bound: 1182
1456.91/1461.80	c current bound: 1182
1457.27/1462.28	c current bound: 1182
1457.74/1462.75	c current bound: 1182
1458.22/1463.23	c current bound: 1182
1458.71/1463.71	c current bound: 1182
1459.18/1464.19	c current bound: 1182
1459.65/1464.73	c current bound: 1182
1460.23/1465.21	c current bound: 1182
1460.74/1465.70	c current bound: 1182
1461.10/1466.18	c current bound: 1182
1461.58/1466.65	c current bound: 1182
1462.07/1467.14	c current bound: 1182
1462.54/1467.61	c current bound: 1182
1463.02/1468.09	c current bound: 1182
1463.49/1468.56	c current bound: 1182
1463.98/1469.04	c current bound: 1182
1464.54/1469.52	c current bound: 1182
1464.95/1470.00	c current bound: 1182
1465.42/1470.48	c current bound: 1182
1465.87/1470.95	c current bound: 1182
1466.37/1471.43	c current bound: 1182
1466.84/1471.90	c current bound: 1182
1467.31/1472.38	c current bound: 1182
1467.84/1472.86	c current bound: 1182
1468.28/1473.34	c current bound: 1182
1468.74/1473.81	c current bound: 1182
1469.21/1474.28	c current bound: 1182
1469.68/1474.76	c current bound: 1182
1470.17/1475.24	c current bound: 1182
1470.64/1475.71	c current bound: 1182
1471.13/1476.18	c current bound: 1182
1471.59/1476.66	c current bound: 1182
1472.06/1477.14	c current bound: 1182
1472.54/1477.62	c current bound: 1182
1473.02/1478.09	c current bound: 1182
1473.50/1478.56	c current bound: 1182
1473.98/1479.04	c current bound: 1182
1474.54/1479.53	c current bound: 1182
1474.92/1480.01	c current bound: 1182
1475.39/1480.48	c current bound: 1182
1475.86/1480.95	c current bound: 1182
1476.31/1481.42	c current bound: 1182
1476.79/1481.90	c current bound: 1182
1477.28/1482.37	c current bound: 1182
1477.75/1482.84	c current bound: 1182
1478.24/1483.32	c current bound: 1182
1478.71/1483.80	c current bound: 1182
1479.18/1484.28	c current bound: 1182
1479.66/1484.75	c current bound: 1182
1480.13/1485.22	c current bound: 1182
1480.72/1485.70	c current bound: 1182
1481.09/1486.18	c current bound: 1182
1481.55/1486.66	c current bound: 1182
1482.12/1487.14	c current bound: 1182
1482.52/1487.61	c current bound: 1182
1482.99/1488.09	c current bound: 1182
1483.47/1488.56	c current bound: 1182
1483.95/1489.04	c current bound: 1182
1484.42/1489.51	c current bound: 1182
1484.90/1489.98	c current bound: 1182
1485.41/1490.47	c current bound: 1182
1485.85/1490.94	c current bound: 1182
1486.34/1491.42	c current bound: 1182
1486.82/1491.90	c current bound: 1182
1487.27/1492.37	c current bound: 1182
1487.76/1492.85	c current bound: 1182
1488.24/1493.33	c current bound: 1182
1488.71/1493.80	c current bound: 1182
1489.17/1494.27	c current bound: 1182
1489.65/1494.75	c current bound: 1182
1490.13/1495.22	c current bound: 1182
1490.60/1495.70	c current bound: 1182
1491.07/1496.18	c current bound: 1182
1491.56/1496.65	c current bound: 1182
1492.02/1497.12	c current bound: 1182
1492.49/1497.60	c current bound: 1182
1492.99/1498.08	c current bound: 1182
1493.46/1498.56	c current bound: 1182
1493.95/1499.04	c current bound: 1182
1494.41/1499.52	c current bound: 1182
1494.89/1499.99	c current bound: 1182
1495.37/1500.47	c current bound: 1182
1495.85/1500.95	c current bound: 1182
1496.41/1501.42	c current bound: 1182
1496.80/1501.90	c current bound: 1182
1497.27/1502.36	c current bound: 1182
1497.74/1502.84	c current bound: 1182
1498.20/1503.31	c current bound: 1182
1498.68/1503.79	c current bound: 1182
1499.16/1504.26	c current bound: 1182
1499.70/1504.74	c current bound: 1182
1500.10/1505.21	c current bound: 1182
1500.58/1505.69	c current bound: 1182
1501.05/1506.16	c current bound: 1182
1501.53/1506.64	c current bound: 1182
1502.00/1507.11	c current bound: 1182
1502.48/1507.58	c current bound: 1182
1503.00/1508.05	c current bound: 1182
1503.42/1508.53	c current bound: 1182
1503.90/1509.01	c current bound: 1182
1504.38/1509.49	c current bound: 1182
1504.86/1509.96	c current bound: 1182
1505.33/1510.53	c current bound: 1182
1505.91/1511.00	c current bound: 1182
1506.27/1511.47	c current bound: 1182
1506.74/1511.95	c current bound: 1182
1507.29/1512.43	c current bound: 1182
1507.70/1512.91	c current bound: 1182
1508.30/1513.40	c current bound: 1182
1508.66/1513.87	c current bound: 1182
1509.14/1514.34	c current bound: 1182
1509.61/1514.83	c current bound: 1182
1510.09/1515.29	c current bound: 1182
1510.59/1515.78	c current bound: 1182
1511.03/1516.25	c current bound: 1182
1511.52/1516.73	c current bound: 1182
1511.99/1517.20	c current bound: 1182
1512.45/1517.67	c current bound: 1182
1512.93/1518.14	c current bound: 1182
1513.40/1518.61	c current bound: 1182
1513.89/1519.09	c current bound: 1182
1514.34/1519.57	c current bound: 1182
1514.81/1520.04	c current bound: 1182
1515.30/1520.52	c current bound: 1182
1515.77/1520.99	c current bound: 1182
1516.25/1521.47	c current bound: 1182
1516.72/1521.95	c current bound: 1182
1517.20/1522.42	c current bound: 1182
1517.68/1522.91	c current bound: 1182
1518.15/1523.38	c current bound: 1182
1518.63/1523.85	c current bound: 1182
1519.10/1524.32	c current bound: 1182
1519.69/1524.80	c current bound: 1182
1520.06/1525.28	c current bound: 1182
1520.53/1525.75	c current bound: 1182
1521.00/1526.22	c current bound: 1182
1521.61/1526.71	c current bound: 1182
1521.95/1527.18	c current bound: 1182
1522.43/1527.65	c current bound: 1182
1522.92/1528.13	c current bound: 1182
1523.39/1528.60	c current bound: 1182
1523.86/1529.09	c current bound: 1182
1524.34/1529.56	c current bound: 1182
1524.88/1530.04	c current bound: 1182
1525.29/1530.51	c current bound: 1182
1525.77/1530.99	c current bound: 1182
1526.25/1531.48	c current bound: 1182
1526.74/1531.96	c current bound: 1182
1527.22/1532.44	c current bound: 1182
1527.71/1532.92	c current bound: 1182
1528.19/1533.40	c current bound: 1182
1528.64/1533.87	c current bound: 1182
1529.12/1534.34	c current bound: 1182
1529.59/1534.82	c current bound: 1182
1530.18/1535.30	c current bound: 1182
1530.53/1535.77	c current bound: 1182
1531.03/1536.25	c current bound: 1182
1531.49/1536.72	c current bound: 1182
1532.09/1537.20	c current bound: 1182
1532.45/1537.67	c current bound: 1182
1532.92/1538.14	c current bound: 1182
1533.38/1538.62	c current bound: 1182
1533.87/1539.09	c current bound: 1182
1534.34/1539.56	c current bound: 1182
1534.80/1540.04	c current bound: 1182
1535.30/1540.53	c current bound: 1182
1535.89/1541.02	c current bound: 1182
1536.38/1541.50	c current bound: 1182
1536.73/1541.97	c current bound: 1182
1537.20/1542.44	c current bound: 1182
1537.67/1542.91	c current bound: 1182
1538.16/1543.39	c current bound: 1182
1538.61/1543.86	c current bound: 1182
1539.16/1544.34	c current bound: 1182
1539.57/1544.82	c current bound: 1182
1540.05/1545.29	c current bound: 1182
1540.53/1545.77	c current bound: 1182
1541.00/1546.25	c current bound: 1182
1541.47/1546.73	c current bound: 1182
1542.07/1547.20	c current bound: 1182
1542.46/1547.68	c current bound: 1182
1542.91/1548.16	c current bound: 1182
1543.37/1548.63	c current bound: 1182
1543.85/1549.11	c current bound: 1182
1544.32/1549.59	c current bound: 1182
1544.80/1550.07	c current bound: 1182
1545.28/1550.54	c current bound: 1182
1545.85/1551.01	c current bound: 1182
1546.22/1551.50	c current bound: 1182
1546.69/1551.97	c current bound: 1182
1547.16/1552.46	c current bound: 1182
1547.65/1552.93	c current bound: 1182
1548.12/1553.41	c current bound: 1182
1548.59/1553.88	c current bound: 1182
1549.05/1554.35	c current bound: 1182
1549.53/1554.83	c current bound: 1182
1550.12/1555.30	c current bound: 1182
1550.48/1555.78	c current bound: 1182
1550.95/1556.25	c current bound: 1182
1551.56/1556.80	c current bound: 1182
1551.91/1557.27	c current bound: 1182
1552.37/1557.74	c current bound: 1182
1552.86/1558.21	c current bound: 1182
1553.34/1558.69	c current bound: 1182
1553.79/1559.16	c current bound: 1182
1554.28/1559.64	c current bound: 1182
1554.74/1560.11	c current bound: 1182
1555.23/1560.59	c current bound: 1182
1555.70/1561.07	c current bound: 1182
1556.19/1561.55	c current bound: 1182
1556.66/1562.04	c current bound: 1182
1557.13/1562.52	c current bound: 1182
1557.62/1563.00	c current bound: 1182
1558.10/1563.48	c current bound: 1182
1558.57/1563.95	c current bound: 1182
1559.05/1564.43	c current bound: 1182
1559.64/1564.90	c current bound: 1182
1559.98/1565.37	c current bound: 1182
1560.48/1565.85	c current bound: 1182
1561.03/1566.33	c current bound: 1182
1561.42/1566.81	c current bound: 1182
1561.89/1567.27	c current bound: 1182
1562.36/1567.76	c current bound: 1182
1562.85/1568.23	c current bound: 1182
1563.31/1568.71	c current bound: 1182
1563.79/1569.18	c current bound: 1182
1564.31/1569.66	c current bound: 1182
1564.74/1570.14	c current bound: 1182
1565.20/1570.61	c current bound: 1182
1565.69/1571.08	c current bound: 1182
1566.16/1571.55	c current bound: 1182
1566.64/1572.03	c current bound: 1182
1567.12/1572.50	c current bound: 1182
1567.62/1572.99	c current bound: 1182
1568.06/1573.46	c current bound: 1182
1568.54/1573.93	c current bound: 1182
1569.01/1574.40	c current bound: 1182
1569.48/1574.88	c current bound: 1182
1569.97/1575.37	c current bound: 1182
1570.45/1575.85	c current bound: 1182
1570.93/1576.32	c current bound: 1182
1571.41/1576.81	c current bound: 1182
1572.00/1577.31	c current bound: 1182
1572.36/1577.79	c current bound: 1182
1572.85/1578.27	c current bound: 1182
1573.32/1578.74	c current bound: 1182
1573.80/1579.22	c current bound: 1182
1574.26/1579.69	c current bound: 1182
1574.74/1580.16	c current bound: 1182
1575.29/1580.64	c current bound: 1182
1575.68/1581.11	c current bound: 1182
1576.17/1581.59	c current bound: 1182
1576.64/1582.07	c current bound: 1182
1577.12/1582.54	c current bound: 1182
1577.59/1583.01	c current bound: 1182
1578.20/1583.50	c current bound: 1182
1578.59/1583.98	c current bound: 1182
1579.03/1584.45	c current bound: 1182
1579.49/1584.92	c current bound: 1182
1580.09/1585.40	c current bound: 1182
1580.46/1585.88	c current bound: 1182
1580.94/1586.36	c current bound: 1182
1581.42/1586.83	c current bound: 1182
1581.99/1587.31	c current bound: 1182
1582.35/1587.78	c current bound: 1182
1582.83/1588.26	c current bound: 1182
1583.32/1588.75	c current bound: 1182
1583.80/1589.23	c current bound: 1182
1584.38/1589.70	c current bound: 1182
1584.76/1590.18	c current bound: 1182
1585.22/1590.65	c current bound: 1182
1585.69/1591.12	c current bound: 1182
1586.17/1591.59	c current bound: 1182
1586.65/1592.21	c current bound: 1182
1587.11/1592.68	c current bound: 1182
1587.59/1593.16	c current bound: 1182
1588.06/1593.64	c current bound: 1182
1588.54/1594.11	c current bound: 1182
1589.15/1594.60	c current bound: 1182
1589.51/1595.08	c current bound: 1182
1590.00/1595.56	c current bound: 1182
1590.55/1596.05	c current bound: 1182
1590.96/1596.53	c current bound: 1182
1591.55/1597.00	c current bound: 1182
1591.91/1597.47	c current bound: 1182
1592.38/1597.94	c current bound: 1182
1592.85/1598.41	c current bound: 1182
1593.33/1598.89	c current bound: 1182
1593.84/1599.37	c current bound: 1182
1594.30/1599.86	c current bound: 1182
1594.78/1600.34	c current bound: 1182
1595.25/1600.81	c current bound: 1182
1595.74/1601.29	c current bound: 1182
1596.21/1601.77	c current bound: 1182
1596.69/1602.25	c current bound: 1182
1597.15/1602.72	c current bound: 1182
1597.64/1603.20	c current bound: 1182
1598.11/1603.68	c current bound: 1182
1598.59/1604.15	c current bound: 1182
1599.07/1604.63	c current bound: 1182
1599.53/1605.10	c current bound: 1182
1600.03/1605.59	c current bound: 1182
1600.50/1606.07	c current bound: 1182
1600.98/1606.55	c current bound: 1182
1601.54/1607.02	c current bound: 1182
1602.05/1607.50	c current bound: 1182
1602.40/1607.97	c current bound: 1182
1602.86/1608.44	c current bound: 1182
1603.35/1608.91	c current bound: 1182
1603.83/1609.39	c current bound: 1182
1604.29/1609.87	c current bound: 1182
1604.84/1610.35	c current bound: 1182
1605.25/1610.82	c current bound: 1182
1605.73/1611.30	c current bound: 1182
1606.20/1611.77	c current bound: 1182
1606.67/1612.24	c current bound: 1182
1607.14/1612.71	c current bound: 1182
1607.61/1613.18	c current bound: 1182
1608.13/1613.66	c current bound: 1182
1608.55/1614.13	c current bound: 1182
1609.14/1614.60	c current bound: 1182
1609.48/1615.07	c current bound: 1182
1609.96/1615.55	c current bound: 1182
1610.44/1616.02	c current bound: 1182
1610.92/1616.49	c current bound: 1182
1611.43/1616.97	c current bound: 1182
1611.86/1617.44	c current bound: 1182
1612.35/1617.93	c current bound: 1182
1612.81/1618.40	c current bound: 1182
1613.29/1618.87	c current bound: 1182
1613.76/1619.34	c current bound: 1182
1614.25/1619.82	c current bound: 1182
1614.73/1620.30	c current bound: 1182
1615.19/1620.78	c current bound: 1182
1615.68/1621.26	c current bound: 1182
1616.14/1621.74	c current bound: 1182
1616.63/1622.22	c current bound: 1182
1617.23/1622.70	c current bound: 1182
1617.58/1623.17	c current bound: 1182
1618.05/1623.64	c current bound: 1182
1618.52/1624.12	c current bound: 1182
1619.10/1624.61	c current bound: 1182
1619.49/1625.08	c current bound: 1182
1619.95/1625.55	c current bound: 1182
1620.44/1626.03	c current bound: 1182
1620.92/1626.52	c current bound: 1182
1621.40/1626.99	c current bound: 1182
1621.87/1627.47	c current bound: 1182
1622.41/1627.94	c current bound: 1182
1622.82/1628.42	c current bound: 1182
1623.30/1628.91	c current bound: 1182
1623.77/1629.38	c current bound: 1182
1624.25/1629.86	c current bound: 1182
1624.73/1630.33	c current bound: 1182
1625.20/1630.81	c current bound: 1182
1625.71/1631.29	c current bound: 1182
1626.16/1631.77	c current bound: 1182
1626.63/1632.24	c current bound: 1182
1627.10/1632.71	c current bound: 1182
1627.58/1633.18	c current bound: 1182
1628.05/1633.65	c current bound: 1182
1628.52/1634.12	c current bound: 1182
1629.12/1634.60	c current bound: 1182
1629.47/1635.08	c current bound: 1182
1629.95/1635.56	c current bound: 1182
1630.42/1636.04	c current bound: 1182
1630.89/1636.51	c current bound: 1182
1631.37/1636.98	c current bound: 1182
1631.84/1637.46	c current bound: 1182
1632.32/1637.94	c current bound: 1182
1632.80/1638.42	c current bound: 1182
1633.40/1638.90	c current bound: 1182
1633.76/1639.38	c current bound: 1182
1634.24/1639.86	c current bound: 1182
1634.71/1640.34	c current bound: 1182
1635.20/1640.81	c current bound: 1182
1635.66/1641.28	c current bound: 1182
1636.14/1641.75	c current bound: 1182
1636.69/1642.23	c current bound: 1182
1637.07/1642.70	c current bound: 1182
1637.55/1643.18	c current bound: 1182
1638.03/1643.66	c current bound: 1182
1638.51/1644.13	c current bound: 1182
1638.99/1644.61	c current bound: 1182
1639.59/1645.10	c current bound: 1182
1639.98/1645.57	c current bound: 1182
1640.42/1646.04	c current bound: 1182
1640.90/1646.53	c current bound: 1182
1641.49/1647.00	c current bound: 1182
1641.86/1647.48	c current bound: 1182
1642.33/1647.96	c current bound: 1182
1642.81/1648.43	c current bound: 1182
1643.38/1648.91	c current bound: 1182
1643.75/1649.39	c current bound: 1182
1644.24/1649.86	c current bound: 1182
1644.70/1650.33	c current bound: 1182
1645.19/1650.81	c current bound: 1182
1645.66/1651.29	c current bound: 1182
1646.15/1651.78	c current bound: 1182
1646.64/1652.26	c current bound: 1182
1647.10/1652.74	c current bound: 1182
1647.67/1653.22	c current bound: 1182
1648.07/1653.70	c current bound: 1182
1648.54/1654.18	c current bound: 1182
1649.01/1654.66	c current bound: 1182
1649.51/1655.14	c current bound: 1182
1649.97/1655.61	c current bound: 1182
1650.46/1656.09	c current bound: 1182
1650.98/1656.57	c current bound: 1182
1651.40/1657.04	c current bound: 1182
1651.88/1657.53	c current bound: 1182
1652.48/1658.00	c current bound: 1182
1652.83/1658.47	c current bound: 1182
1653.30/1658.95	c current bound: 1182
1653.80/1659.43	c current bound: 1182
1654.37/1659.91	c current bound: 1182
1654.74/1660.38	c current bound: 1182
1655.21/1660.86	c current bound: 1182
1655.68/1661.33	c current bound: 1182
1656.17/1661.81	c current bound: 1182
1656.64/1662.28	c current bound: 1182
1657.11/1662.76	c current bound: 1182
1657.59/1663.23	c current bound: 1182
1658.05/1663.70	c current bound: 1182
1658.52/1664.18	c current bound: 1182
1659.01/1664.66	c current bound: 1182
1659.49/1665.13	c current bound: 1182
1659.95/1665.60	c current bound: 1182
1660.43/1666.07	c current bound: 1182
1660.90/1666.55	c current bound: 1182
1661.38/1667.03	c current bound: 1182
1661.97/1667.50	c current bound: 1182
1662.33/1667.98	c current bound: 1182
1662.80/1668.46	c current bound: 1182
1663.28/1668.93	c current bound: 1182
1663.76/1669.41	c current bound: 1182
1664.24/1669.88	c current bound: 1182
1664.72/1670.36	c current bound: 1182
1665.26/1670.84	c current bound: 1182
1665.66/1671.31	c current bound: 1182
1666.14/1671.79	c current bound: 1182
1666.62/1672.26	c current bound: 1182
1667.10/1672.74	c current bound: 1182
1667.57/1673.22	c current bound: 1182
1668.04/1673.69	c current bound: 1182
1668.56/1674.16	c current bound: 1182
1668.99/1674.64	c current bound: 1182
1669.46/1675.11	c current bound: 1182
1669.95/1675.59	c current bound: 1182
1670.43/1676.07	c current bound: 1182
1670.91/1676.56	c current bound: 1182
1671.39/1677.04	c current bound: 1182
1671.96/1677.51	c current bound: 1182
1672.34/1677.99	c current bound: 1182
1672.83/1678.47	c current bound: 1182
1673.30/1678.94	c current bound: 1182
1673.76/1679.42	c current bound: 1182
1674.36/1679.90	c current bound: 1182
1674.71/1680.37	c current bound: 1182
1675.19/1680.84	c current bound: 1182
1675.66/1681.31	c current bound: 1182
1676.13/1681.79	c current bound: 1182
1676.61/1682.27	c current bound: 1182
1677.09/1682.75	c current bound: 1182
1677.57/1683.23	c current bound: 1182
1678.05/1683.70	c current bound: 1182
1678.51/1684.17	c current bound: 1182
1679.00/1684.65	c current bound: 1182
1679.56/1685.14	c current bound: 1182
1679.96/1685.61	c current bound: 1182
1680.43/1686.09	c current bound: 1182
1680.89/1686.55	c current bound: 1182
1681.36/1687.03	c current bound: 1182
1681.85/1687.51	c current bound: 1182
1682.33/1687.99	c current bound: 1182
1682.85/1688.47	c current bound: 1182
1683.27/1688.95	c current bound: 1182
1683.77/1689.43	c current bound: 1182
1684.35/1689.90	c current bound: 1182
1684.72/1690.38	c current bound: 1182
1685.19/1690.85	c current bound: 1182
1685.67/1691.34	c current bound: 1182
1686.16/1691.82	c current bound: 1182
1686.62/1692.29	c current bound: 1182
1687.09/1692.75	c current bound: 1182
1687.56/1693.23	c current bound: 1182
1688.05/1693.71	c current bound: 1182
1688.52/1694.18	c current bound: 1182
1689.00/1694.65	c current bound: 1182
1689.48/1695.15	c current bound: 1182
1689.95/1695.62	c current bound: 1182
1690.42/1696.10	c current bound: 1182
1690.90/1696.57	c current bound: 1182
1691.38/1697.05	c current bound: 1182
1691.87/1697.53	c current bound: 1182
1692.33/1698.01	c current bound: 1182
1692.80/1698.48	c current bound: 1182
1693.30/1698.96	c current bound: 1182
1693.85/1699.44	c current bound: 1182
1694.24/1699.91	c current bound: 1182
1694.71/1700.38	c current bound: 1182
1695.18/1700.85	c current bound: 1182
1695.65/1701.33	c current bound: 1182
1696.24/1701.80	c current bound: 1182
1696.60/1702.27	c current bound: 1182
1697.14/1702.75	c current bound: 1182
1697.54/1703.23	c current bound: 1182
1698.02/1703.71	c current bound: 1182
1698.51/1704.19	c current bound: 1182
1698.99/1704.67	c current bound: 1182
1699.47/1705.15	c current bound: 1182
1699.95/1705.63	c current bound: 1182
1700.54/1706.11	c current bound: 1182
1700.91/1706.59	c current bound: 1182
1701.38/1707.07	c current bound: 1182
1701.87/1707.55	c current bound: 1182
1702.35/1708.02	c current bound: 1182
1702.82/1708.50	c current bound: 1182
1703.31/1708.98	c current bound: 1182
1703.77/1709.45	c current bound: 1182
1704.25/1709.93	c current bound: 1182
1704.84/1710.42	c current bound: 1182
1705.21/1710.89	c current bound: 1182
1705.69/1711.36	c current bound: 1182
1706.17/1711.83	c current bound: 1182
1706.64/1712.47	c current bound: 1182
1707.11/1712.94	c current bound: 1182
1707.57/1713.41	c current bound: 1182
1708.06/1713.88	c current bound: 1182
1708.53/1714.36	c current bound: 1182
1709.08/1714.84	c current bound: 1182
1709.49/1715.31	c current bound: 1182
1709.95/1715.79	c current bound: 1182
1710.44/1716.27	c current bound: 1182
1710.91/1716.75	c current bound: 1182
1711.40/1717.23	c current bound: 1182
1711.87/1717.70	c current bound: 1182
1712.39/1718.19	c current bound: 1182
1712.83/1718.67	c current bound: 1182
1713.31/1719.14	c current bound: 1182
1713.79/1719.62	c current bound: 1182
1714.39/1720.10	c current bound: 1182
1714.73/1720.57	c current bound: 1182
1715.21/1721.04	c current bound: 1182
1715.69/1721.52	c current bound: 1182
1716.16/1721.99	c current bound: 1182
1716.63/1722.47	c current bound: 1182
1717.11/1722.94	c current bound: 1182
1717.59/1723.42	c current bound: 1182
1718.06/1723.89	c current bound: 1182
1718.54/1724.37	c current bound: 1182
1719.01/1724.83	c current bound: 1182
1719.48/1725.30	c current bound: 1182
1719.94/1725.77	c current bound: 1182
1720.42/1726.24	c current bound: 1182
1720.88/1726.71	c current bound: 1182
1721.37/1727.19	c current bound: 1182
1721.84/1727.66	c current bound: 1182
1722.31/1728.13	c current bound: 1182
1722.77/1728.60	c current bound: 1182
1723.26/1729.08	c current bound: 1182
1723.73/1729.56	c current bound: 1182
1724.21/1730.03	c current bound: 1182
1724.69/1730.51	c current bound: 1182
1725.15/1730.98	c current bound: 1182
1725.64/1731.47	c current bound: 1182
1726.11/1731.94	c current bound: 1182
1726.70/1732.42	c current bound: 1182
1727.09/1732.90	c current bound: 1182
1727.55/1733.38	c current bound: 1182
1728.01/1733.85	c current bound: 1182
1728.49/1734.32	c current bound: 1182
1728.97/1734.79	c current bound: 1182
1729.45/1735.26	c current bound: 1182
1729.99/1735.74	c current bound: 1182
1730.39/1736.21	c current bound: 1182
1730.86/1736.68	c current bound: 1182
1731.33/1737.15	c current bound: 1182
1731.79/1737.62	c current bound: 1182
1732.40/1738.10	c current bound: 1182
1732.76/1738.58	c current bound: 1182
1733.29/1739.07	c current bound: 1182
1733.73/1739.55	c current bound: 1182
1734.21/1740.03	c current bound: 1182
1734.68/1740.50	c current bound: 1182
1735.16/1740.97	c current bound: 1182
1735.64/1741.45	c current bound: 1182
1736.11/1741.93	c current bound: 1182
1736.70/1742.41	c current bound: 1182
1737.06/1742.88	c current bound: 1182
1737.53/1743.35	c current bound: 1182
1738.02/1743.84	c current bound: 1182
1738.49/1744.31	c current bound: 1182
1738.97/1744.78	c current bound: 1182
1739.44/1745.26	c current bound: 1182
1739.92/1745.74	c current bound: 1182
1740.39/1746.21	c current bound: 1182
1740.87/1746.69	c current bound: 1182
1741.35/1747.16	c current bound: 1182
1741.82/1747.63	c current bound: 1182
1742.29/1748.11	c current bound: 1182
1742.77/1748.58	c current bound: 1182
1743.24/1749.06	c current bound: 1182
1743.72/1749.54	c current bound: 1182
1744.30/1750.02	c current bound: 1182
1744.67/1750.49	c current bound: 1182
1745.15/1750.96	c current bound: 1182
1745.63/1751.44	c current bound: 1182
1746.10/1751.91	c current bound: 1182
1746.58/1752.39	c current bound: 1182
1747.05/1752.87	c current bound: 1182
1747.60/1753.35	c current bound: 1182
1748.00/1753.82	c current bound: 1182
1748.49/1754.31	c current bound: 1182
1748.96/1754.79	c current bound: 1182
1749.45/1755.26	c current bound: 1182
1749.91/1755.74	c current bound: 1182
1750.40/1756.22	c current bound: 1182
1751.00/1756.70	c current bound: 1182
1751.35/1757.18	c current bound: 1182
1751.85/1757.66	c current bound: 1182
1752.31/1758.14	c current bound: 1182
1752.79/1758.61	c current bound: 1182
1753.26/1759.09	c current bound: 1182
1753.74/1759.56	c current bound: 1182
1754.22/1760.05	c current bound: 1182
1754.71/1760.53	c current bound: 1182
1755.17/1761.00	c current bound: 1182
1755.64/1761.47	c current bound: 1182
1756.11/1761.94	c current bound: 1182
1756.59/1762.41	c current bound: 1182
1757.05/1762.88	c current bound: 1182
1757.54/1763.36	c current bound: 1182
1758.00/1763.83	c current bound: 1182
1758.47/1764.30	c current bound: 1182
1758.95/1764.78	c current bound: 1182
1759.42/1765.25	c current bound: 1182
1759.91/1765.73	c current bound: 1182
1760.37/1766.20	c current bound: 1182
1760.86/1766.69	c current bound: 1182
1761.33/1767.16	c current bound: 1182
1761.88/1767.64	c current bound: 1182
1762.29/1768.12	c current bound: 1182
1762.76/1768.59	c current bound: 1182
1763.24/1769.07	c current bound: 1182
1763.71/1769.54	c current bound: 1182
1764.19/1770.01	c current bound: 1182
1764.66/1770.49	c current bound: 1182
1765.19/1770.97	c current bound: 1182
1765.61/1771.44	c current bound: 1182
1766.09/1771.92	c current bound: 1182
1766.68/1772.40	c current bound: 1182
1767.04/1772.88	c current bound: 1182
1767.53/1773.36	c current bound: 1182
1768.00/1773.83	c current bound: 1182
1768.47/1774.30	c current bound: 1182
1768.95/1774.78	c current bound: 1182
1769.43/1775.26	c current bound: 1182
1769.91/1775.73	c current bound: 1182
1770.37/1776.20	c current bound: 1182
1770.86/1776.68	c current bound: 1182
1771.32/1777.15	c current bound: 1182
1771.80/1777.62	c current bound: 1182
1772.39/1778.10	c current bound: 1182
1772.75/1778.58	c current bound: 1182
1773.23/1779.05	c current bound: 1182
1773.69/1779.52	c current bound: 1182
1774.17/1779.99	c current bound: 1182
1774.64/1780.47	c current bound: 1182
1775.12/1780.94	c current bound: 1182
1775.59/1781.43	c current bound: 1182
1776.07/1781.90	c current bound: 1182
1776.56/1782.37	c current bound: 1182
1777.03/1782.85	c current bound: 1182
1777.50/1783.32	c current bound: 1182
1777.98/1783.80	c current bound: 1182
1778.46/1784.28	c current bound: 1182
1778.94/1784.76	c current bound: 1182
1779.49/1785.24	c current bound: 1182
1779.90/1785.72	c current bound: 1182
1780.36/1786.19	c current bound: 1182
1780.84/1786.67	c current bound: 1182
1781.32/1787.14	c current bound: 1182
1781.79/1787.62	c current bound: 1182
1782.26/1788.09	c current bound: 1182
1782.79/1788.57	c current bound: 1182
1783.24/1789.05	c current bound: 1182
1783.69/1789.52	c current bound: 1182
1784.17/1789.99	c current bound: 1182
1784.65/1790.46	c current bound: 1182
1785.10/1790.96	c current bound: 1182
1785.58/1791.43	c current bound: 1182
1786.19/1791.90	c current bound: 1182
1786.53/1792.38	c current bound: 1182
1787.02/1792.86	c current bound: 1182
1787.49/1793.33	c current bound: 1182
1787.97/1793.82	c current bound: 1182
1788.58/1794.30	c current bound: 1182
1788.94/1794.78	c current bound: 1182
1789.42/1795.26	c current bound: 1182
1789.89/1795.73	c current bound: 1182
1790.48/1796.21	c current bound: 1182
1790.85/1796.69	c current bound: 1182
1791.31/1797.16	c current bound: 1182
1791.80/1797.64	c current bound: 1182
1792.29/1798.12	c current bound: 1182
1792.77/1798.60	c current bound: 1182
1793.24/1799.07	c current bound: 1182
1793.77/1799.55	c current bound: 1182
1794.19/1800.03	c current bound: 1182
1794.78/1800.50	c current bound: 1182
1795.13/1800.97	c current bound: 1182
1795.60/1801.44	c current bound: 1182
1796.08/1801.91	c current bound: 1182
1796.54/1802.38	c current bound: 1182
1797.08/1802.86	c current bound: 1182
1797.49/1803.33	c current bound: 1182
1797.97/1803.80	c current bound: 1182
1798.44/1804.28	c current bound: 1182
1798.92/1804.75	c current bound: 1182
1799.39/1805.22	c current bound: 1182
1799.88/1805.61	HOME/npSolver-wbo-Itdqb.sh: line 18:  7214 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 7213
/proc/meminfo: memFree=28877868/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0

[startup+0.0936401 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 7213
/proc/meminfo: memFree=28877868/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10019 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 7213
/proc/meminfo: memFree=28877868/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300112 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 7213
/proc/meminfo: memFree=28877868/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700202 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 7213
/proc/meminfo: memFree=28877868/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50017 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 7230
/proc/meminfo: memFree=28861612/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1.37 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 4696 22309 0 0 12 3 112 10 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 21452

[startup+3.10028 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 7248
/proc/meminfo: memFree=28843008/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=2.94 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 10951 52335 0 0 25 6 229 34 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 21452

[startup+6.30018 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 7297
/proc/meminfo: memFree=28843716/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=6.24 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 21913 114888 0 0 48 11 484 81 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 21452

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/184 7398
/proc/meminfo: memFree=28904168/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=12.42 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 42271 232158 0 0 92 20 966 164 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 21452

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 7591
/proc/meminfo: memFree=28858440/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=6160 CPUtime=25.24 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) R 7213 7213 1843 0 -1 4202496 83664 473485 0 0 180 38 1962 344 20 0 1 0 288553259 6307840 1069 33554432000 4194304 5990268 140734372897472 140734372889456 5042551 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 1540 1069 176 439 0 1097 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 15308

[startup+51.1002 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 7962
/proc/meminfo: memFree=28845372/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=50.82 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 167560 956873 0 0 359 73 3961 689 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 21452

[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 8727
/proc/meminfo: memFree=28844268/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=101.76 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 335122 1921460 0 0 718 143 7927 1388 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 21452

[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 9612
/proc/meminfo: memFree=28846364/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=161.33 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 532429 3048472 0 0 1140 226 12547 2220 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 161.33
Current children cumulated vsize (KiB) 21452

[startup+222.3 s]
/proc/loadavg: 1.86 1.96 1.98 3/184 10527
/proc/meminfo: memFree=28857628/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=221.33 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 729745 4179919 0 0 1560 311 17198 3064 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 21452

[startup+282.3 s]
/proc/loadavg: 1.84 1.95 1.98 3/183 11407
/proc/meminfo: memFree=28846460/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=281.14 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 925504 5308464 0 0 1981 389 21863 3881 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 21452

[startup+342.3 s]
/proc/loadavg: 1.94 1.96 1.98 3/183 12303
/proc/meminfo: memFree=28863036/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=340.8 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 1122811 6432698 0 0 2404 471 26501 4704 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
[pid=12302] ppid=7214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12302/stat : 12302 (satsolver.sh) S 7214 7213 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288587458 9367552 266 33554432000 4194304 5064252 140736873071248 140736873070160 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12302/statm: 2287 266 226 213 0 72 0
[pid=12303] ppid=12302 vsize=24984 CPUtime=0.29 cores=1,3,5,7
/proc/12303/stat : 12303 (glucose) R 12302 7213 1843 0 -1 4202496 5096 0 0 0 29 0 0 0 20 0 1 0 288587458 25583616 5416 33554432000 4194304 5208918 140737058935488 140737058933336 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 6246 5416 105 248 0 5995 0
Current children cumulated CPU time (s) 341.09

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

[pid=7214] ppid=7213 vsize=12304 CPUtime=1357.75 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 4467787 25629484 0 0 9558 1869 105758 18590 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1357.75
Current children cumulated vsize (KiB) 21452

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

[startup+1397.01 s]
/proc/loadavg: 2.03 1.99 1.97 3/184 27954
/proc/meminfo: memFree=29007280/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1392.16 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 4580539 26276397 0 0 9798 1917 108443 19058 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
[pid=27953] ppid=7214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27953/stat : 27953 (satsolver.sh) S 7214 7213 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288692928 9367552 267 33554432000 4194304 5064252 140736522468016 140736522466928 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27953/statm: 2287 267 226 213 0 72 0
[pid=27954] ppid=27953 vsize=24984 CPUtime=0.3 cores=1,3,5,7
/proc/27954/stat : 27954 (glucose) R 27953 7213 1843 0 -1 4202496 5093 0 0 0 29 1 0 0 20 0 1 0 288692928 25583616 5415 33554432000 4194304 5208918 140734571989360 140734571987208 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27954/statm: 6246 5415 105 248 0 5995 0
Current children cumulated CPU time (s) 1392.46
Current children cumulated vsize (KiB) 55584

[startup+1397.1 s]
/proc/loadavg: 2.03 1.99 1.97 3/184 27954
/proc/meminfo: memFree=29007280/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1392.46 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 4580548 26282094 0 0 9798 1917 108472 19059 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1392.46
Current children cumulated vsize (KiB) 21452
#
############


[startup+1422.31 s]
/proc/loadavg: 1.87 1.95 1.96 3/181 28596
/proc/meminfo: memFree=29033980/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1417.42 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 4663537 26754390 0 0 9976 1952 110419 19395 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1417.42
Current children cumulated vsize (KiB) 21452

[startup+1482.3 s]
/proc/loadavg: 1.97 1.96 1.96 3/180 30101
/proc/meminfo: memFree=29018460/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1477.28 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 4859296 27885227 0 0 10394 2034 115086 20214 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1477.28
Current children cumulated vsize (KiB) 21452

[startup+1542.3 s]
/proc/loadavg: 1.90 1.95 1.95 3/183 31616
/proc/meminfo: memFree=29005244/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1536.89 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 5056603 29009758 0 0 10815 2118 119720 21036 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
[pid=31615] ppid=7214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31615/stat : 31615 (satsolver.sh) S 7214 7213 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288707460 9367552 266 33554432000 4194304 5064252 140733924343088 140733924342000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31615/statm: 2287 266 226 213 0 72 0
[pid=31616] ppid=31615 vsize=24816 CPUtime=0.27 cores=1,3,5,7
/proc/31616/stat : 31616 (glucose) R 31615 7213 1843 0 -1 4202496 5071 0 0 0 26 1 0 0 20 0 1 0 288707460 25411584 5390 33554432000 4194304 5208918 140737161895808 140737161893656 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31616/statm: 6204 5390 103 248 0 5953 0
Current children cumulated CPU time (s) 1537.16
Current children cumulated vsize (KiB) 55416

[startup+1602.3 s]
/proc/loadavg: 1.80 1.91 1.94 3/183 662
/proc/meminfo: memFree=29012896/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1596.83 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 5253919 30145904 0 0 11238 2200 124386 21859 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1596.83
Current children cumulated vsize (KiB) 21452

[startup+1662.3 s]
/proc/loadavg: 1.97 1.94 1.94 3/183 2257
/proc/meminfo: memFree=29004404/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=6160 CPUtime=1656.78 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) R 7213 7213 1843 0 -1 4202496 5450310 31283213 0 0 11658 2283 129040 22697 20 0 1 0 288553259 6307840 1033 33554432000 4194304 5990268 140734372897472 140734372889456 5042529 0 0 4096 0 0 0 0 17 1 0 0 8 0 0
/proc/7214/statm: 1540 1033 176 439 0 1097 0
Current children cumulated CPU time (s) 1656.78
Current children cumulated vsize (KiB) 15308

[startup+1722.3 s]
/proc/loadavg: 1.95 1.93 1.94 3/183 3762
/proc/meminfo: memFree=29001436/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1716.33 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 5646985 32406490 0 0 12078 2368 133671 23516 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1716.33
Current children cumulated vsize (KiB) 21452

[startup+1782.3 s]
/proc/loadavg: 2.04 1.96 1.94 3/183 5308
/proc/meminfo: memFree=29034356/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1776.56 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 5844310 33547512 0 0 12504 2446 138351 24355 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
Current children cumulated CPU time (s) 1776.56
Current children cumulated vsize (KiB) 21452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.6 s]
/proc/loadavg: 1.97 1.95 1.94 3/183 5909
/proc/meminfo: memFree=29017740/32873648 swapFree=7116/7116
[pid=7213] ppid=7211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7213/stat : 7213 (npSolver-wbo-It) S 7211 7213 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288553258 9367552 275 33554432000 4194304 5064252 140734159422912 140734159421824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7213/statm: 2287 275 233 213 0 72 0
[pid=7214] ppid=7213 vsize=12304 CPUtime=1799.86 cores=1,3,5,7
/proc/7214/stat : 7214 (npSolver-wbo) S 7213 7213 1843 0 -1 4202496 5921044 33988510 0 0 12667 2479 140175 24665 20 0 1 0 288553259 12599296 2467 33554432000 4194304 5990268 140734372897472 140734372888368 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7214/statm: 3076 2467 176 439 0 2633 0
[pid=5907] ppid=7214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5907/stat : 5907 (cp2_post.sh) S 7214 7213 1843 0 -1 4202496 613 226 0 0 0 0 0 0 20 0 1 0 288733816 9367552 266 33554432000 4194304 5064252 140734164170128 140734164168416 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5907/statm: 2287 266 225 213 0 72 0
[pid=5909] ppid=5907 vsize=7992 CPUtime=0.02 cores=1,3,5,7
/proc/5909/stat : 5909 (coprocessor) R 5907 7213 1843 0 -1 4202496 1335 0 0 0 2 0 0 0 20 0 1 0 288733816 8183808 1423 33554432000 4194304 6586260 140735189193664 140734164168440 5074434 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/5909/statm: 1998 1423 148 584 0 1410 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 38592

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1805.62
CPU time (s): 1800.3
CPU user time (s): 1528.85
CPU system time (s): 271.453
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 55588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1528.44
system time used= 271.453
maximum resident set size= 22832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39911165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25707520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 454087
involuntary context switches= 44495

runsolver used 3.36449 second user time and 8.58769 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-28 18:57:39
IDJOB=3715956
IDBENCH=79189
IDSOLVER=2297
FILE ID=node114/3715956-1338224259
RUNJOBID= node114-1338194810-1860
PBS_JOBID= 14624601
Free space on /tmp= 71432 MiB

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

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

MD5SUM BENCH= dbf89d35013c2bab398211fa15264c93
RANDOM SEED=1040402676

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:        28878124 kB
Buffers:          801992 kB
Cached:          2101568 kB
SwapCached:         2108 kB
Active:          1742120 kB
Inactive:        1344548 kB
Active(anon):     168580 kB
Inactive(anon):     7892 kB
Active(file):    1573540 kB
Inactive(file):  1336656 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103912 kB
Dirty:              8408 kB
Writeback:             0 kB
AnonPages:        197932 kB
Mapped:            15476 kB
Shmem:               116 kB
Slab:             768516 kB
SReclaimable:     211840 kB
SUnreclaim:       556676 kB
KernelStack:        1520 kB
PageTables:         4836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     316732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 71440 MiB
End job on node114 at 2012-05-28 19:27:45