Trace number 3752755

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 (fixed)? (TO) 1800.27 1815.91

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
mprime/normalized-mprime03bc_wcsp.wbo
MD5SUMbe1cffc43a6e520c7c18a7927302cbb0
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark353
Best CPU time to get the best result obtained on this benchmark0.070988
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables139
Total number of constraints747
Number of soft constraints698
Number of constraints which are clauses698
Number of constraints which are cardinality constraints (but not clauses)49
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 4932
Min constraint cost 1
Max constraint cost 4932
Sum of constraints costs 3209913
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
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.04	o 14796
0.00/0.04	c starting approximation
0.00/0.04	c factor = 2
0.00/0.04	c factor still to low - shrinking to 61.9656
0.00/0.04	c approx number of clauses: 1e+06
0.00/0.04	c current bound: 7398
0.00/0.59	c current bound: 7398
1.06/1.15	c current bound: 7398
1.68/1.70	c current bound: 7398
2.17/2.24	c current bound: 7398
2.51/2.79	c current bound: 7398
3.26/3.35	c current bound: 7398
3.60/3.89	c current bound: 7398
4.37/4.45	c current bound: 7398
4.70/4.99	c current bound: 7398
5.45/5.54	c current bound: 7398
5.81/6.10	c current bound: 7398
6.58/6.65	c current bound: 7398
7.18/7.20	c current bound: 7398
7.68/7.75	c current bound: 7398
8.00/8.29	c current bound: 7398
8.78/8.84	c current bound: 7398
9.12/9.39	c current bound: 7398
9.88/9.94	c current bound: 7398
10.20/10.49	c current bound: 7398
11.01/11.22	c current bound: 7398
11.30/11.77	c current bound: 7398
11.86/12.32	c current bound: 7398
12.40/12.86	c current bound: 7398
12.95/13.41	c current bound: 7398
13.49/13.96	c current bound: 7398
14.04/14.50	c current bound: 7398
14.60/15.06	c current bound: 7398
15.16/15.60	c current bound: 7398
15.70/16.19	c current bound: 7398
16.26/16.74	c current bound: 7398
16.81/17.29	c current bound: 7398
17.35/17.84	c current bound: 7398
17.90/18.39	c current bound: 7398
18.46/18.93	c current bound: 7398
19.00/19.48	c current bound: 7398
19.55/20.03	c current bound: 7398
20.10/20.57	c current bound: 7398
20.92/21.24	c current bound: 7398
21.20/21.79	c current bound: 7398
21.75/22.34	c current bound: 7398
22.29/22.88	c current bound: 7398
22.84/23.43	c current bound: 7398
23.38/23.98	c current bound: 7398
23.94/24.53	c current bound: 7398
24.49/25.07	c current bound: 7398
25.04/25.62	c current bound: 7398
25.86/26.20	c current bound: 7398
26.13/26.74	c current bound: 7398
26.68/27.29	c current bound: 7398
27.24/27.85	c current bound: 7398
27.79/28.39	c current bound: 7398
28.34/28.94	c current bound: 7398
28.89/29.49	c current bound: 7398
29.45/30.04	c current bound: 7398
30.00/30.59	c current bound: 7398
30.82/31.28	c current bound: 7398
31.33/31.89	c current bound: 7398
31.66/32.44	c current bound: 7398
32.37/32.99	c current bound: 7398
32.76/33.54	c current bound: 7398
33.47/34.09	c current bound: 7398
33.87/34.64	c current bound: 7398
34.58/35.19	c current bound: 7398
34.95/35.73	c current bound: 7398
35.77/36.40	c current bound: 7398
36.06/36.95	c current bound: 7398
36.88/37.50	c current bound: 7398
37.16/38.05	c current bound: 7398
37.98/38.60	c current bound: 7398
38.26/39.14	c current bound: 7398
39.09/39.70	c current bound: 7398
39.36/40.24	c current bound: 7398
40.08/40.79	c current bound: 7398
40.45/41.34	c current bound: 7398
41.18/41.89	c current bound: 7398
41.56/42.45	c current bound: 7398
42.38/43.00	c current bound: 7398
42.66/43.54	c current bound: 7398
43.37/44.09	c current bound: 7398
43.76/44.64	c current bound: 7398
44.48/45.19	c current bound: 7398
44.87/45.75	c current bound: 7398
45.58/46.29	c current bound: 7398
45.97/46.84	c current bound: 7398
46.70/47.39	c current bound: 7398
47.08/47.94	c current bound: 7398
47.79/48.49	c current bound: 7398
48.18/49.04	c current bound: 7398
48.89/49.59	c current bound: 7398
49.28/50.14	c current bound: 7398
49.99/50.69	c current bound: 7398
50.38/51.25	c current bound: 7398
51.19/51.80	c current bound: 7398
51.48/52.35	c current bound: 7398
52.19/52.89	c current bound: 7398
52.58/53.44	c current bound: 7398
53.30/53.99	c current bound: 7398
53.68/54.54	c current bound: 7398
54.40/55.08	c current bound: 7398
54.78/55.63	c current bound: 7398
55.59/56.26	c current bound: 7398
55.87/56.80	c current bound: 7398
56.61/57.35	c current bound: 7398
57.25/57.90	c current bound: 7398
57.74/58.45	c current bound: 7398
58.08/58.99	c current bound: 7398
58.84/59.54	c current bound: 7398
59.18/60.09	c current bound: 7398
59.94/60.64	c current bound: 7398
60.56/61.27	c current bound: 7398
60.84/61.82	c current bound: 7398
61.39/62.37	c current bound: 7398
61.95/62.92	c current bound: 7398
62.49/63.47	c current bound: 7398
63.05/64.02	c current bound: 7398
63.60/64.56	c current bound: 7398
64.14/65.11	c current bound: 7398
64.69/65.66	c current bound: 7398
65.51/66.35	c current bound: 7398
66.07/66.90	c current bound: 7398
66.35/67.45	c current bound: 7398
67.17/68.00	c current bound: 7398
67.45/68.54	c current bound: 7398
68.01/69.09	c current bound: 7398
68.55/69.64	c current bound: 7398
69.10/70.19	c current bound: 7398
69.66/70.74	c current bound: 7398
70.47/71.35	c current bound: 7398
71.02/71.90	c current bound: 7398
71.31/72.44	c current bound: 7398
71.86/72.99	c current bound: 7398
72.41/73.54	c current bound: 7398
72.95/74.08	c current bound: 7398
73.50/74.63	c current bound: 7398
74.05/75.18	c current bound: 7398
74.60/75.73	c current bound: 7398
75.15/76.42	c current bound: 7398
75.90/76.97	c current bound: 7398
76.26/77.52	c current bound: 7398
77.00/78.06	c current bound: 7398
77.35/78.61	c current bound: 7398
78.10/79.16	c current bound: 7398
78.45/79.70	c current bound: 7398
79.21/80.25	c current bound: 7398
79.54/80.79	c current bound: 7398
80.35/81.49	c current bound: 7398
80.63/82.04	c current bound: 7398
81.35/82.59	c current bound: 7398
81.73/83.13	c current bound: 7398
82.46/83.68	c current bound: 7398
82.84/84.23	c current bound: 7398
83.56/84.78	c current bound: 7398
83.93/85.32	c current bound: 7398
84.67/85.87	c current bound: 7398
85.29/86.50	c current bound: 7398
85.78/87.05	c current bound: 7398
86.12/87.59	c current bound: 7398
86.88/88.14	c current bound: 7398
87.22/88.69	c current bound: 7398
87.99/89.23	c current bound: 7398
88.31/89.78	c current bound: 7398
89.09/90.33	c current bound: 7398
89.42/90.88	c current bound: 7398
90.23/91.51	c current bound: 7398
90.52/92.06	c current bound: 7398
91.07/92.60	c current bound: 7398
91.62/93.15	c current bound: 7398
92.42/93.70	c current bound: 7398
92.72/94.24	c current bound: 7398
93.27/94.79	c current bound: 7398
93.82/95.34	c current bound: 7398
94.36/95.88	c current bound: 7398
95.18/96.55	c current bound: 7398
95.46/97.10	c current bound: 7398
96.02/97.65	c current bound: 7398
96.56/98.20	c current bound: 7398
97.12/98.75	c current bound: 7398
97.94/99.30	c current bound: 7398
98.22/99.85	c current bound: 7398
98.77/100.39	c current bound: 7398
99.32/100.95	c current bound: 7398
100.13/101.60	c current bound: 7398
100.42/102.14	c current bound: 7398
100.97/102.69	c current bound: 7398
101.52/103.24	c current bound: 7398
102.07/103.79	c current bound: 7398
102.62/104.34	c current bound: 7398
103.16/104.88	c current bound: 7398
103.72/105.43	c current bound: 7398
104.27/105.98	c current bound: 7398
105.08/106.62	c current bound: 7398
105.36/107.17	c current bound: 7398
106.14/107.72	c current bound: 7398
106.47/108.27	c current bound: 7398
107.25/108.81	c current bound: 7398
107.56/109.36	c current bound: 7398
108.38/109.91	c current bound: 7398
108.65/110.45	c current bound: 7398
109.21/111.00	c current bound: 7398
110.02/111.70	c current bound: 7398
110.50/112.25	c current bound: 7398
111.11/112.80	c current bound: 7398
111.60/113.36	c current bound: 7398
111.97/113.91	c current bound: 7398
112.71/114.46	c current bound: 7398
113.05/115.01	c current bound: 7398
113.81/115.56	c current bound: 7398
114.16/116.10	c current bound: 7398
114.97/116.77	c current bound: 7398
115.26/117.32	c current bound: 7398
115.81/117.87	c current bound: 7398
116.36/118.42	c current bound: 7398
116.92/118.97	c current bound: 7398
117.47/119.51	c current bound: 7398
118.19/120.06	c current bound: 7398
118.56/120.61	c current bound: 7398
119.31/121.16	c current bound: 7398
119.66/121.77	c current bound: 7398
120.21/122.33	c current bound: 7398
120.75/122.87	c current bound: 7398
121.31/123.42	c current bound: 7398
121.85/123.97	c current bound: 7398
122.41/124.51	c current bound: 7398
122.95/125.06	c current bound: 7398
123.51/125.61	c current bound: 7398
124.05/126.16	c current bound: 7398
124.60/126.87	c current bound: 7398
125.16/127.42	c current bound: 7398
125.70/127.96	c current bound: 7398
126.25/128.51	c current bound: 7398
126.80/129.06	c current bound: 7398
127.35/129.61	c current bound: 7398
127.90/130.15	c current bound: 7398
128.45/130.70	c current bound: 7398
129.00/131.25	c current bound: 7398
129.81/131.94	c current bound: 7398
130.10/132.49	c current bound: 7398
130.86/133.04	c current bound: 7398
131.19/133.59	c current bound: 7398
131.96/134.14	c current bound: 7398
132.30/134.69	c current bound: 7398
133.06/135.24	c current bound: 7398
133.38/135.78	c current bound: 7398
134.16/136.33	c current bound: 7398
134.48/137.26	c current bound: 7398
135.03/137.81	c current bound: 7398
135.58/138.36	c current bound: 7398
136.14/138.91	c current bound: 7398
136.69/139.45	c current bound: 7398
137.23/140.00	c current bound: 7398
137.80/140.55	c current bound: 7398
138.33/141.10	c current bound: 7398
138.88/141.64	c current bound: 7398
139.70/142.23	c current bound: 7398
139.98/142.78	c current bound: 7398
140.52/143.33	c current bound: 7398
141.07/143.87	c current bound: 7398
141.62/144.42	c current bound: 7398
142.17/144.97	c current bound: 7398
142.71/145.51	c current bound: 7398
143.26/146.06	c current bound: 7398
143.80/146.61	c current bound: 7398
144.63/147.24	c current bound: 7398
144.92/147.79	c current bound: 7398
145.46/148.34	c current bound: 7398
146.00/148.88	c current bound: 7398
146.55/149.43	c current bound: 7398
147.10/149.98	c current bound: 7398
147.65/150.53	c current bound: 7398
148.19/151.08	c current bound: 7398
148.75/151.63	c current bound: 7398
149.58/152.23	c current bound: 7398
149.85/152.78	c current bound: 7398
150.40/153.33	c current bound: 7398
150.94/153.87	c current bound: 7398
151.50/154.42	c current bound: 7398
152.04/154.97	c current bound: 7398
152.59/155.51	c current bound: 7398
153.13/156.06	c current bound: 7398
153.68/156.61	c current bound: 7398
154.48/157.31	c current bound: 7398
154.79/157.86	c current bound: 7398
155.59/158.41	c current bound: 7398
155.89/158.97	c current bound: 7398
156.68/159.51	c current bound: 7398
156.99/160.06	c current bound: 7398
157.79/160.61	c current bound: 7398
158.08/161.15	c current bound: 7398
158.79/161.70	c current bound: 7398
159.46/162.30	c current bound: 7398
159.93/162.85	c current bound: 7398
160.29/163.40	c current bound: 7398
161.04/163.95	c current bound: 7398
161.38/164.49	c current bound: 7398
162.15/165.04	c current bound: 7398
162.48/165.59	c current bound: 7398
163.25/166.14	c current bound: 7398
163.57/166.69	c current bound: 7398
164.35/167.23	c current bound: 7398
164.68/167.78	c current bound: 7398
165.47/168.33	c current bound: 7398
165.79/168.88	c current bound: 7398
166.56/169.43	c current bound: 7398
166.88/169.98	c current bound: 7398
167.67/170.53	c current bound: 7398
167.98/171.07	c current bound: 7398
168.77/171.62	c current bound: 7398
169.35/172.44	c current bound: 7398
169.64/172.99	c current bound: 7398
170.18/173.54	c current bound: 7398
170.74/174.09	c current bound: 7398
171.30/174.64	c current bound: 7398
171.85/175.19	c current bound: 7398
172.39/175.73	c current bound: 7398
172.94/176.29	c current bound: 7398
173.51/176.85	c current bound: 7398
174.33/177.46	c current bound: 7398
174.61/178.00	c current bound: 7398
175.16/178.55	c current bound: 7398
175.97/179.10	c current bound: 7398
176.25/179.64	c current bound: 7398
176.81/180.19	c current bound: 7398
177.37/180.74	c current bound: 7398
177.91/181.29	c current bound: 7398
178.46/181.84	c current bound: 7398
179.00/182.39	c current bound: 7398
179.55/183.11	c current bound: 7398
180.31/183.65	c current bound: 7398
180.66/184.20	c current bound: 7398
181.42/184.75	c current bound: 7398
181.75/185.31	c current bound: 7398
182.51/185.86	c current bound: 7398
182.88/186.41	c current bound: 7398
183.60/186.96	c current bound: 7398
183.97/187.55	c current bound: 7398
184.77/188.11	c current bound: 7398
185.07/188.66	c current bound: 7398
185.87/189.21	c current bound: 7398
186.17/189.76	c current bound: 7398
186.98/190.30	c current bound: 7398
187.27/190.85	c current bound: 7398
187.99/191.39	c current bound: 7398
188.37/191.94	c current bound: 7398
189.19/192.54	c current bound: 7398
189.47/193.08	c current bound: 7398
190.25/193.63	c current bound: 7398
190.57/194.17	c current bound: 7398
191.36/194.72	c current bound: 7398
191.67/195.26	c current bound: 7398
192.47/195.81	c current bound: 7398
192.78/196.36	c current bound: 7398
193.49/196.90	c current bound: 7398
193.87/197.67	c current bound: 7398
194.41/198.22	c current bound: 7398
194.96/198.77	c current bound: 7398
195.53/199.32	c current bound: 7398
196.08/199.87	c current bound: 7398
196.62/200.42	c current bound: 7398
197.18/200.97	c current bound: 7398
197.72/201.51	c current bound: 7398
198.26/202.06	c current bound: 7398
198.81/202.82	c current bound: 7398
199.37/203.37	c current bound: 7398
199.90/203.91	c current bound: 7398
200.46/204.46	c current bound: 7398
201.00/205.01	c current bound: 7398
201.55/205.56	c current bound: 7398
202.11/206.11	c current bound: 7398
202.66/206.66	c current bound: 7398
203.21/207.21	c current bound: 7398
203.74/207.77	c current bound: 7398
204.30/208.32	c current bound: 7398
204.85/208.86	c current bound: 7398
205.40/209.41	c current bound: 7398
205.93/209.96	c current bound: 7398
206.49/210.50	c current bound: 7398
207.04/211.05	c current bound: 7398
207.60/211.61	c current bound: 7398
208.15/212.15	c current bound: 7398
208.97/212.92	c current bound: 7398
209.44/213.47	c current bound: 7398
209.81/214.02	c current bound: 7398
210.55/214.57	c current bound: 7398
210.90/215.12	c current bound: 7398
211.65/215.67	c current bound: 7398
212.01/216.22	c current bound: 7398
212.76/216.76	c current bound: 7398
213.12/217.31	c current bound: 7398
213.93/217.90	c current bound: 7398
214.21/218.44	c current bound: 7398
214.93/218.99	c current bound: 7398
215.31/219.55	c current bound: 7398
216.15/220.10	c current bound: 7398
216.43/220.65	c current bound: 7398
217.14/221.19	c current bound: 7398
217.52/221.74	c current bound: 7398
218.24/222.29	c current bound: 7398
218.62/223.05	c current bound: 7398
219.16/223.59	c current bound: 7398
219.72/224.14	c current bound: 7398
220.27/224.69	c current bound: 7398
220.82/225.24	c current bound: 7398
221.37/225.79	c current bound: 7398
221.91/226.33	c current bound: 7398
222.47/226.88	c current bound: 7398
223.01/227.43	c current bound: 7398
223.83/228.01	c current bound: 7398
224.11/228.56	c current bound: 7398
224.65/229.11	c current bound: 7398
225.22/229.66	c current bound: 7398
225.77/230.20	c current bound: 7398
226.32/230.75	c current bound: 7398
226.87/231.30	c current bound: 7398
227.41/231.84	c current bound: 7398
227.97/232.39	c current bound: 7398
228.79/233.04	c current bound: 7398
229.07/233.58	c current bound: 7398
229.61/234.13	c current bound: 7398
230.16/234.68	c current bound: 7398
230.70/235.24	c current bound: 7398
231.28/235.79	c current bound: 7398
231.83/236.34	c current bound: 7398
232.37/236.88	c current bound: 7398
232.91/237.43	c current bound: 7398
233.73/238.02	c current bound: 7398
234.02/238.57	c current bound: 7398
234.57/239.12	c current bound: 7398
235.13/239.66	c current bound: 7398
235.67/240.21	c current bound: 7398
236.22/240.76	c current bound: 7398
236.77/241.31	c current bound: 7398
237.32/241.86	c current bound: 7398
237.86/242.40	c current bound: 7398
238.69/243.05	c current bound: 7398
238.98/243.60	c current bound: 7398
239.72/244.15	c current bound: 7398
240.06/244.69	c current bound: 7398
240.83/245.24	c current bound: 7398
241.44/245.80	c current bound: 7398
241.94/246.34	c current bound: 7398
242.28/246.90	c current bound: 7398
243.04/247.46	c current bound: 7398
243.39/248.06	c current bound: 7398
244.18/248.61	c current bound: 7398
244.49/249.16	c current bound: 7398
245.29/249.71	c current bound: 7398
245.59/250.25	c current bound: 7398
246.39/250.81	c current bound: 7398
246.70/251.36	c current bound: 7398
247.50/251.90	c current bound: 7398
247.79/252.45	c current bound: 7398
248.61/253.10	c current bound: 7398
248.90/253.64	c current bound: 7398
249.61/254.19	c current bound: 7398
249.99/254.73	c current bound: 7398
250.71/255.28	c current bound: 7398
251.08/255.83	c current bound: 7398
251.82/256.38	c current bound: 7398
252.18/256.92	c current bound: 7398
252.91/257.47	c current bound: 7398
253.54/258.10	c current bound: 7398
254.03/258.66	c current bound: 7398
254.38/259.20	c current bound: 7398
255.11/259.75	c current bound: 7398
255.47/260.29	c current bound: 7398
256.23/260.84	c current bound: 7398
256.56/261.39	c current bound: 7398
257.32/261.94	c current bound: 7398
257.66/262.48	c current bound: 7398
258.44/263.09	c current bound: 7398
258.76/263.65	c current bound: 7398
259.59/264.20	c current bound: 7398
259.86/264.75	c current bound: 7398
260.41/265.29	c current bound: 7398
260.96/265.84	c current bound: 7398
261.53/266.39	c current bound: 7398
262.06/266.94	c current bound: 7398
262.61/267.48	c current bound: 7398
263.17/268.04	c current bound: 7398
263.72/268.59	c current bound: 7398
264.25/269.13	c current bound: 7398
264.81/269.68	c current bound: 7398
265.36/270.23	c current bound: 7398
265.92/270.78	c current bound: 7398
266.47/271.33	c current bound: 7398
267.00/271.87	c current bound: 7398
267.55/272.42	c current bound: 7398
268.38/273.17	c current bound: 7398
268.66/273.72	c current bound: 7398
269.21/274.27	c current bound: 7398
269.76/274.81	c current bound: 7398
270.30/275.36	c current bound: 7398
270.86/275.90	c current bound: 7398
271.40/276.45	c current bound: 7398
272.22/277.00	c current bound: 7398
272.51/277.54	c current bound: 7398
273.06/278.11	c current bound: 7398
273.62/278.66	c current bound: 7398
274.18/279.21	c current bound: 7398
274.73/279.76	c current bound: 7398
275.27/280.30	c current bound: 7398
275.83/280.85	c current bound: 7398
276.65/281.40	c current bound: 7398
276.93/281.94	c current bound: 7398
277.48/282.49	c current bound: 7398
278.29/283.20	c current bound: 7398
278.79/283.74	c current bound: 7398
279.13/284.29	c current bound: 7398
279.89/284.84	c current bound: 7398
280.21/285.38	c current bound: 7398
280.99/285.93	c current bound: 7398
281.31/286.48	c current bound: 7398
282.09/287.02	c current bound: 7398
282.40/287.57	c current bound: 7398
283.22/288.28	c current bound: 7398
283.50/288.82	c current bound: 7398
284.24/289.37	c current bound: 7398
284.59/289.92	c current bound: 7398
285.34/290.46	c current bound: 7398
285.69/291.01	c current bound: 7398
286.44/291.56	c current bound: 7398
286.79/292.11	c current bound: 7398
287.54/292.66	c current bound: 7398
287.91/293.22	c current bound: 7398
288.65/293.77	c current bound: 7398
288.99/294.31	c current bound: 7398
289.73/294.86	c current bound: 7398
290.09/295.40	c current bound: 7398
290.86/295.95	c current bound: 7398
291.47/296.50	c current bound: 7398
291.95/297.04	c current bound: 7398
292.56/297.60	c current bound: 7398
293.11/298.40	c current bound: 7398
293.38/298.95	c current bound: 7398
293.94/299.49	c current bound: 7398
294.48/300.04	c current bound: 7398
295.03/300.59	c current bound: 7398
295.58/301.14	c current bound: 7398
296.13/301.69	c current bound: 7398
296.68/302.24	c current bound: 7398
297.23/302.79	c current bound: 7398
298.05/303.44	c current bound: 7398
298.34/303.98	c current bound: 7398
298.89/304.53	c current bound: 7398
299.44/305.08	c current bound: 7398
299.97/305.62	c current bound: 7398
300.53/306.17	c current bound: 7398
301.08/306.72	c current bound: 7398
301.62/307.27	c current bound: 7398
302.17/307.81	c current bound: 7398
302.98/308.44	c current bound: 7398
303.27/308.99	c current bound: 7398
303.82/309.54	c current bound: 7398
304.37/310.08	c current bound: 7398
304.90/310.63	c current bound: 7398
305.45/311.18	c current bound: 7398
306.00/311.72	c current bound: 7398
306.55/312.27	c current bound: 7398
307.10/312.82	c current bound: 7398
307.92/313.50	c current bound: 7398
308.21/314.04	c current bound: 7398
308.92/314.59	c current bound: 7398
309.30/315.14	c current bound: 7398
310.01/315.68	c current bound: 7398
310.38/316.23	c current bound: 7398
311.12/316.77	c current bound: 7398
311.50/317.32	c current bound: 7398
312.22/317.87	c current bound: 7398
312.58/318.46	c current bound: 7398
313.38/319.01	c current bound: 7398
313.69/319.57	c current bound: 7398
314.49/320.11	c current bound: 7398
314.79/320.66	c current bound: 7398
315.60/321.21	c current bound: 7398
315.89/321.75	c current bound: 7398
316.59/322.30	c current bound: 7398
316.97/322.84	c current bound: 7398
317.79/323.60	c current bound: 7398
318.08/324.15	c current bound: 7398
318.89/324.70	c current bound: 7398
319.17/325.25	c current bound: 7398
319.71/325.79	c current bound: 7398
320.26/326.34	c current bound: 7398
320.81/326.89	c current bound: 7398
321.36/327.43	c current bound: 7398
321.91/327.98	c current bound: 7398
322.72/328.69	c current bound: 7398
323.00/329.23	c current bound: 7398
323.56/329.78	c current bound: 7398
324.11/330.33	c current bound: 7398
324.66/330.87	c current bound: 7398
325.20/331.42	c current bound: 7398
325.75/331.97	c current bound: 7398
326.31/332.51	c current bound: 7398
326.86/333.06	c current bound: 7398
327.39/333.65	c current bound: 7398
327.96/334.20	c current bound: 7398
328.52/334.75	c current bound: 7398
329.34/335.30	c current bound: 7398
329.61/335.84	c current bound: 7398
330.15/336.39	c current bound: 7398
330.70/336.94	c current bound: 7398
331.27/337.49	c current bound: 7398
331.82/338.03	c current bound: 7398
332.37/338.65	c current bound: 7398
333.17/339.20	c current bound: 7398
333.45/339.74	c current bound: 7398
334.01/340.29	c current bound: 7398
334.56/340.84	c current bound: 7398
335.10/341.39	c current bound: 7398
335.64/341.93	c current bound: 7398
336.20/342.48	c current bound: 7398
336.75/343.03	c current bound: 7398
337.56/343.71	c current bound: 7398
338.04/344.25	c current bound: 7398
338.65/344.80	c current bound: 7398
339.15/345.34	c current bound: 7398
339.48/345.89	c current bound: 7398
340.25/346.44	c current bound: 7398
340.58/346.98	c current bound: 7398
341.35/347.54	c current bound: 7398
341.95/348.10	c current bound: 7398
342.44/348.66	c current bound: 7398
342.79/349.22	c current bound: 7398
343.55/349.76	c current bound: 7398
343.91/350.31	c current bound: 7398
344.65/350.86	c current bound: 7398
345.00/351.41	c current bound: 7398
345.77/351.95	c current bound: 7398
346.12/352.51	c current bound: 7398
346.87/353.06	c current bound: 7398
347.22/353.61	c current bound: 7398
347.97/354.16	c current bound: 7398
348.32/354.71	c current bound: 7398
349.06/355.25	c current bound: 7398
349.42/355.80	c current bound: 7398
350.17/356.35	c current bound: 7398
350.51/356.90	c current bound: 7398
351.27/357.45	c current bound: 7398
351.61/357.99	c current bound: 7398
352.39/358.54	c current bound: 7398
352.72/359.09	c current bound: 7398
353.50/359.64	c current bound: 7398
353.82/360.18	c current bound: 7398
354.58/360.73	c current bound: 7398
354.91/361.28	c current bound: 7398
355.69/361.82	c current bound: 7398
356.01/362.37	c current bound: 7398
356.80/362.92	c current bound: 7398
357.37/363.52	c current bound: 7398
357.83/364.07	c current bound: 7398
358.21/364.63	c current bound: 7398
358.95/365.18	c current bound: 7398
359.31/365.73	c current bound: 7398
360.05/366.27	c current bound: 7398
360.41/366.82	c current bound: 7398
361.14/367.37	c current bound: 7398
361.51/367.92	c current bound: 7398
362.32/368.51	c current bound: 7398
362.61/369.05	c current bound: 7398
363.32/369.60	c current bound: 7398
363.71/370.15	c current bound: 7398
364.40/370.69	c current bound: 7398
364.81/371.24	c current bound: 7398
365.53/371.79	c current bound: 7398
365.90/372.33	c current bound: 7398
366.63/372.88	c current bound: 7398
366.99/373.63	c current bound: 7398
367.55/374.18	c current bound: 7398
368.10/374.74	c current bound: 7398
368.66/375.28	c current bound: 7398
369.21/375.83	c current bound: 7398
369.74/376.38	c current bound: 7398
370.30/376.92	c current bound: 7398
370.85/377.47	c current bound: 7398
371.41/378.02	c current bound: 7398
372.20/378.69	c current bound: 7398
372.51/379.24	c current bound: 7398
373.06/379.79	c current bound: 7398
373.61/380.33	c current bound: 7398
374.16/380.88	c current bound: 7398
374.72/381.43	c current bound: 7398
375.26/381.98	c current bound: 7398
375.81/382.53	c current bound: 7398
376.36/383.07	c current bound: 7398
377.17/383.81	c current bound: 7398
377.46/384.36	c current bound: 7398
378.26/384.91	c current bound: 7398
378.55/385.46	c current bound: 7398
379.36/386.02	c current bound: 7398
379.67/386.56	c current bound: 7398
380.45/387.11	c current bound: 7398
380.76/387.66	c current bound: 7398
381.58/388.21	c current bound: 7398
381.86/388.76	c current bound: 7398
382.67/389.32	c current bound: 7398
382.97/389.86	c current bound: 7398
383.77/390.41	c current bound: 7398
384.07/390.95	c current bound: 7398
384.90/391.50	c current bound: 7398
385.19/392.05	c current bound: 7398
385.98/392.61	c current bound: 7398
386.28/393.15	c current bound: 7398
387.09/394.03	c current bound: 7398
387.38/394.58	c current bound: 7398
387.91/395.12	c current bound: 7398
388.48/395.67	c current bound: 7398
389.03/396.22	c current bound: 7398
389.58/396.77	c current bound: 7398
390.12/397.32	c current bound: 7398
390.67/397.86	c current bound: 7398
391.22/398.43	c current bound: 7398
391.79/399.11	c current bound: 7398
392.33/399.66	c current bound: 7398
392.89/400.21	c current bound: 7398
393.45/400.76	c current bound: 7398
394.00/401.30	c current bound: 7398
394.55/401.85	c current bound: 7398
395.10/402.40	c current bound: 7398
395.65/402.95	c current bound: 7398
396.19/403.49	c current bound: 7398
397.00/404.10	c current bound: 7398
397.29/404.65	c current bound: 7398
397.85/405.21	c current bound: 7398
398.41/405.76	c current bound: 7398
398.95/406.30	c current bound: 7398
399.50/406.85	c current bound: 7398
400.31/407.40	c current bound: 7398
400.59/407.94	c current bound: 7398
401.15/408.49	c current bound: 7398
401.69/409.04	c current bound: 7398
402.24/409.59	c current bound: 7398
402.78/410.15	c current bound: 7398
403.61/410.70	c current bound: 7398
403.90/411.24	c current bound: 7398
404.45/411.79	c current bound: 7398
405.00/412.33	c current bound: 7398
405.54/412.88	c current bound: 7398
406.08/413.43	c current bound: 7398
406.90/414.10	c current bound: 7398
407.40/414.65	c current bound: 7398
408.00/415.20	c current bound: 7398
408.49/415.74	c current bound: 7398
408.82/416.29	c current bound: 7398
409.59/416.83	c current bound: 7398
409.92/417.38	c current bound: 7398
410.71/417.92	c current bound: 7398
411.01/418.47	c current bound: 7398
411.80/419.03	c current bound: 7398
412.11/419.57	c current bound: 7398
412.90/420.12	c current bound: 7398
413.20/420.67	c current bound: 7398
414.01/421.21	c current bound: 7398
414.31/421.76	c current bound: 7398
415.12/422.30	c current bound: 7398
415.40/422.85	c current bound: 7398
415.94/423.39	c current bound: 7398
416.49/424.07	c current bound: 7398
417.29/424.62	c current bound: 7398
417.61/425.17	c current bound: 7398
418.40/425.71	c current bound: 7398
418.68/426.26	c current bound: 7398
419.49/426.81	c current bound: 7398
419.79/427.36	c current bound: 7398
420.61/427.90	c current bound: 7398
420.89/428.45	c current bound: 7398
421.68/429.14	c current bound: 7398
421.99/429.69	c current bound: 7398
422.75/430.24	c current bound: 7398
423.07/430.79	c current bound: 7398
423.84/431.34	c current bound: 7398
424.18/431.88	c current bound: 7398
424.95/432.43	c current bound: 7398
425.28/432.98	c current bound: 7398
426.04/433.53	c current bound: 7398
426.38/434.26	c current bound: 7398
426.94/434.81	c current bound: 7398
427.49/435.36	c current bound: 7398
428.03/435.91	c current bound: 7398
428.58/436.45	c current bound: 7398
429.13/437.00	c current bound: 7398
429.68/437.55	c current bound: 7398
430.49/438.10	c current bound: 7398
430.78/438.64	c current bound: 7398
431.33/439.41	c current bound: 7398
432.09/439.95	c current bound: 7398
432.43/440.50	c current bound: 7398
433.19/441.05	c current bound: 7398
433.53/441.59	c current bound: 7398
434.30/442.14	c current bound: 7398
434.63/442.69	c current bound: 7398
435.39/443.23	c current bound: 7398
435.73/443.78	c current bound: 7398
436.51/444.40	c current bound: 7398
436.83/444.95	c current bound: 7398
437.54/445.49	c current bound: 7398
437.92/446.04	c current bound: 7398
438.64/446.58	c current bound: 7398
439.01/447.13	c current bound: 7398
439.74/447.68	c current bound: 7398
440.11/448.22	c current bound: 7398
440.85/448.78	c current bound: 7398
441.48/449.46	c current bound: 7398
442.01/450.01	c current bound: 7398
442.33/450.55	c current bound: 7398
443.14/451.10	c current bound: 7398
443.42/451.65	c current bound: 7398
444.13/452.19	c current bound: 7398
444.52/452.74	c current bound: 7398
445.25/453.29	c current bound: 7398
445.62/453.83	c current bound: 7398
446.42/454.53	c current bound: 7398
446.72/455.08	c current bound: 7398
447.26/455.64	c current bound: 7398
447.82/456.19	c current bound: 7398
448.38/456.74	c current bound: 7398
448.93/457.29	c current bound: 7398
449.48/457.84	c current bound: 7398
450.03/458.39	c current bound: 7398
450.58/458.94	c current bound: 7398
451.15/459.62	c current bound: 7398
451.69/460.17	c current bound: 7398
452.24/460.72	c current bound: 7398
452.79/461.26	c current bound: 7398
453.34/461.81	c current bound: 7398
453.89/462.36	c current bound: 7398
454.45/462.91	c current bound: 7398
454.99/463.46	c current bound: 7398
455.54/464.05	c current bound: 7398
456.09/464.74	c current bound: 7398
456.82/465.29	c current bound: 7398
457.19/465.84	c current bound: 7398
457.91/466.39	c current bound: 7398
458.29/466.93	c current bound: 7398
459.02/467.48	c current bound: 7398
459.38/468.03	c current bound: 7398
460.11/468.57	c current bound: 7398
460.49/469.12	c current bound: 7398
461.29/469.85	c current bound: 7398
461.59/470.40	c current bound: 7398
462.34/470.95	c current bound: 7398
462.68/471.50	c current bound: 7398
463.44/472.05	c current bound: 7398
464.05/472.60	c current bound: 7398
464.54/473.14	c current bound: 7398
464.90/473.70	c current bound: 7398
465.65/474.25	c current bound: 7398
466.26/474.98	c current bound: 7398
466.56/475.53	c current bound: 7398
467.10/476.08	c current bound: 7398
467.65/476.63	c current bound: 7398
468.20/477.17	c current bound: 7398
468.75/477.72	c current bound: 7398
469.29/478.27	c current bound: 7398
469.84/478.81	c current bound: 7398
470.38/479.36	c current bound: 7398
470.94/479.95	c current bound: 7398
471.76/480.50	c current bound: 7398
472.04/481.05	c current bound: 7398
472.58/481.59	c current bound: 7398
473.13/482.14	c current bound: 7398
473.69/482.69	c current bound: 7398
474.24/483.24	c current bound: 7398
474.79/483.78	c current bound: 7398
475.34/484.33	c current bound: 7398
476.14/484.97	c current bound: 7398
476.44/485.52	c current bound: 7398
476.99/486.07	c current bound: 7398
477.53/486.61	c current bound: 7398
478.08/487.16	c current bound: 7398
478.63/487.72	c current bound: 7398
479.20/488.26	c current bound: 7398
479.76/488.81	c current bound: 7398
480.29/489.36	c current bound: 7398
480.84/490.00	c current bound: 7398
481.59/490.56	c current bound: 7398
481.94/491.10	c current bound: 7398
482.71/491.65	c current bound: 7398
483.05/492.20	c current bound: 7398
483.82/492.76	c current bound: 7398
484.17/493.31	c current bound: 7398
484.92/493.86	c current bound: 7398
485.27/494.40	c current bound: 7398
486.07/495.08	c current bound: 7398
486.37/495.63	c current bound: 7398
487.10/496.18	c current bound: 7398
487.48/496.73	c current bound: 7398
488.21/497.28	c current bound: 7398
488.57/497.83	c current bound: 7398
489.30/498.38	c current bound: 7398
489.96/499.04	c current bound: 7398
490.24/499.58	c current bound: 7398
491.05/500.42	c current bound: 7398
491.34/500.97	c current bound: 7398
492.12/501.51	c current bound: 7398
492.43/502.06	c current bound: 7398
493.24/502.61	c current bound: 7398
493.53/503.15	c current bound: 7398
494.07/503.70	c current bound: 7398
494.63/504.25	c current bound: 7398
495.18/504.80	c current bound: 7398
495.99/505.50	c current bound: 7398
496.48/506.05	c current bound: 7398
496.82/506.59	c current bound: 7398
497.59/507.14	c current bound: 7398
497.91/507.69	c current bound: 7398
498.68/508.24	c current bound: 7398
499.02/508.79	c current bound: 7398
499.80/509.34	c current bound: 7398
500.41/509.90	c current bound: 7398
500.89/510.44	c current bound: 7398
501.23/510.99	c current bound: 7398
502.01/511.54	c current bound: 7398
502.34/512.09	c current bound: 7398
503.11/512.64	c current bound: 7398
503.43/513.18	c current bound: 7398
504.20/513.73	c current bound: 7398
504.53/514.28	c current bound: 7398
505.31/514.82	c current bound: 7398
505.89/515.51	c current bound: 7398
506.37/516.05	c current bound: 7398
506.73/516.60	c current bound: 7398
507.49/517.15	c current bound: 7398
507.83/517.69	c current bound: 7398
508.60/518.24	c current bound: 7398
508.93/518.79	c current bound: 7398
509.69/519.34	c current bound: 7398
510.02/519.89	c current bound: 7398
510.82/520.59	c current bound: 7398
511.13/521.15	c current bound: 7398
511.68/521.69	c current bound: 7398
512.22/522.24	c current bound: 7398
512.77/522.79	c current bound: 7398
513.31/523.34	c current bound: 7398
513.87/523.89	c current bound: 7398
514.42/524.44	c current bound: 7398
514.98/524.99	c current bound: 7398
515.79/525.65	c current bound: 7398
516.08/526.19	c current bound: 7398
516.62/526.74	c current bound: 7398
517.16/527.29	c current bound: 7398
517.71/527.84	c current bound: 7398
518.27/528.39	c current bound: 7398
518.82/528.93	c current bound: 7398
519.36/529.48	c current bound: 7398
519.91/530.03	c current bound: 7398
520.74/530.61	c current bound: 7398
521.01/531.16	c current bound: 7398
521.57/531.70	c current bound: 7398
522.11/532.25	c current bound: 7398
522.67/532.79	c current bound: 7398
523.21/533.34	c current bound: 7398
523.77/533.89	c current bound: 7398
524.31/534.44	c current bound: 7398
524.86/534.98	c current bound: 7398
525.66/535.64	c current bound: 7398
525.95/536.19	c current bound: 7398
526.72/536.73	c current bound: 7398
527.05/537.28	c current bound: 7398
527.85/537.82	c current bound: 7398
528.15/538.37	c current bound: 7398
528.93/538.92	c current bound: 7398
529.24/539.46	c current bound: 7398
530.03/540.01	c current bound: 7398
530.61/540.60	c current bound: 7398
531.10/541.15	c current bound: 7398
531.69/541.70	c current bound: 7398
532.19/542.24	c current bound: 7398
532.81/542.80	c current bound: 7398
533.29/543.34	c current bound: 7398
533.65/543.89	c current bound: 7398
534.42/544.44	c current bound: 7398
534.73/544.98	c current bound: 7398
535.53/545.70	c current bound: 7398
535.83/546.25	c current bound: 7398
536.55/546.79	c current bound: 7398
536.93/547.34	c current bound: 7398
537.66/547.89	c current bound: 7398
538.03/548.44	c current bound: 7398
538.75/548.98	c current bound: 7398
539.13/549.53	c current bound: 7398
539.85/550.08	c current bound: 7398
540.48/550.71	c current bound: 7398
540.96/551.25	c current bound: 7398
541.31/551.80	c current bound: 7398
542.05/552.35	c current bound: 7398
542.40/552.89	c current bound: 7398
543.18/553.45	c current bound: 7398
543.52/553.99	c current bound: 7398
544.28/554.54	c current bound: 7398
544.61/555.09	c current bound: 7398
545.38/555.68	c current bound: 7398
545.71/556.23	c current bound: 7398
546.26/556.77	c current bound: 7398
546.81/557.32	c current bound: 7398
547.36/557.87	c current bound: 7398
547.91/558.42	c current bound: 7398
548.47/558.96	c current bound: 7398
549.01/559.51	c current bound: 7398
549.76/560.06	c current bound: 7398
550.11/560.68	c current bound: 7398
550.65/561.23	c current bound: 7398
551.19/561.77	c current bound: 7398
551.75/562.32	c current bound: 7398
552.31/562.87	c current bound: 7398
552.85/563.42	c current bound: 7398
553.40/563.96	c current bound: 7398
553.94/564.51	c current bound: 7398
554.48/565.05	c current bound: 7398
555.04/565.70	c current bound: 7398
555.60/566.25	c current bound: 7398
556.14/566.80	c current bound: 7398
556.69/567.35	c current bound: 7398
557.25/567.90	c current bound: 7398
557.79/568.45	c current bound: 7398
558.62/569.00	c current bound: 7398
558.88/569.56	c current bound: 7398
559.46/570.11	c current bound: 7398
560.27/570.78	c current bound: 7398
560.56/571.33	c current bound: 7398
561.11/571.88	c current bound: 7398
561.64/572.43	c current bound: 7398
562.19/572.98	c current bound: 7398
562.75/573.52	c current bound: 7398
563.31/574.07	c current bound: 7398
563.85/574.62	c current bound: 7398
564.39/575.17	c current bound: 7398
565.21/575.86	c current bound: 7398
565.75/576.41	c current bound: 7398
566.05/576.97	c current bound: 7398
566.84/577.52	c current bound: 7398
567.17/578.06	c current bound: 7398
567.96/578.61	c current bound: 7398
568.26/579.16	c current bound: 7398
569.06/579.71	c current bound: 7398
569.35/580.26	c current bound: 7398
570.17/580.96	c current bound: 7398
570.46/581.51	c current bound: 7398
571.21/582.06	c current bound: 7398
571.56/582.61	c current bound: 7398
572.30/583.16	c current bound: 7398
572.66/583.70	c current bound: 7398
573.40/584.25	c current bound: 7398
574.03/584.80	c current bound: 7398
574.50/585.35	c current bound: 7398
574.84/586.01	c current bound: 7398
575.40/586.57	c current bound: 7398
575.95/587.12	c current bound: 7398
576.50/587.67	c current bound: 7398
577.06/588.21	c current bound: 7398
577.61/588.76	c current bound: 7398
578.16/589.31	c current bound: 7398
578.71/589.87	c current bound: 7398
579.26/590.42	c current bound: 7398
579.83/591.15	c current bound: 7398
580.65/591.70	c current bound: 7398
580.93/592.25	c current bound: 7398
581.48/592.80	c current bound: 7398
582.01/593.35	c current bound: 7398
582.55/593.89	c current bound: 7398
583.11/594.44	c current bound: 7398
583.67/594.99	c current bound: 7398
584.21/595.54	c current bound: 7398
585.01/596.25	c current bound: 7398
585.30/596.80	c current bound: 7398
586.05/597.35	c current bound: 7398
586.68/597.90	c current bound: 7398
587.16/598.45	c current bound: 7398
587.50/598.99	c current bound: 7398
588.27/599.54	c current bound: 7398
588.61/600.09	c current bound: 7398
589.37/600.64	c current bound: 7398
589.69/601.35	c current bound: 7398
590.24/601.90	c current bound: 7398
590.80/602.45	c current bound: 7398
591.34/603.00	c current bound: 7398
591.89/603.55	c current bound: 7398
592.45/604.10	c current bound: 7398
593.01/604.65	c current bound: 7398
593.56/605.20	c current bound: 7398
594.10/605.76	c current bound: 7398
594.66/606.49	c current bound: 7398
595.21/607.03	c current bound: 7398
595.77/607.59	c current bound: 7398
596.32/608.13	c current bound: 7398
596.87/608.68	c current bound: 7398
597.41/609.23	c current bound: 7398
597.96/609.78	c current bound: 7398
598.52/610.33	c current bound: 7398
599.07/610.88	c current bound: 7398
599.88/611.62	c current bound: 7398
600.18/612.16	c current bound: 7398
600.97/612.71	c current bound: 7398
601.27/613.26	c current bound: 7398
602.07/613.81	c current bound: 7398
602.39/614.36	c current bound: 7398
603.19/614.90	c current bound: 7398
603.48/615.45	c current bound: 7398
604.18/616.00	c current bound: 7398
604.59/616.66	c current bound: 7398
605.38/617.21	c current bound: 7398
605.68/617.75	c current bound: 7398
606.47/618.30	c current bound: 7398
606.78/618.85	c current bound: 7398
607.59/619.41	c current bound: 7398
607.87/619.95	c current bound: 7398
608.68/620.51	c current bound: 7398
608.99/621.06	c current bound: 7398
609.80/621.79	c current bound: 7398
610.09/622.34	c current bound: 7398
610.65/622.89	c current bound: 7398
611.20/623.44	c current bound: 7398
611.74/623.99	c current bound: 7398
612.29/624.53	c current bound: 7398
612.85/625.08	c current bound: 7398
613.39/625.63	c current bound: 7398
613.95/626.18	c current bound: 7398
614.49/626.89	c current bound: 7398
615.04/627.44	c current bound: 7398
615.60/627.98	c current bound: 7398
616.14/628.53	c current bound: 7398
616.70/629.08	c current bound: 7398
617.25/629.63	c current bound: 7398
617.81/630.19	c current bound: 7398
618.37/630.73	c current bound: 7398
618.90/631.28	c current bound: 7398
619.46/631.95	c current bound: 7398
620.27/632.51	c current bound: 7398
620.58/633.06	c current bound: 7398
621.38/633.61	c current bound: 7398
621.67/634.16	c current bound: 7398
622.47/634.71	c current bound: 7398
622.78/635.26	c current bound: 7398
623.58/635.81	c current bound: 7398
623.88/636.36	c current bound: 7398
624.67/637.04	c current bound: 7398
624.98/637.58	c current bound: 7398
625.75/638.14	c current bound: 7398
626.07/638.68	c current bound: 7398
626.84/639.23	c current bound: 7398
627.19/639.78	c current bound: 7398
627.96/640.33	c current bound: 7398
628.28/640.88	c current bound: 7398
629.05/641.43	c current bound: 7398
629.38/642.07	c current bound: 7398
629.94/642.63	c current bound: 7398
630.49/643.18	c current bound: 7398
631.03/643.73	c current bound: 7398
631.58/644.28	c current bound: 7398
632.14/644.83	c current bound: 7398
632.69/645.39	c current bound: 7398
633.24/645.94	c current bound: 7398
633.79/646.48	c current bound: 7398
634.60/647.20	c current bound: 7398
634.89/647.75	c current bound: 7398
635.72/648.30	c current bound: 7398
635.99/648.85	c current bound: 7398
636.54/649.39	c current bound: 7398
637.09/649.94	c current bound: 7398
637.63/650.49	c current bound: 7398
638.19/651.04	c current bound: 7398
638.74/651.59	c current bound: 7398
639.54/652.32	c current bound: 7398
639.83/652.88	c current bound: 7398
640.62/653.43	c current bound: 7398
640.96/653.99	c current bound: 7398
641.73/654.54	c current bound: 7398
642.33/655.10	c current bound: 7398
642.84/655.65	c current bound: 7398
643.44/656.20	c current bound: 7398
643.94/656.75	c current bound: 7398
644.28/657.43	c current bound: 7398
644.83/657.98	c current bound: 7398
645.39/658.53	c current bound: 7398
645.93/659.09	c current bound: 7398
646.50/659.64	c current bound: 7398
647.04/660.19	c current bound: 7398
647.59/660.73	c current bound: 7398
648.14/661.28	c current bound: 7398
648.70/661.84	c current bound: 7398
649.25/662.53	c current bound: 7398
649.80/663.09	c current bound: 7398
650.36/663.63	c current bound: 7398
650.92/664.18	c current bound: 7398
651.47/664.74	c current bound: 7398
652.01/665.28	c current bound: 7398
652.56/665.83	c current bound: 7398
653.12/666.38	c current bound: 7398
653.68/666.93	c current bound: 7398
654.47/667.62	c current bound: 7398
654.77/668.18	c current bound: 7398
655.55/668.73	c current bound: 7398
655.87/669.28	c current bound: 7398
656.65/669.82	c current bound: 7398
656.98/670.38	c current bound: 7398
657.76/670.93	c current bound: 7398
658.09/671.48	c current bound: 7398
658.86/672.03	c current bound: 7398
659.17/672.74	c current bound: 7398
660.01/673.30	c current bound: 7398
660.31/673.85	c current bound: 7398
661.10/674.40	c current bound: 7398
661.40/674.96	c current bound: 7398
662.20/675.50	c current bound: 7398
662.51/676.06	c current bound: 7398
663.32/676.61	c current bound: 7398
663.62/677.17	c current bound: 7398
664.42/677.93	c current bound: 7398
664.73/678.48	c current bound: 7398
665.27/679.02	c current bound: 7398
665.82/679.57	c current bound: 7398
666.36/680.13	c current bound: 7398
666.93/680.68	c current bound: 7398
667.49/681.23	c current bound: 7398
668.04/681.78	c current bound: 7398
668.58/682.34	c current bound: 7398
669.41/683.02	c current bound: 7398
669.70/683.56	c current bound: 7398
670.49/684.11	c current bound: 7398
670.80/684.66	c current bound: 7398
671.60/685.20	c current bound: 7398
671.89/685.75	c current bound: 7398
672.44/686.30	c current bound: 7398
672.98/686.85	c current bound: 7398
673.81/687.41	c current bound: 7398
674.35/688.11	c current bound: 7398
674.84/688.66	c current bound: 7398
675.20/689.22	c current bound: 7398
675.95/689.77	c current bound: 7398
676.31/690.31	c current bound: 7398
677.04/690.86	c current bound: 7398
677.40/691.41	c current bound: 7398
678.16/691.96	c current bound: 7398
678.49/692.50	c current bound: 7398
679.31/693.14	c current bound: 7398
679.59/693.68	c current bound: 7398
680.37/694.23	c current bound: 7398
680.69/694.78	c current bound: 7398
681.48/695.33	c current bound: 7398
681.80/695.88	c current bound: 7398
682.59/696.42	c current bound: 7398
682.91/696.97	c current bound: 7398
683.68/697.52	c current bound: 7398
684.26/698.20	c current bound: 7398
684.55/698.76	c current bound: 7398
685.11/699.31	c current bound: 7398
685.65/699.86	c current bound: 7398
686.20/700.41	c current bound: 7398
686.76/700.96	c current bound: 7398
687.31/701.51	c current bound: 7398
687.86/702.06	c current bound: 7398
688.41/702.60	c current bound: 7398
688.95/703.17	c current bound: 7398
689.52/703.74	c current bound: 7398
690.08/704.29	c current bound: 7398
690.63/704.83	c current bound: 7398
691.18/705.38	c current bound: 7398
691.72/705.93	c current bound: 7398
692.27/706.48	c current bound: 7398
692.83/707.03	c current bound: 7398
693.39/707.57	c current bound: 7398
694.20/708.31	c current bound: 7398
694.48/708.86	c current bound: 7398
695.30/709.40	c current bound: 7398
695.58/709.95	c current bound: 7398
696.13/710.50	c current bound: 7398
696.67/711.04	c current bound: 7398
697.22/711.59	c current bound: 7398
697.77/712.15	c current bound: 7398
698.34/712.70	c current bound: 7398
699.13/713.36	c current bound: 7398
699.66/713.91	c current bound: 7398
699.98/714.46	c current bound: 7398
700.78/715.01	c current bound: 7398
701.07/715.55	c current bound: 7398
701.78/716.10	c current bound: 7398
702.17/716.64	c current bound: 7398
702.89/717.19	c current bound: 7398
703.28/717.74	c current bound: 7398
704.11/718.43	c current bound: 7398
704.39/718.98	c current bound: 7398
705.16/719.52	c current bound: 7398
705.48/720.07	c current bound: 7398
706.25/720.62	c current bound: 7398
706.58/721.17	c current bound: 7398
707.37/721.72	c current bound: 7398
707.69/722.26	c current bound: 7398
708.46/722.81	c current bound: 7398
709.05/723.50	c current bound: 7398
709.33/724.05	c current bound: 7398
710.15/724.60	c current bound: 7398
710.43/725.15	c current bound: 7398
710.97/725.71	c current bound: 7398
711.54/726.26	c current bound: 7398
712.09/726.81	c current bound: 7398
712.64/727.36	c current bound: 7398
713.19/727.91	c current bound: 7398
714.00/728.56	c current bound: 7398
714.30/729.11	c current bound: 7398
714.83/729.66	c current bound: 7398
715.38/730.20	c current bound: 7398
715.93/730.76	c current bound: 7398
716.49/731.31	c current bound: 7398
717.04/731.86	c current bound: 7398
717.59/732.40	c current bound: 7398
718.14/732.95	c current bound: 7398
718.96/733.65	c current bound: 7398
719.24/734.19	c current bound: 7398
720.01/734.74	c current bound: 7398
720.34/735.29	c current bound: 7398
721.10/735.83	c current bound: 7398
721.44/736.38	c current bound: 7398
722.21/736.93	c current bound: 7398
722.52/737.47	c current bound: 7398
723.31/738.02	c current bound: 7398
723.89/738.68	c current bound: 7398
724.41/739.24	c current bound: 7398
724.72/739.78	c current bound: 7398
725.50/740.33	c current bound: 7398
725.83/740.88	c current bound: 7398
726.62/741.42	c current bound: 7398
726.92/741.97	c current bound: 7398
727.72/742.52	c current bound: 7398
728.02/743.06	c current bound: 7398
728.83/743.74	c current bound: 7398
729.12/744.29	c current bound: 7398
729.88/744.84	c current bound: 7398
730.50/745.40	c current bound: 7398
730.99/745.94	c current bound: 7398
731.31/746.49	c current bound: 7398
732.09/747.04	c current bound: 7398
732.44/747.59	c current bound: 7398
733.21/748.13	c current bound: 7398
733.80/748.78	c current bound: 7398
734.07/749.34	c current bound: 7398
734.64/749.88	c current bound: 7398
735.19/750.43	c current bound: 7398
735.74/750.98	c current bound: 7398
736.29/751.53	c current bound: 7398
736.84/752.08	c current bound: 7398
737.38/752.63	c current bound: 7398
737.94/753.17	c current bound: 7398
738.74/753.83	c current bound: 7398
739.03/754.38	c current bound: 7398
739.59/754.92	c current bound: 7398
740.14/755.47	c current bound: 7398
740.69/756.02	c current bound: 7398
741.24/756.58	c current bound: 7398
741.80/757.13	c current bound: 7398
742.36/757.68	c current bound: 7398
742.90/758.22	c current bound: 7398
743.70/758.93	c current bound: 7398
744.00/759.49	c current bound: 7398
744.79/760.03	c current bound: 7398
745.11/760.58	c current bound: 7398
745.87/761.13	c current bound: 7398
746.21/761.69	c current bound: 7398
746.98/762.23	c current bound: 7398
747.31/762.79	c current bound: 7398
748.08/763.33	c current bound: 7398
748.68/763.91	c current bound: 7398
749.17/764.46	c current bound: 7398
749.52/765.01	c current bound: 7398
750.26/765.55	c current bound: 7398
750.87/766.10	c current bound: 7398
751.36/766.65	c current bound: 7398
751.72/767.19	c current bound: 7398
752.47/767.74	c current bound: 7398
752.81/768.29	c current bound: 7398
753.60/769.14	c current bound: 7398
753.90/769.68	c current bound: 7398
754.46/770.24	c current bound: 7398
755.00/770.78	c current bound: 7398
755.55/771.33	c current bound: 7398
756.09/771.88	c current bound: 7398
756.64/772.43	c current bound: 7398
757.19/772.98	c current bound: 7398
757.74/773.53	c current bound: 7398
758.57/774.13	c current bound: 7398
758.86/774.69	c current bound: 7398
759.42/775.24	c current bound: 7398
759.95/775.79	c current bound: 7398
760.50/776.33	c current bound: 7398
761.05/776.89	c current bound: 7398
761.60/777.43	c current bound: 7398
762.14/777.98	c current bound: 7398
762.69/778.53	c current bound: 7398
763.24/779.08	c current bound: 7398
763.81/779.63	c current bound: 7398
764.35/780.18	c current bound: 7398
764.90/780.73	c current bound: 7398
765.45/781.28	c current bound: 7398
766.01/781.84	c current bound: 7398
766.56/782.39	c current bound: 7398
767.11/782.95	c current bound: 7398
767.67/783.50	c current bound: 7398
768.23/784.06	c current bound: 7398
768.79/784.61	c current bound: 7398
769.33/785.15	c current bound: 7398
769.87/785.70	c current bound: 7398
770.43/786.25	c current bound: 7398
770.98/786.80	c current bound: 7398
771.54/787.35	c current bound: 7398
772.08/787.91	c current bound: 7398
772.65/788.46	c current bound: 7398
773.20/789.02	c current bound: 7398
773.75/789.57	c current bound: 7398
774.31/790.13	c current bound: 7398
774.87/790.68	c current bound: 7398
775.42/791.24	c current bound: 7398
775.97/791.79	c current bound: 7398
776.53/792.34	c current bound: 7398
777.07/792.89	c current bound: 7398
777.62/793.44	c current bound: 7398
778.45/794.06	c current bound: 7398
778.73/794.61	c current bound: 7398
779.29/795.17	c current bound: 7398
779.84/795.72	c current bound: 7398
780.39/796.27	c current bound: 7398
780.95/796.81	c current bound: 7398
781.50/797.36	c current bound: 7398
782.04/797.92	c current bound: 7398
782.59/798.46	c current bound: 7398
783.41/799.12	c current bound: 7398
783.71/799.67	c current bound: 7398
784.30/800.23	c current bound: 7398
784.89/800.77	c current bound: 7398
785.48/801.33	c current bound: 7398
786.07/801.88	c current bound: 7398
786.92/802.43	c current bound: 7398
787.24/802.98	c current bound: 7398
787.83/803.53	c current bound: 7398
788.43/804.12	c current bound: 7398
789.02/804.77	c current bound: 7398
789.88/805.33	c current bound: 7398
790.20/805.88	c current bound: 7398
790.78/806.43	c current bound: 7398
791.36/806.99	c current bound: 7398
791.96/807.54	c current bound: 7398
792.54/808.09	c current bound: 7398
793.13/808.64	c current bound: 7398
793.72/809.37	c current bound: 7398
794.31/809.92	c current bound: 7398
794.89/810.47	c current bound: 7398
795.80/811.02	c current bound: 7398
796.09/811.57	c current bound: 7398
796.67/812.12	c current bound: 7398
797.25/812.67	c current bound: 7398
797.84/813.22	c current bound: 7398
798.71/813.78	c current bound: 7398
799.01/814.48	c current bound: 7398
799.89/815.04	c current bound: 7398
800.20/815.60	c current bound: 7398
800.80/816.15	c current bound: 7398
801.39/816.71	c current bound: 7398
801.97/817.26	c current bound: 7398
802.82/817.81	c current bound: 7398
803.15/818.36	c current bound: 7398
803.73/818.91	c current bound: 7398
804.62/819.71	c current bound: 7398
804.92/820.26	c current bound: 7398
805.78/820.81	c current bound: 7398
806.09/821.36	c current bound: 7398
806.69/821.91	c current bound: 7398
807.28/822.47	c current bound: 7398
807.88/823.02	c current bound: 7398
808.46/823.57	c current bound: 7398
809.04/824.12	c current bound: 7398
809.63/824.67	c current bound: 7398
810.47/825.22	c current bound: 7398
810.78/825.77	c current bound: 7398
811.37/826.32	c current bound: 7398
811.96/826.88	c current bound: 7398
812.55/827.42	c current bound: 7398
813.13/827.97	c current bound: 7398
813.73/828.52	c current bound: 7398
814.31/829.07	c current bound: 7398
814.90/829.81	c current bound: 7398
815.49/830.35	c current bound: 7398
816.37/830.91	c current bound: 7398
816.66/831.46	c current bound: 7398
817.26/832.01	c current bound: 7398
818.13/832.56	c current bound: 7398
818.44/833.12	c current bound: 7398
819.03/833.67	c current bound: 7398
819.62/834.22	c current bound: 7398
820.21/835.09	c current bound: 7398
820.81/835.65	c current bound: 7398
821.70/836.20	c current bound: 7398
822.27/836.76	c current bound: 7398
822.58/837.33	c current bound: 7398
823.19/837.88	c current bound: 7398
823.78/838.43	c current bound: 7398
824.37/838.99	c current bound: 7398
824.97/839.54	c current bound: 7398
825.86/840.12	c current bound: 7398
826.15/840.67	c current bound: 7398
827.02/841.23	c current bound: 7398
827.33/841.78	c current bound: 7398
827.92/842.33	c current bound: 7398
828.50/842.88	c current bound: 7398
829.10/843.43	c current bound: 7398
829.69/843.98	c current bound: 7398
830.27/844.53	c current bound: 7398
830.85/845.10	c current bound: 7398
831.72/845.66	c current bound: 7398
832.02/846.21	c current bound: 7398
832.61/846.75	c current bound: 7398
833.47/847.31	c current bound: 7398
833.78/847.86	c current bound: 7398
834.67/848.41	c current bound: 7398
835.24/848.96	c current bound: 7398
835.55/849.51	c current bound: 7398
836.14/850.10	c current bound: 7398
837.01/850.65	c current bound: 7398
837.32/851.21	c current bound: 7398
837.91/851.75	c current bound: 7398
838.78/852.31	c current bound: 7398
839.09/852.86	c current bound: 7398
839.69/853.41	c current bound: 7398
840.27/853.95	c current bound: 7398
840.85/854.51	c current bound: 7398
841.43/855.14	c current bound: 7398
842.29/855.68	c current bound: 7398
842.60/856.23	c current bound: 7398
843.19/856.78	c current bound: 7398
843.77/857.35	c current bound: 7398
844.38/857.89	c current bound: 7398
845.24/858.45	c current bound: 7398
845.55/859.00	c current bound: 7398
846.16/859.54	c current bound: 7398
846.73/860.10	c current bound: 7398
847.32/860.64	c current bound: 7398
847.91/861.19	c current bound: 7398
848.50/861.75	c current bound: 7398
849.08/862.30	c current bound: 7398
849.68/862.84	c current bound: 7398
850.26/863.40	c current bound: 7398
850.84/863.94	c current bound: 7398
851.63/864.49	c current bound: 7398
852.31/865.23	c current bound: 7398
852.61/865.77	c current bound: 7398
853.19/866.33	c current bound: 7398
853.78/866.89	c current bound: 7398
854.39/867.44	c current bound: 7398
855.28/868.00	c current bound: 7398
855.57/868.55	c current bound: 7398
856.45/869.10	c current bound: 7398
856.73/869.65	c current bound: 7398
857.62/870.21	c current bound: 7398
857.91/870.76	c current bound: 7398
858.50/871.30	c current bound: 7398
859.36/871.86	c current bound: 7398
859.68/872.40	c current bound: 7398
860.26/872.97	c current bound: 7398
860.87/873.52	c current bound: 7398
861.74/874.07	c current bound: 7398
862.04/874.62	c current bound: 7398
862.92/875.28	c current bound: 7398
863.21/875.83	c current bound: 7398
864.07/876.38	c current bound: 7398
864.40/876.93	c current bound: 7398
864.98/877.48	c current bound: 7398
865.56/878.03	c current bound: 7398
866.16/878.58	c current bound: 7398
866.75/879.13	c current bound: 7398
867.34/879.69	c current bound: 7398
867.92/880.23	c current bound: 7398
868.51/880.78	c current bound: 7398
869.09/881.33	c current bound: 7398
869.69/881.88	c current bound: 7398
870.55/882.43	c current bound: 7398
870.85/882.98	c current bound: 7398
871.44/883.53	c current bound: 7398
872.03/884.08	c current bound: 7398
872.60/884.63	c current bound: 7398
873.49/885.35	c current bound: 7398
873.78/885.91	c current bound: 7398
874.39/886.46	c current bound: 7398
874.98/887.02	c current bound: 7398
875.56/887.57	c current bound: 7398
876.15/888.12	c current bound: 7398
876.74/888.68	c current bound: 7398
877.34/889.24	c current bound: 7398
877.93/889.79	c current bound: 7398
878.53/890.35	c current bound: 7398
879.12/890.90	c current bound: 7398
879.98/891.46	c current bound: 7398
880.30/892.01	c current bound: 7398
880.88/892.56	c current bound: 7398
881.75/893.12	c current bound: 7398
882.07/893.67	c current bound: 7398
882.66/894.23	c current bound: 7398
883.25/894.78	c current bound: 7398
883.84/895.34	c current bound: 7398
884.44/895.89	c current bound: 7398
885.03/896.47	c current bound: 7398
885.64/897.02	c current bound: 7398
886.24/897.58	c current bound: 7398
886.84/898.15	c current bound: 7398
887.73/898.70	c current bound: 7398
888.30/899.26	c current bound: 7398
888.61/899.81	c current bound: 7398
889.21/900.36	c current bound: 7398
889.80/901.09	c current bound: 7398
890.39/901.65	c current bound: 7398
890.97/902.20	c current bound: 7398
891.56/902.75	c current bound: 7398
892.16/903.30	c current bound: 7398
893.00/903.85	c current bound: 7398
893.32/904.41	c current bound: 7398
893.92/904.96	c current bound: 7398
894.77/905.51	c current bound: 7398
895.09/906.06	c current bound: 7398
895.68/906.82	c current bound: 7398
896.27/907.38	c current bound: 7398
896.85/907.93	c current bound: 7398
897.45/908.47	c current bound: 7398
898.02/909.03	c current bound: 7398
898.61/909.58	c current bound: 7398
899.46/910.12	c current bound: 7398
899.78/910.67	c current bound: 7398
900.37/911.22	c current bound: 7398
900.96/911.78	c current bound: 7398
901.55/912.33	c current bound: 7398
902.14/912.87	c current bound: 7398
902.72/913.43	c current bound: 7398
903.31/913.98	c current bound: 7398
904.18/914.54	c current bound: 7398
904.49/915.09	c current bound: 7398
905.08/915.64	c current bound: 7398
905.67/916.19	c current bound: 7398
906.26/916.74	c current bound: 7398
906.85/917.30	c current bound: 7398
907.44/917.84	c current bound: 7398
908.02/918.39	c current bound: 7398
908.60/918.94	c current bound: 7398
909.19/919.49	c current bound: 7398
910.04/920.05	c current bound: 7398
910.37/920.59	c current bound: 7398
910.94/921.15	c current bound: 7398
911.53/921.72	c current bound: 7398
912.12/922.27	c current bound: 7398
912.71/922.82	c current bound: 7398
913.31/923.38	c current bound: 7398
913.89/923.93	c current bound: 7398
914.76/924.48	c current bound: 7398
915.07/925.03	c current bound: 7398
915.66/925.58	c current bound: 7398
916.26/926.14	c current bound: 7398
916.84/926.72	c current bound: 7398
917.70/927.27	c current bound: 7398
918.03/927.82	c current bound: 7398
918.61/928.37	c current bound: 7398
919.20/928.92	c current bound: 7398
919.78/929.47	c current bound: 7398
920.65/930.03	c current bound: 7398
920.96/930.57	c current bound: 7398
921.54/931.12	c current bound: 7398
922.14/931.67	c current bound: 7398
922.73/932.22	c current bound: 7398
923.31/932.77	c current bound: 7398
923.90/933.33	c current bound: 7398
924.49/933.87	c current bound: 7398
925.07/934.42	c current bound: 7398
925.66/934.98	c current bound: 7398
926.25/935.53	c current bound: 7398
927.10/936.08	c current bound: 7398
927.72/936.93	c current bound: 7398
928.01/937.48	c current bound: 7398
928.59/938.02	c current bound: 7398
929.18/938.57	c current bound: 7398
930.04/939.12	c current bound: 7398
930.34/939.66	c current bound: 7398
930.93/940.21	c current bound: 7398
931.80/940.76	c current bound: 7398
932.10/941.31	c current bound: 7398
932.69/941.86	c current bound: 7398
933.54/942.41	c current bound: 7398
933.86/942.96	c current bound: 7398
934.44/943.50	c current bound: 7398
935.04/944.05	c current bound: 7398
935.62/944.59	c current bound: 7398
936.20/945.14	c current bound: 7398
937.05/945.70	c current bound: 7398
937.37/946.24	c current bound: 7398
937.95/946.80	c current bound: 7398
938.54/947.36	c current bound: 7398
939.14/947.91	c current bound: 7398
939.72/948.45	c current bound: 7398
940.30/949.01	c current bound: 7398
940.89/949.55	c current bound: 7398
941.47/950.10	c current bound: 7398
942.05/950.66	c current bound: 7398
942.64/951.20	c current bound: 7398
943.23/951.75	c current bound: 7398
943.81/952.30	c current bound: 7398
944.40/952.85	c current bound: 7398
944.98/953.39	c current bound: 7398
945.56/953.95	c current bound: 7398
946.15/954.50	c current bound: 7398
946.73/955.04	c current bound: 7398
947.33/955.59	c current bound: 7398
947.91/956.13	c current bound: 7398
948.50/956.68	c current bound: 7398
949.07/957.23	c current bound: 7398
949.66/957.78	c current bound: 7398
950.25/958.33	c current bound: 7398
950.83/958.88	c current bound: 7398
951.42/959.44	c current bound: 7398
952.01/959.99	c current bound: 7398
952.59/960.54	c current bound: 7398
953.46/961.10	c current bound: 7398
953.78/961.64	c current bound: 7398
954.66/962.27	c current bound: 7398
954.95/962.82	c current bound: 7398
955.53/963.37	c current bound: 7398
956.11/963.92	c current bound: 7398
956.71/964.48	c current bound: 7398
957.30/965.03	c current bound: 7398
958.12/965.58	c current bound: 7398
958.48/966.13	c current bound: 7398
959.07/966.67	c current bound: 7398
959.66/967.34	c current bound: 7398
960.26/967.88	c current bound: 7398
960.84/968.43	c current bound: 7398
961.73/968.98	c current bound: 7398
962.02/969.54	c current bound: 7398
962.60/970.08	c current bound: 7398
963.20/970.63	c current bound: 7398
963.78/971.18	c current bound: 7398
964.65/971.75	c current bound: 7398
964.96/972.29	c current bound: 7398
965.56/972.89	c current bound: 7398
966.15/973.44	c current bound: 7398
966.75/973.99	c current bound: 7398
967.34/974.54	c current bound: 7398
967.91/975.09	c current bound: 7398
968.50/975.64	c current bound: 7398
969.08/976.19	c current bound: 7398
969.68/976.73	c current bound: 7398
970.26/977.29	c current bound: 7398
971.14/977.89	c current bound: 7398
971.45/978.43	c current bound: 7398
972.04/978.99	c current bound: 7398
972.63/979.54	c current bound: 7398
973.22/980.09	c current bound: 7398
974.10/980.64	c current bound: 7398
974.41/981.19	c current bound: 7398
975.00/981.74	c current bound: 7398
975.59/982.30	c current bound: 7398
976.18/982.88	c current bound: 7398
977.04/983.43	c current bound: 7398
977.37/983.98	c current bound: 7398
978.27/984.52	c current bound: 7398
978.55/985.08	c current bound: 7398
979.15/985.62	c current bound: 7398
980.00/986.18	c current bound: 7398
980.31/986.73	c current bound: 7398
980.89/987.27	c current bound: 7398
981.50/987.83	c current bound: 7398
982.08/988.38	c current bound: 7398
982.67/988.94	c current bound: 7398
983.27/989.49	c current bound: 7398
983.85/990.05	c current bound: 7398
984.74/990.61	c current bound: 7398
985.05/991.16	c current bound: 7398
985.64/991.71	c current bound: 7398
986.23/992.26	c current bound: 7398
986.81/992.84	c current bound: 7398
987.68/993.40	c current bound: 7398
987.98/993.94	c current bound: 7398
988.57/994.49	c current bound: 7398
989.16/995.04	c current bound: 7398
989.76/995.59	c current bound: 7398
990.34/996.14	c current bound: 7398
990.93/996.70	c current bound: 7398
991.52/997.25	c current bound: 7398
992.38/997.80	c current bound: 7398
992.69/998.35	c current bound: 7398
993.28/998.90	c current bound: 7398
993.87/999.45	c current bound: 7398
994.45/1000.00	c current bound: 7398
995.04/1000.54	c current bound: 7398
995.92/1001.10	c current bound: 7398
996.21/1001.65	c current bound: 7398
997.04/1002.19	c current bound: 7398
997.38/1002.79	c current bound: 7398
997.97/1003.34	c current bound: 7398
998.56/1003.89	c current bound: 7398
999.15/1004.44	c current bound: 7398
999.74/1004.99	c current bound: 7398
1000.33/1005.55	c current bound: 7398
1000.92/1006.09	c current bound: 7398
1001.50/1006.64	c current bound: 7398
1002.09/1007.20	c current bound: 7398
1002.68/1008.03	c current bound: 7398
1003.27/1008.59	c current bound: 7398
1003.86/1009.13	c current bound: 7398
1004.43/1009.68	c current bound: 7398
1005.03/1010.24	c current bound: 7398
1005.63/1010.79	c current bound: 7398
1006.21/1011.34	c current bound: 7398
1006.78/1011.90	c current bound: 7398
1007.37/1012.45	c current bound: 7398
1008.26/1013.16	c current bound: 7398
1008.56/1013.71	c current bound: 7398
1009.14/1014.25	c current bound: 7398
1009.73/1014.81	c current bound: 7398
1010.32/1015.36	c current bound: 7398
1010.90/1015.91	c current bound: 7398
1011.76/1016.46	c current bound: 7398
1012.07/1017.01	c current bound: 7398
1012.67/1017.56	c current bound: 7398
1013.52/1018.21	c current bound: 7398
1013.85/1018.76	c current bound: 7398
1014.44/1019.30	c current bound: 7398
1015.31/1019.86	c current bound: 7398
1015.61/1020.41	c current bound: 7398
1016.21/1020.96	c current bound: 7398
1017.06/1021.51	c current bound: 7398
1017.38/1022.06	c current bound: 7398
1017.96/1022.60	c current bound: 7398
1018.84/1023.32	c current bound: 7398
1019.14/1023.87	c current bound: 7398
1019.72/1024.41	c current bound: 7398
1020.31/1024.97	c current bound: 7398
1020.91/1025.52	c current bound: 7398
1021.77/1026.06	c current bound: 7398
1022.09/1026.61	c current bound: 7398
1022.67/1027.16	c current bound: 7398
1023.25/1027.71	c current bound: 7398
1023.83/1028.32	c current bound: 7398
1024.43/1028.87	c current bound: 7398
1025.04/1029.42	c current bound: 7398
1025.62/1029.97	c current bound: 7398
1026.21/1030.52	c current bound: 7398
1026.79/1031.07	c current bound: 7398
1027.39/1031.62	c current bound: 7398
1027.97/1032.17	c current bound: 7398
1028.83/1032.84	c current bound: 7398
1029.15/1033.77	c current bound: 7398
1029.74/1034.32	c current bound: 7398
1030.33/1034.87	c current bound: 7398
1030.91/1035.42	c current bound: 7398
1031.50/1035.97	c current bound: 7398
1032.09/1036.52	c current bound: 7398
1032.67/1037.08	c current bound: 7398
1033.54/1037.63	c current bound: 7398
1033.86/1038.18	c current bound: 7398
1034.44/1038.72	c current bound: 7398
1035.02/1039.28	c current bound: 7398
1035.61/1039.83	c current bound: 7398
1036.20/1040.37	c current bound: 7398
1036.78/1040.93	c current bound: 7398
1037.36/1041.48	c current bound: 7398
1038.22/1042.04	c current bound: 7398
1038.56/1042.58	c current bound: 7398
1039.15/1043.13	c current bound: 7398
1039.73/1043.69	c current bound: 7398
1040.32/1044.24	c current bound: 7398
1040.90/1044.79	c current bound: 7398
1041.49/1045.34	c current bound: 7398
1042.08/1045.89	c current bound: 7398
1042.96/1046.44	c current bound: 7398
1043.27/1046.99	c current bound: 7398
1043.86/1047.54	c current bound: 7398
1044.44/1048.10	c current bound: 7398
1045.03/1048.67	c current bound: 7398
1045.62/1049.23	c current bound: 7398
1046.21/1049.78	c current bound: 7398
1046.81/1050.33	c current bound: 7398
1047.40/1050.88	c current bound: 7398
1047.98/1051.43	c current bound: 7398
1048.57/1051.99	c current bound: 7398
1049.16/1052.54	c current bound: 7398
1050.01/1053.09	c current bound: 7398
1050.32/1053.79	c current bound: 7398
1050.92/1054.34	c current bound: 7398
1051.80/1054.90	c current bound: 7398
1052.09/1055.45	c current bound: 7398
1052.97/1056.00	c current bound: 7398
1053.28/1056.55	c current bound: 7398
1054.16/1057.11	c current bound: 7398
1054.46/1057.66	c current bound: 7398
1055.04/1058.20	c current bound: 7398
1055.92/1059.13	c current bound: 7398
1056.21/1059.68	c current bound: 7398
1056.80/1060.23	c current bound: 7398
1057.40/1060.78	c current bound: 7398
1057.98/1061.33	c current bound: 7398
1058.56/1061.89	c current bound: 7398
1059.15/1062.43	c current bound: 7398
1060.01/1062.99	c current bound: 7398
1060.32/1063.53	c current bound: 7398
1060.90/1064.09	c current bound: 7398
1061.50/1064.64	c current bound: 7398
1062.08/1065.19	c current bound: 7398
1062.66/1065.74	c current bound: 7398
1063.25/1066.29	c current bound: 7398
1063.84/1066.84	c current bound: 7398
1064.70/1067.39	c current bound: 7398
1065.01/1067.93	c current bound: 7398
1065.60/1068.48	c current bound: 7398
1066.19/1069.03	c current bound: 7398
1066.77/1069.59	c current bound: 7398
1067.65/1070.14	c current bound: 7398
1067.95/1070.69	c current bound: 7398
1068.54/1071.24	c current bound: 7398
1069.12/1071.79	c current bound: 7398
1069.71/1072.34	c current bound: 7398
1070.59/1072.90	c current bound: 7398
1070.90/1073.45	c current bound: 7398
1071.49/1073.99	c current bound: 7398
1072.07/1074.55	c current bound: 7398
1072.66/1075.10	c current bound: 7398
1073.24/1075.65	c current bound: 7398
1073.83/1076.20	c current bound: 7398
1074.44/1076.75	c current bound: 7398
1075.02/1077.31	c current bound: 7398
1075.61/1077.86	c current bound: 7398
1076.20/1078.42	c current bound: 7398
1077.07/1079.23	c current bound: 7398
1077.39/1079.78	c current bound: 7398
1077.99/1080.34	c current bound: 7398
1078.59/1080.89	c current bound: 7398
1079.17/1081.44	c current bound: 7398
1079.76/1081.99	c current bound: 7398
1080.35/1082.55	c current bound: 7398
1080.93/1083.11	c current bound: 7398
1081.53/1083.66	c current bound: 7398
1082.12/1084.58	c current bound: 7398
1082.71/1085.12	c current bound: 7398
1083.30/1085.68	c current bound: 7398
1083.88/1086.24	c current bound: 7398
1084.47/1086.78	c current bound: 7398
1085.07/1087.34	c current bound: 7398
1085.64/1087.88	c current bound: 7398
1086.52/1088.44	c current bound: 7398
1086.83/1088.99	c current bound: 7398
1087.42/1089.55	c current bound: 7398
1088.01/1090.11	c current bound: 7398
1088.60/1090.66	c current bound: 7398
1089.18/1091.21	c current bound: 7398
1090.06/1091.76	c current bound: 7398
1090.37/1092.31	c current bound: 7398
1090.95/1092.86	c current bound: 7398
1091.81/1093.42	c current bound: 7398
1092.14/1093.98	c current bound: 7398
1092.73/1094.56	c current bound: 7398
1093.31/1095.12	c current bound: 7398
1093.90/1095.67	c current bound: 7398
1094.51/1096.21	c current bound: 7398
1095.09/1096.77	c current bound: 7398
1095.67/1097.32	c current bound: 7398
1096.26/1097.87	c current bound: 7398
1096.85/1098.42	c current bound: 7398
1097.43/1098.97	c current bound: 7398
1098.02/1099.56	c current bound: 7398
1098.82/1100.11	c current bound: 7398
1099.13/1100.66	c current bound: 7398
1099.93/1101.21	c current bound: 7398
1100.23/1101.76	c current bound: 7398
1101.03/1102.31	c current bound: 7398
1101.33/1102.85	c current bound: 7398
1101.89/1103.40	c current bound: 7398
1102.43/1103.95	c current bound: 7398
1103.25/1104.57	c current bound: 7398
1103.53/1105.12	c current bound: 7398
1104.26/1105.67	c current bound: 7398
1104.63/1106.22	c current bound: 7398
1105.37/1106.76	c current bound: 7398
1105.73/1107.31	c current bound: 7398
1106.47/1107.86	c current bound: 7398
1106.81/1108.40	c current bound: 7398
1107.56/1108.95	c current bound: 7398
1107.91/1109.50	c current bound: 7398
1108.66/1110.05	c current bound: 7398
1109.01/1110.60	c current bound: 7398
1109.76/1111.15	c current bound: 7398
1110.12/1111.70	c current bound: 7398
1110.89/1112.25	c current bound: 7398
1111.49/1112.80	c current bound: 7398
1111.98/1113.35	c current bound: 7398
1112.32/1113.89	c current bound: 7398
1113.09/1114.44	c current bound: 7398
1113.42/1114.99	c current bound: 7398
1114.19/1115.54	c current bound: 7398
1114.53/1116.09	c current bound: 7398
1115.30/1116.64	c current bound: 7398
1115.64/1117.19	c current bound: 7398
1116.40/1117.74	c current bound: 7398
1116.73/1118.29	c current bound: 7398
1117.50/1118.84	c current bound: 7398
1118.10/1119.42	c current bound: 7398
1118.58/1119.96	c current bound: 7398
1118.93/1120.51	c current bound: 7398
1119.67/1121.06	c current bound: 7398
1120.03/1121.61	c current bound: 7398
1120.79/1122.16	c current bound: 7398
1121.13/1122.70	c current bound: 7398
1121.89/1123.25	c current bound: 7398
1122.22/1123.80	c current bound: 7398
1123.06/1124.52	c current bound: 7398
1123.34/1125.07	c current bound: 7398
1124.11/1125.62	c current bound: 7398
1124.43/1126.17	c current bound: 7398
1125.22/1126.71	c current bound: 7398
1125.53/1127.26	c current bound: 7398
1126.32/1127.81	c current bound: 7398
1126.64/1128.35	c current bound: 7398
1127.43/1128.90	c current bound: 7398
1128.00/1129.58	c current bound: 7398
1128.28/1130.13	c current bound: 7398
1128.83/1130.68	c current bound: 7398
1129.38/1131.23	c current bound: 7398
1129.93/1131.78	c current bound: 7398
1130.48/1132.33	c current bound: 7398
1131.04/1132.88	c current bound: 7398
1131.59/1133.43	c current bound: 7398
1132.14/1133.98	c current bound: 7398
1132.96/1134.64	c current bound: 7398
1133.25/1135.19	c current bound: 7398
1133.79/1135.73	c current bound: 7398
1134.34/1136.28	c current bound: 7398
1134.90/1136.83	c current bound: 7398
1135.45/1137.38	c current bound: 7398
1136.00/1137.93	c current bound: 7398
1136.54/1138.48	c current bound: 7398
1137.09/1139.03	c current bound: 7398
1137.91/1139.69	c current bound: 7398
1138.19/1140.24	c current bound: 7398
1138.73/1140.78	c current bound: 7398
1139.29/1141.33	c current bound: 7398
1139.84/1141.88	c current bound: 7398
1140.40/1142.42	c current bound: 7398
1140.95/1142.97	c current bound: 7398
1141.49/1143.52	c current bound: 7398
1142.03/1144.06	c current bound: 7398
1142.58/1144.78	c current bound: 7398
1143.37/1145.33	c current bound: 7398
1143.69/1145.87	c current bound: 7398
1144.48/1146.42	c current bound: 7398
1144.78/1146.97	c current bound: 7398
1145.58/1147.52	c current bound: 7398
1145.89/1148.06	c current bound: 7398
1146.69/1148.61	c current bound: 7398
1146.99/1149.16	c current bound: 7398
1147.83/1149.82	c current bound: 7398
1148.11/1150.37	c current bound: 7398
1148.88/1150.93	c current bound: 7398
1149.21/1151.48	c current bound: 7398
1150.00/1152.02	c current bound: 7398
1150.33/1152.57	c current bound: 7398
1151.09/1153.12	c current bound: 7398
1151.41/1153.66	c current bound: 7398
1152.20/1154.21	c current bound: 7398
1152.78/1154.83	c current bound: 7398
1153.06/1155.38	c current bound: 7398
1153.62/1155.93	c current bound: 7398
1154.16/1156.47	c current bound: 7398
1154.70/1157.02	c current bound: 7398
1155.26/1157.56	c current bound: 7398
1155.81/1158.11	c current bound: 7398
1156.54/1158.68	c current bound: 7398
1156.92/1159.23	c current bound: 7398
1157.46/1159.94	c current bound: 7398
1158.00/1160.48	c current bound: 7398
1158.55/1161.03	c current bound: 7398
1159.09/1161.58	c current bound: 7398
1159.64/1162.13	c current bound: 7398
1160.19/1162.67	c current bound: 7398
1160.75/1163.22	c current bound: 7398
1161.31/1163.77	c current bound: 7398
1161.85/1164.31	c current bound: 7398
1162.66/1164.97	c current bound: 7398
1162.94/1165.53	c current bound: 7398
1163.50/1166.08	c current bound: 7398
1164.06/1166.63	c current bound: 7398
1164.61/1167.19	c current bound: 7398
1165.16/1167.74	c current bound: 7398
1165.71/1168.28	c current bound: 7398
1166.27/1168.83	c current bound: 7398
1166.81/1169.38	c current bound: 7398
1167.37/1169.94	c current bound: 7398
1167.92/1170.49	c current bound: 7398
1168.47/1171.03	c current bound: 7398
1169.02/1171.58	c current bound: 7398
1169.55/1172.13	c current bound: 7398
1170.10/1172.67	c current bound: 7398
1170.67/1173.22	c current bound: 7398
1171.21/1173.77	c current bound: 7398
1171.76/1174.33	c current bound: 7398
1172.58/1174.98	c current bound: 7398
1172.87/1175.53	c current bound: 7398
1173.60/1176.09	c current bound: 7398
1173.98/1176.64	c current bound: 7398
1174.70/1177.19	c current bound: 7398
1175.08/1177.73	c current bound: 7398
1175.80/1178.28	c current bound: 7398
1176.18/1178.83	c current bound: 7398
1176.91/1179.38	c current bound: 7398
1177.26/1180.09	c current bound: 7398
1178.03/1180.64	c current bound: 7398
1178.38/1181.20	c current bound: 7398
1179.14/1181.74	c current bound: 7398
1179.48/1182.29	c current bound: 7398
1180.24/1182.84	c current bound: 7398
1180.57/1183.39	c current bound: 7398
1181.33/1183.94	c current bound: 7398
1181.67/1184.50	c current bound: 7398
1182.50/1185.40	c current bound: 7398
1182.99/1185.95	c current bound: 7398
1183.60/1186.50	c current bound: 7398
1184.09/1187.04	c current bound: 7398
1184.44/1187.59	c current bound: 7398
1185.20/1188.14	c current bound: 7398
1185.53/1188.70	c current bound: 7398
1186.29/1189.26	c current bound: 7398
1186.65/1189.81	c current bound: 7398
1187.41/1190.38	c current bound: 7398
1187.76/1190.93	c current bound: 7398
1188.49/1191.48	c current bound: 7398
1188.85/1192.02	c current bound: 7398
1189.58/1192.57	c current bound: 7398
1189.94/1193.11	c current bound: 7398
1190.69/1193.67	c current bound: 7398
1191.05/1194.21	c current bound: 7398
1191.79/1194.76	c current bound: 7398
1192.41/1195.43	c current bound: 7398
1192.89/1195.97	c current bound: 7398
1193.24/1196.52	c current bound: 7398
1193.98/1197.06	c current bound: 7398
1194.34/1197.61	c current bound: 7398
1195.09/1198.15	c current bound: 7398
1195.44/1198.70	c current bound: 7398
1196.20/1199.25	c current bound: 7398
1196.79/1199.80	c current bound: 7398
1197.34/1200.46	c current bound: 7398
1197.64/1201.00	c current bound: 7398
1198.38/1201.55	c current bound: 7398
1199.00/1202.10	c current bound: 7398
1199.50/1202.65	c current bound: 7398
1199.83/1203.19	c current bound: 7398
1200.60/1203.74	c current bound: 7398
1200.94/1204.29	c current bound: 7398
1201.71/1204.83	c current bound: 7398
1202.03/1205.38	c current bound: 7398
1202.79/1205.92	c current bound: 7398
1203.12/1206.47	c current bound: 7398
1203.92/1207.02	c current bound: 7398
1204.23/1207.56	c current bound: 7398
1205.01/1208.12	c current bound: 7398
1205.33/1208.69	c current bound: 7398
1206.12/1209.24	c current bound: 7398
1206.47/1209.79	c current bound: 7398
1207.23/1210.33	c current bound: 7398
1207.56/1210.88	c current bound: 7398
1208.33/1211.43	c current bound: 7398
1208.67/1211.98	c current bound: 7398
1209.43/1212.53	c current bound: 7398
1209.77/1213.08	c current bound: 7398
1210.56/1213.63	c current bound: 7398
1210.88/1214.17	c current bound: 7398
1211.64/1214.72	c current bound: 7398
1211.96/1215.41	c current bound: 7398
1212.53/1215.97	c current bound: 7398
1213.09/1216.52	c current bound: 7398
1213.63/1217.07	c current bound: 7398
1214.17/1217.61	c current bound: 7398
1214.73/1218.16	c current bound: 7398
1215.27/1218.71	c current bound: 7398
1215.84/1219.25	c current bound: 7398
1216.64/1219.80	c current bound: 7398
1216.92/1220.51	c current bound: 7398
1217.47/1221.06	c current bound: 7398
1218.01/1221.61	c current bound: 7398
1218.57/1222.16	c current bound: 7398
1219.12/1222.71	c current bound: 7398
1219.67/1223.25	c current bound: 7398
1220.21/1223.80	c current bound: 7398
1220.76/1224.35	c current bound: 7398
1221.32/1224.90	c current bound: 7398
1222.12/1225.61	c current bound: 7398
1222.42/1226.16	c current bound: 7398
1223.21/1226.71	c current bound: 7398
1223.52/1227.26	c current bound: 7398
1224.35/1227.81	c current bound: 7398
1224.63/1228.35	c current bound: 7398
1225.32/1228.90	c current bound: 7398
1225.71/1229.44	c current bound: 7398
1226.41/1229.99	c current bound: 7398
1226.81/1230.74	c current bound: 7398
1227.35/1231.30	c current bound: 7398
1227.90/1231.84	c current bound: 7398
1228.46/1232.39	c current bound: 7398
1229.01/1232.94	c current bound: 7398
1229.55/1233.49	c current bound: 7398
1230.10/1234.06	c current bound: 7398
1230.67/1234.61	c current bound: 7398
1231.22/1235.15	c current bound: 7398
1231.78/1235.78	c current bound: 7398
1232.32/1236.32	c current bound: 7398
1232.87/1236.87	c current bound: 7398
1233.42/1237.42	c current bound: 7398
1233.96/1237.96	c current bound: 7398
1234.51/1238.51	c current bound: 7398
1235.06/1239.06	c current bound: 7398
1235.61/1239.60	c current bound: 7398
1236.15/1240.15	c current bound: 7398
1236.70/1240.70	c current bound: 7398
1237.24/1241.25	c current bound: 7398
1238.06/1241.80	c current bound: 7398
1238.34/1242.34	c current bound: 7398
1238.90/1242.89	c current bound: 7398
1239.44/1243.44	c current bound: 7398
1239.99/1243.98	c current bound: 7398
1240.53/1244.53	c current bound: 7398
1241.09/1245.08	c current bound: 7398
1241.63/1245.80	c current bound: 7398
1242.18/1246.36	c current bound: 7398
1242.74/1246.91	c current bound: 7398
1243.29/1247.46	c current bound: 7398
1243.83/1248.00	c current bound: 7398
1244.39/1248.55	c current bound: 7398
1244.94/1249.11	c current bound: 7398
1245.50/1249.65	c current bound: 7398
1246.05/1250.20	c current bound: 7398
1246.86/1250.89	c current bound: 7398
1247.15/1251.44	c current bound: 7398
1247.87/1251.99	c current bound: 7398
1248.26/1252.53	c current bound: 7398
1248.98/1253.08	c current bound: 7398
1249.35/1253.62	c current bound: 7398
1250.09/1254.17	c current bound: 7398
1250.45/1254.72	c current bound: 7398
1251.20/1255.27	c current bound: 7398
1251.80/1255.94	c current bound: 7398
1252.26/1256.49	c current bound: 7398
1252.64/1257.04	c current bound: 7398
1253.36/1257.59	c current bound: 7398
1253.75/1258.13	c current bound: 7398
1254.47/1258.69	c current bound: 7398
1254.85/1259.24	c current bound: 7398
1255.57/1259.78	c current bound: 7398
1255.93/1260.33	c current bound: 7398
1256.76/1260.91	c current bound: 7398
1257.05/1261.46	c current bound: 7398
1257.84/1262.00	c current bound: 7398
1258.14/1262.56	c current bound: 7398
1258.94/1263.10	c current bound: 7398
1259.25/1263.65	c current bound: 7398
1260.07/1264.20	c current bound: 7398
1260.35/1264.74	c current bound: 7398
1261.06/1265.29	c current bound: 7398
1261.71/1265.95	c current bound: 7398
1262.00/1266.50	c current bound: 7398
1262.54/1267.05	c current bound: 7398
1263.09/1267.60	c current bound: 7398
1263.65/1268.15	c current bound: 7398
1264.46/1268.70	c current bound: 7398
1264.74/1269.24	c current bound: 7398
1265.28/1269.79	c current bound: 7398
1265.84/1270.34	c current bound: 7398
1266.39/1271.05	c current bound: 7398
1266.92/1271.60	c current bound: 7398
1267.48/1272.15	c current bound: 7398
1268.29/1272.70	c current bound: 7398
1268.59/1273.26	c current bound: 7398
1269.15/1273.81	c current bound: 7398
1269.69/1274.36	c current bound: 7398
1270.25/1274.91	c current bound: 7398
1270.80/1275.46	c current bound: 7398
1271.61/1276.23	c current bound: 7398
1271.89/1276.78	c current bound: 7398
1272.68/1277.32	c current bound: 7398
1272.99/1277.87	c current bound: 7398
1273.78/1278.42	c current bound: 7398
1274.10/1278.97	c current bound: 7398
1274.89/1279.51	c current bound: 7398
1275.19/1280.06	c current bound: 7398
1276.00/1280.61	c current bound: 7398
1276.29/1281.29	c current bound: 7398
1277.06/1281.85	c current bound: 7398
1277.40/1282.39	c current bound: 7398
1278.16/1282.94	c current bound: 7398
1278.49/1283.49	c current bound: 7398
1279.26/1284.03	c current bound: 7398
1279.58/1284.58	c current bound: 7398
1280.36/1285.13	c current bound: 7398
1280.69/1285.68	c current bound: 7398
1281.50/1286.36	c current bound: 7398
1281.77/1286.91	c current bound: 7398
1282.33/1287.45	c current bound: 7398
1283.14/1288.00	c current bound: 7398
1283.42/1288.55	c current bound: 7398
1283.97/1289.09	c current bound: 7398
1284.52/1289.64	c current bound: 7398
1285.06/1290.19	c current bound: 7398
1285.61/1290.74	c current bound: 7398
1286.17/1291.44	c current bound: 7398
1286.72/1291.99	c current bound: 7398
1287.27/1292.54	c current bound: 7398
1287.81/1293.09	c current bound: 7398
1288.36/1293.64	c current bound: 7398
1288.92/1294.19	c current bound: 7398
1289.47/1294.73	c current bound: 7398
1290.02/1295.28	c current bound: 7398
1290.56/1295.82	c current bound: 7398
1291.11/1296.56	c current bound: 7398
1291.93/1297.11	c current bound: 7398
1292.21/1297.66	c current bound: 7398
1293.04/1298.21	c current bound: 7398
1293.31/1298.75	c current bound: 7398
1294.02/1299.30	c current bound: 7398
1294.41/1299.85	c current bound: 7398
1295.12/1300.40	c current bound: 7398
1295.52/1300.95	c current bound: 7398
1296.31/1301.70	c current bound: 7398
1296.61/1302.25	c current bound: 7398
1297.42/1302.80	c current bound: 7398
1297.70/1303.35	c current bound: 7398
1298.26/1303.90	c current bound: 7398
1298.82/1304.45	c current bound: 7398
1299.37/1305.00	c current bound: 7398
1299.91/1305.55	c current bound: 7398
1300.72/1306.10	c current bound: 7398
1301.02/1306.65	c current bound: 7398
1301.57/1307.21	c current bound: 7398
1302.13/1307.76	c current bound: 7398
1302.68/1308.31	c current bound: 7398
1303.23/1308.86	c current bound: 7398
1303.79/1309.41	c current bound: 7398
1304.34/1309.96	c current bound: 7398
1304.89/1310.51	c current bound: 7398
1305.44/1311.06	c current bound: 7398
1306.26/1311.73	c current bound: 7398
1306.55/1312.28	c current bound: 7398
1307.09/1312.83	c current bound: 7398
1307.65/1313.38	c current bound: 7398
1308.19/1313.93	c current bound: 7398
1308.75/1314.48	c current bound: 7398
1309.30/1315.03	c current bound: 7398
1309.84/1315.57	c current bound: 7398
1310.38/1316.12	c current bound: 7398
1311.19/1316.83	c current bound: 7398
1311.48/1317.38	c current bound: 7398
1312.26/1317.93	c current bound: 7398
1312.59/1318.47	c current bound: 7398
1313.36/1319.02	c current bound: 7398
1313.69/1319.57	c current bound: 7398
1314.49/1320.11	c current bound: 7398
1314.78/1320.66	c current bound: 7398
1315.56/1321.22	c current bound: 7398
1316.18/1321.86	c current bound: 7398
1316.71/1322.41	c current bound: 7398
1317.00/1322.96	c current bound: 7398
1317.80/1323.53	c current bound: 7398
1318.12/1324.08	c current bound: 7398
1318.92/1324.63	c current bound: 7398
1319.23/1325.18	c current bound: 7398
1320.01/1325.74	c current bound: 7398
1320.33/1326.28	c current bound: 7398
1321.16/1327.00	c current bound: 7398
1321.44/1327.55	c current bound: 7398
1322.26/1328.10	c current bound: 7398
1322.54/1328.65	c current bound: 7398
1323.36/1329.20	c current bound: 7398
1323.64/1329.74	c current bound: 7398
1324.19/1330.29	c current bound: 7398
1324.74/1330.84	c current bound: 7398
1325.30/1331.39	c current bound: 7398
1325.84/1331.96	c current bound: 7398
1326.38/1332.51	c current bound: 7398
1326.94/1333.05	c current bound: 7398
1327.50/1333.68	c current bound: 7398
1328.05/1334.23	c current bound: 7398
1328.59/1334.78	c current bound: 7398
1329.13/1335.33	c current bound: 7398
1329.68/1335.88	c current bound: 7398
1330.24/1336.42	c current bound: 7398
1331.05/1337.06	c current bound: 7398
1331.33/1337.61	c current bound: 7398
1331.89/1338.15	c current bound: 7398
1332.44/1338.70	c current bound: 7398
1332.98/1339.25	c current bound: 7398
1333.53/1339.81	c current bound: 7398
1334.09/1340.36	c current bound: 7398
1334.64/1340.90	c current bound: 7398
1335.19/1341.45	c current bound: 7398
1336.00/1342.15	c current bound: 7398
1336.29/1342.70	c current bound: 7398
1337.04/1343.25	c current bound: 7398
1337.66/1343.80	c current bound: 7398
1338.14/1344.34	c current bound: 7398
1338.48/1344.89	c current bound: 7398
1339.23/1345.44	c current bound: 7398
1339.57/1345.99	c current bound: 7398
1340.36/1346.53	c current bound: 7398
1340.95/1347.15	c current bound: 7398
1341.38/1347.70	c current bound: 7398
1341.78/1348.25	c current bound: 7398
1342.50/1348.80	c current bound: 7398
1342.90/1349.34	c current bound: 7398
1343.61/1349.89	c current bound: 7398
1343.99/1350.44	c current bound: 7398
1344.70/1350.98	c current bound: 7398
1345.09/1351.54	c current bound: 7398
1345.91/1352.16	c current bound: 7398
1346.19/1352.71	c current bound: 7398
1346.93/1353.26	c current bound: 7398
1347.28/1353.81	c current bound: 7398
1348.04/1354.35	c current bound: 7398
1348.39/1354.90	c current bound: 7398
1349.15/1355.45	c current bound: 7398
1349.48/1355.99	c current bound: 7398
1350.24/1356.54	c current bound: 7398
1350.83/1357.28	c current bound: 7398
1351.12/1357.84	c current bound: 7398
1351.67/1358.38	c current bound: 7398
1352.21/1358.93	c current bound: 7398
1352.77/1359.49	c current bound: 7398
1353.32/1360.03	c current bound: 7398
1353.87/1360.58	c current bound: 7398
1354.42/1361.13	c current bound: 7398
1354.97/1361.68	c current bound: 7398
1355.79/1362.30	c current bound: 7398
1356.08/1362.84	c current bound: 7398
1356.62/1363.40	c current bound: 7398
1357.17/1363.96	c current bound: 7398
1357.75/1364.52	c current bound: 7398
1358.31/1365.07	c current bound: 7398
1358.87/1365.63	c current bound: 7398
1359.42/1366.19	c current bound: 7398
1359.97/1366.74	c current bound: 7398
1360.80/1367.40	c current bound: 7398
1361.09/1367.95	c current bound: 7398
1361.90/1368.51	c current bound: 7398
1362.19/1369.05	c current bound: 7398
1362.75/1369.60	c current bound: 7398
1363.29/1370.15	c current bound: 7398
1363.84/1370.69	c current bound: 7398
1364.40/1371.24	c current bound: 7398
1364.93/1371.79	c current bound: 7398
1365.48/1372.47	c current bound: 7398
1366.26/1373.02	c current bound: 7398
1366.57/1373.57	c current bound: 7398
1367.37/1374.11	c current bound: 7398
1367.68/1374.66	c current bound: 7398
1368.47/1375.21	c current bound: 7398
1368.77/1375.76	c current bound: 7398
1369.57/1376.31	c current bound: 7398
1369.87/1376.85	c current bound: 7398
1370.67/1377.54	c current bound: 7398
1370.97/1378.08	c current bound: 7398
1371.75/1378.63	c current bound: 7398
1372.08/1379.19	c current bound: 7398
1372.84/1379.75	c current bound: 7398
1373.18/1380.29	c current bound: 7398
1373.95/1380.84	c current bound: 7398
1374.30/1381.39	c current bound: 7398
1375.06/1381.94	c current bound: 7398
1375.66/1382.54	c current bound: 7398
1375.95/1383.10	c current bound: 7398
1376.51/1383.65	c current bound: 7398
1377.05/1384.20	c current bound: 7398
1377.60/1384.75	c current bound: 7398
1378.16/1385.30	c current bound: 7398
1378.71/1385.85	c current bound: 7398
1379.25/1386.41	c current bound: 7398
1379.82/1386.95	c current bound: 7398
1380.38/1387.69	c current bound: 7398
1380.92/1388.24	c current bound: 7398
1381.47/1388.79	c current bound: 7398
1382.02/1389.34	c current bound: 7398
1382.85/1389.90	c current bound: 7398
1383.13/1390.44	c current bound: 7398
1383.68/1390.99	c current bound: 7398
1384.23/1391.53	c current bound: 7398
1384.78/1392.08	c current bound: 7398
1385.33/1392.66	c current bound: 7398
1385.88/1393.20	c current bound: 7398
1386.42/1393.76	c current bound: 7398
1386.97/1394.30	c current bound: 7398
1387.54/1394.85	c current bound: 7398
1388.09/1395.41	c current bound: 7398
1388.64/1395.96	c current bound: 7398
1389.19/1396.50	c current bound: 7398
1389.74/1397.05	c current bound: 7398
1390.55/1397.73	c current bound: 7398
1391.02/1398.28	c current bound: 7398
1391.38/1398.82	c current bound: 7398
1392.13/1399.37	c current bound: 7398
1392.48/1399.92	c current bound: 7398
1393.23/1400.46	c current bound: 7398
1393.58/1401.01	c current bound: 7398
1394.31/1401.56	c current bound: 7398
1394.68/1402.11	c current bound: 7398
1395.50/1402.80	c current bound: 7398
1395.78/1403.35	c current bound: 7398
1396.50/1403.89	c current bound: 7398
1396.87/1404.44	c current bound: 7398
1397.59/1404.99	c current bound: 7398
1397.99/1405.53	c current bound: 7398
1398.71/1406.08	c current bound: 7398
1399.08/1406.63	c current bound: 7398
1399.79/1407.18	c current bound: 7398
1400.44/1407.82	c current bound: 7398
1400.72/1408.37	c current bound: 7398
1401.27/1408.92	c current bound: 7398
1401.82/1409.46	c current bound: 7398
1402.38/1410.01	c current bound: 7398
1403.12/1410.56	c current bound: 7398
1403.48/1411.11	c current bound: 7398
1404.20/1411.65	c current bound: 7398
1404.56/1412.20	c current bound: 7398
1405.38/1412.87	c current bound: 7398
1405.66/1413.42	c current bound: 7398
1406.21/1413.96	c current bound: 7398
1406.74/1414.51	c current bound: 7398
1407.30/1415.05	c current bound: 7398
1407.84/1415.60	c current bound: 7398
1408.39/1416.15	c current bound: 7398
1408.93/1416.69	c current bound: 7398
1409.47/1417.24	c current bound: 7398
1410.02/1417.95	c current bound: 7398
1410.84/1418.50	c current bound: 7398
1411.13/1419.04	c current bound: 7398
1411.68/1419.59	c current bound: 7398
1412.22/1420.13	c current bound: 7398
1412.77/1420.68	c current bound: 7398
1413.30/1421.23	c current bound: 7398
1413.87/1421.78	c current bound: 7398
1414.41/1422.32	c current bound: 7398
1415.23/1422.93	c current bound: 7398
1415.51/1423.47	c current bound: 7398
1416.06/1424.02	c current bound: 7398
1416.61/1424.56	c current bound: 7398
1417.16/1425.11	c current bound: 7398
1417.71/1425.66	c current bound: 7398
1418.26/1426.21	c current bound: 7398
1418.79/1426.75	c current bound: 7398
1419.62/1427.30	c current bound: 7398
1420.16/1427.99	c current bound: 7398
1420.45/1428.53	c current bound: 7398
1421.18/1429.08	c current bound: 7398
1421.55/1429.63	c current bound: 7398
1422.28/1430.18	c current bound: 7398
1422.66/1430.73	c current bound: 7398
1423.39/1431.28	c current bound: 7398
1423.75/1431.83	c current bound: 7398
1424.47/1432.38	c current bound: 7398
1424.85/1433.07	c current bound: 7398
1425.64/1433.61	c current bound: 7398
1425.96/1434.17	c current bound: 7398
1426.73/1434.72	c current bound: 7398
1427.04/1435.26	c current bound: 7398
1427.83/1435.81	c current bound: 7398
1428.15/1436.36	c current bound: 7398
1428.94/1436.90	c current bound: 7398
1429.25/1437.45	c current bound: 7398
1430.04/1438.06	c current bound: 7398
1430.36/1438.65	c current bound: 7398
1430.91/1439.19	c current bound: 7398
1431.45/1439.74	c current bound: 7398
1431.98/1440.28	c current bound: 7398
1432.54/1440.83	c current bound: 7398
1433.09/1441.38	c current bound: 7398
1433.64/1441.93	c current bound: 7398
1434.19/1442.48	c current bound: 7398
1435.01/1443.11	c current bound: 7398
1435.29/1443.66	c current bound: 7398
1435.84/1444.21	c current bound: 7398
1436.37/1444.75	c current bound: 7398
1437.19/1445.30	c current bound: 7398
1437.49/1445.84	c current bound: 7398
1438.03/1446.39	c current bound: 7398
1438.57/1446.94	c current bound: 7398
1439.11/1447.48	c current bound: 7398
1439.92/1448.11	c current bound: 7398
1440.21/1448.66	c current bound: 7398
1440.76/1449.21	c current bound: 7398
1441.31/1449.75	c current bound: 7398
1441.84/1450.31	c current bound: 7398
1442.40/1450.85	c current bound: 7398
1443.22/1451.40	c current bound: 7398
1443.50/1451.94	c current bound: 7398
1444.03/1452.49	c current bound: 7398
1444.85/1453.16	c current bound: 7398
1445.14/1453.71	c current bound: 7398
1445.70/1454.26	c current bound: 7398
1446.24/1454.82	c current bound: 7398
1446.80/1455.36	c current bound: 7398
1447.34/1455.91	c current bound: 7398
1447.90/1456.46	c current bound: 7398
1448.71/1457.00	c current bound: 7398
1448.99/1457.55	c current bound: 7398
1449.80/1458.23	c current bound: 7398
1450.27/1458.78	c current bound: 7398
1450.64/1459.33	c current bound: 7398
1451.37/1459.88	c current bound: 7398
1451.74/1460.44	c current bound: 7398
1452.46/1460.99	c current bound: 7398
1452.84/1461.54	c current bound: 7398
1453.57/1462.09	c current bound: 7398
1453.95/1462.63	c current bound: 7398
1454.76/1463.26	c current bound: 7398
1455.04/1463.80	c current bound: 7398
1455.81/1464.35	c current bound: 7398
1456.41/1464.90	c current bound: 7398
1456.90/1465.44	c current bound: 7398
1457.24/1465.99	c current bound: 7398
1458.01/1466.54	c current bound: 7398
1458.62/1467.10	c current bound: 7398
1459.10/1467.65	c current bound: 7398
1459.70/1468.30	c current bound: 7398
1460.18/1468.85	c current bound: 7398
1460.81/1469.40	c current bound: 7398
1461.29/1469.95	c current bound: 7398
1461.64/1470.49	c current bound: 7398
1462.41/1471.05	c current bound: 7398
1462.75/1471.59	c current bound: 7398
1463.51/1472.15	c current bound: 7398
1463.85/1472.70	c current bound: 7398
1464.66/1473.39	c current bound: 7398
1464.94/1473.94	c current bound: 7398
1465.49/1474.48	c current bound: 7398
1466.05/1475.03	c current bound: 7398
1466.60/1475.58	c current bound: 7398
1467.14/1476.13	c current bound: 7398
1467.69/1476.68	c current bound: 7398
1468.25/1477.23	c current bound: 7398
1468.79/1477.78	c current bound: 7398
1469.61/1478.42	c current bound: 7398
1469.89/1478.97	c current bound: 7398
1470.44/1479.51	c current bound: 7398
1470.99/1480.06	c current bound: 7398
1471.55/1480.61	c current bound: 7398
1472.10/1481.15	c current bound: 7398
1472.64/1481.71	c current bound: 7398
1473.20/1482.25	c current bound: 7398
1474.01/1482.80	c current bound: 7398
1474.55/1483.45	c current bound: 7398
1474.84/1484.00	c current bound: 7398
1475.40/1484.55	c current bound: 7398
1475.95/1485.09	c current bound: 7398
1476.49/1485.64	c current bound: 7398
1477.03/1486.19	c current bound: 7398
1477.58/1486.73	c current bound: 7398
1478.14/1487.28	c current bound: 7398
1478.69/1487.82	c current bound: 7398
1479.48/1488.49	c current bound: 7398
1479.78/1489.04	c current bound: 7398
1480.50/1489.59	c current bound: 7398
1480.89/1490.14	c current bound: 7398
1481.62/1490.69	c current bound: 7398
1482.00/1491.24	c current bound: 7398
1482.71/1491.78	c current bound: 7398
1483.10/1492.33	c current bound: 7398
1483.82/1492.88	c current bound: 7398
1484.46/1493.56	c current bound: 7398
1484.74/1494.19	c current bound: 7398
1485.30/1494.73	c current bound: 7398
1485.86/1495.28	c current bound: 7398
1486.40/1495.83	c current bound: 7398
1486.94/1496.38	c current bound: 7398
1487.48/1496.92	c current bound: 7398
1488.05/1497.47	c current bound: 7398
1488.60/1498.02	c current bound: 7398
1489.14/1498.57	c current bound: 7398
1489.69/1499.13	c current bound: 7398
1490.25/1499.69	c current bound: 7398
1490.81/1500.23	c current bound: 7398
1491.35/1500.78	c current bound: 7398
1491.90/1501.33	c current bound: 7398
1492.46/1501.87	c current bound: 7398
1493.00/1502.42	c current bound: 7398
1493.54/1502.97	c current bound: 7398
1494.36/1503.62	c current bound: 7398
1494.65/1504.17	c current bound: 7398
1495.20/1504.72	c current bound: 7398
1495.76/1505.26	c current bound: 7398
1496.29/1505.81	c current bound: 7398
1496.85/1506.36	c current bound: 7398
1497.39/1506.90	c current bound: 7398
1497.95/1507.45	c current bound: 7398
1498.50/1507.99	c current bound: 7398
1499.33/1508.62	c current bound: 7398
1499.59/1509.17	c current bound: 7398
1500.14/1509.71	c current bound: 7398
1500.70/1510.26	c current bound: 7398
1501.24/1510.80	c current bound: 7398
1501.78/1511.35	c current bound: 7398
1502.60/1511.90	c current bound: 7398
1502.88/1512.45	c current bound: 7398
1503.43/1512.99	c current bound: 7398
1504.25/1513.68	c current bound: 7398
1504.53/1514.23	c current bound: 7398
1505.07/1514.77	c current bound: 7398
1505.62/1515.32	c current bound: 7398
1506.17/1515.87	c current bound: 7398
1506.73/1516.42	c current bound: 7398
1507.28/1516.96	c current bound: 7398
1507.82/1517.51	c current bound: 7398
1508.37/1518.05	c current bound: 7398
1509.17/1518.74	c current bound: 7398
1509.62/1519.29	c current bound: 7398
1510.01/1519.84	c current bound: 7398
1510.73/1520.38	c current bound: 7398
1511.12/1520.93	c current bound: 7398
1511.84/1521.47	c current bound: 7398
1512.21/1522.02	c current bound: 7398
1512.94/1522.57	c current bound: 7398
1513.29/1523.11	c current bound: 7398
1514.09/1523.85	c current bound: 7398
1514.65/1524.40	c current bound: 7398
1515.16/1524.95	c current bound: 7398
1515.50/1525.51	c current bound: 7398
1516.25/1526.06	c current bound: 7398
1516.61/1526.61	c current bound: 7398
1517.36/1527.15	c current bound: 7398
1517.71/1527.70	c current bound: 7398
1518.47/1528.25	c current bound: 7398
1518.81/1528.93	c current bound: 7398
1519.36/1529.48	c current bound: 7398
1519.91/1530.03	c current bound: 7398
1520.45/1530.58	c current bound: 7398
1521.01/1531.13	c current bound: 7398
1521.56/1531.68	c current bound: 7398
1522.10/1532.23	c current bound: 7398
1522.66/1532.78	c current bound: 7398
1523.21/1533.33	c current bound: 7398
1523.77/1533.88	c current bound: 7398
1524.31/1534.43	c current bound: 7398
1524.85/1534.98	c current bound: 7398
1525.40/1535.52	c current bound: 7398
1525.96/1536.07	c current bound: 7398
1526.51/1536.62	c current bound: 7398
1527.05/1537.16	c current bound: 7398
1527.59/1537.71	c current bound: 7398
1528.15/1538.26	c current bound: 7398
1528.70/1538.97	c current bound: 7398
1529.25/1539.51	c current bound: 7398
1529.79/1540.06	c current bound: 7398
1530.34/1540.60	c current bound: 7398
1530.89/1541.15	c current bound: 7398
1531.44/1541.71	c current bound: 7398
1531.98/1542.25	c current bound: 7398
1532.53/1542.80	c current bound: 7398
1533.08/1543.35	c current bound: 7398
1533.90/1543.96	c current bound: 7398
1534.44/1544.51	c current bound: 7398
1534.73/1545.05	c current bound: 7398
1535.28/1545.60	c current bound: 7398
1535.83/1546.15	c current bound: 7398
1536.36/1546.69	c current bound: 7398
1536.91/1547.24	c current bound: 7398
1537.47/1547.79	c current bound: 7398
1538.00/1548.34	c current bound: 7398
1538.81/1549.19	c current bound: 7398
1539.10/1549.74	c current bound: 7398
1539.66/1550.29	c current bound: 7398
1540.20/1550.84	c current bound: 7398
1540.75/1551.39	c current bound: 7398
1541.30/1551.94	c current bound: 7398
1541.86/1552.49	c current bound: 7398
1542.40/1553.03	c current bound: 7398
1542.95/1553.58	c current bound: 7398
1543.51/1554.13	c current bound: 7398
1544.05/1554.67	c current bound: 7398
1544.61/1555.22	c current bound: 7398
1545.15/1555.77	c current bound: 7398
1545.69/1556.32	c current bound: 7398
1546.25/1556.87	c current bound: 7398
1546.80/1557.42	c current bound: 7398
1547.36/1557.97	c current bound: 7398
1547.89/1558.51	c current bound: 7398
1548.71/1559.36	c current bound: 7398
1549.25/1559.91	c current bound: 7398
1549.54/1560.46	c current bound: 7398
1550.36/1561.00	c current bound: 7398
1550.64/1561.55	c current bound: 7398
1551.20/1562.10	c current bound: 7398
1551.73/1562.65	c current bound: 7398
1552.28/1563.20	c current bound: 7398
1552.84/1563.75	c current bound: 7398
1553.39/1564.30	c current bound: 7398
1553.93/1564.85	c current bound: 7398
1554.48/1565.39	c current bound: 7398
1555.04/1565.94	c current bound: 7398
1555.59/1566.49	c current bound: 7398
1556.15/1567.04	c current bound: 7398
1556.69/1567.60	c current bound: 7398
1557.24/1568.15	c current bound: 7398
1557.79/1568.70	c current bound: 7398
1558.34/1569.29	c current bound: 7398
1559.13/1569.84	c current bound: 7398
1559.46/1570.39	c current bound: 7398
1560.23/1570.94	c current bound: 7398
1560.56/1571.49	c current bound: 7398
1561.33/1572.04	c current bound: 7398
1561.66/1572.59	c current bound: 7398
1562.43/1573.14	c current bound: 7398
1563.04/1573.70	c current bound: 7398
1563.54/1574.25	c current bound: 7398
1564.13/1574.80	c current bound: 7398
1564.63/1575.35	c current bound: 7398
1564.98/1575.89	c current bound: 7398
1565.74/1576.45	c current bound: 7398
1566.35/1577.00	c current bound: 7398
1566.83/1577.54	c current bound: 7398
1567.17/1578.09	c current bound: 7398
1567.94/1578.64	c current bound: 7398
1568.54/1579.23	c current bound: 7398
1568.99/1579.78	c current bound: 7398
1569.37/1580.33	c current bound: 7398
1570.09/1580.88	c current bound: 7398
1570.47/1581.43	c current bound: 7398
1571.20/1581.97	c current bound: 7398
1571.58/1582.52	c current bound: 7398
1572.32/1583.07	c current bound: 7398
1572.67/1583.61	c current bound: 7398
1573.48/1584.31	c current bound: 7398
1573.76/1584.86	c current bound: 7398
1574.56/1585.41	c current bound: 7398
1574.87/1585.96	c current bound: 7398
1575.66/1586.50	c current bound: 7398
1575.97/1587.05	c current bound: 7398
1576.69/1587.59	c current bound: 7398
1577.08/1588.14	c current bound: 7398
1577.79/1588.69	c current bound: 7398
1578.44/1589.38	c current bound: 7398
1578.71/1589.93	c current bound: 7398
1579.28/1590.48	c current bound: 7398
1579.82/1591.03	c current bound: 7398
1580.37/1591.57	c current bound: 7398
1580.93/1592.12	c current bound: 7398
1581.47/1592.67	c current bound: 7398
1582.03/1593.22	c current bound: 7398
1582.57/1593.77	c current bound: 7398
1583.40/1594.47	c current bound: 7398
1583.68/1595.01	c current bound: 7398
1584.23/1595.56	c current bound: 7398
1584.78/1596.11	c current bound: 7398
1585.32/1596.66	c current bound: 7398
1585.87/1597.21	c current bound: 7398
1586.43/1597.75	c current bound: 7398
1586.98/1598.30	c current bound: 7398
1587.54/1598.85	c current bound: 7398
1588.34/1599.54	c current bound: 7398
1588.62/1600.09	c current bound: 7398
1589.39/1600.64	c current bound: 7398
1589.73/1601.19	c current bound: 7398
1590.51/1601.73	c current bound: 7398
1590.82/1602.28	c current bound: 7398
1591.61/1602.83	c current bound: 7398
1591.92/1603.38	c current bound: 7398
1592.70/1603.92	c current bound: 7398
1593.02/1604.64	c current bound: 7398
1593.75/1605.19	c current bound: 7398
1594.13/1605.74	c current bound: 7398
1594.86/1606.28	c current bound: 7398
1595.23/1606.83	c current bound: 7398
1595.95/1607.38	c current bound: 7398
1596.32/1607.92	c current bound: 7398
1597.07/1608.47	c current bound: 7398
1597.43/1609.02	c current bound: 7398
1598.22/1609.69	c current bound: 7398
1598.52/1610.24	c current bound: 7398
1599.07/1610.81	c current bound: 7398
1599.63/1611.36	c current bound: 7398
1600.19/1611.91	c current bound: 7398
1600.74/1612.47	c current bound: 7398
1601.29/1613.02	c current bound: 7398
1601.84/1613.58	c current bound: 7398
1602.40/1614.14	c current bound: 7398
1602.96/1614.71	c current bound: 7398
1603.53/1615.26	c current bound: 7398
1604.07/1615.81	c current bound: 7398
1604.63/1616.36	c current bound: 7398
1605.18/1616.91	c current bound: 7398
1605.73/1617.46	c current bound: 7398
1606.28/1618.03	c current bound: 7398
1606.84/1618.58	c current bound: 7398
1607.40/1619.14	c current bound: 7398
1607.96/1619.78	c current bound: 7398
1608.54/1620.33	c current bound: 7398
1609.07/1620.89	c current bound: 7398
1609.63/1621.44	c current bound: 7398
1610.19/1621.99	c current bound: 7398
1610.74/1622.55	c current bound: 7398
1611.30/1623.11	c current bound: 7398
1611.88/1623.67	c current bound: 7398
1612.43/1624.22	c current bound: 7398
1613.26/1624.85	c current bound: 7398
1613.54/1625.41	c current bound: 7398
1614.30/1625.96	c current bound: 7398
1614.65/1626.51	c current bound: 7398
1615.41/1627.05	c current bound: 7398
1616.01/1627.60	c current bound: 7398
1616.50/1628.15	c current bound: 7398
1616.85/1628.69	c current bound: 7398
1617.60/1629.24	c current bound: 7398
1618.20/1629.95	c current bound: 7398
1618.76/1630.50	c current bound: 7398
1619.05/1631.04	c current bound: 7398
1619.76/1631.59	c current bound: 7398
1620.13/1632.14	c current bound: 7398
1620.85/1632.69	c current bound: 7398
1621.23/1633.23	c current bound: 7398
1621.95/1633.78	c current bound: 7398
1622.33/1634.34	c current bound: 7398
1623.15/1634.99	c current bound: 7398
1623.43/1635.53	c current bound: 7398
1623.98/1636.08	c current bound: 7398
1624.53/1636.63	c current bound: 7398
1625.07/1637.17	c current bound: 7398
1625.62/1637.72	c current bound: 7398
1626.17/1638.27	c current bound: 7398
1626.72/1638.81	c current bound: 7398
1627.46/1639.36	c current bound: 7398
1628.08/1640.07	c current bound: 7398
1628.36/1640.62	c current bound: 7398
1628.92/1641.17	c current bound: 7398
1629.45/1641.72	c current bound: 7398
1630.00/1642.27	c current bound: 7398
1630.55/1642.82	c current bound: 7398
1631.10/1643.36	c current bound: 7398
1631.65/1643.91	c current bound: 7398
1632.19/1644.45	c current bound: 7398
1633.01/1645.15	c current bound: 7398
1633.30/1645.70	c current bound: 7398
1633.85/1646.25	c current bound: 7398
1634.38/1646.79	c current bound: 7398
1634.93/1647.34	c current bound: 7398
1635.49/1647.89	c current bound: 7398
1636.05/1648.44	c current bound: 7398
1636.59/1648.99	c current bound: 7398
1637.14/1649.53	c current bound: 7398
1637.96/1650.18	c current bound: 7398
1638.25/1650.73	c current bound: 7398
1638.97/1651.28	c current bound: 7398
1639.35/1651.83	c current bound: 7398
1640.09/1652.38	c current bound: 7398
1640.46/1652.93	c current bound: 7398
1641.18/1653.47	c current bound: 7398
1641.54/1654.02	c current bound: 7398
1642.27/1654.57	c current bound: 7398
1642.90/1655.32	c current bound: 7398
1643.19/1655.87	c current bound: 7398
1643.74/1656.42	c current bound: 7398
1644.29/1656.97	c current bound: 7398
1644.83/1657.51	c current bound: 7398
1645.58/1658.06	c current bound: 7398
1645.94/1658.61	c current bound: 7398
1646.68/1659.15	c current bound: 7398
1647.02/1659.70	c current bound: 7398
1647.83/1660.38	c current bound: 7398
1648.14/1660.93	c current bound: 7398
1648.67/1661.48	c current bound: 7398
1649.22/1662.04	c current bound: 7398
1649.78/1662.58	c current bound: 7398
1650.34/1663.13	c current bound: 7398
1650.89/1663.68	c current bound: 7398
1651.44/1664.22	c current bound: 7398
1651.99/1664.77	c current bound: 7398
1652.80/1665.45	c current bound: 7398
1653.35/1666.00	c current bound: 7398
1653.62/1666.54	c current bound: 7398
1654.17/1667.09	c current bound: 7398
1654.72/1667.64	c current bound: 7398
1655.28/1668.18	c current bound: 7398
1655.82/1668.73	c current bound: 7398
1656.36/1669.28	c current bound: 7398
1656.90/1669.82	c current bound: 7398
1657.73/1670.45	c current bound: 7398
1658.00/1671.00	c current bound: 7398
1658.56/1671.55	c current bound: 7398
1659.11/1672.09	c current bound: 7398
1659.66/1672.64	c current bound: 7398
1660.19/1673.19	c current bound: 7398
1660.75/1673.73	c current bound: 7398
1661.31/1674.28	c current bound: 7398
1661.85/1674.82	c current bound: 7398
1662.63/1675.49	c current bound: 7398
1662.94/1676.03	c current bound: 7398
1663.67/1676.58	c current bound: 7398
1664.03/1677.12	c current bound: 7398
1664.77/1677.67	c current bound: 7398
1665.13/1678.22	c current bound: 7398
1665.87/1678.77	c current bound: 7398
1666.23/1679.32	c current bound: 7398
1666.96/1679.87	c current bound: 7398
1667.33/1680.57	c current bound: 7398
1668.11/1681.12	c current bound: 7398
1668.42/1681.68	c current bound: 7398
1669.21/1682.23	c current bound: 7398
1669.52/1682.78	c current bound: 7398
1670.30/1683.33	c current bound: 7398
1670.63/1683.87	c current bound: 7398
1671.41/1684.42	c current bound: 7398
1671.72/1684.97	c current bound: 7398
1672.54/1685.61	c current bound: 7398
1672.83/1686.16	c current bound: 7398
1673.37/1686.70	c current bound: 7398
1673.91/1687.25	c current bound: 7398
1674.45/1687.79	c current bound: 7398
1675.00/1688.34	c current bound: 7398
1675.55/1688.89	c current bound: 7398
1676.11/1689.43	c current bound: 7398
1676.64/1689.98	c current bound: 7398
1677.19/1690.72	c current bound: 7398
1677.75/1691.27	c current bound: 7398
1678.29/1691.81	c current bound: 7398
1678.83/1692.36	c current bound: 7398
1679.39/1692.91	c current bound: 7398
1679.94/1693.45	c current bound: 7398
1680.75/1694.00	c current bound: 7398
1681.03/1694.55	c current bound: 7398
1681.58/1695.10	c current bound: 7398
1682.40/1695.72	c current bound: 7398
1682.68/1696.26	c current bound: 7398
1683.23/1696.81	c current bound: 7398
1683.77/1697.35	c current bound: 7398
1684.59/1697.90	c current bound: 7398
1684.88/1698.45	c current bound: 7398
1685.69/1699.00	c current bound: 7398
1685.96/1699.54	c current bound: 7398
1686.51/1700.09	c current bound: 7398
1687.06/1700.64	c current bound: 7398
1687.61/1701.30	c current bound: 7398
1688.38/1701.85	c current bound: 7398
1688.96/1702.40	c current bound: 7398
1689.46/1702.94	c current bound: 7398
1689.79/1703.49	c current bound: 7398
1690.56/1704.03	c current bound: 7398
1690.88/1704.58	c current bound: 7398
1691.66/1705.13	c current bound: 7398
1691.98/1705.67	c current bound: 7398
1692.73/1706.26	c current bound: 7398
1693.07/1706.81	c current bound: 7398
1693.82/1707.36	c current bound: 7398
1694.17/1707.90	c current bound: 7398
1694.94/1708.46	c current bound: 7398
1695.28/1709.01	c current bound: 7398
1696.03/1709.56	c current bound: 7398
1696.38/1710.11	c current bound: 7398
1697.14/1710.65	c current bound: 7398
1697.48/1711.20	c current bound: 7398
1698.24/1711.75	c current bound: 7398
1698.85/1712.30	c current bound: 7398
1699.33/1712.84	c current bound: 7398
1699.67/1713.39	c current bound: 7398
1700.43/1713.94	c current bound: 7398
1700.77/1714.49	c current bound: 7398
1701.54/1715.04	c current bound: 7398
1701.87/1715.59	c current bound: 7398
1702.65/1716.14	c current bound: 7398
1702.97/1716.69	c current bound: 7398
1703.74/1717.25	c current bound: 7398
1704.08/1717.79	c current bound: 7398
1704.86/1718.34	c current bound: 7398
1705.18/1718.89	c current bound: 7398
1705.95/1719.43	c current bound: 7398
1706.28/1719.99	c current bound: 7398
1707.06/1720.54	c current bound: 7398
1707.38/1721.09	c current bound: 7398
1708.15/1721.64	c current bound: 7398
1708.49/1722.18	c current bound: 7398
1709.26/1722.73	c current bound: 7398
1709.58/1723.29	c current bound: 7398
1710.36/1723.83	c current bound: 7398
1710.69/1724.38	c current bound: 7398
1711.46/1724.93	c current bound: 7398
1711.80/1725.48	c current bound: 7398
1712.58/1726.02	c current bound: 7398
1712.89/1726.57	c current bound: 7398
1713.68/1727.12	c current bound: 7398
1714.00/1727.67	c current bound: 7398
1714.79/1728.21	c current bound: 7398
1715.08/1728.76	c current bound: 7398
1715.88/1729.31	c current bound: 7398
1716.18/1729.85	c current bound: 7398
1716.74/1730.40	c current bound: 7398
1717.57/1731.10	c current bound: 7398
1718.07/1731.64	c current bound: 7398
1718.38/1732.19	c current bound: 7398
1719.16/1732.74	c current bound: 7398
1719.50/1733.28	c current bound: 7398
1720.28/1733.83	c current bound: 7398
1720.60/1734.38	c current bound: 7398
1721.38/1734.92	c current bound: 7398
1721.68/1735.47	c current bound: 7398
1722.49/1736.21	c current bound: 7398
1722.79/1736.76	c current bound: 7398
1723.35/1737.31	c current bound: 7398
1723.90/1737.85	c current bound: 7398
1724.45/1738.40	c current bound: 7398
1724.99/1738.95	c current bound: 7398
1725.55/1739.50	c current bound: 7398
1726.10/1740.05	c current bound: 7398
1726.93/1740.60	c current bound: 7398
1727.48/1741.28	c current bound: 7398
1727.75/1741.83	c current bound: 7398
1728.30/1742.38	c current bound: 7398
1728.85/1742.92	c current bound: 7398
1729.41/1743.48	c current bound: 7398
1729.96/1744.03	c current bound: 7398
1730.52/1744.58	c current bound: 7398
1731.07/1745.13	c current bound: 7398
1731.61/1745.68	c current bound: 7398
1732.44/1746.30	c current bound: 7398
1732.71/1746.85	c current bound: 7398
1733.53/1747.40	c current bound: 7398
1733.81/1747.95	c current bound: 7398
1734.36/1748.49	c current bound: 7398
1734.91/1749.04	c current bound: 7398
1735.46/1749.58	c current bound: 7398
1736.01/1750.13	c current bound: 7398
1736.55/1750.68	c current bound: 7398
1737.37/1751.41	c current bound: 7398
1737.66/1751.96	c current bound: 7398
1738.45/1752.51	c current bound: 7398
1738.75/1753.06	c current bound: 7398
1739.54/1753.61	c current bound: 7398
1739.86/1754.15	c current bound: 7398
1740.56/1754.70	c current bound: 7398
1740.94/1755.25	c current bound: 7398
1741.66/1755.79	c current bound: 7398
1742.31/1756.46	c current bound: 7398
1742.85/1757.01	c current bound: 7398
1743.15/1757.55	c current bound: 7398
1743.95/1758.11	c current bound: 7398
1744.26/1758.66	c current bound: 7398
1745.05/1759.20	c current bound: 7398
1745.34/1759.75	c current bound: 7398
1746.16/1760.30	c current bound: 7398
1746.45/1760.84	c current bound: 7398
1747.27/1761.49	c current bound: 7398
1747.56/1762.03	c current bound: 7398
1748.10/1762.58	c current bound: 7398
1748.65/1763.13	c current bound: 7398
1749.20/1763.68	c current bound: 7398
1749.75/1764.23	c current bound: 7398
1750.30/1764.78	c current bound: 7398
1750.85/1765.33	c current bound: 7398
1751.39/1765.87	c current bound: 7398
1752.22/1766.54	c current bound: 7398
1752.50/1767.08	c current bound: 7398
1753.05/1767.63	c current bound: 7398
1753.59/1768.18	c current bound: 7398
1754.14/1768.73	c current bound: 7398
1754.70/1769.28	c current bound: 7398
1755.25/1769.83	c current bound: 7398
1755.81/1770.38	c current bound: 7398
1756.36/1770.92	c current bound: 7398
1756.90/1771.57	c current bound: 7398
1757.45/1772.12	c current bound: 7398
1758.00/1772.67	c current bound: 7398
1758.55/1773.22	c current bound: 7398
1759.11/1773.76	c current bound: 7398
1759.65/1774.31	c current bound: 7398
1760.20/1774.86	c current bound: 7398
1760.75/1775.40	c current bound: 7398
1761.30/1775.95	c current bound: 7398
1762.13/1776.63	c current bound: 7398
1762.41/1777.17	c current bound: 7398
1763.18/1777.73	c current bound: 7398
1763.52/1778.28	c current bound: 7398
1764.29/1778.83	c current bound: 7398
1764.62/1779.38	c current bound: 7398
1765.40/1779.92	c current bound: 7398
1765.73/1780.47	c current bound: 7398
1766.51/1781.02	c current bound: 7398
1767.08/1781.69	c current bound: 7398
1767.59/1782.24	c current bound: 7398
1768.19/1782.80	c current bound: 7398
1768.68/1783.35	c current bound: 7398
1769.02/1783.89	c current bound: 7398
1769.80/1784.44	c current bound: 7398
1770.40/1785.00	c current bound: 7398
1770.90/1785.54	c current bound: 7398
1771.23/1786.09	c current bound: 7398
1772.06/1787.22	c current bound: 7398
1772.53/1787.77	c current bound: 7398
1772.89/1788.33	c current bound: 7398
1773.64/1788.87	c current bound: 7398
1774.00/1789.42	c current bound: 7398
1774.75/1789.97	c current bound: 7398
1775.10/1790.52	c current bound: 7398
1775.84/1791.07	c current bound: 7398
1776.21/1791.62	c current bound: 7398
1776.94/1792.17	c current bound: 7398
1777.31/1792.71	c current bound: 7398
1778.04/1793.26	c current bound: 7398
1778.40/1793.81	c current bound: 7398
1779.15/1794.36	c current bound: 7398
1779.50/1794.90	c current bound: 7398
1780.24/1795.45	c current bound: 7398
1780.61/1796.00	c current bound: 7398
1781.37/1796.54	c current bound: 7398
1781.70/1797.09	c current bound: 7398
1782.46/1797.64	c current bound: 7398
1782.80/1798.19	c current bound: 7398
1783.57/1798.74	c current bound: 7398
1783.90/1799.29	c current bound: 7398
1784.67/1799.84	c current bound: 7398
1785.01/1800.39	c current bound: 7398
1785.77/1800.94	c current bound: 7398
1786.11/1801.48	c current bound: 7398
1786.93/1802.62	c current bound: 7398
1787.39/1803.16	c current bound: 7398
1787.75/1803.71	c current bound: 7398
1788.51/1804.26	c current bound: 7398
1788.85/1804.80	c current bound: 7398
1789.60/1805.35	c current bound: 7398
1789.94/1805.89	c current bound: 7398
1790.71/1806.44	c current bound: 7398
1791.31/1807.07	c current bound: 7398
1791.82/1807.61	c current bound: 7398
1792.12/1808.16	c current bound: 7398
1792.92/1808.70	c current bound: 7398
1793.21/1809.25	c current bound: 7398
1794.03/1809.80	c current bound: 7398
1794.31/1810.34	c current bound: 7398
1795.03/1810.89	c current bound: 7398
1795.40/1811.43	c current bound: 7398
1796.14/1811.97	c current bound: 7398
1796.50/1812.52	c current bound: 7398
1797.23/1813.06	c current bound: 7398
1797.61/1813.62	c current bound: 7398
1798.34/1814.16	c current bound: 7398
1798.70/1814.71	c current bound: 7398
1799.44/1815.27	c current bound: 7398
1799.81/1815.81	c current bound: 7398
1800.16/1815.90	./satsolver.sh: line 5: 27249 Terminated              ./glucose $1 > $2 2> /dev/null
1800.16/1815.90	c error: unexpected solver exit code
1800.16/1815.90	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-3752755-1339211677/watcher-3752755-1339211677 -o /tmp/evaluation-result-3752755-1339211677/solver-3752755-1339211677 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752755-1339211677.wbo 246341282 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.86 1.78 1.76 3/179 14853
/proc/meminfo: memFree=31190780/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0

[startup+0.0708091 s]
/proc/loadavg: 1.86 1.78 1.76 3/179 14853
/proc/meminfo: memFree=31190780/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100329 s]
/proc/loadavg: 1.86 1.78 1.76 3/179 14853
/proc/meminfo: memFree=31190780/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300299 s]
/proc/loadavg: 1.86 1.78 1.76 3/179 14853
/proc/meminfo: memFree=31190780/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700233 s]
/proc/loadavg: 1.86 1.78 1.76 3/179 14853
/proc/meminfo: memFree=31190780/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50023 s]
/proc/loadavg: 1.86 1.78 1.76 2/183 14888
/proc/meminfo: memFree=31182400/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1.42 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 6913 45820 0 0 22 4 84 32 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 28872

[startup+3.10024 s]
/proc/loadavg: 1.87 1.78 1.76 3/183 14912
/proc/meminfo: memFree=31142524/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=3.05 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 12445 88695 0 0 43 6 183 73 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 28872

[startup+6.30034 s]
/proc/loadavg: 1.87 1.78 1.76 3/183 14996
/proc/meminfo: memFree=31142992/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=6.16 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 23503 163808 0 0 86 12 362 156 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 28872

[startup+12.7002 s]
/proc/loadavg: 1.81 1.77 1.76 3/183 15157
/proc/meminfo: memFree=31143712/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=12.4 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 43793 333358 0 0 165 22 741 312 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 28872

[startup+25.5002 s]
/proc/loadavg: 1.76 1.76 1.76 3/183 15493
/proc/meminfo: memFree=31161316/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=25.04 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 86205 665185 0 0 330 43 1494 637 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 28872

[startup+51.1003 s]
/proc/loadavg: 1.77 1.77 1.75 3/183 16123
/proc/meminfo: memFree=31139004/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=50.38 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 171029 1336933 0 0 661 85 2998 1294 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 28872

[startup+102.307 s]
/proc/loadavg: 2.43 1.93 1.81 3/181 17417
/proc/meminfo: memFree=31186476/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=100.77 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 279351 2665353 0 0 1322 162 5980 2613 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 100.77
Current children cumulated vsize (KiB) 28872

[startup+162.3 s]
/proc/loadavg: 2.17 1.96 1.83 3/183 18903
/proc/meminfo: memFree=31167280/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=159.46 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 366529 4220992 0 0 2083 247 9499 4117 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 159.46
Current children cumulated vsize (KiB) 28872

[startup+222.3 s]
/proc/loadavg: 2.06 1.97 1.83 3/181 20413
/proc/meminfo: memFree=31185192/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=218.35 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) R 14853 14853 27652 0 -1 4202496 415392 5775646 0 0 2852 330 12991 5662 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 4579310 0 0 4096 0 0 0 0 17 3 0 0 15 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 218.35
Current children cumulated vsize (KiB) 28872

[startup+282.3 s]
/proc/loadavg: 1.98 1.96 1.83 3/183 21903
/proc/meminfo: memFree=31132696/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=277.48 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 448684 7335278 0 0 3625 414 16525 7184 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 277.48
Current children cumulated vsize (KiB) 28872

[startup+342.3 s]
/proc/loadavg: 1.93 1.95 1.83 3/182 23418
/proc/meminfo: memFree=31164048/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=336.2 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 481961 8887802 0 0 4392 498 20016 8714 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 336.2
Current children cumulated vsize (KiB) 28872

[startup+402.3 s]
/proc/loadavg: 2.01 1.97 1.84 3/183 24908
/proc/meminfo: memFree=31173300/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7

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

[pid=14854] ppid=14853 vsize=19724 CPUtime=1355.79 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1046466 35245677 0 0 17393 2005 79464 36717 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 45 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1355.79
Current children cumulated vsize (KiB) 28872

[startup+1422.3 s]
/proc/loadavg: 2.03 1.73 1.68 3/180 17719
/proc/meminfo: memFree=31179448/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1414.41 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1079703 36781032 0 0 18158 2088 82953 38242 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 45 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1414.41
Current children cumulated vsize (KiB) 28872

[startup+1482.3 s]
/proc/loadavg: 1.88 1.73 1.68 3/183 19228
/proc/meminfo: memFree=31162512/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1473.51 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) R 14853 14853 27652 0 -1 4202496 1113278 38342169 0 0 18930 2171 86466 39784 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 4537479 0 0 4096 0 0 0 0 17 3 0 0 45 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1473.51
Current children cumulated vsize (KiB) 28872

[startup+1542.3 s]
/proc/loadavg: 1.96 1.78 1.70 3/182 20741
/proc/meminfo: memFree=31173356/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1532.31 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) R 14853 14853 27652 0 -1 4202496 1146555 39895928 0 0 19698 2255 89976 41302 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 4535954 0 0 4096 0 0 0 0 17 3 0 0 53 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1532.31
Current children cumulated vsize (KiB) 28872

[startup+1602.3 s]
/proc/loadavg: 1.86 1.78 1.70 3/184 22217
/proc/meminfo: memFree=31162856/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1591.11 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) R 14853 14853 27652 0 -1 4202496 1179831 41446537 0 0 20461 2336 93471 42843 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 4969855 0 0 4096 0 0 0 0 17 5 0 0 53 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1591.11
Current children cumulated vsize (KiB) 28872

[startup+1662.31 s]
/proc/loadavg: 1.84 1.79 1.71 3/183 23721
/proc/meminfo: memFree=31133820/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1649.59 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1212805 42977960 0 0 21226 2419 96939 44375 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 53 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
[pid=23720] ppid=14854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23720/stat : 23720 (satsolver.sh) S 14854 14853 27652 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387460001 9367552 266 33554432000 4194304 5064252 140733262826896 140733262825808 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23720/statm: 2287 266 226 213 0 72 0
[pid=23721] ppid=23720 vsize=45844 CPUtime=0.17 cores=1,3,5,7
/proc/23721/stat : 23721 (glucose) R 23720 14853 27652 0 -1 4202496 10044 0 0 0 15 2 0 0 20 0 1 0 387460001 46944256 9740 33554432000 4194304 5208918 140733321274624 140733320224312 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23721/statm: 11461 9740 105 248 0 11210 0
Current children cumulated CPU time (s) 1649.76
Current children cumulated vsize (KiB) 83864

[startup+1722.3 s]
/proc/loadavg: 1.88 1.81 1.72 3/183 25208
/proc/meminfo: memFree=31158892/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1708.83 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1246393 44542690 0 0 22001 2501 100477 45904 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 68 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1708.83
Current children cumulated vsize (KiB) 28872

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

[startup+1771.21 s]
/proc/loadavg: 2.00 1.85 1.74 3/183 26445
/proc/meminfo: memFree=31129544/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1756.71 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1273450 45808162 0 0 22623 2569 103330 47149 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 68 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
[pid=26444] ppid=14854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26444/stat : 26444 (satsolver.sh) S 14854 14853 27652 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387470889 9367552 266 33554432000 4194304 5064252 140734135380896 140734135379808 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26444/statm: 2287 266 226 213 0 72 0
[pid=26445] ppid=26444 vsize=0 CPUtime=0.19 cores=1,3,5,7
/proc/26445/stat : 26445 (glucose) R 26444 14853 27652 0 -1 4202500 9024 0 0 0 17 2 0 0 20 0 1 0 387470889 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26445/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1756.9
Current children cumulated vsize (KiB) 38020

[startup+1771.3 s]
/proc/loadavg: 2.00 1.85 1.74 3/183 26445
/proc/meminfo: memFree=31129544/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1756.9 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1273456 45817791 0 0 22623 2569 103347 47151 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185876656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 68 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1756.9
Current children cumulated vsize (KiB) 28872
#
############


[startup+1782.3 s]
/proc/loadavg: 2.08 1.88 1.75 3/183 26718
/proc/meminfo: memFree=31123704/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1767.7 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) R 14853 14853 27652 0 -1 4202496 1279666 46096391 0 0 22765 2585 103991 47429 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877744 5057476 0 0 4096 0 0 0 0 17 5 0 0 68 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
Current children cumulated CPU time (s) 1767.7
Current children cumulated vsize (KiB) 28872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.9 s]
/proc/loadavg: 2.33 1.95 1.77 3/181 27249
/proc/meminfo: memFree=29916964/32873844 swapFree=7380/7380
[pid=14853] ppid=14851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14853/stat : 14853 (npSolver-wbo-It) S 14851 14853 27652 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387293788 9367552 274 33554432000 4194304 5064252 140735747174592 140735747173504 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14853/statm: 2287 274 233 213 0 72 0
[pid=14854] ppid=14853 vsize=19724 CPUtime=1800.16 cores=1,3,5,7
/proc/14854/stat : 14854 (npSolver-wbo) S 14853 14853 27652 0 -1 4202496 1298019 46953853 0 0 23190 2631 105897 48298 20 0 1 0 387293789 20197376 4123 33554432000 4194304 6006132 140734185885808 140734185877168 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 68 0 0
/proc/14854/statm: 4931 4123 175 443 0 4484 0
[pid=27248] ppid=14854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27248/stat : 27248 (satsolver.sh) S 14854 14853 27652 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387475378 9367552 267 33554432000 4194304 5064252 140735102873280 140735102872192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27248/statm: 2287 267 226 213 0 72 0
[pid=27249] ppid=27248 vsize=6644 CPUtime=0 cores=1,3,5,7
/proc/27249/stat : 27249 (glucose) R 27248 14853 27652 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 387475378 6803456 345 33554432000 4194304 5208918 140735083906112 140735082855800 4473883 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/27249/statm: 1661 345 68 248 0 1410 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 44664

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1815.91
CPU time (s): 1800.27
CPU user time (s): 1290.96
CPU system time (s): 509.307
CPU usage (%): 99.1389
Max. virtual memory (cumulated for all children) (KiB): 84428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1290.88
system time used= 509.297
maximum resident set size= 40828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48253284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39968992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 921191
involuntary context switches= 42658

runsolver used 3.2735 second user time and 8.73567 second system time

The end

Launcher Data

Begin job on node118 at 2012-06-09 05:14:37
IDJOB=3752755
IDBENCH=79489
IDSOLVER=2336
FILE ID=node118/3752755-1339211677
RUNJOBID= node118-1339209820-27996
PBS_JOBID= 14643884
Free space on /tmp= 70820 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/mprime/normalized-mprime03bc_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752755-1339211677/watcher-3752755-1339211677 -o /tmp/evaluation-result-3752755-1339211677/solver-3752755-1339211677 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752755-1339211677.wbo 246341282 HOME HOME

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

MD5SUM BENCH= be1cffc43a6e520c7c18a7927302cbb0
RANDOM SEED=246341282

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.212
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	: 5320.68
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.212
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.212
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.212
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:        31199716 kB
Buffers:          371504 kB
Cached:           370468 kB
SwapCached:         6500 kB
Active:           448092 kB
Inactive:         341388 kB
Active(anon):      37116 kB
Inactive(anon):     6640 kB
Active(file):     410976 kB
Inactive(file):   334748 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67095476 kB
Dirty:             14004 kB
Writeback:             0 kB
AnonPages:         45220 kB
Mapped:            10232 kB
Shmem:                 0 kB
Slab:             743800 kB
SReclaimable:     182124 kB
SUnreclaim:       561676 kB
KernelStack:        1472 kB
PageTables:         3832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     165088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 70760 MiB
End job on node118 at 2012-06-09 05:44:53