Trace number 3715823

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.06 1798.52

General information on the benchmark

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

Solver Data 

0.00/0.01	c run usual solver
0.00/0.05	o 7309
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 21.2034
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 3654
0.00/0.62	c current bound: 3654
1.17/1.20	c current bound: 3654
1.52/1.76	c current bound: 3654
2.09/2.33	c current bound: 3654
2.65/2.89	c current bound: 3654
3.22/3.46	c current bound: 3654
3.78/4.30	c current bound: 3654
4.34/4.86	c current bound: 3654
5.09/5.43	c current bound: 3654
5.47/5.99	c current bound: 3654
6.19/6.56	c current bound: 3654
6.60/7.12	c current bound: 3654
7.29/7.69	c current bound: 3654
7.74/8.25	c current bound: 3654
8.48/8.82	c current bound: 3654
8.86/9.38	c current bound: 3654
9.58/9.95	c current bound: 3654
9.99/10.52	c current bound: 3654
10.67/11.09	c current bound: 3654
11.12/11.66	c current bound: 3654
11.69/12.22	c current bound: 3654
12.25/12.78	c current bound: 3654
12.82/13.34	c current bound: 3654
13.37/13.91	c current bound: 3654
13.95/14.48	c current bound: 3654
14.50/15.04	c current bound: 3654
15.08/15.60	c current bound: 3654
15.64/16.17	c current bound: 3654
16.21/16.74	c current bound: 3654
16.77/17.31	c current bound: 3654
17.34/17.88	c current bound: 3654
17.91/18.45	c current bound: 3654
18.49/19.01	c current bound: 3654
19.05/19.58	c current bound: 3654
19.61/20.14	c current bound: 3654
20.17/20.70	c current bound: 3654
20.74/21.27	c current bound: 3654
21.31/21.84	c current bound: 3654
21.88/22.40	c current bound: 3654
22.44/22.97	c current bound: 3654
23.00/23.53	c current bound: 3654
23.57/24.09	c current bound: 3654
24.14/24.66	c current bound: 3654
24.89/25.23	c current bound: 3654
25.27/25.80	c current bound: 3654
25.97/26.37	c current bound: 3654
26.40/26.93	c current bound: 3654
27.08/27.50	c current bound: 3654
27.53/28.06	c current bound: 3654
28.28/28.62	c current bound: 3654
28.66/29.19	c current bound: 3654
29.37/29.76	c current bound: 3654
29.79/30.33	c current bound: 3654
30.49/30.89	c current bound: 3654
30.93/31.46	c current bound: 3654
31.49/32.02	c current bound: 3654
32.07/32.58	c current bound: 3654
32.62/33.14	c current bound: 3654
33.18/33.71	c current bound: 3654
33.75/34.27	c current bound: 3654
34.31/34.83	c current bound: 3654
35.09/35.40	c current bound: 3654
35.44/35.96	c current bound: 3654
36.00/36.52	c current bound: 3654
36.58/37.09	c current bound: 3654
37.13/37.65	c current bound: 3654
37.70/38.22	c current bound: 3654
38.26/38.78	c current bound: 3654
38.82/39.34	c current bound: 3654
39.40/39.91	c current bound: 3654
39.96/40.47	c current bound: 3654
40.53/41.04	c current bound: 3654
41.09/41.61	c current bound: 3654
41.66/42.17	c current bound: 3654
42.23/42.73	c current bound: 3654
42.79/43.29	c current bound: 3654
43.35/43.85	c current bound: 3654
43.91/44.42	c current bound: 3654
44.47/44.99	c current bound: 3654
45.03/45.55	c current bound: 3654
45.78/46.11	c current bound: 3654
46.17/46.68	c current bound: 3654
46.89/47.25	c current bound: 3654
47.30/47.82	c current bound: 3654
48.01/48.38	c current bound: 3654
48.44/48.95	c current bound: 3654
49.21/49.51	c current bound: 3654
49.57/50.09	c current bound: 3654
50.30/50.65	c current bound: 3654
50.69/51.22	c current bound: 3654
51.39/51.78	c current bound: 3654
51.83/52.35	c current bound: 3654
52.60/52.91	c current bound: 3654
52.96/53.48	c current bound: 3654
53.54/54.04	c current bound: 3654
54.10/54.60	c current bound: 3654
54.66/55.17	c current bound: 3654
55.23/55.73	c current bound: 3654
56.00/56.30	c current bound: 3654
56.36/56.86	c current bound: 3654
56.92/57.42	c current bound: 3654
57.47/57.99	c current bound: 3654
58.04/58.55	c current bound: 3654
58.60/59.11	c current bound: 3654
59.17/59.68	c current bound: 3654
59.73/60.24	c current bound: 3654
60.29/60.81	c current bound: 3654
60.87/61.37	c current bound: 3654
61.43/61.93	c current bound: 3654
61.99/62.49	c current bound: 3654
62.55/63.05	c current bound: 3654
63.11/63.62	c current bound: 3654
63.69/64.18	c current bound: 3654
64.25/64.74	c current bound: 3654
64.81/65.30	c current bound: 3654
65.36/65.87	c current bound: 3654
65.93/66.43	c current bound: 3654
66.49/66.99	c current bound: 3654
67.07/67.57	c current bound: 3654
67.83/68.13	c current bound: 3654
68.44/68.70	c current bound: 3654
68.92/69.26	c current bound: 3654
69.34/69.83	c current bound: 3654
70.02/70.40	c current bound: 3654
70.47/70.96	c current bound: 3654
71.23/71.52	c current bound: 3654
71.60/72.09	c current bound: 3654
72.32/72.66	c current bound: 3654
72.73/73.22	c current bound: 3654
73.43/73.79	c current bound: 3654
73.88/74.35	c current bound: 3654
74.63/74.91	c current bound: 3654
75.01/75.48	c current bound: 3654
75.58/76.04	c current bound: 3654
76.13/76.61	c current bound: 3654
76.70/77.18	c current bound: 3654
77.27/77.74	c current bound: 3654
77.84/78.31	c current bound: 3654
78.41/78.87	c current bound: 3654
78.97/79.44	c current bound: 3654
79.55/80.00	c current bound: 3654
80.11/80.57	c current bound: 3654
80.67/81.13	c current bound: 3654
81.24/81.70	c current bound: 3654
81.80/82.26	c current bound: 3654
82.37/82.83	c current bound: 3654
82.95/83.39	c current bound: 3654
83.50/83.95	c current bound: 3654
84.07/84.52	c current bound: 3654
84.64/85.08	c current bound: 3654
85.20/85.66	c current bound: 3654
85.77/86.23	c current bound: 3654
86.35/86.79	c current bound: 3654
86.93/87.36	c current bound: 3654
87.66/87.94	c current bound: 3654
88.06/88.51	c current bound: 3654
88.77/89.08	c current bound: 3654
89.20/89.64	c current bound: 3654
89.99/90.21	c current bound: 3654
90.34/90.77	c current bound: 3654
91.07/91.34	c current bound: 3654
91.47/91.90	c current bound: 3654
92.18/92.47	c current bound: 3654
92.61/93.04	c current bound: 3654
93.37/93.60	c current bound: 3654
93.74/94.17	c current bound: 3654
94.31/94.73	c current bound: 3654
94.87/95.29	c current bound: 3654
95.44/95.86	c current bound: 3654
96.00/96.42	c current bound: 3654
96.57/96.99	c current bound: 3654
97.12/97.55	c current bound: 3654
97.69/98.12	c current bound: 3654
98.26/98.68	c current bound: 3654
98.83/99.24	c current bound: 3654
99.39/99.80	c current bound: 3654
99.95/100.37	c current bound: 3654
100.52/100.94	c current bound: 3654
101.30/101.50	c current bound: 3654
101.66/102.06	c current bound: 3654
102.22/102.62	c current bound: 3654
102.78/103.19	c current bound: 3654
103.34/103.75	c current bound: 3654
103.91/104.32	c current bound: 3654
104.48/104.88	c current bound: 3654
105.04/105.44	c current bound: 3654
105.60/106.01	c current bound: 3654
106.18/106.58	c current bound: 3654
106.74/107.14	c current bound: 3654
107.51/107.71	c current bound: 3654
107.88/108.27	c current bound: 3654
108.60/108.84	c current bound: 3654
109.02/109.40	c current bound: 3654
109.72/109.98	c current bound: 3654
110.16/110.54	c current bound: 3654
110.93/111.11	c current bound: 3654
111.29/111.67	c current bound: 3654
112.03/112.23	c current bound: 3654
112.64/112.80	c current bound: 3654
113.12/113.36	c current bound: 3654
113.55/113.92	c current bound: 3654
114.24/114.48	c current bound: 3654
114.66/115.04	c current bound: 3654
115.43/115.61	c current bound: 3654
115.80/116.18	c current bound: 3654
116.36/116.75	c current bound: 3654
116.92/117.31	c current bound: 3654
117.49/117.88	c current bound: 3654
118.05/118.44	c current bound: 3654
118.61/119.01	c current bound: 3654
119.19/119.57	c current bound: 3654
119.75/120.13	c current bound: 3654
120.32/120.70	c current bound: 3654
120.89/121.27	c current bound: 3654
121.46/121.84	c current bound: 3654
122.04/122.41	c current bound: 3654
122.60/122.97	c current bound: 3654
123.16/123.53	c current bound: 3654
123.73/124.10	c current bound: 3654
124.29/124.66	c current bound: 3654
124.85/125.23	c current bound: 3654
125.42/125.79	c current bound: 3654
125.98/126.35	c current bound: 3654
126.54/126.92	c current bound: 3654
127.11/127.48	c current bound: 3654
127.67/128.05	c current bound: 3654
128.44/128.61	c current bound: 3654
128.82/129.18	c current bound: 3654
129.54/129.75	c current bound: 3654
129.95/130.31	c current bound: 3654
130.65/130.88	c current bound: 3654
131.08/131.44	c current bound: 3654
131.87/132.01	c current bound: 3654
132.21/132.57	c current bound: 3654
132.95/133.13	c current bound: 3654
133.56/133.70	c current bound: 3654
134.06/134.26	c current bound: 3654
134.48/134.83	c current bound: 3654
135.16/135.39	c current bound: 3654
135.61/135.96	c current bound: 3654
136.17/136.52	c current bound: 3654
136.74/137.08	c current bound: 3654
137.31/137.65	c current bound: 3654
137.86/138.21	c current bound: 3654
138.43/138.78	c current bound: 3654
138.99/139.35	c current bound: 3654
139.56/139.91	c current bound: 3654
140.13/140.48	c current bound: 3654
140.71/141.04	c current bound: 3654
141.49/141.71	c current bound: 3654
141.85/142.27	c current bound: 3654
142.41/142.84	c current bound: 3654
143.19/143.40	c current bound: 3654
143.53/143.96	c current bound: 3654
144.09/144.54	c current bound: 3654
144.89/145.10	c current bound: 3654
145.23/145.66	c current bound: 3654
145.98/146.23	c current bound: 3654
146.37/146.79	c current bound: 3654
147.08/147.37	c current bound: 3654
147.52/147.93	c current bound: 3654
148.19/148.50	c current bound: 3654
148.63/149.06	c current bound: 3654
149.40/149.63	c current bound: 3654
149.77/150.19	c current bound: 3654
150.49/150.75	c current bound: 3654
150.90/151.32	c current bound: 3654
151.61/151.88	c current bound: 3654
152.04/152.45	c current bound: 3654
152.78/153.01	c current bound: 3654
153.17/153.57	c current bound: 3654
153.73/154.16	c current bound: 3654
154.33/154.73	c current bound: 3654
154.89/155.29	c current bound: 3654
155.45/155.86	c current bound: 3654
156.03/156.42	c current bound: 3654
156.59/156.98	c current bound: 3654
157.16/157.55	c current bound: 3654
157.72/158.11	c current bound: 3654
158.28/158.68	c current bound: 3654
158.85/159.24	c current bound: 3654
159.41/159.81	c current bound: 3654
159.97/160.38	c current bound: 3654
160.56/160.94	c current bound: 3654
161.13/161.52	c current bound: 3654
161.69/162.09	c current bound: 3654
162.27/162.66	c current bound: 3654
162.83/163.22	c current bound: 3654
163.41/163.79	c current bound: 3654
163.97/164.35	c current bound: 3654
164.74/164.92	c current bound: 3654
165.10/165.48	c current bound: 3654
165.84/166.05	c current bound: 3654
166.25/166.61	c current bound: 3654
166.94/167.18	c current bound: 3654
167.36/167.74	c current bound: 3654
168.12/168.31	c current bound: 3654
168.49/168.87	c current bound: 3654
169.24/169.44	c current bound: 3654
169.62/170.00	c current bound: 3654
170.34/170.57	c current bound: 3654
170.75/171.13	c current bound: 3654
171.45/171.69	c current bound: 3654
171.89/172.25	c current bound: 3654
172.46/172.82	c current bound: 3654
173.00/173.38	c current bound: 3654
173.58/173.94	c current bound: 3654
174.14/174.51	c current bound: 3654
174.72/175.07	c current bound: 3654
175.28/175.63	c current bound: 3654
176.06/176.20	c current bound: 3654
176.40/176.76	c current bound: 3654
176.98/177.33	c current bound: 3654
177.54/177.89	c current bound: 3654
178.11/178.45	c current bound: 3654
178.68/179.02	c current bound: 3654
179.23/179.58	c current bound: 3654
179.80/180.15	c current bound: 3654
180.37/180.71	c current bound: 3654
180.94/181.28	c current bound: 3654
181.49/181.84	c current bound: 3654
182.06/182.42	c current bound: 3654
182.63/182.98	c current bound: 3654
183.20/183.55	c current bound: 3654
183.76/184.11	c current bound: 3654
184.34/184.68	c current bound: 3654
184.91/185.25	c current bound: 3654
185.68/185.82	c current bound: 3654
186.06/186.38	c current bound: 3654
186.79/186.95	c current bound: 3654
187.19/187.51	c current bound: 3654
187.87/188.08	c current bound: 3654
188.31/188.64	c current bound: 3654
189.09/189.21	c current bound: 3654
189.46/189.78	c current bound: 3654
190.18/190.34	c current bound: 3654
190.57/190.91	c current bound: 3654
191.29/191.48	c current bound: 3654
191.73/192.05	c current bound: 3654
192.47/192.61	c current bound: 3654
192.85/193.17	c current bound: 3654
193.42/193.74	c current bound: 3654
194.00/194.30	c current bound: 3654
194.55/194.87	c current bound: 3654
195.11/195.43	c current bound: 3654
195.91/196.00	c current bound: 3654
196.24/196.57	c current bound: 3654
196.82/197.14	c current bound: 3654
197.61/197.70	c current bound: 3654
197.95/198.26	c current bound: 3654
198.52/198.83	c current bound: 3654
199.31/199.40	c current bound: 3654
199.66/199.96	c current bound: 3654
200.23/200.53	c current bound: 3654
201.02/201.10	c current bound: 3654
201.36/201.66	c current bound: 3654
201.93/202.23	c current bound: 3654
202.50/202.79	c current bound: 3654
203.08/203.36	c current bound: 3654
203.63/203.92	c current bound: 3654
204.20/204.49	c current bound: 3654
204.78/205.06	c current bound: 3654
205.54/205.62	c current bound: 3654
205.90/206.19	c current bound: 3654
206.64/206.75	c current bound: 3654
207.04/207.32	c current bound: 3654
207.74/207.88	c current bound: 3654
208.18/208.44	c current bound: 3654
208.95/209.01	c current bound: 3654
209.30/209.58	c current bound: 3654
210.04/210.14	c current bound: 3654
210.44/210.71	c current bound: 3654
211.15/211.27	c current bound: 3654
211.57/211.84	c current bound: 3654
212.34/212.40	c current bound: 3654
212.69/212.98	c current bound: 3654
213.28/213.54	c current bound: 3654
213.85/214.11	c current bound: 3654
214.40/214.67	c current bound: 3654
214.97/215.23	c current bound: 3654
215.55/215.80	c current bound: 3654
216.11/216.37	c current bound: 3654
216.67/216.93	c current bound: 3654
217.45/217.50	c current bound: 3654
217.81/218.07	c current bound: 3654
218.38/218.63	c current bound: 3654
219.16/219.20	c current bound: 3654
219.50/219.76	c current bound: 3654
220.08/220.33	c current bound: 3654
220.87/220.90	c current bound: 3654
221.21/221.46	c current bound: 3654
221.79/222.03	c current bound: 3654
222.35/222.59	c current bound: 3654
222.91/223.16	c current bound: 3654
223.47/223.72	c current bound: 3654
224.05/224.29	c current bound: 3654
224.61/224.85	c current bound: 3654
225.38/225.41	c current bound: 3654
225.74/225.97	c current bound: 3654
226.49/226.53	c current bound: 3654
226.86/227.09	c current bound: 3654
227.57/227.65	c current bound: 3654
227.98/228.21	c current bound: 3654
228.68/228.78	c current bound: 3654
229.11/229.34	c current bound: 3654
229.77/229.90	c current bound: 3654
230.23/230.46	c current bound: 3654
230.97/231.02	c current bound: 3654
231.35/231.59	c current bound: 3654
232.09/232.15	c current bound: 3654
232.48/232.71	c current bound: 3654
233.19/233.27	c current bound: 3654
233.61/233.83	c current bound: 3654
234.39/234.40	c current bound: 3654
234.74/234.96	c current bound: 3654
235.29/235.52	c current bound: 3654
235.88/236.08	c current bound: 3654
236.42/236.65	c current bound: 3654
237.00/237.21	c current bound: 3654
237.56/237.78	c current bound: 3654
238.14/238.34	c current bound: 3654
238.70/238.91	c current bound: 3654
239.28/239.47	c current bound: 3654
239.84/240.03	c current bound: 3654
240.62/240.60	c current bound: 3654
240.96/241.16	c current bound: 3654
241.53/241.72	c current bound: 3654
242.09/242.28	c current bound: 3654
242.65/242.84	c current bound: 3654
243.22/243.41	c current bound: 3654
243.79/243.98	c current bound: 3654
244.35/244.54	c current bound: 3654
244.93/245.11	c current bound: 3654
245.48/245.67	c current bound: 3654
246.06/246.23	c current bound: 3654
246.62/246.79	c current bound: 3654
247.17/247.35	c current bound: 3654
247.73/247.92	c current bound: 3654
248.31/248.48	c current bound: 3654
248.87/249.05	c current bound: 3654
249.64/249.61	c current bound: 3654
250.01/250.17	c current bound: 3654
250.74/250.74	c current bound: 3654
251.13/251.31	c current bound: 3654
251.84/251.88	c current bound: 3654
252.28/252.44	c current bound: 3654
252.94/253.00	c current bound: 3654
253.39/253.56	c current bound: 3654
254.13/254.12	c current bound: 3654
254.51/254.69	c current bound: 3654
255.23/255.25	c current bound: 3654
255.64/255.81	c current bound: 3654
256.35/256.37	c current bound: 3654
256.77/256.93	c current bound: 3654
257.56/257.50	c current bound: 3654
257.92/258.06	c current bound: 3654
258.48/258.62	c current bound: 3654
259.03/259.19	c current bound: 3654
259.59/259.75	c current bound: 3654
260.16/260.31	c current bound: 3654
260.72/260.88	c current bound: 3654
261.29/261.44	c current bound: 3654
261.84/262.00	c current bound: 3654
262.41/262.57	c current bound: 3654
262.98/263.13	c current bound: 3654
263.54/263.69	c current bound: 3654
264.11/264.26	c current bound: 3654
264.67/264.82	c current bound: 3654
265.23/265.38	c current bound: 3654
265.80/265.95	c current bound: 3654
266.37/266.51	c current bound: 3654
266.93/267.07	c current bound: 3654
267.49/267.64	c current bound: 3654
268.05/268.20	c current bound: 3654
268.62/268.77	c current bound: 3654
269.18/269.34	c current bound: 3654
269.97/269.90	c current bound: 3654
270.32/270.46	c current bound: 3654
270.89/271.03	c current bound: 3654
271.46/271.60	c current bound: 3654
272.03/272.17	c current bound: 3654
272.77/272.74	c current bound: 3654
273.18/273.31	c current bound: 3654
273.89/273.87	c current bound: 3654
274.31/274.44	c current bound: 3654
275.10/275.00	c current bound: 3654
275.44/275.57	c current bound: 3654
276.19/276.13	c current bound: 3654
276.59/276.69	c current bound: 3654
277.29/277.26	c current bound: 3654
277.70/277.82	c current bound: 3654
278.40/278.38	c current bound: 3654
278.84/278.95	c current bound: 3654
279.60/279.51	c current bound: 3654
279.97/280.07	c current bound: 3654
280.53/280.64	c current bound: 3654
281.31/281.20	c current bound: 3654
281.67/281.76	c current bound: 3654
282.22/282.32	c current bound: 3654
282.78/282.89	c current bound: 3654
283.35/283.46	c current bound: 3654
283.92/284.02	c current bound: 3654
284.48/284.59	c current bound: 3654
285.06/285.15	c current bound: 3654
285.63/285.72	c current bound: 3654
286.19/286.28	c current bound: 3654
286.77/286.85	c current bound: 3654
287.33/287.41	c current bound: 3654
287.89/287.98	c current bound: 3654
288.46/288.55	c current bound: 3654
289.04/289.11	c current bound: 3654
289.60/289.68	c current bound: 3654
290.16/290.24	c current bound: 3654
290.73/290.81	c current bound: 3654
291.30/291.37	c current bound: 3654
291.88/291.94	c current bound: 3654
292.66/292.50	c current bound: 3654
293.01/293.07	c current bound: 3654
293.74/293.63	c current bound: 3654
294.36/294.20	c current bound: 3654
294.86/294.76	c current bound: 3654
295.27/295.33	c current bound: 3654
295.96/295.89	c current bound: 3654
296.40/296.46	c current bound: 3654
297.15/297.02	c current bound: 3654
297.54/297.58	c current bound: 3654
298.25/298.15	c current bound: 3654
298.67/298.71	c current bound: 3654
299.37/299.27	c current bound: 3654
299.80/299.83	c current bound: 3654
300.57/300.40	c current bound: 3654
300.91/300.96	c current bound: 3654
301.49/301.53	c current bound: 3654
302.05/302.10	c current bound: 3654
302.62/302.67	c current bound: 3654
303.19/303.23	c current bound: 3654
303.76/303.79	c current bound: 3654
304.33/304.36	c current bound: 3654
304.89/304.93	c current bound: 3654
305.46/305.49	c current bound: 3654
306.02/306.05	c current bound: 3654
306.59/306.62	c current bound: 3654
307.15/307.19	c current bound: 3654
307.72/307.75	c current bound: 3654
308.28/308.32	c current bound: 3654
308.87/308.89	c current bound: 3654
309.43/309.47	c current bound: 3654
310.01/310.04	c current bound: 3654
310.79/310.60	c current bound: 3654
311.15/311.17	c current bound: 3654
311.71/311.73	c current bound: 3654
312.28/312.30	c current bound: 3654
313.05/312.91	c current bound: 3654
313.55/313.47	c current bound: 3654
313.97/314.04	c current bound: 3654
314.75/314.60	c current bound: 3654
315.10/315.17	c current bound: 3654
315.83/315.73	c current bound: 3654
316.23/316.29	c current bound: 3654
316.95/316.85	c current bound: 3654
317.35/317.41	c current bound: 3654
318.04/317.97	c current bound: 3654
318.48/318.54	c current bound: 3654
319.26/319.10	c current bound: 3654
319.60/319.66	c current bound: 3654
320.16/320.22	c current bound: 3654
320.72/320.78	c current bound: 3654
321.29/321.35	c current bound: 3654
321.84/321.91	c current bound: 3654
322.41/322.47	c current bound: 3654
322.98/323.03	c current bound: 3654
323.55/323.59	c current bound: 3654
324.10/324.16	c current bound: 3654
324.67/324.72	c current bound: 3654
325.23/325.29	c current bound: 3654
325.80/325.85	c current bound: 3654
326.36/326.42	c current bound: 3654
326.94/326.98	c current bound: 3654
327.50/327.54	c current bound: 3654
328.07/328.11	c current bound: 3654
328.62/328.67	c current bound: 3654
329.19/329.23	c current bound: 3654
329.97/329.80	c current bound: 3654
330.32/330.36	c current bound: 3654
330.87/330.92	c current bound: 3654
331.45/331.48	c current bound: 3654
332.00/332.06	c current bound: 3654
332.59/332.62	c current bound: 3654
333.15/333.18	c current bound: 3654
333.70/333.75	c current bound: 3654
334.47/334.31	c current bound: 3654
334.83/334.87	c current bound: 3654
335.58/335.44	c current bound: 3654
335.97/336.01	c current bound: 3654
336.68/336.57	c current bound: 3654
337.10/337.14	c current bound: 3654
337.77/337.70	c current bound: 3654
338.24/338.27	c current bound: 3654
338.99/338.83	c current bound: 3654
339.37/339.39	c current bound: 3654
340.09/339.95	c current bound: 3654
340.50/340.52	c current bound: 3654
341.18/341.09	c current bound: 3654
341.62/341.65	c current bound: 3654
342.38/342.21	c current bound: 3654
342.74/342.78	c current bound: 3654
343.31/343.35	c current bound: 3654
343.89/343.91	c current bound: 3654
344.46/344.47	c current bound: 3654
345.02/345.04	c current bound: 3654
345.59/345.61	c current bound: 3654
346.15/346.17	c current bound: 3654
346.72/346.73	c current bound: 3654
347.51/347.30	c current bound: 3654
348.08/348.11	c current bound: 3654
348.56/348.67	c current bound: 3654
348.98/349.24	c current bound: 3654
349.75/350.01	c current bound: 3654
350.11/350.57	c current bound: 3654
350.68/351.13	c current bound: 3654
351.25/351.69	c current bound: 3654
351.82/352.26	c current bound: 3654
352.37/352.82	c current bound: 3654
352.94/353.38	c current bound: 3654
353.50/353.95	c current bound: 3654
354.07/354.51	c current bound: 3654
354.63/355.07	c current bound: 3654
355.19/355.64	c current bound: 3654
355.76/356.20	c current bound: 3654
356.32/356.76	c current bound: 3654
356.87/357.33	c current bound: 3654
357.44/357.89	c current bound: 3654
358.01/358.45	c current bound: 3654
358.57/359.01	c current bound: 3654
359.13/359.57	c current bound: 3654
359.69/360.13	c current bound: 3654
360.49/360.71	c current bound: 3654
360.83/361.27	c current bound: 3654
361.57/361.83	c current bound: 3654
362.17/362.40	c current bound: 3654
362.68/362.96	c current bound: 3654
363.08/363.53	c current bound: 3654
363.78/364.09	c current bound: 3654
364.21/364.65	c current bound: 3654
364.97/365.22	c current bound: 3654
365.34/365.78	c current bound: 3654
366.07/366.34	c current bound: 3654
366.45/366.90	c current bound: 3654
367.17/367.46	c current bound: 3654
367.58/368.03	c current bound: 3654
368.36/368.60	c current bound: 3654
368.73/369.17	c current bound: 3654
369.28/369.73	c current bound: 3654
370.06/370.30	c current bound: 3654
370.41/370.86	c current bound: 3654
370.99/371.43	c current bound: 3654
371.55/371.99	c current bound: 3654
372.12/372.55	c current bound: 3654
372.68/373.12	c current bound: 3654
373.24/373.68	c current bound: 3654
373.82/374.25	c current bound: 3654
374.37/374.81	c current bound: 3654
374.94/375.38	c current bound: 3654
375.51/375.94	c current bound: 3654
376.08/376.50	c current bound: 3654
376.64/377.07	c current bound: 3654
377.21/377.63	c current bound: 3654
377.99/378.20	c current bound: 3654
378.34/378.76	c current bound: 3654
378.89/379.33	c current bound: 3654
379.70/379.90	c current bound: 3654
380.04/380.46	c current bound: 3654
380.60/381.02	c current bound: 3654
381.17/381.58	c current bound: 3654
381.73/382.15	c current bound: 3654
382.50/382.71	c current bound: 3654
382.86/383.28	c current bound: 3654
383.59/383.84	c current bound: 3654
383.99/384.41	c current bound: 3654
384.70/384.97	c current bound: 3654
385.12/385.55	c current bound: 3654
385.88/386.11	c current bound: 3654
386.24/386.67	c current bound: 3654
386.98/387.23	c current bound: 3654
387.37/387.79	c current bound: 3654
388.08/388.36	c current bound: 3654
388.48/388.92	c current bound: 3654
389.18/389.48	c current bound: 3654
389.60/390.04	c current bound: 3654
390.37/390.61	c current bound: 3654
390.75/391.17	c current bound: 3654
391.30/391.73	c current bound: 3654
391.87/392.30	c current bound: 3654
392.44/392.86	c current bound: 3654
393.00/393.42	c current bound: 3654
393.56/393.98	c current bound: 3654
394.13/394.55	c current bound: 3654
394.69/395.11	c current bound: 3654
395.27/395.69	c current bound: 3654
395.82/396.25	c current bound: 3654
396.38/396.82	c current bound: 3654
396.94/397.38	c current bound: 3654
397.50/397.94	c current bound: 3654
398.29/398.50	c current bound: 3654
398.62/399.06	c current bound: 3654
399.19/399.62	c current bound: 3654
399.76/400.19	c current bound: 3654
400.33/400.75	c current bound: 3654
400.89/401.32	c current bound: 3654
401.46/401.88	c current bound: 3654
402.02/402.44	c current bound: 3654
402.79/403.00	c current bound: 3654
403.13/403.56	c current bound: 3654
403.69/404.12	c current bound: 3654
404.26/404.69	c current bound: 3654
404.83/405.25	c current bound: 3654
405.58/405.82	c current bound: 3654
405.96/406.38	c current bound: 3654
406.70/406.95	c current bound: 3654
407.10/407.51	c current bound: 3654
407.80/408.07	c current bound: 3654
408.23/408.64	c current bound: 3654
409.00/409.20	c current bound: 3654
409.35/409.77	c current bound: 3654
410.09/410.33	c current bound: 3654
410.70/410.90	c current bound: 3654
411.19/411.47	c current bound: 3654
411.61/412.03	c current bound: 3654
412.30/412.59	c current bound: 3654
412.75/413.16	c current bound: 3654
413.30/413.73	c current bound: 3654
413.87/414.29	c current bound: 3654
414.44/414.85	c current bound: 3654
415.01/415.42	c current bound: 3654
415.57/415.99	c current bound: 3654
416.15/416.56	c current bound: 3654
416.71/417.12	c current bound: 3654
417.27/417.69	c current bound: 3654
417.85/418.25	c current bound: 3654
418.41/418.82	c current bound: 3654
418.97/419.38	c current bound: 3654
419.54/419.95	c current bound: 3654
420.11/420.51	c current bound: 3654
420.68/421.07	c current bound: 3654
421.23/421.64	c current bound: 3654
421.80/422.21	c current bound: 3654
422.36/422.77	c current bound: 3654
422.94/423.33	c current bound: 3654
423.49/423.89	c current bound: 3654
424.05/424.46	c current bound: 3654
424.62/425.03	c current bound: 3654
425.19/425.59	c current bound: 3654
425.75/426.16	c current bound: 3654
426.51/426.72	c current bound: 3654
426.88/427.28	c current bound: 3654
427.61/427.85	c current bound: 3654
428.00/428.41	c current bound: 3654
428.70/428.98	c current bound: 3654
429.13/429.54	c current bound: 3654
429.91/430.10	c current bound: 3654
430.26/430.68	c current bound: 3654
430.98/431.24	c current bound: 3654
431.40/431.81	c current bound: 3654
432.09/432.37	c current bound: 3654
432.51/432.93	c current bound: 3654
433.19/433.49	c current bound: 3654
433.65/434.06	c current bound: 3654
434.20/434.63	c current bound: 3654
434.78/435.19	c current bound: 3654
435.34/435.75	c current bound: 3654
435.91/436.31	c current bound: 3654
436.46/436.88	c current bound: 3654
437.03/437.44	c current bound: 3654
437.59/438.00	c current bound: 3654
438.15/438.56	c current bound: 3654
438.72/439.13	c current bound: 3654
439.28/439.69	c current bound: 3654
439.84/440.25	c current bound: 3654
440.41/440.82	c current bound: 3654
440.98/441.38	c current bound: 3654
441.55/441.94	c current bound: 3654
442.11/442.51	c current bound: 3654
442.68/443.07	c current bound: 3654
443.24/443.63	c current bound: 3654
444.03/444.20	c current bound: 3654
444.38/444.76	c current bound: 3654
444.94/445.32	c current bound: 3654
445.51/445.88	c current bound: 3654
446.06/446.45	c current bound: 3654
446.62/447.01	c current bound: 3654
447.18/447.57	c current bound: 3654
447.74/448.14	c current bound: 3654
448.31/448.70	c current bound: 3654
448.88/449.26	c current bound: 3654
449.62/449.83	c current bound: 3654
450.01/450.39	c current bound: 3654
450.72/450.96	c current bound: 3654
451.14/451.53	c current bound: 3654
451.82/452.09	c current bound: 3654
452.27/452.66	c current bound: 3654
453.03/453.23	c current bound: 3654
453.40/453.79	c current bound: 3654
454.12/454.36	c current bound: 3654
454.53/454.92	c current bound: 3654
455.21/455.49	c current bound: 3654
455.66/456.05	c current bound: 3654
456.24/456.62	c current bound: 3654
456.81/457.18	c current bound: 3654
457.38/457.74	c current bound: 3654
457.93/458.31	c current bound: 3654
458.50/458.87	c current bound: 3654
459.06/459.43	c current bound: 3654
459.63/459.99	c current bound: 3654
460.19/460.56	c current bound: 3654
460.76/461.12	c current bound: 3654
461.32/461.69	c current bound: 3654
461.88/462.25	c current bound: 3654
462.45/462.81	c current bound: 3654
463.02/463.38	c current bound: 3654
463.59/463.94	c current bound: 3654
464.15/464.50	c current bound: 3654
464.73/465.07	c current bound: 3654
465.28/465.63	c current bound: 3654
465.85/466.19	c current bound: 3654
466.41/466.76	c current bound: 3654
466.98/467.32	c current bound: 3654
467.53/467.88	c current bound: 3654
468.10/468.44	c current bound: 3654
468.66/469.01	c current bound: 3654
469.22/469.57	c current bound: 3654
469.79/470.13	c current bound: 3654
470.58/470.70	c current bound: 3654
470.93/471.26	c current bound: 3654
471.67/471.83	c current bound: 3654
472.04/472.39	c current bound: 3654
472.77/472.95	c current bound: 3654
473.18/473.52	c current bound: 3654
473.87/474.08	c current bound: 3654
474.31/474.64	c current bound: 3654
474.98/475.20	c current bound: 3654
475.42/475.76	c current bound: 3654
476.18/476.33	c current bound: 3654
476.54/476.89	c current bound: 3654
477.28/477.45	c current bound: 3654
477.67/478.01	c current bound: 3654
478.36/478.57	c current bound: 3654
478.80/479.15	c current bound: 3654
479.57/479.70	c current bound: 3654
479.93/480.26	c current bound: 3654
480.49/480.83	c current bound: 3654
481.07/481.39	c current bound: 3654
481.63/481.96	c current bound: 3654
482.19/482.52	c current bound: 3654
482.76/483.09	c current bound: 3654
483.33/483.66	c current bound: 3654
483.90/484.24	c current bound: 3654
484.69/484.80	c current bound: 3654
485.04/485.36	c current bound: 3654
485.60/485.93	c current bound: 3654
486.17/486.49	c current bound: 3654
486.73/487.06	c current bound: 3654
487.30/487.62	c current bound: 3654
487.86/488.19	c current bound: 3654
488.43/488.75	c current bound: 3654
489.00/489.32	c current bound: 3654
489.57/489.88	c current bound: 3654
490.14/490.45	c current bound: 3654
490.70/491.03	c current bound: 3654
491.29/491.59	c current bound: 3654
491.85/492.16	c current bound: 3654
492.60/492.74	c current bound: 3654
492.98/493.30	c current bound: 3654
493.71/493.87	c current bound: 3654
494.12/494.44	c current bound: 3654
494.81/495.00	c current bound: 3654
495.25/495.57	c current bound: 3654
496.00/496.14	c current bound: 3654
496.40/496.70	c current bound: 3654
497.11/497.27	c current bound: 3654
497.54/497.83	c current bound: 3654
498.31/498.42	c current bound: 3654
498.68/498.99	c current bound: 3654
499.24/499.55	c current bound: 3654
499.82/500.12	c current bound: 3654
500.39/500.69	c current bound: 3654
500.94/501.25	c current bound: 3654
501.53/501.82	c current bound: 3654
502.10/502.38	c current bound: 3654
502.66/502.94	c current bound: 3654
503.22/503.51	c current bound: 3654
503.80/504.07	c current bound: 3654
504.35/504.64	c current bound: 3654
504.92/505.20	c current bound: 3654
505.48/505.77	c current bound: 3654
506.06/506.33	c current bound: 3654
506.62/506.89	c current bound: 3654
507.18/507.46	c current bound: 3654
507.75/508.02	c current bound: 3654
508.32/508.58	c current bound: 3654
508.87/509.15	c current bound: 3654
509.44/509.71	c current bound: 3654
510.00/510.28	c current bound: 3654
510.57/510.84	c current bound: 3654
511.36/511.40	c current bound: 3654
511.71/511.97	c current bound: 3654
512.45/512.53	c current bound: 3654
512.84/513.11	c current bound: 3654
513.54/513.67	c current bound: 3654
513.99/514.24	c current bound: 3654
514.76/514.80	c current bound: 3654
515.11/515.37	c current bound: 3654
515.86/515.93	c current bound: 3654
516.48/516.50	c current bound: 3654
516.97/517.06	c current bound: 3654
517.38/517.63	c current bound: 3654
518.18/518.20	c current bound: 3654
518.53/518.77	c current bound: 3654
519.08/519.33	c current bound: 3654
519.88/519.90	c current bound: 3654
520.22/520.47	c current bound: 3654
520.81/521.03	c current bound: 3654
521.59/521.60	c current bound: 3654
521.93/522.16	c current bound: 3654
522.50/522.75	c current bound: 3654
523.09/523.31	c current bound: 3654
523.65/523.87	c current bound: 3654
524.22/524.44	c current bound: 3654
524.78/525.00	c current bound: 3654
525.34/525.56	c current bound: 3654
525.91/526.13	c current bound: 3654
526.46/526.69	c current bound: 3654
527.04/527.26	c current bound: 3654
527.60/527.82	c current bound: 3654
528.17/528.38	c current bound: 3654
528.72/528.94	c current bound: 3654
529.29/529.50	c current bound: 3654
529.84/530.07	c current bound: 3654
530.41/530.63	c current bound: 3654
530.97/531.19	c current bound: 3654
531.53/531.75	c current bound: 3654
532.29/532.31	c current bound: 3654
532.66/532.87	c current bound: 3654
533.41/533.43	c current bound: 3654
533.78/533.99	c current bound: 3654
534.51/534.56	c current bound: 3654
534.91/535.12	c current bound: 3654
535.61/535.68	c current bound: 3654
536.04/536.24	c current bound: 3654
536.83/536.80	c current bound: 3654
537.16/537.36	c current bound: 3654
537.91/537.93	c current bound: 3654
538.30/538.49	c current bound: 3654
539.01/539.05	c current bound: 3654
539.42/539.61	c current bound: 3654
540.12/540.18	c current bound: 3654
540.54/540.74	c current bound: 3654
541.31/541.30	c current bound: 3654
541.68/541.86	c current bound: 3654
542.23/542.43	c current bound: 3654
542.81/542.99	c current bound: 3654
543.37/543.56	c current bound: 3654
543.94/544.12	c current bound: 3654
544.50/544.69	c current bound: 3654
545.05/545.25	c current bound: 3654
545.63/545.82	c current bound: 3654
546.20/546.38	c current bound: 3654
546.76/546.95	c current bound: 3654
547.33/547.51	c current bound: 3654
547.90/548.08	c current bound: 3654
548.46/548.64	c current bound: 3654
549.02/549.21	c current bound: 3654
549.59/549.77	c current bound: 3654
550.15/550.34	c current bound: 3654
550.72/550.90	c current bound: 3654
551.29/551.47	c current bound: 3654
551.86/552.03	c current bound: 3654
552.64/552.60	c current bound: 3654
552.99/553.16	c current bound: 3654
553.56/553.73	c current bound: 3654
554.37/554.30	c current bound: 3654
554.69/554.87	c current bound: 3654
555.44/555.43	c current bound: 3654
555.83/555.99	c current bound: 3654
556.54/556.55	c current bound: 3654
556.96/557.12	c current bound: 3654
557.65/557.69	c current bound: 3654
558.11/558.25	c current bound: 3654
558.86/558.82	c current bound: 3654
559.21/559.38	c current bound: 3654
559.95/559.94	c current bound: 3654
560.35/560.50	c current bound: 3654
561.07/561.07	c current bound: 3654
561.47/561.63	c current bound: 3654
562.15/562.19	c current bound: 3654
562.60/562.75	c current bound: 3654
563.16/563.31	c current bound: 3654
563.72/563.89	c current bound: 3654
564.29/564.45	c current bound: 3654
564.86/565.02	c current bound: 3654
565.44/565.58	c current bound: 3654
566.00/566.15	c current bound: 3654
566.57/566.71	c current bound: 3654
567.13/567.27	c current bound: 3654
567.69/567.84	c current bound: 3654
568.25/568.40	c current bound: 3654
568.81/568.97	c current bound: 3654
569.38/569.53	c current bound: 3654
570.16/570.10	c current bound: 3654
570.51/570.66	c current bound: 3654
571.08/571.23	c current bound: 3654
571.65/571.79	c current bound: 3654
572.21/572.36	c current bound: 3654
572.79/572.92	c current bound: 3654
573.33/573.48	c current bound: 3654
573.90/574.05	c current bound: 3654
574.47/574.61	c current bound: 3654
575.03/575.17	c current bound: 3654
575.60/575.73	c current bound: 3654
576.16/576.30	c current bound: 3654
576.72/576.86	c current bound: 3654
577.49/577.43	c current bound: 3654
577.87/577.99	c current bound: 3654
578.58/578.55	c current bound: 3654
578.98/579.12	c current bound: 3654
579.68/579.68	c current bound: 3654
580.11/580.24	c current bound: 3654
580.91/580.81	c current bound: 3654
581.26/581.37	c current bound: 3654
582.00/581.93	c current bound: 3654
582.37/582.49	c current bound: 3654
583.11/583.05	c current bound: 3654
583.51/583.62	c current bound: 3654
584.21/584.18	c current bound: 3654
584.64/584.75	c current bound: 3654
585.39/585.31	c current bound: 3654
585.77/585.87	c current bound: 3654
586.34/586.43	c current bound: 3654
586.90/587.00	c current bound: 3654
587.46/587.57	c current bound: 3654
588.04/588.13	c current bound: 3654
588.60/588.69	c current bound: 3654
589.16/589.26	c current bound: 3654
589.72/589.82	c current bound: 3654
590.28/590.38	c current bound: 3654
590.85/590.95	c current bound: 3654
591.41/591.51	c current bound: 3654
591.98/592.08	c current bound: 3654
592.54/592.64	c current bound: 3654
593.12/593.21	c current bound: 3654
593.69/593.77	c current bound: 3654
594.26/594.34	c current bound: 3654
594.83/594.91	c current bound: 3654
595.39/595.47	c current bound: 3654
595.95/596.05	c current bound: 3654
596.53/596.61	c current bound: 3654
597.10/597.17	c current bound: 3654
597.64/597.73	c current bound: 3654
598.22/598.29	c current bound: 3654
598.79/598.86	c current bound: 3654
599.54/599.42	c current bound: 3654
599.92/599.98	c current bound: 3654
600.64/600.55	c current bound: 3654
601.04/601.11	c current bound: 3654
601.75/601.67	c current bound: 3654
602.18/602.23	c current bound: 3654
602.84/602.79	c current bound: 3654
603.29/603.35	c current bound: 3654
604.05/603.91	c current bound: 3654
604.42/604.48	c current bound: 3654
605.16/605.04	c current bound: 3654
605.55/605.60	c current bound: 3654
606.26/606.17	c current bound: 3654
606.67/606.73	c current bound: 3654
607.37/607.29	c current bound: 3654
607.80/607.85	c current bound: 3654
608.55/608.41	c current bound: 3654
608.93/608.97	c current bound: 3654
609.49/609.54	c current bound: 3654
610.05/610.10	c current bound: 3654
610.62/610.67	c current bound: 3654
611.19/611.23	c current bound: 3654
611.97/611.80	c current bound: 3654
612.32/612.36	c current bound: 3654
612.89/612.92	c current bound: 3654
613.45/613.49	c current bound: 3654
614.01/614.06	c current bound: 3654
614.58/614.62	c current bound: 3654
615.14/615.18	c current bound: 3654
615.72/615.75	c current bound: 3654
616.27/616.31	c current bound: 3654
616.85/616.88	c current bound: 3654
617.41/617.44	c current bound: 3654
617.98/618.01	c current bound: 3654
618.56/618.57	c current bound: 3654
619.11/619.13	c current bound: 3654
619.90/619.70	c current bound: 3654
620.24/620.26	c current bound: 3654
620.81/620.83	c current bound: 3654
621.37/621.39	c current bound: 3654
621.94/621.95	c current bound: 3654
622.69/622.52	c current bound: 3654
623.07/623.08	c current bound: 3654
623.81/623.64	c current bound: 3654
624.20/624.21	c current bound: 3654
624.90/624.78	c current bound: 3654
625.34/625.34	c current bound: 3654
626.10/625.91	c current bound: 3654
626.47/626.47	c current bound: 3654
627.21/627.03	c current bound: 3654
627.60/627.59	c current bound: 3654
628.32/628.15	c current bound: 3654
628.74/628.72	c current bound: 3654
629.42/629.28	c current bound: 3654
629.85/629.84	c current bound: 3654
630.61/630.40	c current bound: 3654
630.97/630.96	c current bound: 3654
631.53/631.52	c current bound: 3654
632.10/632.08	c current bound: 3654
632.65/632.65	c current bound: 3654
633.22/633.21	c current bound: 3654
633.79/633.77	c current bound: 3654
634.36/634.33	c current bound: 3654
635.15/634.90	c current bound: 3654
635.48/635.46	c current bound: 3654
636.04/636.02	c current bound: 3654
636.60/636.59	c current bound: 3654
637.17/637.15	c current bound: 3654
637.75/637.72	c current bound: 3654
638.31/638.28	c current bound: 3654
638.88/638.85	c current bound: 3654
639.43/639.41	c current bound: 3654
640.00/639.97	c current bound: 3654
640.57/640.53	c current bound: 3654
641.36/641.10	c current bound: 3654
641.71/641.67	c current bound: 3654
642.28/642.23	c current bound: 3654
642.85/642.79	c current bound: 3654
643.41/643.36	c current bound: 3654
643.97/643.92	c current bound: 3654
644.54/644.48	c current bound: 3654
645.09/645.05	c current bound: 3654
645.87/645.61	c current bound: 3654
646.22/646.17	c current bound: 3654
646.96/646.75	c current bound: 3654
647.38/647.31	c current bound: 3654
648.08/647.87	c current bound: 3654
648.51/648.43	c current bound: 3654
649.18/648.99	c current bound: 3654
649.63/649.55	c current bound: 3654
650.38/650.11	c current bound: 3654
650.74/650.68	c current bound: 3654
651.49/651.24	c current bound: 3654
651.87/651.80	c current bound: 3654
652.59/652.37	c current bound: 3654
653.01/652.93	c current bound: 3654
653.69/653.49	c current bound: 3654
654.15/654.07	c current bound: 3654
654.72/654.63	c current bound: 3654
655.50/655.20	c current bound: 3654
655.85/655.76	c current bound: 3654
656.42/656.32	c current bound: 3654
656.98/656.89	c current bound: 3654
657.55/657.45	c current bound: 3654
658.10/658.02	c current bound: 3654
658.67/658.58	c current bound: 3654
659.24/659.15	c current bound: 3654
659.82/659.72	c current bound: 3654
660.38/660.28	c current bound: 3654
660.95/660.85	c current bound: 3654
661.50/661.41	c current bound: 3654
662.08/661.97	c current bound: 3654
662.64/662.54	c current bound: 3654
663.43/663.10	c current bound: 3654
663.78/663.66	c current bound: 3654
664.34/664.24	c current bound: 3654
665.13/664.80	c current bound: 3654
665.47/665.36	c current bound: 3654
666.05/665.92	c current bound: 3654
666.61/666.48	c current bound: 3654
667.17/667.05	c current bound: 3654
667.93/667.61	c current bound: 3654
668.30/668.17	c current bound: 3654
669.05/668.73	c current bound: 3654
669.44/669.30	c current bound: 3654
670.15/669.86	c current bound: 3654
670.56/670.42	c current bound: 3654
671.25/670.98	c current bound: 3654
671.68/671.55	c current bound: 3654
672.45/672.12	c current bound: 3654
672.82/672.68	c current bound: 3654
673.55/673.24	c current bound: 3654
673.95/673.81	c current bound: 3654
674.66/674.37	c current bound: 3654
675.08/674.93	c current bound: 3654
675.85/675.50	c current bound: 3654
676.21/676.06	c current bound: 3654
676.77/676.62	c current bound: 3654
677.57/677.20	c current bound: 3654
677.91/677.76	c current bound: 3654
678.48/678.32	c current bound: 3654
679.04/678.89	c current bound: 3654
679.60/679.45	c current bound: 3654
680.16/680.02	c current bound: 3654
680.73/680.58	c current bound: 3654
681.30/681.14	c current bound: 3654
681.86/681.70	c current bound: 3654
682.42/682.27	c current bound: 3654
682.99/682.84	c current bound: 3654
683.55/683.41	c current bound: 3654
684.12/683.97	c current bound: 3654
684.68/684.53	c current bound: 3654
685.47/685.10	c current bound: 3654
685.83/685.66	c current bound: 3654
686.38/686.23	c current bound: 3654
686.95/686.79	c current bound: 3654
687.51/687.35	c current bound: 3654
688.08/687.91	c current bound: 3654
688.65/688.48	c current bound: 3654
689.20/689.04	c current bound: 3654
689.99/689.60	c current bound: 3654
690.34/690.17	c current bound: 3654
691.09/690.73	c current bound: 3654
691.68/691.30	c current bound: 3654
692.18/691.86	c current bound: 3654
692.59/692.42	c current bound: 3654
693.28/692.99	c current bound: 3654
693.73/693.55	c current bound: 3654
694.49/694.12	c current bound: 3654
694.85/694.68	c current bound: 3654
695.58/695.24	c current bound: 3654
695.98/695.80	c current bound: 3654
696.68/696.37	c current bound: 3654
697.11/696.93	c current bound: 3654
697.80/697.49	c current bound: 3654
698.24/698.06	c current bound: 3654
698.80/698.62	c current bound: 3654
699.37/699.18	c current bound: 3654
699.94/699.75	c current bound: 3654
700.51/700.31	c current bound: 3654
701.07/700.88	c current bound: 3654
701.63/701.44	c current bound: 3654
702.19/702.00	c current bound: 3654
702.75/702.56	c current bound: 3654
703.32/703.13	c current bound: 3654
703.88/703.69	c current bound: 3654
704.44/704.26	c current bound: 3654
705.01/704.82	c current bound: 3654
705.57/705.38	c current bound: 3654
706.13/705.94	c current bound: 3654
706.70/706.51	c current bound: 3654
707.26/707.07	c current bound: 3654
707.82/707.64	c current bound: 3654
708.39/708.20	c current bound: 3654
708.95/708.77	c current bound: 3654
709.52/709.33	c current bound: 3654
710.08/709.89	c current bound: 3654
710.65/710.45	c current bound: 3654
711.19/711.01	c current bound: 3654
711.76/711.58	c current bound: 3654
712.33/712.14	c current bound: 3654
712.89/712.70	c current bound: 3654
713.45/713.27	c current bound: 3654
714.19/713.83	c current bound: 3654
714.58/714.39	c current bound: 3654
715.30/714.95	c current bound: 3654
715.71/715.52	c current bound: 3654
716.42/716.08	c current bound: 3654
716.85/716.64	c current bound: 3654
717.64/717.21	c current bound: 3654
717.97/717.77	c current bound: 3654
718.72/718.33	c current bound: 3654
719.11/718.89	c current bound: 3654
719.82/719.46	c current bound: 3654
720.22/720.02	c current bound: 3654
720.92/720.58	c current bound: 3654
721.36/721.14	c current bound: 3654
722.12/721.71	c current bound: 3654
722.48/722.27	c current bound: 3654
723.05/722.84	c current bound: 3654
723.62/723.40	c current bound: 3654
724.18/723.97	c current bound: 3654
724.76/724.53	c current bound: 3654
725.32/725.10	c current bound: 3654
725.88/725.66	c current bound: 3654
726.44/726.23	c current bound: 3654
727.00/726.79	c current bound: 3654
727.59/727.36	c current bound: 3654
728.15/727.93	c current bound: 3654
728.71/728.49	c current bound: 3654
729.28/729.05	c current bound: 3654
729.84/729.62	c current bound: 3654
730.40/730.18	c current bound: 3654
730.96/730.75	c current bound: 3654
731.54/731.31	c current bound: 3654
732.11/731.87	c current bound: 3654
732.67/732.44	c current bound: 3654
733.24/733.00	c current bound: 3654
733.80/733.57	c current bound: 3654
734.36/734.13	c current bound: 3654
734.93/734.69	c current bound: 3654
735.50/735.25	c current bound: 3654
736.25/735.82	c current bound: 3654
736.63/736.38	c current bound: 3654
737.35/736.95	c current bound: 3654
737.75/737.51	c current bound: 3654
738.45/738.07	c current bound: 3654
738.87/738.63	c current bound: 3654
739.55/739.20	c current bound: 3654
740.00/739.76	c current bound: 3654
740.76/740.33	c current bound: 3654
741.13/740.89	c current bound: 3654
741.85/741.46	c current bound: 3654
742.26/742.02	c current bound: 3654
742.95/742.58	c current bound: 3654
743.40/743.15	c current bound: 3654
744.15/743.71	c current bound: 3654
744.51/744.27	c current bound: 3654
745.09/744.85	c current bound: 3654
745.65/745.41	c current bound: 3654
746.21/745.98	c current bound: 3654
746.78/746.54	c current bound: 3654
747.36/747.11	c current bound: 3654
747.91/747.67	c current bound: 3654
748.48/748.23	c current bound: 3654
749.26/748.80	c current bound: 3654
749.61/749.36	c current bound: 3654
750.17/749.92	c current bound: 3654
750.72/750.49	c current bound: 3654
751.30/751.05	c current bound: 3654
751.86/751.62	c current bound: 3654
752.43/752.18	c current bound: 3654
752.98/752.74	c current bound: 3654
753.55/753.30	c current bound: 3654
754.11/753.87	c current bound: 3654
754.68/754.43	c current bound: 3654
755.24/754.99	c current bound: 3654
755.80/755.55	c current bound: 3654
756.37/756.12	c current bound: 3654
756.92/756.68	c current bound: 3654
757.48/757.24	c current bound: 3654
758.04/757.80	c current bound: 3654
758.60/758.36	c current bound: 3654
759.36/758.92	c current bound: 3654
759.73/759.48	c current bound: 3654
760.46/760.04	c current bound: 3654
760.86/760.60	c current bound: 3654
761.57/761.17	c current bound: 3654
761.98/761.73	c current bound: 3654
762.67/762.29	c current bound: 3654
763.11/762.85	c current bound: 3654
763.88/763.41	c current bound: 3654
764.23/763.97	c current bound: 3654
764.98/764.53	c current bound: 3654
765.36/765.09	c current bound: 3654
766.08/765.65	c current bound: 3654
766.48/766.21	c current bound: 3654
767.19/766.78	c current bound: 3654
767.61/767.34	c current bound: 3654
768.38/767.90	c current bound: 3654
768.75/768.47	c current bound: 3654
769.31/769.03	c current bound: 3654
770.09/769.60	c current bound: 3654
770.44/770.16	c current bound: 3654
771.01/770.72	c current bound: 3654
771.57/771.29	c current bound: 3654
772.14/771.85	c current bound: 3654
772.70/772.42	c current bound: 3654
773.26/772.98	c current bound: 3654
773.83/773.54	c current bound: 3654
774.38/774.11	c current bound: 3654
774.96/774.67	c current bound: 3654
775.53/775.23	c current bound: 3654
776.08/775.79	c current bound: 3654
776.65/776.37	c current bound: 3654
777.21/776.94	c current bound: 3654
777.99/777.50	c current bound: 3654
778.33/778.06	c current bound: 3654
778.90/778.62	c current bound: 3654
779.47/779.19	c current bound: 3654
780.04/779.75	c current bound: 3654
780.59/780.31	c current bound: 3654
781.16/780.87	c current bound: 3654
781.72/781.44	c current bound: 3654
782.27/781.99	c current bound: 3654
782.84/782.55	c current bound: 3654
783.60/783.12	c current bound: 3654
783.96/783.68	c current bound: 3654
784.70/784.24	c current bound: 3654
785.09/784.80	c current bound: 3654
785.80/785.37	c current bound: 3654
786.23/785.94	c current bound: 3654
787.02/786.51	c current bound: 3654
787.36/787.07	c current bound: 3654
788.11/787.63	c current bound: 3654
788.49/788.20	c current bound: 3654
789.20/788.77	c current bound: 3654
789.63/789.33	c current bound: 3654
790.40/789.90	c current bound: 3654
790.75/790.47	c current bound: 3654
791.32/791.03	c current bound: 3654
791.88/791.60	c current bound: 3654
792.45/792.16	c current bound: 3654
793.02/792.73	c current bound: 3654
793.58/793.29	c current bound: 3654
794.14/793.86	c current bound: 3654
794.72/794.43	c current bound: 3654
795.29/794.99	c current bound: 3654
795.85/795.56	c current bound: 3654
796.42/796.12	c current bound: 3654
796.99/796.69	c current bound: 3654
797.56/797.26	c current bound: 3654
798.12/797.82	c current bound: 3654
798.68/798.39	c current bound: 3654
799.25/798.95	c current bound: 3654
799.81/799.51	c current bound: 3654
800.38/800.08	c current bound: 3654
800.93/800.64	c current bound: 3654
801.50/801.20	c current bound: 3654
802.06/801.76	c current bound: 3654
802.63/802.33	c current bound: 3654
803.19/802.89	c current bound: 3654
803.77/803.45	c current bound: 3654
804.50/804.02	c current bound: 3654
804.88/804.58	c current bound: 3654
805.61/805.14	c current bound: 3654
806.01/805.70	c current bound: 3654
806.70/806.27	c current bound: 3654
807.13/806.84	c current bound: 3654
807.92/807.40	c current bound: 3654
808.26/807.97	c current bound: 3654
809.00/808.54	c current bound: 3654
809.40/809.10	c current bound: 3654
810.10/809.67	c current bound: 3654
810.51/810.23	c current bound: 3654
811.31/810.80	c current bound: 3654
811.65/811.36	c current bound: 3654
812.21/811.92	c current bound: 3654
812.77/812.48	c current bound: 3654
813.34/813.04	c current bound: 3654
813.90/813.61	c current bound: 3654
814.46/814.17	c current bound: 3654
815.02/814.73	c current bound: 3654
815.59/815.29	c current bound: 3654
816.15/815.85	c current bound: 3654
816.71/816.41	c current bound: 3654
817.27/816.98	c current bound: 3654
817.83/817.54	c current bound: 3654
818.62/818.10	c current bound: 3654
818.97/818.66	c current bound: 3654
819.52/819.22	c current bound: 3654
820.10/819.78	c current bound: 3654
820.66/820.34	c current bound: 3654
821.23/820.91	c current bound: 3654
821.77/821.47	c current bound: 3654
822.34/822.03	c current bound: 3654
822.91/822.59	c current bound: 3654
823.48/823.15	c current bound: 3654
824.03/823.72	c current bound: 3654
824.60/824.30	c current bound: 3654
825.18/824.86	c current bound: 3654
825.73/825.42	c current bound: 3654
826.29/825.98	c current bound: 3654
826.86/826.54	c current bound: 3654
827.65/827.10	c current bound: 3654
827.99/827.67	c current bound: 3654
828.74/828.23	c current bound: 3654
829.10/828.79	c current bound: 3654
829.82/829.35	c current bound: 3654
830.24/829.92	c current bound: 3654
830.94/830.49	c current bound: 3654
831.37/831.05	c current bound: 3654
832.14/831.62	c current bound: 3654
832.50/832.18	c current bound: 3654
833.23/832.74	c current bound: 3654
833.62/833.31	c current bound: 3654
834.33/833.87	c current bound: 3654
834.76/834.43	c current bound: 3654
835.43/834.99	c current bound: 3654
835.89/835.56	c current bound: 3654
836.45/836.12	c current bound: 3654
837.02/836.68	c current bound: 3654
837.58/837.25	c current bound: 3654
838.14/837.81	c current bound: 3654
838.71/838.38	c current bound: 3654
839.28/838.94	c current bound: 3654
839.85/839.50	c current bound: 3654
840.40/840.07	c current bound: 3654
840.98/840.64	c current bound: 3654
841.55/841.20	c current bound: 3654
842.11/841.76	c current bound: 3654
842.67/842.34	c current bound: 3654
843.24/842.90	c current bound: 3654
843.81/843.46	c current bound: 3654
844.37/844.02	c current bound: 3654
844.93/844.59	c current bound: 3654
845.50/845.15	c current bound: 3654
846.06/845.71	c current bound: 3654
846.62/846.27	c current bound: 3654
847.19/846.83	c current bound: 3654
847.75/847.39	c current bound: 3654
848.30/847.96	c current bound: 3654
848.87/848.52	c current bound: 3654
849.44/849.08	c current bound: 3654
849.99/849.64	c current bound: 3654
850.77/850.20	c current bound: 3654
851.12/850.77	c current bound: 3654
851.86/851.33	c current bound: 3654
852.25/851.89	c current bound: 3654
852.97/852.45	c current bound: 3654
853.38/853.02	c current bound: 3654
854.07/853.60	c current bound: 3654
854.51/854.16	c current bound: 3654
855.26/854.72	c current bound: 3654
855.63/855.28	c current bound: 3654
856.36/855.84	c current bound: 3654
856.76/856.40	c current bound: 3654
857.47/856.97	c current bound: 3654
857.89/857.53	c current bound: 3654
858.57/858.09	c current bound: 3654
859.01/858.65	c current bound: 3654
859.76/859.22	c current bound: 3654
860.13/859.78	c current bound: 3654
860.70/860.34	c current bound: 3654
861.26/860.91	c current bound: 3654
861.83/861.47	c current bound: 3654
862.40/862.03	c current bound: 3654
863.19/862.60	c current bound: 3654
863.54/863.17	c current bound: 3654
864.10/863.73	c current bound: 3654
864.89/864.30	c current bound: 3654
865.24/864.86	c current bound: 3654
865.80/865.43	c current bound: 3654
866.59/866.00	c current bound: 3654
866.95/866.56	c current bound: 3654
867.51/867.13	c current bound: 3654
868.07/867.71	c current bound: 3654
868.66/868.28	c current bound: 3654
869.23/868.84	c current bound: 3654
869.78/869.41	c current bound: 3654
870.36/869.97	c current bound: 3654
870.92/870.53	c current bound: 3654
871.49/871.10	c current bound: 3654
872.04/871.66	c current bound: 3654
872.81/872.22	c current bound: 3654
873.17/872.78	c current bound: 3654
873.90/873.34	c current bound: 3654
874.30/873.91	c current bound: 3654
875.01/874.47	c current bound: 3654
875.43/875.03	c current bound: 3654
876.11/875.59	c current bound: 3654
876.56/876.16	c current bound: 3654
877.31/876.72	c current bound: 3654
877.68/877.28	c current bound: 3654
878.40/877.84	c current bound: 3654
878.82/878.41	c current bound: 3654
879.52/878.98	c current bound: 3654
879.95/879.54	c current bound: 3654
880.73/880.10	c current bound: 3654
881.07/880.67	c current bound: 3654
881.64/881.23	c current bound: 3654
882.21/881.79	c current bound: 3654
882.77/882.35	c current bound: 3654
883.34/882.92	c current bound: 3654
883.90/883.49	c current bound: 3654
884.47/884.05	c current bound: 3654
885.03/884.62	c current bound: 3654
885.60/885.20	c current bound: 3654
886.19/885.76	c current bound: 3654
886.74/886.32	c current bound: 3654
887.31/886.88	c current bound: 3654
887.88/887.44	c current bound: 3654
888.44/888.00	c current bound: 3654
889.00/888.56	c current bound: 3654
889.56/889.12	c current bound: 3654
890.12/889.70	c current bound: 3654
890.70/890.27	c current bound: 3654
891.28/890.83	c current bound: 3654
892.06/891.40	c current bound: 3654
892.40/891.96	c current bound: 3654
892.96/892.52	c current bound: 3654
893.53/893.08	c current bound: 3654
894.10/893.65	c current bound: 3654
894.85/894.21	c current bound: 3654
895.22/894.78	c current bound: 3654
895.96/895.34	c current bound: 3654
896.34/895.90	c current bound: 3654
897.05/896.46	c current bound: 3654
897.47/897.03	c current bound: 3654
898.15/897.59	c current bound: 3654
898.60/898.15	c current bound: 3654
899.35/898.71	c current bound: 3654
899.73/899.28	c current bound: 3654
900.46/899.85	c current bound: 3654
900.85/900.41	c current bound: 3654
901.56/900.97	c current bound: 3654
901.99/901.54	c current bound: 3654
902.75/902.11	c current bound: 3654
903.13/902.67	c current bound: 3654
903.70/903.24	c current bound: 3654
904.27/903.81	c current bound: 3654
904.85/904.38	c current bound: 3654
905.40/904.94	c current bound: 3654
905.97/905.51	c current bound: 3654
906.53/906.07	c current bound: 3654
907.10/906.64	c current bound: 3654
907.68/907.20	c current bound: 3654
908.23/907.76	c current bound: 3654
908.80/908.33	c current bound: 3654
909.59/908.90	c current bound: 3654
909.93/909.46	c current bound: 3654
910.51/910.02	c current bound: 3654
911.06/910.59	c current bound: 3654
911.62/911.15	c current bound: 3654
912.19/911.72	c current bound: 3654
912.76/912.29	c current bound: 3654
913.33/912.85	c current bound: 3654
913.89/913.41	c current bound: 3654
914.45/913.97	c current bound: 3654
915.00/914.53	c current bound: 3654
915.56/915.10	c current bound: 3654
916.14/915.66	c current bound: 3654
916.88/916.23	c current bound: 3654
917.27/916.79	c current bound: 3654
917.99/917.36	c current bound: 3654
918.41/917.92	c current bound: 3654
919.10/918.48	c current bound: 3654
919.54/919.05	c current bound: 3654
920.29/919.61	c current bound: 3654
920.65/920.18	c current bound: 3654
921.40/920.74	c current bound: 3654
922.00/921.30	c current bound: 3654
922.50/921.86	c current bound: 3654
922.90/922.43	c current bound: 3654
923.58/922.99	c current bound: 3654
924.03/923.55	c current bound: 3654
924.79/924.11	c current bound: 3654
925.17/924.67	c current bound: 3654
925.74/925.23	c current bound: 3654
926.51/925.80	c current bound: 3654
926.86/926.36	c current bound: 3654
927.43/926.92	c current bound: 3654
927.98/927.48	c current bound: 3654
928.55/928.04	c current bound: 3654
929.11/928.61	c current bound: 3654
929.68/929.17	c current bound: 3654
930.23/929.73	c current bound: 3654
930.79/930.29	c current bound: 3654
931.35/930.85	c current bound: 3654
931.92/931.41	c current bound: 3654
932.48/931.98	c current bound: 3654
933.05/932.54	c current bound: 3654
933.61/933.10	c current bound: 3654
934.17/933.67	c current bound: 3654
934.74/934.23	c current bound: 3654
935.31/934.79	c current bound: 3654
935.85/935.35	c current bound: 3654
936.42/935.91	c current bound: 3654
936.98/936.48	c current bound: 3654
937.55/937.04	c current bound: 3654
938.33/937.60	c current bound: 3654
938.67/938.16	c current bound: 3654
939.24/938.72	c current bound: 3654
939.80/939.29	c current bound: 3654
940.38/939.86	c current bound: 3654
941.13/940.42	c current bound: 3654
941.51/940.98	c current bound: 3654
942.25/941.54	c current bound: 3654
942.63/942.10	c current bound: 3654
943.35/942.66	c current bound: 3654
943.76/943.22	c current bound: 3654
944.46/943.79	c current bound: 3654
944.90/944.35	c current bound: 3654
945.64/944.91	c current bound: 3654
946.01/945.47	c current bound: 3654
946.76/946.04	c current bound: 3654
947.14/946.60	c current bound: 3654
947.84/947.16	c current bound: 3654
948.27/947.72	c current bound: 3654
948.95/948.28	c current bound: 3654
949.39/948.85	c current bound: 3654
950.14/949.42	c current bound: 3654
950.52/949.98	c current bound: 3654
951.09/950.54	c current bound: 3654
951.86/951.10	c current bound: 3654
952.20/951.66	c current bound: 3654
952.78/952.22	c current bound: 3654
953.34/952.78	c current bound: 3654
953.89/953.34	c current bound: 3654
954.46/953.91	c current bound: 3654
955.01/954.47	c current bound: 3654
955.59/955.04	c current bound: 3654
956.37/955.60	c current bound: 3654
956.71/956.16	c current bound: 3654
957.29/956.73	c current bound: 3654
957.86/957.29	c current bound: 3654
958.41/957.85	c current bound: 3654
958.97/958.42	c current bound: 3654
959.54/958.99	c current bound: 3654
960.10/959.55	c current bound: 3654
960.67/960.11	c current bound: 3654
961.23/960.68	c current bound: 3654
961.80/961.25	c current bound: 3654
962.36/961.81	c current bound: 3654
962.93/962.38	c current bound: 3654
963.49/962.94	c current bound: 3654
964.27/963.50	c current bound: 3654
964.63/964.07	c current bound: 3654
965.37/964.63	c current bound: 3654
965.75/965.20	c current bound: 3654
966.47/965.77	c current bound: 3654
966.87/966.33	c current bound: 3654
967.57/966.89	c current bound: 3654
968.02/967.45	c current bound: 3654
968.76/968.02	c current bound: 3654
969.14/968.58	c current bound: 3654
969.87/969.14	c current bound: 3654
970.26/969.70	c current bound: 3654
970.96/970.27	c current bound: 3654
971.39/970.85	c current bound: 3654
972.16/971.41	c current bound: 3654
972.54/971.98	c current bound: 3654
973.11/972.54	c current bound: 3654
973.67/973.11	c current bound: 3654
974.24/973.68	c current bound: 3654
974.81/974.24	c current bound: 3654
975.39/974.81	c current bound: 3654
975.95/975.37	c current bound: 3654
976.51/975.94	c current bound: 3654
977.07/976.50	c current bound: 3654
977.64/977.08	c current bound: 3654
978.23/977.65	c current bound: 3654
978.78/978.21	c current bound: 3654
979.35/978.79	c current bound: 3654
979.92/979.35	c current bound: 3654
980.50/979.92	c current bound: 3654
981.05/980.48	c current bound: 3654
981.62/981.05	c current bound: 3654
982.19/981.61	c current bound: 3654
982.75/982.17	c current bound: 3654
983.32/982.74	c current bound: 3654
984.11/983.30	c current bound: 3654
984.46/983.87	c current bound: 3654
985.19/984.43	c current bound: 3654
985.58/984.99	c current bound: 3654
986.30/985.55	c current bound: 3654
986.70/986.12	c current bound: 3654
987.41/986.68	c current bound: 3654
987.84/987.24	c current bound: 3654
988.62/987.81	c current bound: 3654
988.97/988.37	c current bound: 3654
989.72/988.93	c current bound: 3654
990.09/989.49	c current bound: 3654
990.82/990.06	c current bound: 3654
991.23/990.62	c current bound: 3654
991.92/991.18	c current bound: 3654
992.36/991.74	c current bound: 3654
993.12/992.31	c current bound: 3654
993.49/992.87	c current bound: 3654
994.04/993.43	c current bound: 3654
994.60/993.99	c current bound: 3654
995.17/994.57	c current bound: 3654
995.73/995.13	c current bound: 3654
996.51/995.70	c current bound: 3654
996.86/996.26	c current bound: 3654
997.40/996.82	c current bound: 3654
997.98/997.38	c current bound: 3654
998.53/997.94	c current bound: 3654
999.08/998.51	c current bound: 3654
999.65/999.07	c current bound: 3654
1000.21/999.63	c current bound: 3654
1001.00/1000.20	c current bound: 3654
1001.34/1000.76	c current bound: 3654
1001.91/1001.32	c current bound: 3654
1002.48/1001.89	c current bound: 3654
1003.05/1002.45	c current bound: 3654
1003.61/1003.01	c current bound: 3654
1004.18/1003.57	c current bound: 3654
1004.73/1004.15	c current bound: 3654
1005.29/1004.71	c current bound: 3654
1005.86/1005.27	c current bound: 3654
1006.43/1005.83	c current bound: 3654
1006.99/1006.40	c current bound: 3654
1007.56/1006.96	c current bound: 3654
1008.31/1007.52	c current bound: 3654
1008.68/1008.09	c current bound: 3654
1009.41/1008.66	c current bound: 3654
1009.82/1009.22	c current bound: 3654
1010.52/1009.78	c current bound: 3654
1010.95/1010.34	c current bound: 3654
1011.71/1010.91	c current bound: 3654
1012.08/1011.47	c current bound: 3654
1012.81/1012.04	c current bound: 3654
1013.41/1012.60	c current bound: 3654
1013.90/1013.17	c current bound: 3654
1014.33/1013.73	c current bound: 3654
1015.02/1014.29	c current bound: 3654
1015.46/1014.85	c current bound: 3654
1016.03/1015.42	c current bound: 3654
1016.58/1015.98	c current bound: 3654
1017.15/1016.54	c current bound: 3654
1017.71/1017.10	c current bound: 3654
1018.28/1017.67	c current bound: 3654
1018.85/1018.23	c current bound: 3654
1019.62/1018.80	c current bound: 3654
1019.97/1019.36	c current bound: 3654
1020.54/1019.93	c current bound: 3654
1021.11/1020.49	c current bound: 3654
1021.66/1021.06	c current bound: 3654
1022.24/1021.62	c current bound: 3654
1022.81/1022.19	c current bound: 3654
1023.38/1022.76	c current bound: 3654
1023.94/1023.32	c current bound: 3654
1024.49/1023.89	c current bound: 3654
1025.06/1024.45	c current bound: 3654
1025.64/1025.02	c current bound: 3654
1026.21/1025.58	c current bound: 3654
1026.78/1026.14	c current bound: 3654
1027.33/1026.72	c current bound: 3654
1027.91/1027.28	c current bound: 3654
1028.47/1027.84	c current bound: 3654
1029.25/1028.40	c current bound: 3654
1029.60/1028.97	c current bound: 3654
1030.33/1029.53	c current bound: 3654
1030.72/1030.09	c current bound: 3654
1031.44/1030.65	c current bound: 3654
1031.84/1031.22	c current bound: 3654
1032.54/1031.78	c current bound: 3654
1032.97/1032.34	c current bound: 3654
1033.75/1032.90	c current bound: 3654
1034.09/1033.47	c current bound: 3654
1034.84/1034.03	c current bound: 3654
1035.22/1034.59	c current bound: 3654
1035.95/1035.15	c current bound: 3654
1036.36/1035.72	c current bound: 3654
1037.03/1036.28	c current bound: 3654
1037.47/1036.84	c current bound: 3654
1038.04/1037.40	c current bound: 3654
1038.60/1037.97	c current bound: 3654
1039.16/1038.53	c current bound: 3654
1039.73/1039.09	c current bound: 3654
1040.29/1039.65	c current bound: 3654
1040.84/1040.22	c current bound: 3654
1041.42/1040.78	c current bound: 3654
1041.98/1041.34	c current bound: 3654
1042.53/1041.90	c current bound: 3654
1043.10/1042.47	c current bound: 3654
1043.67/1043.04	c current bound: 3654
1044.22/1043.59	c current bound: 3654
1044.79/1044.16	c current bound: 3654
1045.35/1044.72	c current bound: 3654
1045.91/1045.29	c current bound: 3654
1046.50/1045.85	c current bound: 3654
1047.05/1046.42	c current bound: 3654
1047.61/1046.98	c current bound: 3654
1048.18/1047.55	c current bound: 3654
1048.75/1048.11	c current bound: 3654
1049.32/1048.67	c current bound: 3654
1049.88/1049.24	c current bound: 3654
1050.44/1049.80	c current bound: 3654
1051.02/1050.36	c current bound: 3654
1051.57/1050.92	c current bound: 3654
1052.12/1051.48	c current bound: 3654
1052.69/1052.05	c current bound: 3654
1053.45/1052.61	c current bound: 3654
1053.82/1053.18	c current bound: 3654
1054.55/1053.75	c current bound: 3654
1054.95/1054.31	c current bound: 3654
1055.66/1054.87	c current bound: 3654
1056.09/1055.43	c current bound: 3654
1056.77/1056.00	c current bound: 3654
1057.21/1056.56	c current bound: 3654
1057.96/1057.13	c current bound: 3654
1058.35/1057.69	c current bound: 3654
1059.06/1058.25	c current bound: 3654
1059.48/1058.81	c current bound: 3654
1060.17/1059.37	c current bound: 3654
1060.61/1059.94	c current bound: 3654
1061.39/1060.50	c current bound: 3654
1061.71/1061.06	c current bound: 3654
1062.28/1061.62	c current bound: 3654
1062.84/1062.18	c current bound: 3654
1063.40/1062.76	c current bound: 3654
1063.97/1063.32	c current bound: 3654
1064.54/1063.88	c current bound: 3654
1065.09/1064.44	c current bound: 3654
1065.66/1065.01	c current bound: 3654
1066.24/1065.58	c current bound: 3654
1066.80/1066.14	c current bound: 3654
1067.36/1066.70	c current bound: 3654
1067.93/1067.27	c current bound: 3654
1068.50/1067.83	c current bound: 3654
1069.28/1068.40	c current bound: 3654
1069.62/1068.96	c current bound: 3654
1070.19/1069.52	c current bound: 3654
1070.74/1070.09	c current bound: 3654
1071.33/1070.65	c current bound: 3654
1071.87/1071.22	c current bound: 3654
1072.45/1071.78	c current bound: 3654
1073.01/1072.35	c current bound: 3654
1073.60/1072.91	c current bound: 3654
1074.16/1073.48	c current bound: 3654
1074.72/1074.05	c current bound: 3654
1075.48/1074.61	c current bound: 3654
1075.87/1075.18	c current bound: 3654
1076.59/1075.74	c current bound: 3654
1076.98/1076.31	c current bound: 3654
1077.68/1076.88	c current bound: 3654
1078.13/1077.44	c current bound: 3654
1078.89/1078.04	c current bound: 3654
1079.26/1078.60	c current bound: 3654
1079.99/1079.17	c current bound: 3654
1080.40/1079.73	c current bound: 3654
1081.07/1080.29	c current bound: 3654
1081.53/1080.85	c current bound: 3654
1082.09/1081.42	c current bound: 3654
1082.65/1081.98	c current bound: 3654
1083.22/1082.55	c current bound: 3654
1083.79/1083.11	c current bound: 3654
1084.35/1083.68	c current bound: 3654
1084.92/1084.24	c current bound: 3654
1085.48/1084.81	c current bound: 3654
1086.03/1085.37	c current bound: 3654
1086.61/1085.94	c current bound: 3654
1087.17/1086.50	c current bound: 3654
1087.73/1087.06	c current bound: 3654
1088.30/1087.63	c current bound: 3654
1089.10/1088.20	c current bound: 3654
1089.44/1088.76	c current bound: 3654
1090.01/1089.32	c current bound: 3654
1090.56/1089.88	c current bound: 3654
1091.12/1090.45	c current bound: 3654
1091.69/1091.02	c current bound: 3654
1092.26/1091.59	c current bound: 3654
1092.82/1092.15	c current bound: 3654
1093.40/1092.72	c current bound: 3654
1093.96/1093.28	c current bound: 3654
1094.53/1093.84	c current bound: 3654
1095.09/1094.40	c current bound: 3654
1095.64/1094.96	c current bound: 3654
1096.39/1095.52	c current bound: 3654
1096.77/1096.09	c current bound: 3654
1097.49/1096.65	c current bound: 3654
1097.89/1097.21	c current bound: 3654
1098.59/1097.78	c current bound: 3654
1099.02/1098.34	c current bound: 3654
1099.69/1098.90	c current bound: 3654
1100.15/1099.46	c current bound: 3654
1100.89/1100.03	c current bound: 3654
1101.28/1100.60	c current bound: 3654
1102.01/1101.16	c current bound: 3654
1102.40/1101.73	c current bound: 3654
1103.11/1102.29	c current bound: 3654
1103.55/1102.85	c current bound: 3654
1104.10/1103.42	c current bound: 3654
1104.67/1103.98	c current bound: 3654
1105.24/1104.55	c current bound: 3654
1105.80/1105.11	c current bound: 3654
1106.37/1105.68	c current bound: 3654
1106.94/1106.24	c current bound: 3654
1107.51/1106.81	c current bound: 3654
1108.08/1107.37	c current bound: 3654
1108.63/1107.93	c current bound: 3654
1109.42/1108.50	c current bound: 3654
1109.77/1109.06	c current bound: 3654
1110.33/1109.62	c current bound: 3654
1110.90/1110.18	c current bound: 3654
1111.45/1110.75	c current bound: 3654
1112.02/1111.31	c current bound: 3654
1112.57/1111.87	c current bound: 3654
1113.14/1112.43	c current bound: 3654
1113.93/1113.03	c current bound: 3654
1114.48/1113.60	c current bound: 3654
1114.84/1114.17	c current bound: 3654
1115.40/1114.73	c current bound: 3654
1115.97/1115.29	c current bound: 3654
1116.54/1115.86	c current bound: 3654
1117.29/1116.42	c current bound: 3654
1117.67/1116.98	c current bound: 3654
1118.40/1117.55	c current bound: 3654
1118.80/1118.13	c current bound: 3654
1119.50/1118.69	c current bound: 3654
1119.96/1119.26	c current bound: 3654
1120.69/1119.82	c current bound: 3654
1121.09/1120.38	c current bound: 3654
1121.81/1120.94	c current bound: 3654
1122.20/1121.50	c current bound: 3654
1122.92/1122.07	c current bound: 3654
1123.32/1122.63	c current bound: 3654
1124.00/1123.19	c current bound: 3654
1124.45/1123.75	c current bound: 3654
1125.01/1124.32	c current bound: 3654
1125.57/1124.88	c current bound: 3654
1126.13/1125.44	c current bound: 3654
1126.91/1126.00	c current bound: 3654
1127.27/1126.56	c current bound: 3654
1127.83/1127.13	c current bound: 3654
1128.39/1127.69	c current bound: 3654
1128.95/1128.25	c current bound: 3654
1129.52/1128.81	c current bound: 3654
1130.08/1129.39	c current bound: 3654
1130.66/1129.95	c current bound: 3654
1131.23/1130.52	c current bound: 3654
1131.78/1131.08	c current bound: 3654
1132.36/1131.65	c current bound: 3654
1132.92/1132.21	c current bound: 3654
1133.49/1132.78	c current bound: 3654
1134.06/1133.34	c current bound: 3654
1134.62/1133.91	c current bound: 3654
1135.19/1134.47	c current bound: 3654
1135.75/1135.03	c current bound: 3654
1136.55/1135.60	c current bound: 3654
1136.88/1136.16	c current bound: 3654
1137.46/1136.73	c current bound: 3654
1138.01/1137.29	c current bound: 3654
1138.57/1137.86	c current bound: 3654
1139.33/1138.43	c current bound: 3654
1139.71/1138.99	c current bound: 3654
1140.45/1139.55	c current bound: 3654
1140.84/1140.11	c current bound: 3654
1141.54/1140.68	c current bound: 3654
1141.98/1141.24	c current bound: 3654
1142.75/1141.81	c current bound: 3654
1143.11/1142.37	c current bound: 3654
1143.86/1142.94	c current bound: 3654
1144.45/1143.50	c current bound: 3654
1144.94/1144.06	c current bound: 3654
1145.36/1144.62	c current bound: 3654
1146.05/1145.19	c current bound: 3654
1146.49/1145.75	c current bound: 3654
1147.24/1146.31	c current bound: 3654
1147.62/1146.87	c current bound: 3654
1148.18/1147.43	c current bound: 3654
1148.74/1147.99	c current bound: 3654
1149.30/1148.56	c current bound: 3654
1149.87/1149.12	c current bound: 3654
1150.43/1149.69	c current bound: 3654
1150.99/1150.25	c current bound: 3654
1151.56/1150.81	c current bound: 3654
1152.13/1151.37	c current bound: 3654
1152.70/1152.05	c current bound: 3654
1153.25/1152.61	c current bound: 3654
1153.81/1153.17	c current bound: 3654
1154.36/1153.73	c current bound: 3654
1154.93/1154.30	c current bound: 3654
1155.51/1154.86	c current bound: 3654
1156.07/1155.42	c current bound: 3654
1156.63/1155.99	c current bound: 3654
1157.20/1156.55	c current bound: 3654
1157.96/1157.11	c current bound: 3654
1158.33/1157.67	c current bound: 3654
1159.07/1158.24	c current bound: 3654
1159.46/1158.80	c current bound: 3654
1160.18/1159.36	c current bound: 3654
1160.59/1159.93	c current bound: 3654
1161.27/1160.49	c current bound: 3654
1161.71/1161.05	c current bound: 3654
1162.47/1161.62	c current bound: 3654
1162.83/1162.19	c current bound: 3654
1163.56/1162.75	c current bound: 3654
1163.98/1163.31	c current bound: 3654
1164.67/1163.88	c current bound: 3654
1165.09/1164.44	c current bound: 3654
1165.86/1165.00	c current bound: 3654
1166.21/1165.57	c current bound: 3654
1166.78/1166.13	c current bound: 3654
1167.35/1166.69	c current bound: 3654
1167.92/1167.26	c current bound: 3654
1168.47/1167.82	c current bound: 3654
1169.04/1168.39	c current bound: 3654
1169.60/1168.95	c current bound: 3654
1170.17/1169.51	c current bound: 3654
1170.73/1170.08	c current bound: 3654
1171.30/1170.64	c current bound: 3654
1171.87/1171.21	c current bound: 3654
1172.42/1171.77	c current bound: 3654
1172.99/1172.33	c current bound: 3654
1173.77/1172.90	c current bound: 3654
1174.12/1173.46	c current bound: 3654
1174.68/1174.02	c current bound: 3654
1175.24/1174.59	c current bound: 3654
1175.81/1175.15	c current bound: 3654
1176.38/1175.71	c current bound: 3654
1176.94/1176.29	c current bound: 3654
1177.52/1176.86	c current bound: 3654
1178.09/1177.44	c current bound: 3654
1178.88/1178.00	c current bound: 3654
1179.23/1178.56	c current bound: 3654
1179.97/1179.13	c current bound: 3654
1180.35/1179.69	c current bound: 3654
1181.08/1180.27	c current bound: 3654
1181.49/1180.84	c current bound: 3654
1182.29/1181.41	c current bound: 3654
1182.63/1181.97	c current bound: 3654
1183.38/1182.53	c current bound: 3654
1183.76/1183.09	c current bound: 3654
1184.47/1183.66	c current bound: 3654
1184.88/1184.22	c current bound: 3654
1185.59/1184.79	c current bound: 3654
1186.02/1185.35	c current bound: 3654
1186.77/1185.91	c current bound: 3654
1187.15/1186.47	c current bound: 3654
1187.72/1187.04	c current bound: 3654
1188.50/1187.60	c current bound: 3654
1188.83/1188.16	c current bound: 3654
1189.40/1188.73	c current bound: 3654
1189.98/1189.29	c current bound: 3654
1190.54/1189.85	c current bound: 3654
1191.10/1190.42	c current bound: 3654
1191.66/1190.98	c current bound: 3654
1192.23/1191.54	c current bound: 3654
1192.78/1192.12	c current bound: 3654
1193.38/1192.69	c current bound: 3654
1193.94/1193.25	c current bound: 3654
1194.51/1193.81	c current bound: 3654
1195.07/1194.37	c current bound: 3654
1195.63/1194.94	c current bound: 3654
1196.42/1195.50	c current bound: 3654
1196.76/1196.06	c current bound: 3654
1197.33/1196.62	c current bound: 3654
1197.89/1197.19	c current bound: 3654
1198.46/1197.75	c current bound: 3654
1199.03/1198.31	c current bound: 3654
1199.58/1198.87	c current bound: 3654
1200.14/1199.43	c current bound: 3654
1200.93/1200.00	c current bound: 3654
1201.27/1200.57	c current bound: 3654
1202.03/1201.13	c current bound: 3654
1202.40/1201.69	c current bound: 3654
1203.12/1202.25	c current bound: 3654
1203.53/1202.81	c current bound: 3654
1204.22/1203.38	c current bound: 3654
1204.66/1203.95	c current bound: 3654
1205.42/1204.51	c current bound: 3654
1205.79/1205.07	c current bound: 3654
1206.54/1205.63	c current bound: 3654
1206.92/1206.20	c current bound: 3654
1207.64/1206.77	c current bound: 3654
1208.06/1207.33	c current bound: 3654
1208.84/1207.91	c current bound: 3654
1209.20/1208.47	c current bound: 3654
1209.75/1209.03	c current bound: 3654
1210.31/1209.59	c current bound: 3654
1210.87/1210.15	c current bound: 3654
1211.44/1210.72	c current bound: 3654
1212.00/1211.28	c current bound: 3654
1212.56/1211.84	c current bound: 3654
1213.13/1212.40	c current bound: 3654
1213.70/1212.97	c current bound: 3654
1214.25/1213.53	c current bound: 3654
1214.83/1214.09	c current bound: 3654
1215.38/1214.65	c current bound: 3654
1215.95/1215.22	c current bound: 3654
1216.51/1215.78	c current bound: 3654
1217.08/1216.34	c current bound: 3654
1217.64/1216.91	c current bound: 3654
1218.20/1217.47	c current bound: 3654
1218.77/1218.04	c current bound: 3654
1219.33/1218.61	c current bound: 3654
1219.90/1219.17	c current bound: 3654
1220.47/1219.74	c current bound: 3654
1221.03/1220.30	c current bound: 3654
1221.61/1220.86	c current bound: 3654
1222.16/1221.42	c current bound: 3654
1222.72/1221.99	c current bound: 3654
1223.28/1222.55	c current bound: 3654
1224.05/1223.11	c current bound: 3654
1224.41/1223.67	c current bound: 3654
1225.14/1224.24	c current bound: 3654
1225.76/1224.80	c current bound: 3654
1226.24/1225.36	c current bound: 3654
1226.65/1225.92	c current bound: 3654
1227.34/1226.48	c current bound: 3654
1227.77/1227.05	c current bound: 3654
1228.54/1227.61	c current bound: 3654
1228.91/1228.18	c current bound: 3654
1229.65/1228.74	c current bound: 3654
1230.05/1229.31	c current bound: 3654
1230.74/1229.87	c current bound: 3654
1231.16/1230.43	c current bound: 3654
1231.83/1231.00	c current bound: 3654
1232.29/1231.56	c current bound: 3654
1232.85/1232.14	c current bound: 3654
1233.43/1232.70	c current bound: 3654
1234.00/1233.27	c current bound: 3654
1234.57/1233.83	c current bound: 3654
1235.36/1234.40	c current bound: 3654
1235.71/1234.96	c current bound: 3654
1236.27/1235.53	c current bound: 3654
1237.06/1236.10	c current bound: 3654
1237.40/1236.66	c current bound: 3654
1237.96/1237.22	c current bound: 3654
1238.54/1237.79	c current bound: 3654
1239.10/1238.36	c current bound: 3654
1239.67/1238.92	c current bound: 3654
1240.24/1239.49	c current bound: 3654
1240.82/1240.05	c current bound: 3654
1241.38/1240.62	c current bound: 3654
1241.94/1241.18	c current bound: 3654
1242.51/1241.74	c current bound: 3654
1243.06/1242.30	c current bound: 3654
1243.62/1242.87	c current bound: 3654
1244.20/1243.44	c current bound: 3654
1244.98/1244.00	c current bound: 3654
1245.32/1244.57	c current bound: 3654
1246.07/1245.13	c current bound: 3654
1246.45/1245.69	c current bound: 3654
1247.16/1246.25	c current bound: 3654
1247.58/1246.82	c current bound: 3654
1248.27/1247.38	c current bound: 3654
1248.71/1247.94	c current bound: 3654
1249.49/1248.51	c current bound: 3654
1249.84/1249.07	c current bound: 3654
1250.58/1249.63	c current bound: 3654
1250.96/1250.19	c current bound: 3654
1251.68/1250.76	c current bound: 3654
1252.09/1251.33	c current bound: 3654
1252.79/1251.89	c current bound: 3654
1253.22/1252.45	c current bound: 3654
1253.80/1253.02	c current bound: 3654
1254.36/1253.58	c current bound: 3654
1254.91/1254.14	c current bound: 3654
1255.70/1254.70	c current bound: 3654
1256.05/1255.26	c current bound: 3654
1256.60/1255.82	c current bound: 3654
1257.17/1256.38	c current bound: 3654
1257.73/1256.94	c current bound: 3654
1258.28/1257.51	c current bound: 3654
1258.85/1258.07	c current bound: 3654
1259.42/1258.64	c current bound: 3654
1260.20/1259.20	c current bound: 3654
1260.54/1259.76	c current bound: 3654
1261.11/1260.33	c current bound: 3654
1261.68/1260.89	c current bound: 3654
1262.24/1261.45	c current bound: 3654
1262.80/1262.01	c current bound: 3654
1263.36/1262.58	c current bound: 3654
1263.93/1263.14	c current bound: 3654
1264.50/1263.71	c current bound: 3654
1265.07/1264.27	c current bound: 3654
1265.62/1264.83	c current bound: 3654
1266.18/1265.39	c current bound: 3654
1266.75/1265.95	c current bound: 3654
1267.32/1266.52	c current bound: 3654
1267.88/1267.07	c current bound: 3654
1268.44/1267.64	c current bound: 3654
1269.23/1268.21	c current bound: 3654
1269.58/1268.77	c current bound: 3654
1270.32/1269.33	c current bound: 3654
1270.70/1269.89	c current bound: 3654
1271.42/1270.45	c current bound: 3654
1271.83/1271.01	c current bound: 3654
1272.53/1271.57	c current bound: 3654
1272.95/1272.13	c current bound: 3654
1273.63/1272.70	c current bound: 3654
1274.07/1273.26	c current bound: 3654
1274.83/1273.82	c current bound: 3654
1275.21/1274.38	c current bound: 3654
1275.93/1274.94	c current bound: 3654
1276.32/1275.50	c current bound: 3654
1277.02/1276.06	c current bound: 3654
1277.45/1276.62	c current bound: 3654
1278.12/1277.19	c current bound: 3654
1278.58/1277.76	c current bound: 3654
1279.14/1278.32	c current bound: 3654
1279.70/1278.88	c current bound: 3654
1280.27/1279.45	c current bound: 3654
1280.83/1280.01	c current bound: 3654
1281.39/1280.58	c current bound: 3654
1281.96/1281.14	c current bound: 3654
1282.53/1281.71	c current bound: 3654
1283.09/1282.27	c current bound: 3654
1283.66/1282.84	c current bound: 3654
1284.45/1283.40	c current bound: 3654
1284.79/1283.97	c current bound: 3654
1285.35/1284.53	c current bound: 3654
1285.91/1285.09	c current bound: 3654
1286.46/1285.65	c current bound: 3654
1287.04/1286.22	c current bound: 3654
1287.61/1286.78	c current bound: 3654
1288.18/1287.34	c current bound: 3654
1288.73/1287.91	c current bound: 3654
1289.30/1288.47	c current bound: 3654
1289.87/1289.03	c current bound: 3654
1290.64/1289.60	c current bound: 3654
1290.99/1290.16	c current bound: 3654
1291.55/1290.73	c current bound: 3654
1292.11/1291.30	c current bound: 3654
1292.69/1291.86	c current bound: 3654
1293.44/1292.42	c current bound: 3654
1293.83/1292.99	c current bound: 3654
1294.55/1293.55	c current bound: 3654
1294.95/1294.11	c current bound: 3654
1295.63/1294.68	c current bound: 3654
1296.08/1295.24	c current bound: 3654
1296.86/1295.80	c current bound: 3654
1297.21/1296.36	c current bound: 3654
1297.95/1296.93	c current bound: 3654
1298.34/1297.49	c current bound: 3654
1299.05/1298.05	c current bound: 3654
1299.45/1298.61	c current bound: 3654
1300.16/1299.17	c current bound: 3654
1300.59/1299.73	c current bound: 3654
1301.25/1300.29	c current bound: 3654
1301.71/1300.86	c current bound: 3654
1302.27/1301.42	c current bound: 3654
1302.83/1301.98	c current bound: 3654
1303.40/1302.55	c current bound: 3654
1303.95/1303.11	c current bound: 3654
1304.53/1303.67	c current bound: 3654
1305.09/1304.23	c current bound: 3654
1305.64/1304.80	c current bound: 3654
1306.21/1305.36	c current bound: 3654
1306.78/1305.92	c current bound: 3654
1307.34/1306.49	c current bound: 3654
1307.89/1307.05	c current bound: 3654
1308.45/1307.61	c current bound: 3654
1309.01/1308.17	c current bound: 3654
1309.58/1308.74	c current bound: 3654
1310.15/1309.31	c current bound: 3654
1310.72/1309.87	c current bound: 3654
1311.28/1310.43	c current bound: 3654
1311.84/1310.99	c current bound: 3654
1312.39/1311.56	c current bound: 3654
1312.96/1312.12	c current bound: 3654
1313.54/1312.68	c current bound: 3654
1314.10/1313.24	c current bound: 3654
1314.66/1313.81	c current bound: 3654
1315.24/1314.38	c current bound: 3654
1315.81/1314.94	c current bound: 3654
1316.57/1315.51	c current bound: 3654
1316.93/1316.07	c current bound: 3654
1317.66/1316.63	c current bound: 3654
1318.05/1317.19	c current bound: 3654
1318.78/1317.75	c current bound: 3654
1319.18/1318.31	c current bound: 3654
1319.87/1318.87	c current bound: 3654
1320.30/1319.43	c current bound: 3654
1320.97/1320.00	c current bound: 3654
1321.43/1320.56	c current bound: 3654
1322.17/1321.12	c current bound: 3654
1322.54/1321.68	c current bound: 3654
1323.29/1322.24	c current bound: 3654
1323.66/1322.80	c current bound: 3654
1324.39/1323.36	c current bound: 3654
1324.81/1323.92	c current bound: 3654
1325.48/1324.49	c current bound: 3654
1325.91/1325.05	c current bound: 3654
1326.67/1325.61	c current bound: 3654
1327.05/1326.17	c current bound: 3654
1327.61/1326.74	c current bound: 3654
1328.18/1327.30	c current bound: 3654
1328.74/1327.87	c current bound: 3654
1329.30/1328.43	c current bound: 3654
1329.87/1328.99	c current bound: 3654
1330.43/1329.56	c current bound: 3654
1330.99/1330.12	c current bound: 3654
1331.55/1330.69	c current bound: 3654
1332.12/1331.25	c current bound: 3654
1332.69/1331.81	c current bound: 3654
1333.25/1332.37	c current bound: 3654
1333.81/1332.93	c current bound: 3654
1334.60/1333.50	c current bound: 3654
1334.95/1334.06	c current bound: 3654
1335.52/1334.63	c current bound: 3654
1336.08/1335.19	c current bound: 3654
1336.64/1335.75	c current bound: 3654
1337.21/1336.32	c current bound: 3654
1337.78/1336.88	c current bound: 3654
1338.33/1337.44	c current bound: 3654
1338.90/1338.00	c current bound: 3654
1339.46/1338.57	c current bound: 3654
1340.03/1339.13	c current bound: 3654
1340.58/1339.70	c current bound: 3654
1341.15/1340.26	c current bound: 3654
1341.90/1340.83	c current bound: 3654
1342.28/1341.39	c current bound: 3654
1343.01/1341.95	c current bound: 3654
1343.42/1342.51	c current bound: 3654
1344.11/1343.08	c current bound: 3654
1344.54/1343.64	c current bound: 3654
1345.33/1344.20	c current bound: 3654
1345.68/1344.77	c current bound: 3654
1346.41/1345.33	c current bound: 3654
1347.03/1345.90	c current bound: 3654
1347.52/1346.46	c current bound: 3654
1347.94/1347.03	c current bound: 3654
1348.63/1347.59	c current bound: 3654
1349.06/1348.15	c current bound: 3654
1349.63/1348.72	c current bound: 3654
1350.20/1349.28	c current bound: 3654
1350.77/1349.84	c current bound: 3654
1351.33/1350.41	c current bound: 3654
1351.89/1350.98	c current bound: 3654
1352.46/1351.54	c current bound: 3654
1353.03/1352.10	c current bound: 3654
1353.59/1352.67	c current bound: 3654
1354.15/1353.23	c current bound: 3654
1354.72/1353.79	c current bound: 3654
1355.28/1354.36	c current bound: 3654
1355.85/1354.92	c current bound: 3654
1356.41/1355.49	c current bound: 3654
1356.98/1356.05	c current bound: 3654
1357.56/1356.61	c current bound: 3654
1358.11/1357.17	c current bound: 3654
1358.67/1357.74	c current bound: 3654
1359.25/1358.31	c current bound: 3654
1359.82/1358.87	c current bound: 3654
1360.37/1359.43	c current bound: 3654
1360.93/1359.99	c current bound: 3654
1361.49/1360.56	c current bound: 3654
1362.07/1361.12	c current bound: 3654
1362.63/1361.68	c current bound: 3654
1363.20/1362.25	c current bound: 3654
1363.96/1362.83	c current bound: 3654
1364.34/1363.39	c current bound: 3654
1365.07/1363.95	c current bound: 3654
1365.47/1364.52	c current bound: 3654
1366.16/1365.08	c current bound: 3654
1366.60/1365.65	c current bound: 3654
1367.36/1366.21	c current bound: 3654
1367.72/1366.77	c current bound: 3654
1368.45/1367.34	c current bound: 3654
1368.85/1367.90	c current bound: 3654
1369.56/1368.47	c current bound: 3654
1369.98/1369.03	c current bound: 3654
1370.67/1369.59	c current bound: 3654
1371.11/1370.16	c current bound: 3654
1371.67/1370.72	c current bound: 3654
1372.24/1371.28	c current bound: 3654
1372.79/1371.85	c current bound: 3654
1373.37/1372.41	c current bound: 3654
1373.93/1372.98	c current bound: 3654
1374.50/1373.54	c current bound: 3654
1375.06/1374.10	c current bound: 3654
1375.63/1374.66	c current bound: 3654
1376.19/1375.23	c current bound: 3654
1376.74/1375.79	c current bound: 3654
1377.32/1376.36	c current bound: 3654
1377.89/1376.93	c current bound: 3654
1378.68/1377.50	c current bound: 3654
1379.03/1378.06	c current bound: 3654
1379.58/1378.62	c current bound: 3654
1380.14/1379.19	c current bound: 3654
1380.71/1379.75	c current bound: 3654
1381.28/1380.32	c current bound: 3654
1381.85/1380.88	c current bound: 3654
1382.42/1381.44	c current bound: 3654
1382.97/1382.00	c current bound: 3654
1383.54/1382.57	c current bound: 3654
1384.10/1383.13	c current bound: 3654
1384.66/1383.69	c current bound: 3654
1385.23/1384.26	c current bound: 3654
1386.00/1384.82	c current bound: 3654
1386.36/1385.39	c current bound: 3654
1387.09/1385.95	c current bound: 3654
1387.48/1386.51	c current bound: 3654
1388.19/1387.08	c current bound: 3654
1388.61/1387.64	c current bound: 3654
1389.40/1388.20	c current bound: 3654
1389.75/1388.76	c current bound: 3654
1390.48/1389.32	c current bound: 3654
1390.86/1389.88	c current bound: 3654
1391.58/1390.45	c current bound: 3654
1392.00/1391.02	c current bound: 3654
1392.69/1391.58	c current bound: 3654
1393.12/1392.14	c current bound: 3654
1393.88/1392.70	c current bound: 3654
1394.26/1393.26	c current bound: 3654
1394.81/1393.83	c current bound: 3654
1395.37/1394.39	c current bound: 3654
1395.95/1394.96	c current bound: 3654
1396.51/1395.52	c current bound: 3654
1397.07/1396.09	c current bound: 3654
1397.64/1396.65	c current bound: 3654
1398.20/1397.22	c current bound: 3654
1398.75/1397.78	c current bound: 3654
1399.32/1398.34	c current bound: 3654
1399.88/1398.90	c current bound: 3654
1400.44/1399.47	c current bound: 3654
1401.00/1400.03	c current bound: 3654
1401.57/1400.60	c current bound: 3654
1402.14/1401.16	c current bound: 3654
1402.70/1401.73	c current bound: 3654
1403.26/1402.29	c current bound: 3654
1403.84/1402.86	c current bound: 3654
1404.41/1403.42	c current bound: 3654
1404.95/1403.98	c current bound: 3654
1405.52/1404.54	c current bound: 3654
1406.30/1405.10	c current bound: 3654
1406.65/1405.66	c current bound: 3654
1407.21/1406.22	c current bound: 3654
1407.76/1406.78	c current bound: 3654
1408.34/1407.34	c current bound: 3654
1408.89/1407.90	c current bound: 3654
1409.45/1408.46	c current bound: 3654
1410.21/1409.02	c current bound: 3654
1410.59/1409.59	c current bound: 3654
1411.31/1410.15	c current bound: 3654
1411.71/1410.71	c current bound: 3654
1412.42/1411.27	c current bound: 3654
1412.84/1411.84	c current bound: 3654
1413.52/1412.40	c current bound: 3654
1413.96/1412.96	c current bound: 3654
1414.72/1413.52	c current bound: 3654
1415.09/1414.08	c current bound: 3654
1415.82/1414.64	c current bound: 3654
1416.21/1415.20	c current bound: 3654
1416.92/1415.77	c current bound: 3654
1417.34/1416.33	c current bound: 3654
1418.11/1416.91	c current bound: 3654
1418.48/1417.47	c current bound: 3654
1419.03/1418.03	c current bound: 3654
1419.60/1418.59	c current bound: 3654
1420.17/1419.16	c current bound: 3654
1420.73/1419.72	c current bound: 3654
1421.28/1420.28	c current bound: 3654
1421.86/1420.85	c current bound: 3654
1422.42/1421.41	c current bound: 3654
1422.98/1421.97	c current bound: 3654
1423.55/1422.53	c current bound: 3654
1424.09/1423.09	c current bound: 3654
1424.66/1423.66	c current bound: 3654
1425.23/1424.22	c current bound: 3654
1425.79/1424.79	c current bound: 3654
1426.36/1425.35	c current bound: 3654
1426.91/1425.91	c current bound: 3654
1427.48/1426.47	c current bound: 3654
1428.05/1427.04	c current bound: 3654
1428.62/1427.60	c current bound: 3654
1429.18/1428.17	c current bound: 3654
1429.74/1428.73	c current bound: 3654
1430.53/1429.30	c current bound: 3654
1430.88/1429.86	c current bound: 3654
1431.44/1430.42	c current bound: 3654
1432.00/1430.98	c current bound: 3654
1432.56/1431.54	c current bound: 3654
1433.34/1432.12	c current bound: 3654
1433.71/1432.68	c current bound: 3654
1434.44/1433.24	c current bound: 3654
1434.85/1433.80	c current bound: 3654
1435.55/1434.36	c current bound: 3654
1435.97/1434.93	c current bound: 3654
1436.63/1435.49	c current bound: 3654
1437.09/1436.05	c current bound: 3654
1437.85/1436.62	c current bound: 3654
1438.22/1437.18	c current bound: 3654
1438.94/1437.74	c current bound: 3654
1439.35/1438.31	c current bound: 3654
1440.05/1438.88	c current bound: 3654
1440.48/1439.44	c current bound: 3654
1441.25/1440.01	c current bound: 3654
1441.62/1440.57	c current bound: 3654
1442.19/1441.14	c current bound: 3654
1442.74/1441.70	c current bound: 3654
1443.31/1442.27	c current bound: 3654
1443.87/1442.84	c current bound: 3654
1444.45/1443.40	c current bound: 3654
1445.00/1443.96	c current bound: 3654
1445.58/1444.54	c current bound: 3654
1446.14/1445.11	c current bound: 3654
1446.72/1445.67	c current bound: 3654
1447.28/1446.24	c current bound: 3654
1447.85/1446.80	c current bound: 3654
1448.41/1447.37	c current bound: 3654
1448.97/1447.93	c current bound: 3654
1449.54/1448.49	c current bound: 3654
1450.10/1449.06	c current bound: 3654
1450.67/1449.63	c current bound: 3654
1451.23/1450.19	c current bound: 3654
1451.80/1450.75	c current bound: 3654
1452.36/1451.31	c current bound: 3654
1452.92/1451.88	c current bound: 3654
1453.48/1452.44	c current bound: 3654
1454.26/1453.02	c current bound: 3654
1454.63/1453.58	c current bound: 3654
1455.35/1454.15	c current bound: 3654
1455.76/1454.71	c current bound: 3654
1456.47/1455.27	c current bound: 3654
1456.89/1455.84	c current bound: 3654
1457.66/1456.41	c current bound: 3654
1458.02/1456.97	c current bound: 3654
1458.76/1457.55	c current bound: 3654
1459.15/1458.11	c current bound: 3654
1459.86/1458.67	c current bound: 3654
1460.29/1459.24	c current bound: 3654
1461.07/1459.80	c current bound: 3654
1461.42/1460.37	c current bound: 3654
1462.00/1460.94	c current bound: 3654
1462.56/1461.50	c current bound: 3654
1463.12/1462.07	c current bound: 3654
1463.68/1462.63	c current bound: 3654
1464.46/1463.20	c current bound: 3654
1464.81/1463.76	c current bound: 3654
1465.38/1464.33	c current bound: 3654
1465.95/1464.89	c current bound: 3654
1466.51/1465.46	c current bound: 3654
1467.08/1466.02	c current bound: 3654
1467.64/1466.59	c current bound: 3654
1468.22/1467.16	c current bound: 3654
1468.79/1467.72	c current bound: 3654
1469.35/1468.29	c current bound: 3654
1469.89/1468.85	c current bound: 3654
1470.47/1469.41	c current bound: 3654
1471.02/1469.97	c current bound: 3654
1471.60/1470.53	c current bound: 3654
1472.38/1471.10	c current bound: 3654
1472.71/1471.66	c current bound: 3654
1473.27/1472.22	c current bound: 3654
1473.83/1472.78	c current bound: 3654
1474.39/1473.34	c current bound: 3654
1475.18/1473.91	c current bound: 3654
1475.53/1474.47	c current bound: 3654
1476.28/1475.03	c current bound: 3654
1476.89/1475.60	c current bound: 3654
1477.38/1476.16	c current bound: 3654
1477.78/1476.72	c current bound: 3654
1478.47/1477.28	c current bound: 3654
1478.90/1477.84	c current bound: 3654
1479.69/1478.41	c current bound: 3654
1480.02/1478.97	c current bound: 3654
1480.78/1479.54	c current bound: 3654
1481.38/1480.10	c current bound: 3654
1481.89/1480.66	c current bound: 3654
1482.28/1481.22	c current bound: 3654
1482.98/1481.78	c current bound: 3654
1483.42/1482.34	c current bound: 3654
1484.17/1482.90	c current bound: 3654
1484.55/1483.47	c current bound: 3654
1485.11/1484.03	c current bound: 3654
1485.68/1484.59	c current bound: 3654
1486.23/1485.16	c current bound: 3654
1486.80/1485.73	c current bound: 3654
1487.59/1486.30	c current bound: 3654
1487.93/1486.86	c current bound: 3654
1488.49/1487.42	c current bound: 3654
1489.06/1487.99	c current bound: 3654
1489.63/1488.57	c current bound: 3654
1490.20/1489.13	c current bound: 3654
1490.99/1489.70	c current bound: 3654
1491.34/1490.26	c current bound: 3654
1491.90/1490.83	c current bound: 3654
1492.47/1491.39	c current bound: 3654
1493.03/1491.95	c current bound: 3654
1493.59/1492.51	c current bound: 3654
1494.16/1493.08	c current bound: 3654
1494.71/1493.64	c current bound: 3654
1495.50/1494.20	c current bound: 3654
1495.84/1494.76	c current bound: 3654
1496.41/1495.32	c current bound: 3654
1496.96/1495.88	c current bound: 3654
1497.53/1496.44	c current bound: 3654
1498.31/1497.01	c current bound: 3654
1498.65/1497.57	c current bound: 3654
1499.41/1498.13	c current bound: 3654
1499.79/1498.69	c current bound: 3654
1500.51/1499.25	c current bound: 3654
1500.92/1499.81	c current bound: 3654
1501.62/1500.37	c current bound: 3654
1502.05/1500.93	c current bound: 3654
1502.71/1501.50	c current bound: 3654
1503.16/1502.06	c current bound: 3654
1503.91/1502.62	c current bound: 3654
1504.30/1503.18	c current bound: 3654
1505.00/1503.75	c current bound: 3654
1505.41/1504.31	c current bound: 3654
1506.12/1504.87	c current bound: 3654
1506.54/1505.43	c current bound: 3654
1507.32/1506.00	c current bound: 3654
1507.66/1506.57	c current bound: 3654
1508.24/1507.13	c current bound: 3654
1508.81/1507.69	c current bound: 3654
1509.37/1508.26	c current bound: 3654
1509.94/1508.82	c current bound: 3654
1510.50/1509.39	c current bound: 3654
1511.07/1509.96	c current bound: 3654
1511.62/1510.52	c current bound: 3654
1512.19/1511.09	c current bound: 3654
1512.77/1511.66	c current bound: 3654
1513.33/1512.23	c current bound: 3654
1513.90/1512.79	c current bound: 3654
1514.47/1513.35	c current bound: 3654
1515.04/1513.92	c current bound: 3654
1515.60/1514.49	c current bound: 3654
1516.16/1515.05	c current bound: 3654
1516.72/1515.62	c current bound: 3654
1517.29/1516.18	c current bound: 3654
1517.85/1516.74	c current bound: 3654
1518.41/1517.30	c current bound: 3654
1518.99/1517.87	c current bound: 3654
1519.54/1518.43	c current bound: 3654
1520.10/1518.99	c current bound: 3654
1520.66/1519.56	c current bound: 3654
1521.42/1520.12	c current bound: 3654
1521.78/1520.68	c current bound: 3654
1522.51/1521.25	c current bound: 3654
1522.92/1521.81	c current bound: 3654
1523.61/1522.38	c current bound: 3654
1524.04/1522.94	c current bound: 3654
1524.84/1523.50	c current bound: 3654
1525.17/1524.07	c current bound: 3654
1525.92/1524.63	c current bound: 3654
1526.30/1525.19	c current bound: 3654
1527.02/1525.75	c current bound: 3654
1527.43/1526.32	c current bound: 3654
1528.13/1526.88	c current bound: 3654
1528.56/1527.45	c current bound: 3654
1529.32/1528.01	c current bound: 3654
1529.69/1528.57	c current bound: 3654
1530.25/1529.13	c current bound: 3654
1530.82/1529.69	c current bound: 3654
1531.38/1530.26	c current bound: 3654
1531.94/1530.82	c current bound: 3654
1532.50/1531.39	c current bound: 3654
1533.07/1531.95	c current bound: 3654
1533.63/1532.51	c current bound: 3654
1534.20/1533.08	c current bound: 3654
1534.75/1533.64	c current bound: 3654
1535.33/1534.20	c current bound: 3654
1535.88/1534.77	c current bound: 3654
1536.45/1535.33	c current bound: 3654
1537.02/1535.89	c current bound: 3654
1537.59/1536.45	c current bound: 3654
1538.14/1537.02	c current bound: 3654
1538.72/1537.58	c current bound: 3654
1539.26/1538.14	c current bound: 3654
1539.84/1538.70	c current bound: 3654
1540.40/1539.27	c current bound: 3654
1540.96/1539.83	c current bound: 3654
1541.51/1540.39	c current bound: 3654
1542.08/1540.95	c current bound: 3654
1542.64/1541.52	c current bound: 3654
1543.21/1542.08	c current bound: 3654
1543.77/1542.64	c current bound: 3654
1544.53/1543.21	c current bound: 3654
1544.90/1543.78	c current bound: 3654
1545.65/1544.34	c current bound: 3654
1546.03/1544.90	c current bound: 3654
1546.73/1545.48	c current bound: 3654
1547.18/1546.05	c current bound: 3654
1547.94/1546.61	c current bound: 3654
1548.32/1547.18	c current bound: 3654
1549.06/1547.74	c current bound: 3654
1549.44/1548.31	c current bound: 3654
1550.16/1548.87	c current bound: 3654
1550.59/1549.44	c current bound: 3654
1551.37/1550.00	c current bound: 3654
1551.72/1550.56	c current bound: 3654
1552.28/1551.13	c current bound: 3654
1552.84/1551.69	c current bound: 3654
1553.41/1552.25	c current bound: 3654
1553.98/1552.81	c current bound: 3654
1554.53/1553.38	c current bound: 3654
1555.10/1553.95	c current bound: 3654
1555.66/1554.52	c current bound: 3654
1556.24/1555.08	c current bound: 3654
1556.80/1555.64	c current bound: 3654
1557.37/1556.22	c current bound: 3654
1557.94/1556.79	c current bound: 3654
1558.51/1557.36	c current bound: 3654
1559.09/1557.92	c current bound: 3654
1559.64/1558.49	c current bound: 3654
1560.22/1559.05	c current bound: 3654
1560.78/1559.61	c current bound: 3654
1561.34/1560.18	c current bound: 3654
1561.90/1560.74	c current bound: 3654
1562.67/1561.30	c current bound: 3654
1563.02/1561.86	c current bound: 3654
1563.58/1562.42	c current bound: 3654
1564.14/1562.99	c current bound: 3654
1564.71/1563.55	c current bound: 3654
1565.46/1564.11	c current bound: 3654
1565.83/1564.68	c current bound: 3654
1566.58/1565.24	c current bound: 3654
1566.95/1565.80	c current bound: 3654
1567.66/1566.36	c current bound: 3654
1568.09/1566.92	c current bound: 3654
1568.78/1567.49	c current bound: 3654
1569.21/1568.05	c current bound: 3654
1569.97/1568.61	c current bound: 3654
1570.33/1569.17	c current bound: 3654
1571.07/1569.73	c current bound: 3654
1571.68/1570.30	c current bound: 3654
1572.17/1570.86	c current bound: 3654
1572.59/1571.42	c current bound: 3654
1573.28/1571.98	c current bound: 3654
1573.72/1572.55	c current bound: 3654
1574.48/1573.11	c current bound: 3654
1574.84/1573.67	c current bound: 3654
1575.40/1574.24	c current bound: 3654
1576.19/1574.80	c current bound: 3654
1576.54/1575.36	c current bound: 3654
1577.10/1575.92	c current bound: 3654
1577.66/1576.49	c current bound: 3654
1578.23/1577.05	c current bound: 3654
1578.78/1577.61	c current bound: 3654
1579.34/1578.18	c current bound: 3654
1579.90/1578.74	c current bound: 3654
1580.47/1579.30	c current bound: 3654
1581.03/1579.87	c current bound: 3654
1581.61/1580.43	c current bound: 3654
1582.39/1581.00	c current bound: 3654
1582.73/1581.57	c current bound: 3654
1583.31/1582.13	c current bound: 3654
1583.86/1582.70	c current bound: 3654
1584.44/1583.27	c current bound: 3654
1585.00/1583.83	c current bound: 3654
1585.58/1584.39	c current bound: 3654
1586.12/1584.95	c current bound: 3654
1586.69/1585.52	c current bound: 3654
1587.26/1586.08	c current bound: 3654
1587.82/1586.65	c current bound: 3654
1588.59/1587.21	c current bound: 3654
1588.96/1587.77	c current bound: 3654
1589.70/1588.33	c current bound: 3654
1590.09/1588.90	c current bound: 3654
1590.81/1589.46	c current bound: 3654
1591.21/1590.02	c current bound: 3654
1591.91/1590.58	c current bound: 3654
1592.33/1591.15	c current bound: 3654
1593.11/1591.71	c current bound: 3654
1593.46/1592.27	c current bound: 3654
1594.20/1592.84	c current bound: 3654
1594.58/1593.40	c current bound: 3654
1595.30/1593.96	c current bound: 3654
1595.72/1594.53	c current bound: 3654
1596.39/1595.09	c current bound: 3654
1596.84/1595.66	c current bound: 3654
1597.41/1596.22	c current bound: 3654
1597.97/1596.78	c current bound: 3654
1598.53/1597.35	c current bound: 3654
1599.09/1597.91	c current bound: 3654
1599.67/1598.48	c current bound: 3654
1600.23/1599.04	c current bound: 3654
1600.79/1599.61	c current bound: 3654
1601.37/1600.17	c current bound: 3654
1601.92/1600.74	c current bound: 3654
1602.49/1601.30	c current bound: 3654
1603.05/1601.87	c current bound: 3654
1603.62/1602.43	c current bound: 3654
1604.41/1603.04	c current bound: 3654
1604.75/1603.61	c current bound: 3654
1605.31/1604.17	c current bound: 3654
1605.88/1604.73	c current bound: 3654
1606.67/1605.30	c current bound: 3654
1607.01/1605.86	c current bound: 3654
1607.57/1606.42	c current bound: 3654
1608.13/1606.98	c current bound: 3654
1608.69/1607.55	c current bound: 3654
1609.46/1608.11	c current bound: 3654
1609.83/1608.68	c current bound: 3654
1610.56/1609.24	c current bound: 3654
1610.96/1609.80	c current bound: 3654
1611.67/1610.36	c current bound: 3654
1612.08/1610.93	c current bound: 3654
1612.76/1611.49	c current bound: 3654
1613.20/1612.05	c current bound: 3654
1613.97/1612.61	c current bound: 3654
1614.33/1613.17	c current bound: 3654
1615.07/1613.74	c current bound: 3654
1615.69/1614.30	c current bound: 3654
1616.19/1614.86	c current bound: 3654
1616.59/1615.42	c current bound: 3654
1617.29/1615.98	c current bound: 3654
1617.70/1616.54	c current bound: 3654
1618.47/1617.10	c current bound: 3654
1618.84/1617.66	c current bound: 3654
1619.40/1618.23	c current bound: 3654
1619.97/1618.79	c current bound: 3654
1620.53/1619.35	c current bound: 3654
1621.07/1619.91	c current bound: 3654
1621.64/1620.48	c current bound: 3654
1622.21/1621.04	c current bound: 3654
1622.77/1621.60	c current bound: 3654
1623.34/1622.16	c current bound: 3654
1623.89/1622.73	c current bound: 3654
1624.47/1623.29	c current bound: 3654
1625.03/1623.86	c current bound: 3654
1625.59/1624.42	c current bound: 3654
1626.15/1624.99	c current bound: 3654
1626.72/1625.55	c current bound: 3654
1627.29/1626.12	c current bound: 3654
1627.85/1626.68	c current bound: 3654
1628.42/1627.25	c current bound: 3654
1628.97/1627.81	c current bound: 3654
1629.53/1628.37	c current bound: 3654
1630.10/1628.93	c current bound: 3654
1630.87/1629.50	c current bound: 3654
1631.22/1630.06	c current bound: 3654
1631.78/1630.63	c current bound: 3654
1632.36/1631.19	c current bound: 3654
1632.93/1631.76	c current bound: 3654
1633.69/1632.32	c current bound: 3654
1634.06/1632.88	c current bound: 3654
1634.79/1633.45	c current bound: 3654
1635.18/1634.01	c current bound: 3654
1635.87/1634.57	c current bound: 3654
1636.32/1635.14	c current bound: 3654
1636.98/1635.70	c current bound: 3654
1637.45/1636.26	c current bound: 3654
1638.20/1636.83	c current bound: 3654
1638.58/1637.39	c current bound: 3654
1639.29/1637.95	c current bound: 3654
1639.70/1638.52	c current bound: 3654
1640.39/1639.08	c current bound: 3654
1640.83/1639.64	c current bound: 3654
1641.59/1640.20	c current bound: 3654
1641.97/1640.77	c current bound: 3654
1642.52/1641.33	c current bound: 3654
1643.32/1641.90	c current bound: 3654
1643.66/1642.47	c current bound: 3654
1644.23/1643.04	c current bound: 3654
1644.79/1643.61	c current bound: 3654
1645.36/1644.17	c current bound: 3654
1645.92/1644.73	c current bound: 3654
1646.70/1645.30	c current bound: 3654
1647.06/1645.87	c current bound: 3654
1647.63/1646.43	c current bound: 3654
1648.40/1647.00	c current bound: 3654
1648.76/1647.56	c current bound: 3654
1649.33/1648.13	c current bound: 3654
1649.88/1648.69	c current bound: 3654
1650.45/1649.25	c current bound: 3654
1651.01/1649.82	c current bound: 3654
1651.57/1650.38	c current bound: 3654
1652.14/1650.94	c current bound: 3654
1652.70/1651.51	c current bound: 3654
1653.27/1652.07	c current bound: 3654
1653.83/1652.63	c current bound: 3654
1654.40/1653.19	c current bound: 3654
1654.97/1653.77	c current bound: 3654
1655.71/1654.33	c current bound: 3654
1656.09/1654.89	c current bound: 3654
1656.81/1655.45	c current bound: 3654
1657.22/1656.03	c current bound: 3654
1657.91/1656.60	c current bound: 3654
1658.36/1657.16	c current bound: 3654
1659.12/1657.73	c current bound: 3654
1659.50/1658.29	c current bound: 3654
1660.22/1658.86	c current bound: 3654
1660.64/1659.42	c current bound: 3654
1661.32/1659.98	c current bound: 3654
1661.76/1660.55	c current bound: 3654
1662.53/1661.11	c current bound: 3654
1662.90/1661.67	c current bound: 3654
1663.46/1662.24	c current bound: 3654
1664.03/1662.80	c current bound: 3654
1664.60/1663.37	c current bound: 3654
1665.15/1663.93	c current bound: 3654
1665.72/1664.50	c current bound: 3654
1666.28/1665.06	c current bound: 3654
1666.85/1665.63	c current bound: 3654
1667.42/1666.19	c current bound: 3654
1667.98/1666.75	c current bound: 3654
1668.54/1667.32	c current bound: 3654
1669.11/1667.88	c current bound: 3654
1669.67/1668.44	c current bound: 3654
1670.23/1669.01	c current bound: 3654
1670.80/1669.57	c current bound: 3654
1671.37/1670.14	c current bound: 3654
1671.93/1670.70	c current bound: 3654
1672.49/1671.27	c current bound: 3654
1673.06/1671.83	c current bound: 3654
1673.85/1672.40	c current bound: 3654
1674.18/1672.96	c current bound: 3654
1674.75/1673.52	c current bound: 3654
1675.33/1674.08	c current bound: 3654
1675.88/1674.65	c current bound: 3654
1676.65/1675.21	c current bound: 3654
1677.01/1675.77	c current bound: 3654
1677.73/1676.34	c current bound: 3654
1678.35/1676.90	c current bound: 3654
1678.85/1677.46	c current bound: 3654
1679.26/1678.03	c current bound: 3654
1679.95/1678.59	c current bound: 3654
1680.38/1679.16	c current bound: 3654
1681.14/1679.72	c current bound: 3654
1681.52/1680.29	c current bound: 3654
1682.24/1680.85	c current bound: 3654
1682.63/1681.41	c current bound: 3654
1683.35/1681.97	c current bound: 3654
1683.78/1682.53	c current bound: 3654
1684.45/1683.09	c current bound: 3654
1684.90/1683.66	c current bound: 3654
1685.46/1684.23	c current bound: 3654
1686.03/1684.80	c current bound: 3654
1686.60/1685.36	c current bound: 3654
1687.17/1685.93	c current bound: 3654
1687.73/1686.49	c current bound: 3654
1688.30/1687.05	c current bound: 3654
1688.86/1687.62	c current bound: 3654
1689.42/1688.18	c current bound: 3654
1689.99/1688.76	c current bound: 3654
1690.56/1689.34	c current bound: 3654
1691.16/1689.90	c current bound: 3654
1691.72/1690.47	c current bound: 3654
1692.28/1691.04	c current bound: 3654
1693.07/1691.60	c current bound: 3654
1693.42/1692.17	c current bound: 3654
1693.99/1692.73	c current bound: 3654
1694.55/1693.29	c current bound: 3654
1695.11/1693.86	c current bound: 3654
1695.68/1694.44	c current bound: 3654
1696.48/1695.00	c current bound: 3654
1696.82/1695.57	c current bound: 3654
1697.56/1696.13	c current bound: 3654
1697.95/1696.69	c current bound: 3654
1698.67/1697.26	c current bound: 3654
1699.08/1697.83	c current bound: 3654
1699.77/1698.40	c current bound: 3654
1700.22/1698.96	c current bound: 3654
1700.98/1699.52	c current bound: 3654
1701.36/1700.09	c current bound: 3654
1702.07/1700.65	c current bound: 3654
1702.47/1701.21	c current bound: 3654
1703.17/1701.78	c current bound: 3654
1703.60/1702.34	c current bound: 3654
1704.36/1702.90	c current bound: 3654
1704.72/1703.46	c current bound: 3654
1705.29/1704.03	c current bound: 3654
1706.07/1704.60	c current bound: 3654
1706.42/1705.17	c current bound: 3654
1706.99/1705.73	c current bound: 3654
1707.55/1706.29	c current bound: 3654
1708.13/1706.85	c current bound: 3654
1708.68/1707.42	c current bound: 3654
1709.46/1708.04	c current bound: 3654
1709.81/1708.61	c current bound: 3654
1710.38/1709.17	c current bound: 3654
1710.92/1709.73	c current bound: 3654
1711.49/1710.30	c current bound: 3654
1712.06/1710.87	c current bound: 3654
1712.62/1711.43	c current bound: 3654
1713.18/1712.01	c current bound: 3654
1713.76/1712.57	c current bound: 3654
1714.33/1713.13	c current bound: 3654
1714.90/1713.70	c current bound: 3654
1715.46/1714.27	c current bound: 3654
1716.20/1714.83	c current bound: 3654
1716.82/1715.40	c current bound: 3654
1717.30/1715.96	c current bound: 3654
1717.73/1716.53	c current bound: 3654
1718.41/1717.09	c current bound: 3654
1718.86/1717.65	c current bound: 3654
1719.61/1718.22	c current bound: 3654
1719.99/1718.78	c current bound: 3654
1720.73/1719.34	c current bound: 3654
1721.11/1719.90	c current bound: 3654
1721.83/1720.46	c current bound: 3654
1722.25/1721.03	c current bound: 3654
1722.93/1721.59	c current bound: 3654
1723.37/1722.15	c current bound: 3654
1724.12/1722.72	c current bound: 3654
1724.50/1723.28	c current bound: 3654
1725.06/1723.84	c current bound: 3654
1725.63/1724.41	c current bound: 3654
1726.21/1724.97	c current bound: 3654
1726.76/1725.53	c current bound: 3654
1727.33/1726.09	c current bound: 3654
1727.88/1726.65	c current bound: 3654
1728.45/1727.22	c current bound: 3654
1729.00/1727.78	c current bound: 3654
1729.56/1728.34	c current bound: 3654
1730.13/1728.91	c current bound: 3654
1730.70/1729.47	c current bound: 3654
1731.26/1730.03	c current bound: 3654
1731.82/1730.59	c current bound: 3654
1732.40/1731.15	c current bound: 3654
1732.95/1731.72	c current bound: 3654
1733.52/1732.28	c current bound: 3654
1734.07/1732.85	c current bound: 3654
1734.64/1733.41	c current bound: 3654
1735.21/1733.97	c current bound: 3654
1735.78/1734.54	c current bound: 3654
1736.34/1735.10	c current bound: 3654
1736.90/1735.66	c current bound: 3654
1737.46/1736.23	c current bound: 3654
1738.25/1736.80	c current bound: 3654
1738.60/1737.36	c current bound: 3654
1739.35/1737.93	c current bound: 3654
1739.72/1738.49	c current bound: 3654
1740.44/1739.05	c current bound: 3654
1740.86/1739.61	c current bound: 3654
1741.54/1740.19	c current bound: 3654
1741.99/1740.75	c current bound: 3654
1742.74/1741.31	c current bound: 3654
1743.12/1741.87	c current bound: 3654
1743.85/1742.44	c current bound: 3654
1744.24/1743.09	c current bound: 3654
1744.81/1743.65	c current bound: 3654
1745.37/1744.21	c current bound: 3654
1745.93/1744.77	c current bound: 3654
1746.48/1745.34	c current bound: 3654
1747.06/1745.91	c current bound: 3654
1747.62/1746.47	c current bound: 3654
1748.20/1747.03	c current bound: 3654
1748.97/1747.60	c current bound: 3654
1749.32/1748.16	c current bound: 3654
1749.88/1748.73	c current bound: 3654
1750.45/1749.29	c current bound: 3654
1751.02/1749.85	c current bound: 3654
1751.57/1750.42	c current bound: 3654
1752.13/1750.98	c current bound: 3654
1752.69/1751.54	c current bound: 3654
1753.26/1752.10	c current bound: 3654
1753.83/1752.66	c current bound: 3654
1754.39/1753.23	c current bound: 3654
1754.96/1753.79	c current bound: 3654
1755.52/1754.35	c current bound: 3654
1756.09/1754.91	c current bound: 3654
1756.64/1755.47	c current bound: 3654
1757.20/1756.04	c current bound: 3654
1757.99/1756.60	c current bound: 3654
1758.34/1757.16	c current bound: 3654
1759.08/1757.72	c current bound: 3654
1759.46/1758.29	c current bound: 3654
1760.18/1758.85	c current bound: 3654
1760.60/1759.41	c current bound: 3654
1761.29/1759.98	c current bound: 3654
1761.71/1760.54	c current bound: 3654
1762.49/1761.11	c current bound: 3654
1762.85/1761.68	c current bound: 3654
1763.59/1762.24	c current bound: 3654
1763.97/1762.81	c current bound: 3654
1764.68/1763.38	c current bound: 3654
1765.11/1763.94	c current bound: 3654
1765.88/1764.51	c current bound: 3654
1766.25/1765.07	c current bound: 3654
1766.82/1765.64	c current bound: 3654
1767.38/1766.20	c current bound: 3654
1767.95/1766.76	c current bound: 3654
1768.50/1767.33	c current bound: 3654
1769.07/1767.89	c current bound: 3654
1769.64/1768.46	c current bound: 3654
1770.21/1769.02	c current bound: 3654
1770.78/1769.59	c current bound: 3654
1771.34/1770.15	c current bound: 3654
1771.90/1770.71	c current bound: 3654
1772.47/1771.28	c current bound: 3654
1773.04/1771.84	c current bound: 3654
1773.60/1772.40	c current bound: 3654
1774.17/1772.97	c current bound: 3654
1774.73/1773.54	c current bound: 3654
1775.52/1774.10	c current bound: 3654
1775.86/1774.66	c current bound: 3654
1776.43/1775.23	c current bound: 3654
1777.22/1775.80	c current bound: 3654
1777.58/1776.37	c current bound: 3654
1778.14/1776.93	c current bound: 3654
1778.70/1777.50	c current bound: 3654
1779.26/1778.09	c current bound: 3654
1779.99/1778.66	c current bound: 3654
1780.41/1779.23	c current bound: 3654
1781.08/1779.80	c current bound: 3654
1781.53/1780.36	c current bound: 3654
1782.28/1780.92	c current bound: 3654
1782.67/1781.48	c current bound: 3654
1783.40/1782.05	c current bound: 3654
1783.79/1782.61	c current bound: 3654
1784.49/1783.17	c current bound: 3654
1784.91/1783.75	c current bound: 3654
1785.68/1784.31	c current bound: 3654
1786.06/1784.87	c current bound: 3654
1786.61/1785.43	c current bound: 3654
1787.40/1786.00	c current bound: 3654
1787.74/1786.56	c current bound: 3654
1788.32/1787.13	c current bound: 3654
1788.89/1787.69	c current bound: 3654
1789.43/1788.25	c current bound: 3654
1790.00/1788.81	c current bound: 3654
1790.57/1789.37	c current bound: 3654
1791.13/1789.93	c current bound: 3654
1791.69/1790.50	c current bound: 3654
1792.25/1791.08	c current bound: 3654
1792.83/1791.64	c current bound: 3654
1793.61/1792.20	c current bound: 3654
1793.95/1792.76	c current bound: 3654
1794.51/1793.32	c current bound: 3654
1795.08/1793.89	c current bound: 3654
1795.64/1794.45	c current bound: 3654
1796.21/1795.02	c current bound: 3654
1796.78/1795.59	c current bound: 3654
1797.35/1796.16	c current bound: 3654
1797.92/1796.72	c current bound: 3654
1798.49/1797.29	c current bound: 3654
1799.05/1797.85	c current bound: 3654
1799.81/1798.41	c current bound: 3654
1799.93/1798.51	./satsolver.sh: line 5:  1713 Terminated              ./glucose $1 > $2 2> /dev/null
1799.93/1798.51	c error: unexpected solver exit code
1799.93/1798.51	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715823-1338242251/watcher-3715823-1338242251 -o /tmp/evaluation-result-3715823-1338242251/solver-3715823-1338242251 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715823-1338242251.wbo 681798563 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.08 2.03 1.94 3/178 5690
/proc/meminfo: memFree=25414232/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0

[startup+0.063905 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 5690
/proc/meminfo: memFree=25414232/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100225 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 5690
/proc/meminfo: memFree=25414232/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300298 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 5690
/proc/meminfo: memFree=25414232/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700227 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 5690
/proc/meminfo: memFree=25414232/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.08 2.03 1.94 3/182 5718
/proc/meminfo: memFree=25350736/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1.26 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 6438 35805 0 0 24 4 75 23 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 28592

[startup+3.10034 s]
/proc/loadavg: 2.08 2.03 1.94 3/181 5736
/proc/meminfo: memFree=25314848/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=2.96 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 12039 80492 0 0 48 9 185 54 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 28592

[startup+6.30036 s]
/proc/loadavg: 2.23 2.06 1.95 3/181 5795
/proc/meminfo: memFree=25347068/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=5.79 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 21374 154571 0 0 88 16 372 103 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 28592

[startup+12.7002 s]
/proc/loadavg: 2.21 2.06 1.95 3/181 5921
/proc/meminfo: memFree=25352844/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=12.25 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 41919 326597 0 0 176 31 807 211 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 28592

[startup+25.5004 s]
/proc/loadavg: 2.38 2.11 1.97 3/179 6171
/proc/meminfo: memFree=25398244/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=25.02 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 84852 655199 0 0 359 62 1644 437 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 28592

[startup+51.1003 s]
/proc/loadavg: 2.18 2.08 1.97 3/181 6649
/proc/meminfo: memFree=25344528/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=50.69 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 168875 1323816 0 0 716 124 3348 881 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 28592

[startup+102.307 s]
/proc/loadavg: 2.08 2.07 1.97 3/181 7619
/proc/meminfo: memFree=25329452/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=101.96 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 338764 2651093 0 0 1433 249 6748 1766 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
[pid=7618] ppid=5691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7618/stat : 7618 (satsolver.sh) S 5691 5690 1905 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 290363838 9367552 266 33554432000 4194304 5064252 140733775064352 140733775063264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7618/statm: 2287 266 226 213 0 72 0
[pid=7619] ppid=7618 vsize=47976 CPUtime=0.14 cores=1,3,5,7
/proc/7619/stat : 7619 (glucose) R 7618 5690 1905 0 -1 4202496 9855 0 0 0 13 1 0 0 20 0 1 0 290363838 49127424 10561 33554432000 4194304 5208918 140735066606560 140733775063288 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7619/statm: 11994 10561 95 248 0 11743 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 85716

[startup+162.3 s]
/proc/loadavg: 1.96 2.04 1.96 3/180 8711
/proc/meminfo: memFree=25358900/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=162.01 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 536666 4214584 0 0 2267 394 10739 2801 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 28592

[startup+222.3 s]
/proc/loadavg: 1.88 2.00 1.95 3/180 9672
/proc/meminfo: memFree=25359372/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=222.1 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 734568 5775614 0 0 3105 536 14707 3862 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 28592

[startup+282.3 s]
/proc/loadavg: 1.95 2.00 1.95 3/181 10599
/proc/meminfo: memFree=25313160/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=282.22 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 932478 7344670 0 0 3939 682 18697 4904 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 28592

[startup+342.3 s]
/proc/loadavg: 2.14 2.04 1.97 3/182 11540
/proc/meminfo: memFree=25349348/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19448 CPUtime=342.49 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) R 5690 5690 1905 0 -1 4202496 1132238 8909523 0 0 4782 827 22678 5962 20 0 1 0 290353622 19914752 4095 33554432000 4194304 5990268 140734809189488 140734809181472 5180875 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4862 4095 177 439 0 4419 0
Current children cumulated CPU time (s) 342.49

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

/proc/meminfo: memFree=25307920/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1303.14 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 4308006 33989208 0 0 18168 3171 86375 22600 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
[pid=26439] ppid=5691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26439/stat : 26439 (satsolver.sh) S 5691 5690 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290483830 9367552 267 33554432000 4194304 5064252 140733800921232 140733800920144 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26439/statm: 2287 267 226 213 0 72 0
[pid=26440] ppid=26439 vsize=48252 CPUtime=0.21 cores=1,3,5,7
/proc/26440/stat : 26440 (glucose) R 26439 5690 1905 0 -1 4202496 10229 0 0 0 20 1 0 0 20 0 1 0 290483830 49410048 10401 33554432000 4194304 5208918 140736581112080 140736581108600 4607488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26440/statm: 12063 10401 105 248 0 11812 0
Current children cumulated CPU time (s) 1303.35
Current children cumulated vsize (KiB) 85992

[startup+1362.3 s]
/proc/loadavg: 2.22 2.02 1.96 3/180 27365
/proc/meminfo: memFree=25366808/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=11252 CPUtime=1363.46 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) R 5690 5690 1905 0 -1 4202496 4507545 35570429 0 0 19009 3315 90374 23648 20 0 1 0 290353622 11522048 2334 33554432000 4194304 5990268 140734809189488 140734809181472 5042551 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5691/statm: 2813 2334 177 439 0 2370 0
Current children cumulated CPU time (s) 1363.46
Current children cumulated vsize (KiB) 20400

[startup+1422.31 s]
/proc/loadavg: 2.03 2.00 1.95 3/181 28305
/proc/meminfo: memFree=25307240/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1423.3 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 4705677 37129953 0 0 19842 3467 94336 24685 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
[pid=28304] ppid=5691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28304/stat : 28304 (satsolver.sh) S 5691 5690 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290495828 9367552 266 33554432000 4194304 5064252 140736283959904 140736283958816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28304/statm: 2287 266 226 213 0 72 0
[pid=28305] ppid=28304 vsize=48252 CPUtime=0.23 cores=1,3,5,7
/proc/28305/stat : 28305 (glucose) R 28304 5690 1905 0 -1 4202496 10229 0 0 0 22 1 0 0 20 0 1 0 290495829 49410048 10401 33554432000 4194304 5208918 140737184698912 140737184697320 4607488 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28305/statm: 12063 10401 105 248 0 11812 0
Current children cumulated CPU time (s) 1423.53
Current children cumulated vsize (KiB) 85992

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/182 29225
/proc/meminfo: memFree=25342144/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1483.42 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 4903587 38703397 0 0 20670 3617 98328 25727 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 1483.42
Current children cumulated vsize (KiB) 28592

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 30159
/proc/meminfo: memFree=25366348/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1543.51 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 5103348 40264545 0 0 21511 3764 102305 26771 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 1543.51
Current children cumulated vsize (KiB) 28592

[startup+1602.3 s]
/proc/loadavg: 1.97 1.98 1.95 3/179 31083
/proc/meminfo: memFree=25356436/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1603.62 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 5301258 41839686 0 0 22343 3912 106295 27812 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 1603.62
Current children cumulated vsize (KiB) 28592

[startup+1662.3 s]
/proc/loadavg: 1.94 1.97 1.94 3/181 32016
/proc/meminfo: memFree=25305492/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=11252 CPUtime=1663.74 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) R 5690 5690 1905 0 -1 4202496 5500927 43407418 0 0 23183 4058 110260 28873 20 0 1 0 290353622 11522048 2472 33554432000 4194304 5990268 140734809189488 140734809181472 5042551 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5691/statm: 2813 2472 177 439 0 2370 0
Current children cumulated CPU time (s) 1663.74
Current children cumulated vsize (KiB) 20400

[startup+1722.3 s]
/proc/loadavg: 2.18 2.03 1.97 4/182 476
/proc/meminfo: memFree=25342632/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1723.68 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 5698921 44968287 0 0 24016 4208 114236 29908 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 1723.68
Current children cumulated vsize (KiB) 28592

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/181 1434
/proc/meminfo: memFree=25337580/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1783.54 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 5896823 46533282 0 0 24842 4362 118203 30947 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (KiB) 28592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.51 s]
/proc/loadavg: 2.05 2.02 1.97 3/181 1713
/proc/meminfo: memFree=25347592/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1799.93 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 5950966 46959202 0 0 25070 4401 119289 31233 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
[pid=1712] ppid=5691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1712/stat : 1712 (satsolver.sh) S 5691 5690 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290533472 9367552 267 33554432000 4194304 5064252 140735927844656 140735927843568 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1712/statm: 2287 267 226 213 0 72 0
[pid=1713] ppid=1712 vsize=9300 CPUtime=0 cores=1,3,5,7
/proc/1713/stat : 1713 (glucose) R 1712 5690 1905 0 -1 4202496 1076 0 0 0 0 0 0 0 20 0 1 0 290533472 9523200 995 33554432000 4194304 5208918 140736694333984 140736693283672 4234898 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1713/statm: 2325 998 70 248 0 2074 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 47040

Sending SIGTERM to process tree (bottom up)

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

[startup+1798.51 s]
/proc/loadavg: 2.05 2.02 1.97 3/181 1713
/proc/meminfo: memFree=25347592/32873844 swapFree=7112/7112
[pid=5690] ppid=5688 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5690/stat : 5690 (npSolver-wbo-It) S 5688 5690 1905 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290353622 9367552 275 33554432000 4194304 5064252 140733265504352 140733265503264 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5690/statm: 2287 275 233 213 0 72 0
[pid=5691] ppid=5690 vsize=19444 CPUtime=1799.93 cores=1,3,5,7
/proc/5691/stat : 5691 (npSolver-wbo) S 5690 5690 1905 0 -1 4202496 5950966 46959202 0 0 25070 4401 119289 31233 20 0 1 0 290353622 19910656 4095 33554432000 4194304 5990268 140734809189488 140734809180896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5691/statm: 4861 4095 177 439 0 4418 0
[pid=1712] ppid=5691 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1712/stat : 1712 (satsolver.sh) S 5691 5690 1905 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290533472 9367552 267 33554432000 4194304 5064252 140735927844656 140735927843568 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1712/statm: 2287 267 226 213 0 72 0
[pid=1713] ppid=1712 vsize=9300 CPUtime=0 cores=1,3,5,7
/proc/1713/stat : 1713 (glucose) R 1712 5690 1905 0 -1 4202496 1076 0 0 0 0 0 0 0 20 0 1 0 290533472 9523200 995 33554432000 4194304 5208918 140736694333984 140736693283672 4234898 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1713/statm: 2325 998 70 248 0 2074 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 47040

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.0999756
#  lost CPU user time (s): 0.0800171
#  lost CPU system time (s): 0.0200043

Real time (s): 1798.52
CPU time (s): 1800.06
CPU user time (s): 1443.67
CPU system time (s): 356.385
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 86308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1443.59
system time used= 356.365
maximum resident set size= 44192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52912454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43392400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 891895
involuntary context switches= 39462

runsolver used 3.45247 second user time and 8.77267 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-28 23:57:31
IDJOB=3715823
IDBENCH=79403
IDSOLVER=2297
FILE ID=node104/3715823-1338242251
RUNJOBID= node104-1338229623-1922
PBS_JOBID= 14624647
Free space on /tmp= 66880 MiB

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

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

MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6
RANDOM SEED=681798563

node104.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.266
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.53
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.266
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.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25376860 kB
Buffers:          480276 kB
Cached:          5967868 kB
SwapCached:         1084 kB
Active:          5619880 kB
Inactive:         902716 kB
Active(anon):      64436 kB
Inactive(anon):     9936 kB
Active(file):    5555444 kB
Inactive(file):   892780 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106720 kB
Dirty:             14488 kB
Writeback:             0 kB
AnonPages:        223348 kB
Mapped:            15280 kB
Shmem:               196 kB
Slab:             835524 kB
SReclaimable:     277000 kB
SUnreclaim:       558524 kB
KernelStack:        1496 kB
PageTables:         3932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     184316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66868 MiB
End job on node104 at 2012-05-29 00:27:29