Trace number 3753134

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.24 1805.51

General information on the benchmark

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

Solver Data 

0.00/0.02	c run usual solver
0.00/0.05	o 2756
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 14.8824
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 1378
0.00/0.62	c current bound: 1378
1.08/1.18	c current bound: 1378
1.46/1.74	c current bound: 1378
2.28/2.35	c current bound: 1378
2.59/2.91	c current bound: 1378
3.16/3.48	c current bound: 1378
3.72/4.04	c current bound: 1378
4.28/4.60	c current bound: 1378
4.85/5.17	c current bound: 1378
5.41/5.74	c current bound: 1378
5.97/6.30	c current bound: 1378
6.55/6.86	c current bound: 1378
7.12/7.43	c current bound: 1378
7.68/7.99	c current bound: 1378
8.24/8.56	c current bound: 1378
8.79/9.12	c current bound: 1378
9.37/9.69	c current bound: 1378
9.94/10.25	c current bound: 1378
10.51/10.82	c current bound: 1378
11.07/11.38	c current bound: 1378
11.63/11.95	c current bound: 1378
12.20/12.52	c current bound: 1378
12.77/13.08	c current bound: 1378
13.34/13.64	c current bound: 1378
14.16/14.20	c current bound: 1378
14.46/14.77	c current bound: 1378
15.27/15.34	c current bound: 1378
15.88/15.90	c current bound: 1378
16.35/16.46	c current bound: 1378
16.73/17.03	c current bound: 1378
17.51/17.64	c current bound: 1378
17.86/18.20	c current bound: 1378
18.62/18.77	c current bound: 1378
19.00/19.34	c current bound: 1378
19.81/19.91	c current bound: 1378
20.14/20.47	c current bound: 1378
20.93/21.04	c current bound: 1378
21.55/21.60	c current bound: 1378
22.09/22.29	c current bound: 1378
22.40/22.85	c current bound: 1378
22.96/23.41	c current bound: 1378
23.54/23.97	c current bound: 1378
24.09/24.54	c current bound: 1378
24.67/25.11	c current bound: 1378
25.23/25.67	c current bound: 1378
25.80/26.24	c current bound: 1378
26.63/26.80	c current bound: 1378
27.19/27.44	c current bound: 1378
27.48/28.00	c current bound: 1378
28.25/28.57	c current bound: 1378
28.62/29.13	c current bound: 1378
29.46/29.71	c current bound: 1378
29.77/30.27	c current bound: 1378
30.56/30.84	c current bound: 1378
30.91/31.41	c current bound: 1378
31.66/31.97	c current bound: 1378
32.31/32.63	c current bound: 1378
32.62/33.19	c current bound: 1378
33.18/33.76	c current bound: 1378
34.01/34.48	c current bound: 1378
34.31/35.05	c current bound: 1378
34.88/35.61	c current bound: 1378
35.44/36.18	c current bound: 1378
36.00/36.74	c current bound: 1378
36.82/37.31	c current bound: 1378
37.14/37.87	c current bound: 1378
37.92/38.44	c current bound: 1378
38.26/39.00	c current bound: 1378
39.02/39.56	c current bound: 1378
39.39/40.13	c current bound: 1378
40.13/40.69	c current bound: 1378
40.51/41.25	c current bound: 1378
41.31/41.82	c current bound: 1378
41.63/42.38	c current bound: 1378
42.43/42.95	c current bound: 1378
42.76/43.52	c current bound: 1378
43.52/44.08	c current bound: 1378
43.91/44.64	c current bound: 1378
44.71/45.21	c current bound: 1378
45.04/45.78	c current bound: 1378
45.82/46.35	c current bound: 1378
46.17/46.91	c current bound: 1378
46.75/47.48	c current bound: 1378
47.32/48.04	c current bound: 1378
47.88/48.61	c current bound: 1378
48.44/49.17	c current bound: 1378
49.01/49.73	c current bound: 1378
49.85/50.30	c current bound: 1378
50.14/50.86	c current bound: 1378
50.70/51.42	c current bound: 1378
51.27/51.99	c current bound: 1378
51.84/52.55	c current bound: 1378
52.40/53.11	c current bound: 1378
52.97/53.68	c current bound: 1378
53.54/54.24	c current bound: 1378
54.10/54.80	c current bound: 1378
54.66/55.37	c current bound: 1378
55.22/55.93	c current bound: 1378
56.06/56.50	c current bound: 1378
56.36/57.06	c current bound: 1378
56.92/57.63	c current bound: 1378
57.49/58.19	c current bound: 1378
58.04/58.75	c current bound: 1378
58.85/59.32	c current bound: 1378
59.18/59.88	c current bound: 1378
59.96/60.45	c current bound: 1378
60.30/61.01	c current bound: 1378
61.06/61.58	c current bound: 1378
61.44/62.14	c current bound: 1378
62.27/62.70	c current bound: 1378
62.55/63.26	c current bound: 1378
63.35/63.83	c current bound: 1378
63.70/64.40	c current bound: 1378
64.45/64.96	c current bound: 1378
64.83/65.53	c current bound: 1378
65.67/66.10	c current bound: 1378
65.96/66.66	c current bound: 1378
66.75/67.22	c current bound: 1378
67.08/67.79	c current bound: 1378
67.85/68.36	c current bound: 1378
68.24/68.92	c current bound: 1378
68.80/69.49	c current bound: 1378
69.36/70.05	c current bound: 1378
69.93/70.61	c current bound: 1378
70.49/71.17	c current bound: 1378
71.05/71.74	c current bound: 1378
71.89/72.30	c current bound: 1378
72.18/72.86	c current bound: 1378
72.75/73.43	c current bound: 1378
73.31/73.99	c current bound: 1378
73.89/74.55	c current bound: 1378
74.44/75.11	c current bound: 1378
75.00/75.68	c current bound: 1378
75.57/76.24	c current bound: 1378
76.12/76.80	c current bound: 1378
76.68/77.36	c current bound: 1378
77.25/77.93	c current bound: 1378
78.10/78.50	c current bound: 1378
78.40/79.06	c current bound: 1378
78.96/79.62	c current bound: 1378
79.51/80.19	c current bound: 1378
80.08/80.75	c current bound: 1378
80.88/81.32	c current bound: 1378
81.21/81.88	c current bound: 1378
81.99/82.45	c current bound: 1378
82.34/83.01	c current bound: 1378
83.09/83.57	c current bound: 1378
83.47/84.13	c current bound: 1378
84.20/84.70	c current bound: 1378
84.61/85.26	c current bound: 1378
85.40/85.83	c current bound: 1378
85.73/86.39	c current bound: 1378
86.50/86.95	c current bound: 1378
86.86/87.51	c current bound: 1378
87.61/88.07	c current bound: 1378
87.98/88.64	c current bound: 1378
88.81/89.20	c current bound: 1378
89.12/89.77	c current bound: 1378
89.92/90.33	c current bound: 1378
90.53/90.90	c current bound: 1378
91.02/91.46	c current bound: 1378
91.39/92.03	c current bound: 1378
91.95/92.59	c current bound: 1378
92.52/93.15	c current bound: 1378
93.09/93.72	c current bound: 1378
93.65/94.28	c current bound: 1378
94.22/94.85	c current bound: 1378
94.79/95.41	c current bound: 1378
95.34/95.98	c current bound: 1378
95.92/96.54	c current bound: 1378
96.48/97.11	c current bound: 1378
97.05/97.68	c current bound: 1378
97.63/98.55	c current bound: 1378
98.44/99.11	c current bound: 1378
98.77/99.67	c current bound: 1378
99.54/100.24	c current bound: 1378
99.90/100.80	c current bound: 1378
100.66/101.36	c current bound: 1378
101.04/101.93	c current bound: 1378
101.61/102.49	c current bound: 1378
102.16/103.05	c current bound: 1378
102.73/103.62	c current bound: 1378
103.29/104.18	c current bound: 1378
103.86/104.75	c current bound: 1378
104.41/105.31	c current bound: 1378
104.99/105.87	c current bound: 1378
105.55/106.43	c current bound: 1378
106.39/107.00	c current bound: 1378
106.68/107.56	c current bound: 1378
107.23/108.12	c current bound: 1378
107.81/108.69	c current bound: 1378
108.37/109.26	c current bound: 1378
108.93/109.82	c current bound: 1378
109.50/110.40	c current bound: 1378
110.09/110.96	c current bound: 1378
110.64/111.52	c current bound: 1378
111.21/112.11	c current bound: 1378
111.78/112.67	c current bound: 1378
112.59/113.24	c current bound: 1378
113.19/113.80	c current bound: 1378
113.69/114.36	c current bound: 1378
114.05/114.93	c current bound: 1378
114.80/115.49	c current bound: 1378
115.18/116.05	c current bound: 1378
115.99/116.62	c current bound: 1378
116.31/117.18	c current bound: 1378
117.09/117.74	c current bound: 1378
117.44/118.31	c current bound: 1378
118.19/118.87	c current bound: 1378
118.56/119.43	c current bound: 1378
119.29/119.99	c current bound: 1378
119.70/120.56	c current bound: 1378
120.50/121.12	c current bound: 1378
120.81/121.68	c current bound: 1378
121.61/122.24	c current bound: 1378
122.21/122.80	c current bound: 1378
122.71/123.36	c current bound: 1378
123.08/123.92	c current bound: 1378
123.64/124.48	c current bound: 1378
124.21/125.05	c current bound: 1378
124.78/125.61	c current bound: 1378
125.35/126.17	c current bound: 1378
125.90/126.73	c current bound: 1378
126.72/127.30	c current bound: 1378
127.02/127.86	c current bound: 1378
127.59/128.42	c current bound: 1378
128.15/128.99	c current bound: 1378
128.72/129.54	c current bound: 1378
129.29/130.11	c current bound: 1378
129.84/130.67	c current bound: 1378
130.40/131.23	c current bound: 1378
130.96/131.79	c current bound: 1378
131.53/132.36	c current bound: 1378
132.09/132.92	c current bound: 1378
132.66/133.48	c current bound: 1378
133.21/134.04	c current bound: 1378
133.78/134.61	c current bound: 1378
134.35/135.17	c current bound: 1378
134.91/135.73	c current bound: 1378
135.48/136.29	c current bound: 1378
136.03/136.85	c current bound: 1378
136.85/137.41	c current bound: 1378
137.16/137.97	c current bound: 1378
137.93/138.53	c current bound: 1378
138.28/139.09	c current bound: 1378
139.05/139.66	c current bound: 1378
139.42/140.23	c current bound: 1378
140.13/140.79	c current bound: 1378
140.53/141.35	c current bound: 1378
141.36/141.91	c current bound: 1378
141.66/142.48	c current bound: 1378
142.46/143.04	c current bound: 1378
143.06/143.60	c current bound: 1378
143.55/144.17	c current bound: 1378
143.93/144.73	c current bound: 1378
144.66/145.29	c current bound: 1378
145.05/145.85	c current bound: 1378
145.84/146.41	c current bound: 1378
146.18/146.98	c current bound: 1378
146.96/147.54	c current bound: 1378
147.30/148.10	c current bound: 1378
148.07/148.66	c current bound: 1378
148.44/149.23	c current bound: 1378
149.00/149.79	c current bound: 1378
149.56/150.35	c current bound: 1378
150.12/150.91	c current bound: 1378
150.68/151.47	c current bound: 1378
151.25/152.04	c current bound: 1378
152.08/152.60	c current bound: 1378
152.38/153.16	c current bound: 1378
152.95/153.72	c current bound: 1378
153.50/154.28	c current bound: 1378
154.06/154.85	c current bound: 1378
154.62/155.41	c current bound: 1378
155.19/155.97	c current bound: 1378
155.76/156.54	c current bound: 1378
156.59/157.10	c current bound: 1378
156.88/157.66	c current bound: 1378
157.45/158.22	c current bound: 1378
158.00/158.78	c current bound: 1378
158.57/159.35	c current bound: 1378
159.14/159.91	c current bound: 1378
159.70/160.47	c current bound: 1378
160.26/161.03	c current bound: 1378
160.83/161.59	c current bound: 1378
161.38/162.16	c current bound: 1378
162.19/162.72	c current bound: 1378
162.51/163.28	c current bound: 1378
163.29/163.84	c current bound: 1378
163.64/164.41	c current bound: 1378
164.39/164.97	c current bound: 1378
164.76/165.53	c current bound: 1378
165.51/166.09	c current bound: 1378
165.90/166.66	c current bound: 1378
166.72/167.21	c current bound: 1378
167.02/167.77	c current bound: 1378
167.80/168.34	c current bound: 1378
168.42/168.90	c current bound: 1378
168.92/169.46	c current bound: 1378
169.28/170.02	c current bound: 1378
170.02/170.58	c current bound: 1378
170.41/171.14	c current bound: 1378
170.96/171.70	c current bound: 1378
171.53/172.26	c current bound: 1378
172.32/172.82	c current bound: 1378
172.66/173.40	c current bound: 1378
173.42/173.96	c current bound: 1378
173.79/174.52	c current bound: 1378
174.35/175.09	c current bound: 1378
174.91/175.65	c current bound: 1378
175.47/176.21	c current bound: 1378
176.04/176.77	c current bound: 1378
176.61/177.34	c current bound: 1378
177.45/177.90	c current bound: 1378
177.74/178.46	c current bound: 1378
178.31/179.02	c current bound: 1378
178.87/179.59	c current bound: 1378
179.42/180.15	c current bound: 1378
179.99/180.72	c current bound: 1378
180.55/181.28	c current bound: 1378
181.12/181.85	c current bound: 1378
181.68/182.41	c current bound: 1378
182.25/182.98	c current bound: 1378
182.82/183.53	c current bound: 1378
183.39/184.10	c current bound: 1378
183.94/184.66	c current bound: 1378
184.51/185.22	c current bound: 1378
185.06/185.79	c current bound: 1378
185.65/186.35	c current bound: 1378
186.46/186.92	c current bound: 1378
186.77/187.47	c current bound: 1378
187.56/188.04	c current bound: 1378
187.91/188.60	c current bound: 1378
188.66/189.16	c current bound: 1378
189.02/189.72	c current bound: 1378
189.75/190.28	c current bound: 1378
190.14/190.85	c current bound: 1378
190.96/191.41	c current bound: 1378
191.27/191.97	c current bound: 1378
192.06/192.53	c current bound: 1378
192.40/193.10	c current bound: 1378
193.17/193.66	c current bound: 1378
193.53/194.23	c current bound: 1378
194.27/194.79	c current bound: 1378
194.66/195.35	c current bound: 1378
195.46/195.92	c current bound: 1378
195.79/196.48	c current bound: 1378
196.56/197.04	c current bound: 1378
196.91/197.60	c current bound: 1378
197.47/198.16	c current bound: 1378
198.04/198.73	c current bound: 1378
198.62/199.30	c current bound: 1378
199.19/199.86	c current bound: 1378
199.76/200.44	c current bound: 1378
200.60/201.00	c current bound: 1378
200.88/201.57	c current bound: 1378
201.46/202.13	c current bound: 1378
202.02/202.69	c current bound: 1378
202.59/203.26	c current bound: 1378
203.17/203.84	c current bound: 1378
204.01/204.40	c current bound: 1378
204.29/204.96	c current bound: 1378
204.85/205.52	c current bound: 1378
205.42/206.09	c current bound: 1378
205.99/206.65	c current bound: 1378
206.55/207.21	c current bound: 1378
207.12/207.77	c current bound: 1378
207.68/208.34	c current bound: 1378
208.25/208.90	c current bound: 1378
209.09/209.54	c current bound: 1378
209.53/210.10	c current bound: 1378
209.94/210.66	c current bound: 1378
210.73/211.22	c current bound: 1378
211.06/211.78	c current bound: 1378
211.83/212.35	c current bound: 1378
212.18/212.90	c current bound: 1378
212.95/213.47	c current bound: 1378
213.32/214.03	c current bound: 1378
214.04/214.59	c current bound: 1378
214.44/215.15	c current bound: 1378
215.23/215.72	c current bound: 1378
215.56/216.28	c current bound: 1378
216.35/216.84	c current bound: 1378
216.94/217.40	c current bound: 1378
217.43/217.96	c current bound: 1378
217.82/218.52	c current bound: 1378
218.38/219.09	c current bound: 1378
218.94/219.65	c current bound: 1378
219.50/220.21	c current bound: 1378
220.07/220.77	c current bound: 1378
220.62/221.33	c current bound: 1378
221.19/221.89	c current bound: 1378
221.76/222.46	c current bound: 1378
222.33/223.02	c current bound: 1378
222.89/223.58	c current bound: 1378
223.45/224.14	c current bound: 1378
224.02/224.70	c current bound: 1378
224.58/225.27	c current bound: 1378
225.13/225.83	c current bound: 1378
225.71/226.39	c current bound: 1378
226.26/226.95	c current bound: 1378
226.84/227.51	c current bound: 1378
227.39/228.07	c current bound: 1378
227.96/228.64	c current bound: 1378
228.79/229.20	c current bound: 1378
229.09/229.76	c current bound: 1378
229.65/230.32	c current bound: 1378
230.21/230.88	c current bound: 1378
230.78/231.45	c current bound: 1378
231.60/232.01	c current bound: 1378
231.90/232.57	c current bound: 1378
232.70/233.13	c current bound: 1378
233.03/233.69	c current bound: 1378
233.81/234.26	c current bound: 1378
234.16/234.82	c current bound: 1378
234.90/235.38	c current bound: 1378
235.29/235.95	c current bound: 1378
236.11/236.51	c current bound: 1378
236.42/237.07	c current bound: 1378
237.20/237.64	c current bound: 1378
237.81/238.20	c current bound: 1378
238.31/238.76	c current bound: 1378
238.68/239.32	c current bound: 1378
239.40/239.88	c current bound: 1378
239.80/240.45	c current bound: 1378
240.61/241.01	c current bound: 1378
240.92/241.57	c current bound: 1378
241.70/242.13	c current bound: 1378
242.05/242.69	c current bound: 1378
242.81/243.25	c current bound: 1378
243.17/243.81	c current bound: 1378
243.74/244.37	c current bound: 1378
244.30/244.93	c current bound: 1378
245.13/245.50	c current bound: 1378
245.43/246.06	c current bound: 1378
245.99/246.62	c current bound: 1378
246.55/247.19	c current bound: 1378
247.12/247.75	c current bound: 1378
247.67/248.31	c current bound: 1378
248.24/248.87	c current bound: 1378
248.81/249.43	c current bound: 1378
249.37/249.99	c current bound: 1378
249.92/250.56	c current bound: 1378
250.50/251.12	c current bound: 1378
251.06/251.69	c current bound: 1378
251.63/252.25	c current bound: 1378
252.18/252.81	c current bound: 1378
252.76/253.37	c current bound: 1378
253.32/253.93	c current bound: 1378
254.15/254.50	c current bound: 1378
254.44/255.06	c current bound: 1378
255.00/255.62	c current bound: 1378
255.58/256.18	c current bound: 1378
256.13/256.75	c current bound: 1378
256.95/257.31	c current bound: 1378
257.26/257.88	c current bound: 1378
258.05/258.44	c current bound: 1378
258.66/259.00	c current bound: 1378
259.16/259.56	c current bound: 1378
259.52/260.12	c current bound: 1378
260.25/260.69	c current bound: 1378
260.64/261.26	c current bound: 1378
261.45/261.82	c current bound: 1378
261.77/262.39	c current bound: 1378
262.55/262.95	c current bound: 1378
262.90/263.50	c current bound: 1378
263.65/264.07	c current bound: 1378
264.03/264.63	c current bound: 1378
264.78/265.19	c current bound: 1378
265.16/265.75	c current bound: 1378
265.96/266.31	c current bound: 1378
266.28/266.87	c current bound: 1378
267.06/267.43	c current bound: 1378
267.41/268.01	c current bound: 1378
267.98/268.57	c current bound: 1378
268.55/269.13	c current bound: 1378
269.11/269.69	c current bound: 1378
269.67/270.26	c current bound: 1378
270.23/270.82	c current bound: 1378
270.80/271.38	c current bound: 1378
271.37/271.94	c current bound: 1378
272.20/272.50	c current bound: 1378
272.49/273.06	c current bound: 1378
273.06/273.62	c current bound: 1378
273.62/274.18	c current bound: 1378
274.17/274.74	c current bound: 1378
274.75/275.30	c current bound: 1378
275.31/275.87	c current bound: 1378
275.87/276.43	c current bound: 1378
276.43/276.99	c current bound: 1378
277.00/277.55	c current bound: 1378
277.56/278.11	c current bound: 1378
278.11/278.67	c current bound: 1378
278.67/279.23	c current bound: 1378
279.25/279.79	c current bound: 1378
279.82/280.35	c current bound: 1378
280.37/280.91	c current bound: 1378
280.93/281.47	c current bound: 1378
281.49/282.04	c current bound: 1378
282.05/282.60	c current bound: 1378
282.61/283.16	c current bound: 1378
283.42/283.72	c current bound: 1378
284.02/284.30	c current bound: 1378
284.52/284.86	c current bound: 1378
284.88/285.42	c current bound: 1378
285.63/285.98	c current bound: 1378
286.01/286.54	c current bound: 1378
286.72/287.10	c current bound: 1378
287.14/287.66	c current bound: 1378
287.93/288.22	c current bound: 1378
288.27/288.78	c current bound: 1378
289.05/289.35	c current bound: 1378
289.39/289.91	c current bound: 1378
290.13/290.47	c current bound: 1378
290.51/291.03	c current bound: 1378
291.26/291.59	c current bound: 1378
291.64/292.15	c current bound: 1378
292.44/292.71	c current bound: 1378
292.78/293.27	c current bound: 1378
293.55/293.84	c current bound: 1378
293.90/294.40	c current bound: 1378
294.65/294.96	c current bound: 1378
295.01/295.52	c current bound: 1378
295.58/296.08	c current bound: 1378
296.16/296.64	c current bound: 1378
296.71/297.20	c current bound: 1378
297.26/297.76	c current bound: 1378
297.83/298.32	c current bound: 1378
298.40/298.88	c current bound: 1378
298.96/299.45	c current bound: 1378
299.52/300.01	c current bound: 1378
300.08/300.57	c current bound: 1378
300.65/301.13	c current bound: 1378
301.21/301.69	c current bound: 1378
301.77/302.25	c current bound: 1378
302.33/302.81	c current bound: 1378
302.90/303.37	c current bound: 1378
303.45/303.93	c current bound: 1378
304.02/304.49	c current bound: 1378
304.59/305.05	c current bound: 1378
305.15/305.61	c current bound: 1378
305.70/306.18	c current bound: 1378
306.27/306.74	c current bound: 1378
306.84/307.30	c current bound: 1378
307.39/307.87	c current bound: 1378
307.96/308.43	c current bound: 1378
308.53/308.99	c current bound: 1378
309.10/309.55	c current bound: 1378
309.89/310.11	c current bound: 1378
310.21/310.67	c current bound: 1378
311.00/311.23	c current bound: 1378
311.34/311.79	c current bound: 1378
312.10/312.36	c current bound: 1378
312.48/312.92	c current bound: 1378
313.20/313.48	c current bound: 1378
313.60/314.04	c current bound: 1378
314.42/314.61	c current bound: 1378
314.72/315.17	c current bound: 1378
315.52/315.73	c current bound: 1378
315.84/316.29	c current bound: 1378
316.61/316.85	c current bound: 1378
316.98/317.41	c current bound: 1378
317.72/317.98	c current bound: 1378
318.10/318.54	c current bound: 1378
318.94/319.10	c current bound: 1378
319.23/319.66	c current bound: 1378
320.03/320.23	c current bound: 1378
320.35/320.79	c current bound: 1378
321.12/321.35	c current bound: 1378
321.49/321.91	c current bound: 1378
322.04/322.48	c current bound: 1378
322.61/323.04	c current bound: 1378
323.17/323.60	c current bound: 1378
323.74/324.16	c current bound: 1378
324.30/324.72	c current bound: 1378
324.86/325.28	c current bound: 1378
325.42/325.85	c current bound: 1378
325.98/326.41	c current bound: 1378
326.55/326.97	c current bound: 1378
327.11/327.53	c current bound: 1378
327.67/328.09	c current bound: 1378
328.23/328.65	c current bound: 1378
328.80/329.21	c current bound: 1378
329.35/329.78	c current bound: 1378
329.92/330.34	c current bound: 1378
330.76/330.90	c current bound: 1378
331.06/331.46	c current bound: 1378
331.61/332.02	c current bound: 1378
332.17/332.58	c current bound: 1378
332.74/333.14	c current bound: 1378
333.31/333.70	c current bound: 1378
333.87/334.26	c current bound: 1378
334.43/334.82	c current bound: 1378
335.00/335.38	c current bound: 1378
335.56/335.94	c current bound: 1378
336.65/336.51	c current bound: 1378
336.68/337.07	c current bound: 1378
337.49/337.63	c current bound: 1378
337.82/338.19	c current bound: 1378
338.60/338.75	c current bound: 1378
338.95/339.31	c current bound: 1378
339.70/339.87	c current bound: 1378
340.07/340.44	c current bound: 1378
340.78/341.00	c current bound: 1378
341.20/341.56	c current bound: 1378
342.00/342.13	c current bound: 1378
342.33/342.69	c current bound: 1378
343.11/343.26	c current bound: 1378
343.46/343.81	c current bound: 1378
344.21/344.37	c current bound: 1378
344.59/344.94	c current bound: 1378
345.43/345.50	c current bound: 1378
345.72/346.06	c current bound: 1378
346.50/346.61	c current bound: 1378
346.83/347.18	c current bound: 1378
347.62/347.74	c current bound: 1378
347.96/348.31	c current bound: 1378
348.53/348.87	c current bound: 1378
349.09/349.43	c current bound: 1378
349.67/349.99	c current bound: 1378
350.22/350.55	c current bound: 1378
350.79/351.11	c current bound: 1378
351.35/351.67	c current bound: 1378
351.91/352.23	c current bound: 1378
352.74/352.80	c current bound: 1378
353.04/353.36	c current bound: 1378
353.60/353.92	c current bound: 1378
354.17/354.49	c current bound: 1378
354.74/355.05	c current bound: 1378
355.29/355.61	c current bound: 1378
355.85/356.17	c current bound: 1378
356.42/356.73	c current bound: 1378
356.97/357.31	c current bound: 1378
357.56/357.87	c current bound: 1378
358.13/358.43	c current bound: 1378
358.68/358.99	c current bound: 1378
359.25/359.55	c current bound: 1378
359.82/360.11	c current bound: 1378
360.38/360.67	c current bound: 1378
360.94/361.23	c current bound: 1378
361.79/361.80	c current bound: 1378
362.07/362.37	c current bound: 1378
362.87/362.94	c current bound: 1378
363.48/363.50	c current bound: 1378
363.97/364.06	c current bound: 1378
364.34/364.62	c current bound: 1378
365.09/365.18	c current bound: 1378
365.45/365.74	c current bound: 1378
366.18/366.30	c current bound: 1378
366.58/366.86	c current bound: 1378
367.37/367.42	c current bound: 1378
367.70/367.99	c current bound: 1378
368.49/368.55	c current bound: 1378
368.83/369.11	c current bound: 1378
369.58/369.68	c current bound: 1378
369.96/370.25	c current bound: 1378
370.78/370.81	c current bound: 1378
371.09/371.37	c current bound: 1378
371.88/371.93	c current bound: 1378
372.23/372.49	c current bound: 1378
372.98/373.05	c current bound: 1378
373.35/373.61	c current bound: 1378
373.91/374.18	c current bound: 1378
374.49/374.74	c current bound: 1378
375.31/375.30	c current bound: 1378
375.61/375.86	c current bound: 1378
376.17/376.42	c current bound: 1378
376.72/376.98	c current bound: 1378
377.27/377.54	c current bound: 1378
377.85/378.10	c current bound: 1378
378.41/378.66	c current bound: 1378
378.97/379.22	c current bound: 1378
379.53/379.78	c current bound: 1378
380.10/380.34	c current bound: 1378
380.66/380.91	c current bound: 1378
381.22/381.47	c current bound: 1378
381.78/382.03	c current bound: 1378
382.35/382.59	c current bound: 1378
382.92/383.15	c current bound: 1378
383.46/383.72	c current bound: 1378
384.03/384.28	c current bound: 1378
384.60/384.85	c current bound: 1378
385.18/385.42	c current bound: 1378
385.74/385.98	c current bound: 1378
386.32/386.54	c current bound: 1378
387.14/387.10	c current bound: 1378
387.43/387.66	c current bound: 1378
388.22/388.22	c current bound: 1378
388.56/388.78	c current bound: 1378
389.32/389.34	c current bound: 1378
389.68/389.92	c current bound: 1378
390.45/390.48	c current bound: 1378
390.83/391.04	c current bound: 1378
391.65/391.60	c current bound: 1378
391.95/392.18	c current bound: 1378
392.73/392.74	c current bound: 1378
393.08/393.30	c current bound: 1378
393.86/393.86	c current bound: 1378
394.21/394.42	c current bound: 1378
394.94/394.98	c current bound: 1378
395.33/395.54	c current bound: 1378
396.13/396.10	c current bound: 1378
396.45/396.66	c current bound: 1378
397.24/397.23	c current bound: 1378
397.58/397.79	c current bound: 1378
398.34/398.35	c current bound: 1378
398.70/398.91	c current bound: 1378
399.26/399.48	c current bound: 1378
399.83/400.04	c current bound: 1378
400.65/400.60	c current bound: 1378
400.94/401.16	c current bound: 1378
401.51/401.72	c current bound: 1378
402.08/402.28	c current bound: 1378
402.63/402.84	c current bound: 1378
403.21/403.40	c current bound: 1378
403.77/403.96	c current bound: 1378
404.33/404.53	c current bound: 1378
404.89/405.09	c current bound: 1378
405.45/405.65	c current bound: 1378
406.02/406.21	c current bound: 1378
406.58/406.77	c current bound: 1378
407.16/407.34	c current bound: 1378
407.98/407.90	c current bound: 1378
408.28/408.46	c current bound: 1378
408.84/409.03	c current bound: 1378
409.69/409.60	c current bound: 1378
409.98/410.17	c current bound: 1378
410.55/410.74	c current bound: 1378
411.13/411.30	c current bound: 1378
411.69/411.87	c current bound: 1378
412.48/412.43	c current bound: 1378
412.81/412.99	c current bound: 1378
413.59/413.56	c current bound: 1378
413.95/414.12	c current bound: 1378
414.70/414.68	c current bound: 1378
415.08/415.24	c current bound: 1378
415.92/415.80	c current bound: 1378
416.21/416.36	c current bound: 1378
417.02/416.92	c current bound: 1378
417.33/417.48	c current bound: 1378
418.10/418.05	c current bound: 1378
418.46/418.61	c current bound: 1378
419.21/419.17	c current bound: 1378
419.58/419.73	c current bound: 1378
420.32/420.29	c current bound: 1378
420.70/420.85	c current bound: 1378
421.51/421.41	c current bound: 1378
421.83/421.97	c current bound: 1378
422.61/422.53	c current bound: 1378
422.96/423.09	c current bound: 1378
423.72/423.66	c current bound: 1378
424.09/424.22	c current bound: 1378
424.65/424.78	c current bound: 1378
425.21/425.34	c current bound: 1378
426.02/425.90	c current bound: 1378
426.32/426.46	c current bound: 1378
426.89/427.02	c current bound: 1378
427.45/427.58	c current bound: 1378
428.02/428.14	c current bound: 1378
428.59/428.71	c current bound: 1378
429.13/429.27	c current bound: 1378
429.70/429.83	c current bound: 1378
430.27/430.39	c current bound: 1378
430.83/430.95	c current bound: 1378
431.39/431.51	c current bound: 1378
431.96/432.07	c current bound: 1378
432.52/432.63	c current bound: 1378
433.08/433.19	c current bound: 1378
433.64/433.75	c current bound: 1378
434.19/434.31	c current bound: 1378
434.77/434.87	c current bound: 1378
435.32/435.43	c current bound: 1378
435.88/435.99	c current bound: 1378
436.45/436.55	c current bound: 1378
437.01/437.11	c current bound: 1378
437.57/437.67	c current bound: 1378
438.13/438.23	c current bound: 1378
438.70/438.79	c current bound: 1378
439.26/439.36	c current bound: 1378
440.07/439.92	c current bound: 1378
440.39/440.48	c current bound: 1378
441.17/441.04	c current bound: 1378
441.52/441.60	c current bound: 1378
442.28/442.17	c current bound: 1378
442.64/442.73	c current bound: 1378
443.37/443.29	c current bound: 1378
443.77/443.85	c current bound: 1378
444.59/444.41	c current bound: 1378
444.88/444.97	c current bound: 1378
445.68/445.53	c current bound: 1378
446.01/446.09	c current bound: 1378
446.79/446.65	c current bound: 1378
447.14/447.21	c current bound: 1378
447.89/447.77	c current bound: 1378
448.26/448.33	c current bound: 1378
448.99/448.89	c current bound: 1378
449.39/449.45	c current bound: 1378
450.18/450.02	c current bound: 1378
450.52/450.58	c current bound: 1378
451.30/451.14	c current bound: 1378
451.91/451.70	c current bound: 1378
452.40/452.26	c current bound: 1378
452.77/452.82	c current bound: 1378
453.33/453.38	c current bound: 1378
453.89/453.94	c current bound: 1378
454.47/454.56	c current bound: 1378
455.02/455.12	c current bound: 1378
455.58/455.68	c current bound: 1378
456.14/456.24	c current bound: 1378
456.71/456.80	c current bound: 1378
457.27/457.36	c current bound: 1378
457.84/457.92	c current bound: 1378
458.39/458.48	c current bound: 1378
458.96/459.06	c current bound: 1378
459.54/459.62	c current bound: 1378
460.09/460.18	c current bound: 1378
460.66/460.74	c current bound: 1378
461.22/461.30	c current bound: 1378
461.78/461.87	c current bound: 1378
462.36/462.43	c current bound: 1378
463.15/463.12	c current bound: 1378
463.49/463.69	c current bound: 1378
464.25/464.25	c current bound: 1378
464.61/464.81	c current bound: 1378
465.36/465.37	c current bound: 1378
465.74/465.93	c current bound: 1378
466.47/466.49	c current bound: 1378
466.86/467.05	c current bound: 1378
467.69/467.81	c current bound: 1378
467.99/468.37	c current bound: 1378
468.56/468.94	c current bound: 1378
469.38/469.50	c current bound: 1378
469.68/470.06	c current bound: 1378
470.23/470.62	c current bound: 1378
470.80/471.18	c current bound: 1378
471.36/471.74	c current bound: 1378
471.93/472.31	c current bound: 1378
472.50/472.87	c current bound: 1378
473.06/473.43	c current bound: 1378
473.63/473.99	c current bound: 1378
474.18/474.56	c current bound: 1378
474.98/475.12	c current bound: 1378
475.31/475.68	c current bound: 1378
476.08/476.25	c current bound: 1378
476.43/476.81	c current bound: 1378
477.19/477.37	c current bound: 1378
477.56/477.94	c current bound: 1378
478.29/478.50	c current bound: 1378
478.69/479.06	c current bound: 1378
479.48/479.63	c current bound: 1378
479.82/480.19	c current bound: 1378
480.59/480.75	c current bound: 1378
480.94/481.31	c current bound: 1378
481.69/481.88	c current bound: 1378
482.07/482.44	c current bound: 1378
482.89/483.00	c current bound: 1378
483.19/483.56	c current bound: 1378
483.97/484.13	c current bound: 1378
484.31/484.69	c current bound: 1378
485.07/485.25	c current bound: 1378
485.44/485.81	c current bound: 1378
486.00/486.37	c current bound: 1378
486.56/486.93	c current bound: 1378
487.13/487.49	c current bound: 1378
487.69/488.05	c current bound: 1378
488.25/488.62	c current bound: 1378
488.81/489.18	c current bound: 1378
489.38/489.74	c current bound: 1378
489.92/490.30	c current bound: 1378
490.49/490.86	c current bound: 1378
491.06/491.42	c current bound: 1378
491.63/491.99	c current bound: 1378
492.18/492.54	c current bound: 1378
492.75/493.11	c current bound: 1378
493.31/493.67	c current bound: 1378
493.87/494.23	c current bound: 1378
494.43/494.79	c current bound: 1378
494.99/495.36	c current bound: 1378
495.56/495.92	c current bound: 1378
496.11/496.48	c current bound: 1378
496.68/497.04	c current bound: 1378
497.24/497.60	c current bound: 1378
497.81/498.16	c current bound: 1378
498.36/498.73	c current bound: 1378
498.92/499.29	c current bound: 1378
499.50/499.85	c current bound: 1378
500.29/500.42	c current bound: 1378
500.61/500.98	c current bound: 1378
501.39/501.54	c current bound: 1378
501.75/502.10	c current bound: 1378
502.49/502.67	c current bound: 1378
502.86/503.23	c current bound: 1378
503.59/503.79	c current bound: 1378
503.99/504.35	c current bound: 1378
504.79/504.92	c current bound: 1378
505.11/505.49	c current bound: 1378
505.90/506.05	c current bound: 1378
506.25/506.62	c current bound: 1378
507.00/507.18	c current bound: 1378
507.38/507.74	c current bound: 1378
508.18/508.31	c current bound: 1378
508.50/508.87	c current bound: 1378
509.28/509.44	c current bound: 1378
509.90/510.00	c current bound: 1378
510.39/510.56	c current bound: 1378
510.76/511.12	c current bound: 1378
511.32/511.68	c current bound: 1378
511.88/512.24	c current bound: 1378
512.44/512.80	c current bound: 1378
513.00/513.38	c current bound: 1378
513.56/513.94	c current bound: 1378
514.13/514.50	c current bound: 1378
514.70/515.07	c current bound: 1378
515.27/515.62	c current bound: 1378
515.83/516.19	c current bound: 1378
516.39/516.75	c current bound: 1378
516.95/517.31	c current bound: 1378
517.51/517.87	c current bound: 1378
518.08/518.43	c current bound: 1378
518.64/518.99	c current bound: 1378
519.20/519.56	c current bound: 1378
519.76/520.12	c current bound: 1378
520.32/520.68	c current bound: 1378
520.88/521.24	c current bound: 1378
521.44/521.80	c current bound: 1378
522.01/522.36	c current bound: 1378
522.58/522.92	c current bound: 1378
523.14/523.48	c current bound: 1378
523.71/524.04	c current bound: 1378
524.53/524.61	c current bound: 1378
524.82/525.17	c current bound: 1378
525.62/525.73	c current bound: 1378
526.21/526.30	c current bound: 1378
526.72/526.86	c current bound: 1378
527.08/527.42	c current bound: 1378
527.82/527.98	c current bound: 1378
528.21/528.54	c current bound: 1378
529.04/529.12	c current bound: 1378
529.36/529.68	c current bound: 1378
530.13/530.24	c current bound: 1378
530.48/530.80	c current bound: 1378
531.24/531.36	c current bound: 1378
531.61/531.93	c current bound: 1378
532.36/532.49	c current bound: 1378
532.74/533.05	c current bound: 1378
533.54/533.62	c current bound: 1378
533.88/534.18	c current bound: 1378
534.64/534.74	c current bound: 1378
534.99/535.31	c current bound: 1378
535.56/535.87	c current bound: 1378
536.12/536.43	c current bound: 1378
536.68/536.99	c current bound: 1378
537.25/537.55	c current bound: 1378
537.81/538.11	c current bound: 1378
538.37/538.68	c current bound: 1378
538.94/539.24	c current bound: 1378
539.76/539.80	c current bound: 1378
540.06/540.36	c current bound: 1378
540.63/540.92	c current bound: 1378
541.18/541.49	c current bound: 1378
541.75/542.05	c current bound: 1378
542.32/542.61	c current bound: 1378
542.88/543.17	c current bound: 1378
543.44/543.73	c current bound: 1378
543.99/544.29	c current bound: 1378
544.57/544.86	c current bound: 1378
545.13/545.42	c current bound: 1378
545.70/545.98	c current bound: 1378
546.25/546.54	c current bound: 1378
546.82/547.10	c current bound: 1378
547.39/547.66	c current bound: 1378
547.94/548.22	c current bound: 1378
548.51/548.79	c current bound: 1378
549.07/549.35	c current bound: 1378
549.89/549.91	c current bound: 1378
550.20/550.47	c current bound: 1378
551.01/551.03	c current bound: 1378
551.34/551.59	c current bound: 1378
552.10/552.17	c current bound: 1378
552.47/552.73	c current bound: 1378
553.21/553.29	c current bound: 1378
553.60/553.85	c current bound: 1378
554.41/554.41	c current bound: 1378
554.73/554.97	c current bound: 1378
555.52/555.54	c current bound: 1378
556.11/556.10	c current bound: 1378
556.60/556.66	c current bound: 1378
556.97/557.22	c current bound: 1378
557.70/557.78	c current bound: 1378
558.09/558.34	c current bound: 1378
558.92/558.90	c current bound: 1378
559.50/559.51	c current bound: 1378
559.78/560.07	c current bound: 1378
560.35/560.63	c current bound: 1378
561.18/561.20	c current bound: 1378
561.47/561.76	c current bound: 1378
562.04/562.32	c current bound: 1378
562.60/562.88	c current bound: 1378
563.16/563.45	c current bound: 1378
563.72/564.01	c current bound: 1378
564.28/564.57	c current bound: 1378
564.86/565.13	c current bound: 1378
565.41/565.69	c current bound: 1378
565.99/566.26	c current bound: 1378
566.55/566.82	c current bound: 1378
567.10/567.38	c current bound: 1378
567.67/567.94	c current bound: 1378
568.24/568.50	c current bound: 1378
568.80/569.07	c current bound: 1378
569.37/569.63	c current bound: 1378
569.93/570.20	c current bound: 1378
570.49/570.76	c current bound: 1378
571.06/571.32	c current bound: 1378
571.62/571.89	c current bound: 1378
572.19/572.45	c current bound: 1378
572.75/573.01	c current bound: 1378
573.30/573.57	c current bound: 1378
574.09/574.13	c current bound: 1378
574.43/574.69	c current bound: 1378
575.19/575.25	c current bound: 1378
575.55/575.81	c current bound: 1378
576.30/576.37	c current bound: 1378
576.68/576.94	c current bound: 1378
577.40/577.50	c current bound: 1378
577.82/578.07	c current bound: 1378
578.61/578.63	c current bound: 1378
578.92/579.19	c current bound: 1378
579.70/579.75	c current bound: 1378
580.06/580.31	c current bound: 1378
580.82/580.87	c current bound: 1378
581.19/581.44	c current bound: 1378
582.00/582.00	c current bound: 1378
582.33/582.56	c current bound: 1378
583.12/583.12	c current bound: 1378
583.44/583.68	c current bound: 1378
584.21/584.24	c current bound: 1378
584.58/584.81	c current bound: 1378
585.14/585.38	c current bound: 1378
585.70/585.94	c current bound: 1378
586.54/586.50	c current bound: 1378
586.83/587.06	c current bound: 1378
587.38/587.62	c current bound: 1378
587.94/588.18	c current bound: 1378
588.51/588.75	c current bound: 1378
589.08/589.31	c current bound: 1378
589.63/589.87	c current bound: 1378
590.20/590.44	c current bound: 1378
590.77/591.00	c current bound: 1378
591.34/591.56	c current bound: 1378
591.89/592.13	c current bound: 1378
592.46/592.69	c current bound: 1378
593.03/593.25	c current bound: 1378
593.58/593.82	c current bound: 1378
594.14/594.38	c current bound: 1378
594.71/594.94	c current bound: 1378
595.55/595.50	c current bound: 1378
595.84/596.06	c current bound: 1378
596.40/596.62	c current bound: 1378
596.97/597.18	c current bound: 1378
597.53/597.75	c current bound: 1378
598.34/598.32	c current bound: 1378
598.66/598.88	c current bound: 1378
599.45/599.44	c current bound: 1378
600.06/600.00	c current bound: 1378
600.55/600.56	c current bound: 1378
600.92/601.12	c current bound: 1378
601.66/601.68	c current bound: 1378
602.05/602.24	c current bound: 1378
602.85/602.82	c current bound: 1378
603.18/603.38	c current bound: 1378
603.95/603.94	c current bound: 1378
604.30/604.50	c current bound: 1378
605.06/605.07	c current bound: 1378
605.43/605.63	c current bound: 1378
606.16/606.19	c current bound: 1378
606.56/606.75	c current bound: 1378
607.37/607.31	c current bound: 1378
607.68/607.87	c current bound: 1378
608.46/608.43	c current bound: 1378
608.81/608.99	c current bound: 1378
609.57/609.56	c current bound: 1378
609.93/610.12	c current bound: 1378
610.50/610.69	c current bound: 1378
611.06/611.25	c current bound: 1378
611.62/611.81	c current bound: 1378
612.18/612.38	c current bound: 1378
612.75/612.94	c current bound: 1378
613.31/613.50	c current bound: 1378
613.88/614.07	c current bound: 1378
614.44/614.63	c current bound: 1378
615.28/615.20	c current bound: 1378
615.58/615.76	c current bound: 1378
616.15/616.33	c current bound: 1378
616.69/616.89	c current bound: 1378
617.26/617.46	c current bound: 1378
617.83/618.03	c current bound: 1378
618.39/618.59	c current bound: 1378
618.96/619.15	c current bound: 1378
619.54/619.71	c current bound: 1378
620.10/620.27	c current bound: 1378
620.65/620.84	c current bound: 1378
621.51/621.40	c current bound: 1378
621.78/621.96	c current bound: 1378
622.57/622.53	c current bound: 1378
622.92/623.09	c current bound: 1378
623.69/623.65	c current bound: 1378
624.04/624.21	c current bound: 1378
624.79/624.78	c current bound: 1378
625.17/625.34	c current bound: 1378
626.00/625.91	c current bound: 1378
626.30/626.47	c current bound: 1378
627.08/627.03	c current bound: 1378
627.42/627.59	c current bound: 1378
628.20/628.16	c current bound: 1378
628.55/628.72	c current bound: 1378
629.29/629.28	c current bound: 1378
629.68/629.84	c current bound: 1378
630.49/630.40	c current bound: 1378
630.80/630.96	c current bound: 1378
631.59/631.52	c current bound: 1378
631.93/632.08	c current bound: 1378
632.69/632.65	c current bound: 1378
633.04/633.21	c current bound: 1378
633.61/633.77	c current bound: 1378
634.18/634.33	c current bound: 1378
634.74/634.90	c current bound: 1378
635.31/635.46	c current bound: 1378
635.88/636.04	c current bound: 1378
636.72/636.60	c current bound: 1378
637.02/637.17	c current bound: 1378
637.58/637.74	c current bound: 1378
638.41/638.30	c current bound: 1378
638.70/638.86	c current bound: 1378
639.27/639.43	c current bound: 1378
639.84/639.99	c current bound: 1378
640.41/640.56	c current bound: 1378
640.97/641.12	c current bound: 1378
641.55/641.69	c current bound: 1378
642.10/642.24	c current bound: 1378
642.66/642.80	c current bound: 1378
643.23/643.37	c current bound: 1378
643.79/643.93	c current bound: 1378
644.36/644.49	c current bound: 1378
644.91/645.05	c current bound: 1378
645.72/645.61	c current bound: 1378
646.04/646.17	c current bound: 1378
646.84/646.74	c current bound: 1378
647.18/647.31	c current bound: 1378
647.93/647.87	c current bound: 1378
648.30/648.44	c current bound: 1378
649.03/649.00	c current bound: 1378
649.43/649.56	c current bound: 1378
650.24/650.12	c current bound: 1378
650.56/650.68	c current bound: 1378
651.34/651.24	c current bound: 1378
651.68/651.80	c current bound: 1378
652.43/652.36	c current bound: 1378
652.81/652.92	c current bound: 1378
653.55/653.48	c current bound: 1378
653.93/654.05	c current bound: 1378
654.74/654.61	c current bound: 1378
655.07/655.18	c current bound: 1378
655.84/655.74	c current bound: 1378
656.45/656.30	c current bound: 1378
656.94/656.86	c current bound: 1378
657.31/657.42	c current bound: 1378
657.87/657.98	c current bound: 1378
658.44/658.54	c current bound: 1378
659.01/659.10	c current bound: 1378
659.56/659.66	c current bound: 1378
660.12/660.23	c current bound: 1378
660.68/660.79	c current bound: 1378
661.24/661.36	c current bound: 1378
661.81/661.92	c current bound: 1378
662.37/662.48	c current bound: 1378
662.95/663.04	c current bound: 1378
663.51/663.60	c current bound: 1378
664.06/664.17	c current bound: 1378
664.62/664.73	c current bound: 1378
665.19/665.29	c current bound: 1378
665.75/665.86	c current bound: 1378
666.32/666.42	c current bound: 1378
666.88/666.98	c current bound: 1378
667.44/667.54	c current bound: 1378
668.00/668.10	c current bound: 1378
668.57/668.66	c current bound: 1378
669.13/669.22	c current bound: 1378
669.70/669.79	c current bound: 1378
670.26/670.35	c current bound: 1378
671.06/670.91	c current bound: 1378
671.38/671.47	c current bound: 1378
672.17/672.04	c current bound: 1378
672.79/672.60	c current bound: 1378
673.27/673.16	c current bound: 1378
673.63/673.72	c current bound: 1378
674.37/674.28	c current bound: 1378
674.77/674.84	c current bound: 1378
675.50/675.40	c current bound: 1378
675.90/675.96	c current bound: 1378
676.70/676.52	c current bound: 1378
677.03/677.09	c current bound: 1378
677.79/677.65	c current bound: 1378
678.14/678.21	c current bound: 1378
678.89/678.77	c current bound: 1378
679.27/679.33	c current bound: 1378
680.00/679.89	c current bound: 1378
680.40/680.45	c current bound: 1378
681.20/681.01	c current bound: 1378
681.52/681.58	c current bound: 1378
682.30/682.14	c current bound: 1378
682.91/682.70	c current bound: 1378
683.40/683.26	c current bound: 1378
683.78/683.82	c current bound: 1378
684.34/684.39	c current bound: 1378
684.89/684.95	c current bound: 1378
685.46/685.52	c current bound: 1378
686.03/686.08	c current bound: 1378
686.59/686.65	c current bound: 1378
687.16/687.22	c current bound: 1378
687.73/687.78	c current bound: 1378
688.29/688.34	c current bound: 1378
688.86/688.90	c current bound: 1378
689.42/689.46	c current bound: 1378
690.00/690.02	c current bound: 1378
690.56/690.59	c current bound: 1378
691.12/691.15	c current bound: 1378
691.67/691.71	c current bound: 1378
692.24/692.27	c current bound: 1378
692.80/692.83	c current bound: 1378
693.36/693.39	c current bound: 1378
693.93/693.95	c current bound: 1378
694.50/694.51	c current bound: 1378
695.07/695.07	c current bound: 1378
695.63/695.64	c current bound: 1378
696.47/696.20	c current bound: 1378
696.75/696.76	c current bound: 1378
697.55/697.32	c current bound: 1378
697.88/697.88	c current bound: 1378
698.65/698.44	c current bound: 1378
699.01/699.00	c current bound: 1378
699.76/699.56	c current bound: 1378
700.13/700.12	c current bound: 1378
700.86/700.68	c current bound: 1378
701.25/701.24	c current bound: 1378
702.08/701.81	c current bound: 1378
702.37/702.37	c current bound: 1378
703.18/702.93	c current bound: 1378
703.50/703.49	c current bound: 1378
704.28/704.05	c current bound: 1378
704.63/704.61	c current bound: 1378
705.38/705.17	c current bound: 1378
705.76/705.73	c current bound: 1378
706.48/706.30	c current bound: 1378
706.88/706.86	c current bound: 1378
707.67/707.42	c current bound: 1378
708.01/707.98	c current bound: 1378
708.79/708.54	c current bound: 1378
709.13/709.11	c current bound: 1378
709.71/709.67	c current bound: 1378
710.27/710.23	c current bound: 1378
710.83/710.79	c current bound: 1378
711.38/711.36	c current bound: 1378
711.95/711.92	c current bound: 1378
712.52/712.48	c current bound: 1378
713.08/713.05	c current bound: 1378
713.63/713.61	c current bound: 1378
714.21/714.17	c current bound: 1378
714.76/714.73	c current bound: 1378
715.33/715.29	c current bound: 1378
715.90/715.86	c current bound: 1378
716.46/716.42	c current bound: 1378
717.02/716.98	c current bound: 1378
717.58/717.54	c current bound: 1378
718.15/718.10	c current bound: 1378
718.71/718.67	c current bound: 1378
719.28/719.23	c current bound: 1378
719.84/719.79	c current bound: 1378
720.41/720.35	c current bound: 1378
720.98/720.91	c current bound: 1378
721.52/721.47	c current bound: 1378
722.09/722.04	c current bound: 1378
722.66/722.60	c current bound: 1378
723.21/723.17	c current bound: 1378
723.99/723.73	c current bound: 1378
724.34/724.30	c current bound: 1378
725.12/724.86	c current bound: 1378
725.48/725.42	c current bound: 1378
726.23/725.98	c current bound: 1378
726.62/726.54	c current bound: 1378
727.44/727.10	c current bound: 1378
727.73/727.66	c current bound: 1378
728.53/728.22	c current bound: 1378
728.86/728.78	c current bound: 1378
729.64/729.35	c current bound: 1378
729.99/729.91	c current bound: 1378
730.74/730.47	c current bound: 1378
731.11/731.04	c current bound: 1378
731.94/731.60	c current bound: 1378
732.24/732.16	c current bound: 1378
733.04/732.72	c current bound: 1378
733.36/733.28	c current bound: 1378
734.14/733.84	c current bound: 1378
734.50/734.40	c current bound: 1378
735.06/734.96	c current bound: 1378
735.62/735.53	c current bound: 1378
736.18/736.09	c current bound: 1378
736.75/736.65	c current bound: 1378
737.30/737.21	c current bound: 1378
737.88/737.78	c current bound: 1378
738.44/738.34	c current bound: 1378
739.27/738.90	c current bound: 1378
739.56/739.46	c current bound: 1378
740.12/740.02	c current bound: 1378
740.69/740.58	c current bound: 1378
741.25/741.15	c current bound: 1378
741.81/741.71	c current bound: 1378
742.39/742.27	c current bound: 1378
742.94/742.84	c current bound: 1378
743.50/743.39	c current bound: 1378
744.07/743.96	c current bound: 1378
744.64/744.52	c current bound: 1378
745.21/745.09	c current bound: 1378
745.76/745.65	c current bound: 1378
746.32/746.21	c current bound: 1378
746.90/746.78	c current bound: 1378
747.45/747.34	c current bound: 1378
748.02/747.90	c current bound: 1378
748.58/748.46	c current bound: 1378
749.38/749.02	c current bound: 1378
749.69/749.58	c current bound: 1378
750.47/750.14	c current bound: 1378
751.09/750.70	c current bound: 1378
751.58/751.26	c current bound: 1378
751.96/751.83	c current bound: 1378
752.68/752.39	c current bound: 1378
753.08/752.95	c current bound: 1378
753.90/753.51	c current bound: 1378
754.21/754.07	c current bound: 1378
754.99/754.63	c current bound: 1378
755.33/755.19	c current bound: 1378
756.09/755.75	c current bound: 1378
756.46/756.32	c current bound: 1378
757.20/756.88	c current bound: 1378
757.58/757.44	c current bound: 1378
758.42/758.00	c current bound: 1378
758.71/758.56	c current bound: 1378
759.51/759.12	c current bound: 1378
759.84/759.68	c current bound: 1378
760.63/760.24	c current bound: 1378
760.97/760.80	c current bound: 1378
761.73/761.36	c current bound: 1378
762.10/761.92	c current bound: 1378
762.67/762.49	c current bound: 1378
763.22/763.05	c current bound: 1378
763.78/763.61	c current bound: 1378
764.35/764.17	c current bound: 1378
764.91/764.74	c current bound: 1378
765.75/765.30	c current bound: 1378
766.04/765.86	c current bound: 1378
766.61/766.42	c current bound: 1378
767.16/766.99	c current bound: 1378
767.72/767.55	c current bound: 1378
768.29/768.11	c current bound: 1378
768.86/768.67	c current bound: 1378
769.42/769.23	c current bound: 1378
769.98/769.79	c current bound: 1378
770.53/770.35	c current bound: 1378
771.10/770.91	c current bound: 1378
771.67/771.47	c current bound: 1378
772.22/772.03	c current bound: 1378
772.79/772.59	c current bound: 1378
773.37/773.16	c current bound: 1378
773.91/773.72	c current bound: 1378
774.49/774.28	c current bound: 1378
775.05/774.84	c current bound: 1378
775.61/775.40	c current bound: 1378
776.17/775.96	c current bound: 1378
776.98/776.52	c current bound: 1378
777.30/777.08	c current bound: 1378
778.07/777.65	c current bound: 1378
778.43/778.21	c current bound: 1378
779.18/778.77	c current bound: 1378
779.56/779.33	c current bound: 1378
780.29/779.89	c current bound: 1378
780.69/780.44	c current bound: 1378
781.52/781.00	c current bound: 1378
781.82/781.57	c current bound: 1378
782.60/782.13	c current bound: 1378
782.93/782.69	c current bound: 1378
783.71/783.25	c current bound: 1378
784.06/783.81	c current bound: 1378
784.81/784.37	c current bound: 1378
785.18/784.93	c current bound: 1378
786.01/785.50	c current bound: 1378
786.31/786.06	c current bound: 1378
787.10/786.62	c current bound: 1378
787.43/787.18	c current bound: 1378
788.21/787.74	c current bound: 1378
788.56/788.30	c current bound: 1378
789.11/788.86	c current bound: 1378
789.68/789.42	c current bound: 1378
790.24/789.99	c current bound: 1378
790.81/790.55	c current bound: 1378
791.36/791.12	c current bound: 1378
791.93/791.68	c current bound: 1378
792.50/792.24	c current bound: 1378
793.05/792.80	c current bound: 1378
793.61/793.36	c current bound: 1378
794.17/793.92	c current bound: 1378
794.74/794.49	c current bound: 1378
795.31/795.05	c current bound: 1378
795.86/795.61	c current bound: 1378
796.43/796.17	c current bound: 1378
797.00/796.73	c current bound: 1378
797.83/797.30	c current bound: 1378
798.11/797.86	c current bound: 1378
798.68/798.42	c current bound: 1378
799.24/798.98	c current bound: 1378
799.80/799.54	c current bound: 1378
800.35/800.11	c current bound: 1378
800.92/800.67	c current bound: 1378
801.49/801.23	c current bound: 1378
802.05/801.79	c current bound: 1378
802.61/802.35	c current bound: 1378
803.43/802.91	c current bound: 1378
803.74/803.48	c current bound: 1378
804.52/804.03	c current bound: 1378
805.13/804.60	c current bound: 1378
805.62/805.16	c current bound: 1378
805.99/805.72	c current bound: 1378
806.72/806.27	c current bound: 1378
807.11/806.84	c current bound: 1378
807.83/807.40	c current bound: 1378
808.22/807.96	c current bound: 1378
809.02/808.52	c current bound: 1378
809.36/809.08	c current bound: 1378
810.12/809.65	c current bound: 1378
810.48/810.21	c current bound: 1378
811.24/810.77	c current bound: 1378
811.61/811.33	c current bound: 1378
812.34/811.89	c current bound: 1378
812.74/812.46	c current bound: 1378
813.54/813.03	c current bound: 1378
813.89/813.59	c current bound: 1378
814.64/814.15	c current bound: 1378
814.99/814.71	c current bound: 1378
815.56/815.28	c current bound: 1378
816.13/815.84	c current bound: 1378
816.69/816.40	c current bound: 1378
817.25/816.96	c current bound: 1378
817.82/817.53	c current bound: 1378
818.39/818.09	c current bound: 1378
818.95/818.66	c current bound: 1378
819.51/819.22	c current bound: 1378
820.07/819.78	c current bound: 1378
820.64/820.34	c current bound: 1378
821.21/820.90	c current bound: 1378
821.75/821.46	c current bound: 1378
822.31/822.03	c current bound: 1378
822.88/822.59	c current bound: 1378
823.45/823.15	c current bound: 1378
824.01/823.71	c current bound: 1378
824.56/824.27	c current bound: 1378
825.12/824.83	c current bound: 1378
825.69/825.39	c current bound: 1378
826.26/825.95	c current bound: 1378
826.82/826.51	c current bound: 1378
827.39/827.07	c current bound: 1378
827.94/827.65	c current bound: 1378
828.77/828.21	c current bound: 1378
829.08/828.77	c current bound: 1378
829.87/829.33	c current bound: 1378
830.47/829.90	c current bound: 1378
830.97/830.46	c current bound: 1378
831.35/831.02	c current bound: 1378
832.09/831.58	c current bound: 1378
832.47/832.15	c current bound: 1378
833.27/832.71	c current bound: 1378
833.60/833.27	c current bound: 1378
834.38/833.83	c current bound: 1378
834.72/834.39	c current bound: 1378
835.48/834.96	c current bound: 1378
835.85/835.52	c current bound: 1378
836.59/836.09	c current bound: 1378
836.98/836.65	c current bound: 1378
837.79/837.21	c current bound: 1378
838.11/837.77	c current bound: 1378
838.90/838.33	c current bound: 1378
839.24/838.89	c current bound: 1378
839.98/839.46	c current bound: 1378
840.36/840.02	c current bound: 1378
840.94/840.59	c current bound: 1378
841.51/841.15	c current bound: 1378
842.06/841.71	c current bound: 1378
842.62/842.27	c current bound: 1378
843.20/842.83	c current bound: 1378
843.76/843.39	c current bound: 1378
844.30/843.95	c current bound: 1378
844.87/844.52	c current bound: 1378
845.43/845.08	c current bound: 1378
845.99/845.64	c current bound: 1378
846.55/846.20	c current bound: 1378
847.11/846.76	c current bound: 1378
847.67/847.33	c current bound: 1378
848.24/847.89	c current bound: 1378
848.80/848.45	c current bound: 1378
849.36/849.01	c current bound: 1378
849.92/849.57	c current bound: 1378
850.49/850.13	c current bound: 1378
851.06/850.69	c current bound: 1378
851.62/851.26	c current bound: 1378
852.19/851.82	c current bound: 1378
852.76/852.38	c current bound: 1378
853.31/852.94	c current bound: 1378
854.41/853.51	c current bound: 1378
854.45/854.07	c current bound: 1378
855.23/854.63	c current bound: 1378
855.57/855.19	c current bound: 1378
856.35/855.76	c current bound: 1378
856.70/856.32	c current bound: 1378
857.43/856.88	c current bound: 1378
857.82/857.44	c current bound: 1378
858.63/858.01	c current bound: 1378
858.93/858.57	c current bound: 1378
859.72/859.13	c current bound: 1378
860.06/859.69	c current bound: 1378
860.84/860.26	c current bound: 1378
861.19/860.82	c current bound: 1378
861.93/861.39	c current bound: 1378
862.31/861.95	c current bound: 1378
862.88/862.60	c current bound: 1378
863.45/863.16	c current bound: 1378
864.01/863.72	c current bound: 1378
864.57/864.28	c current bound: 1378
865.13/864.84	c current bound: 1378
865.69/865.41	c current bound: 1378
866.26/865.97	c current bound: 1378
866.83/866.53	c current bound: 1378
867.66/867.20	c current bound: 1378
867.96/867.77	c current bound: 1378
868.53/868.33	c current bound: 1378
869.09/868.89	c current bound: 1378
869.63/869.45	c current bound: 1378
870.44/870.02	c current bound: 1378
870.76/870.58	c current bound: 1378
871.55/871.14	c current bound: 1378
871.89/871.70	c current bound: 1378
872.72/872.41	c current bound: 1378
873.02/872.97	c current bound: 1378
873.78/873.54	c current bound: 1378
874.40/874.10	c current bound: 1378
874.88/874.66	c current bound: 1378
875.27/875.22	c current bound: 1378
875.84/875.79	c current bound: 1378
876.40/876.34	c current bound: 1378
876.97/876.91	c current bound: 1378
877.53/877.63	c current bound: 1378
878.10/878.19	c current bound: 1378
878.66/878.75	c current bound: 1378
879.21/879.31	c current bound: 1378
879.78/879.87	c current bound: 1378
880.34/880.44	c current bound: 1378
880.92/881.00	c current bound: 1378
881.47/881.56	c current bound: 1378
882.28/882.12	c current bound: 1378
882.60/882.86	c current bound: 1378
883.40/883.43	c current bound: 1378
883.75/883.99	c current bound: 1378
884.50/884.56	c current bound: 1378
884.87/885.12	c current bound: 1378
885.44/885.68	c current bound: 1378
885.99/886.24	c current bound: 1378
886.56/886.80	c current bound: 1378
887.12/887.36	c current bound: 1378
887.68/887.93	c current bound: 1378
888.25/888.49	c current bound: 1378
888.81/889.05	c current bound: 1378
889.38/889.62	c current bound: 1378
889.94/890.18	c current bound: 1378
890.50/890.74	c current bound: 1378
891.33/891.30	c current bound: 1378
891.63/891.86	c current bound: 1378
892.19/892.42	c current bound: 1378
893.01/893.12	c current bound: 1378
893.32/893.68	c current bound: 1378
894.11/894.24	c current bound: 1378
894.45/894.80	c current bound: 1378
895.20/895.37	c current bound: 1378
895.57/895.93	c current bound: 1378
896.30/896.49	c current bound: 1378
896.69/897.05	c current bound: 1378
897.51/897.62	c current bound: 1378
897.82/898.25	c current bound: 1378
898.63/898.81	c current bound: 1378
898.95/899.37	c current bound: 1378
899.73/899.93	c current bound: 1378
900.06/900.49	c current bound: 1378
900.82/901.06	c current bound: 1378
901.19/901.62	c current bound: 1378
901.75/902.18	c current bound: 1378
902.32/902.74	c current bound: 1378
903.15/903.30	c current bound: 1378
903.45/903.86	c current bound: 1378
904.00/904.42	c current bound: 1378
904.56/904.98	c current bound: 1378
905.12/905.54	c current bound: 1378
905.69/906.11	c current bound: 1378
906.26/906.67	c current bound: 1378
906.81/907.23	c current bound: 1378
907.38/907.79	c current bound: 1378
908.20/908.40	c current bound: 1378
908.51/908.96	c current bound: 1378
909.07/909.52	c current bound: 1378
909.63/910.08	c current bound: 1378
910.20/910.65	c current bound: 1378
910.76/911.21	c current bound: 1378
911.32/911.77	c current bound: 1378
911.88/912.33	c current bound: 1378
912.44/912.89	c current bound: 1378
913.29/913.52	c current bound: 1378
913.75/914.09	c current bound: 1378
914.13/914.65	c current bound: 1378
914.95/915.21	c current bound: 1378
915.26/915.78	c current bound: 1378
916.05/916.34	c current bound: 1378
916.39/916.91	c current bound: 1378
917.15/917.47	c current bound: 1378
917.52/918.03	c current bound: 1378
918.34/918.63	c current bound: 1378
918.63/919.19	c current bound: 1378
919.41/919.77	c current bound: 1378
919.78/920.33	c current bound: 1378
920.34/920.89	c current bound: 1378
920.90/921.46	c current bound: 1378
921.46/922.02	c current bound: 1378
922.03/922.58	c current bound: 1378
922.59/923.14	c current bound: 1378
923.16/923.73	c current bound: 1378
923.73/924.29	c current bound: 1378
924.29/924.86	c current bound: 1378
924.86/925.42	c current bound: 1378
925.43/925.98	c current bound: 1378
925.99/926.54	c current bound: 1378
926.54/927.10	c current bound: 1378
927.11/927.67	c current bound: 1378
927.67/928.24	c current bound: 1378
928.26/928.88	c current bound: 1378
929.03/929.44	c current bound: 1378
929.38/930.00	c current bound: 1378
930.14/930.56	c current bound: 1378
930.50/931.12	c current bound: 1378
931.24/931.68	c current bound: 1378
931.63/932.24	c current bound: 1378
932.45/932.80	c current bound: 1378
932.76/933.37	c current bound: 1378
933.55/933.93	c current bound: 1378
933.88/934.49	c current bound: 1378
934.64/935.06	c current bound: 1378
935.00/935.62	c current bound: 1378
935.74/936.18	c current bound: 1378
936.13/936.75	c current bound: 1378
936.94/937.31	c current bound: 1378
937.26/937.87	c current bound: 1378
938.05/938.43	c current bound: 1378
938.65/939.10	c current bound: 1378
938.94/939.67	c current bound: 1378
939.50/940.23	c current bound: 1378
940.07/940.79	c current bound: 1378
940.63/941.35	c current bound: 1378
941.20/941.92	c current bound: 1378
941.77/942.48	c current bound: 1378
942.32/943.04	c current bound: 1378
942.88/943.60	c current bound: 1378
943.44/944.17	c current bound: 1378
944.01/944.73	c current bound: 1378
944.59/945.29	c current bound: 1378
945.15/945.85	c current bound: 1378
945.70/946.42	c current bound: 1378
946.27/946.98	c current bound: 1378
946.84/947.54	c current bound: 1378
947.40/948.10	c current bound: 1378
947.97/948.66	c current bound: 1378
948.77/949.34	c current bound: 1378
949.09/949.91	c current bound: 1378
949.84/950.47	c current bound: 1378
950.21/951.03	c current bound: 1378
950.94/951.59	c current bound: 1378
951.33/952.16	c current bound: 1378
952.12/952.72	c current bound: 1378
952.46/953.28	c current bound: 1378
953.25/953.84	c current bound: 1378
953.59/954.46	c current bound: 1378
954.16/955.02	c current bound: 1378
954.73/955.59	c current bound: 1378
955.28/956.15	c current bound: 1378
955.86/956.71	c current bound: 1378
956.41/957.28	c current bound: 1378
956.97/957.84	c current bound: 1378
957.54/958.41	c current bound: 1378
958.12/958.97	c current bound: 1378
958.95/959.64	c current bound: 1378
959.24/960.20	c current bound: 1378
959.80/960.76	c current bound: 1378
960.60/961.32	c current bound: 1378
960.92/961.88	c current bound: 1378
961.69/962.44	c current bound: 1378
962.04/963.00	c current bound: 1378
962.81/963.56	c current bound: 1378
963.16/964.13	c current bound: 1378
964.01/964.73	c current bound: 1378
964.30/965.29	c current bound: 1378
965.08/965.86	c current bound: 1378
965.44/966.42	c current bound: 1378
966.18/966.98	c current bound: 1378
966.57/967.54	c current bound: 1378
967.12/968.10	c current bound: 1378
967.68/968.66	c current bound: 1378
968.48/969.22	c current bound: 1378
968.81/969.83	c current bound: 1378
969.36/970.39	c current bound: 1378
969.93/970.95	c current bound: 1378
970.50/971.52	c current bound: 1378
971.07/972.08	c current bound: 1378
971.64/972.64	c current bound: 1378
972.19/973.20	c current bound: 1378
972.74/973.77	c current bound: 1378
973.31/974.33	c current bound: 1378
974.14/974.90	c current bound: 1378
974.44/975.47	c current bound: 1378
975.00/976.03	c current bound: 1378
975.57/976.59	c current bound: 1378
976.14/977.16	c current bound: 1378
976.71/977.72	c current bound: 1378
977.26/978.28	c current bound: 1378
977.83/978.84	c current bound: 1378
978.39/979.40	c current bound: 1378
979.21/980.10	c current bound: 1378
979.52/980.67	c current bound: 1378
980.33/981.23	c current bound: 1378
980.66/981.79	c current bound: 1378
981.42/982.36	c current bound: 1378
981.79/982.92	c current bound: 1378
982.53/983.48	c current bound: 1378
982.91/984.04	c current bound: 1378
983.71/984.60	c current bound: 1378
984.30/985.28	c current bound: 1378
984.60/985.84	c current bound: 1378
985.17/986.40	c current bound: 1378
985.72/986.97	c current bound: 1378
986.29/987.53	c current bound: 1378
986.85/988.09	c current bound: 1378
987.41/988.65	c current bound: 1378
987.98/989.21	c current bound: 1378
988.54/989.77	c current bound: 1378
989.37/990.45	c current bound: 1378
989.91/991.01	c current bound: 1378
990.23/991.58	c current bound: 1378
991.02/992.14	c current bound: 1378
991.63/992.70	c current bound: 1378
992.13/993.26	c current bound: 1378
992.49/993.82	c current bound: 1378
993.23/994.38	c current bound: 1378
993.62/994.94	c current bound: 1378
994.45/995.57	c current bound: 1378
994.75/996.13	c current bound: 1378
995.49/996.70	c current bound: 1378
995.89/997.25	c current bound: 1378
996.67/997.82	c current bound: 1378
997.01/998.38	c current bound: 1378
997.77/998.94	c current bound: 1378
998.40/999.50	c current bound: 1378
998.89/1000.06	c current bound: 1378
999.25/1000.64	c current bound: 1378
999.82/1001.20	c current bound: 1378
1000.39/1001.77	c current bound: 1378
1000.96/1002.33	c current bound: 1378
1001.51/1002.89	c current bound: 1378
1002.07/1003.46	c current bound: 1378
1002.65/1004.02	c current bound: 1378
1003.20/1004.58	c current bound: 1378
1003.78/1005.14	c current bound: 1378
1004.61/1005.81	c current bound: 1378
1004.91/1006.37	c current bound: 1378
1005.46/1006.93	c current bound: 1378
1006.02/1007.49	c current bound: 1378
1006.58/1008.06	c current bound: 1378
1007.39/1008.62	c current bound: 1378
1007.72/1009.19	c current bound: 1378
1008.50/1009.75	c current bound: 1378
1008.85/1010.31	c current bound: 1378
1009.69/1010.92	c current bound: 1378
1009.98/1011.48	c current bound: 1378
1010.76/1012.04	c current bound: 1378
1011.11/1012.60	c current bound: 1378
1011.88/1013.16	c current bound: 1378
1012.25/1013.73	c current bound: 1378
1012.97/1014.29	c current bound: 1378
1013.37/1014.85	c current bound: 1378
1014.17/1015.41	c current bound: 1378
1014.75/1016.11	c current bound: 1378
1015.05/1016.67	c current bound: 1378
1015.61/1017.23	c current bound: 1378
1016.18/1017.79	c current bound: 1378
1016.75/1018.35	c current bound: 1378
1017.29/1018.91	c current bound: 1378
1017.86/1019.48	c current bound: 1378
1018.42/1020.04	c current bound: 1378
1019.26/1020.60	c current bound: 1378
1019.82/1021.21	c current bound: 1378
1020.10/1021.78	c current bound: 1378
1020.67/1022.34	c current bound: 1378
1021.24/1022.90	c current bound: 1378
1021.80/1023.46	c current bound: 1378
1022.60/1024.02	c current bound: 1378
1022.92/1024.58	c current bound: 1378
1023.70/1025.14	c current bound: 1378
1024.05/1025.70	c current bound: 1378
1024.88/1026.37	c current bound: 1378
1025.17/1026.94	c current bound: 1378
1026.01/1027.50	c current bound: 1378
1026.30/1028.06	c current bound: 1378
1027.09/1028.62	c current bound: 1378
1027.41/1029.18	c current bound: 1378
1028.19/1029.74	c current bound: 1378
1028.55/1030.30	c current bound: 1378
1029.30/1030.86	c current bound: 1378
1029.67/1031.48	c current bound: 1378
1030.23/1032.04	c current bound: 1378
1030.79/1032.60	c current bound: 1378
1031.35/1033.17	c current bound: 1378
1031.92/1033.75	c current bound: 1378
1032.51/1034.31	c current bound: 1378
1033.07/1034.89	c current bound: 1378
1033.64/1035.45	c current bound: 1378
1034.20/1036.01	c current bound: 1378
1034.78/1036.64	c current bound: 1378
1035.34/1037.20	c current bound: 1378
1035.89/1037.76	c current bound: 1378
1036.70/1038.32	c current bound: 1378
1037.03/1038.88	c current bound: 1378
1037.79/1039.44	c current bound: 1378
1038.16/1040.01	c current bound: 1378
1038.90/1040.56	c current bound: 1378
1039.27/1041.12	c current bound: 1378
1040.10/1041.77	c current bound: 1378
1040.40/1042.33	c current bound: 1378
1041.13/1042.90	c current bound: 1378
1041.52/1043.45	c current bound: 1378
1042.32/1044.02	c current bound: 1378
1042.65/1044.58	c current bound: 1378
1043.42/1045.14	c current bound: 1378
1044.03/1045.70	c current bound: 1378
1044.52/1046.26	c current bound: 1378
1045.17/1046.90	c current bound: 1378
1045.45/1047.47	c current bound: 1378
1046.02/1048.03	c current bound: 1378
1046.59/1048.59	c current bound: 1378
1047.15/1049.15	c current bound: 1378
1047.71/1049.71	c current bound: 1378
1048.26/1050.27	c current bound: 1378
1048.83/1050.83	c current bound: 1378
1049.39/1051.40	c current bound: 1378
1049.96/1051.96	c current bound: 1378
1050.52/1052.52	c current bound: 1378
1051.09/1053.08	c current bound: 1378
1051.66/1053.66	c current bound: 1378
1052.23/1054.22	c current bound: 1378
1052.79/1054.78	c current bound: 1378
1053.35/1055.34	c current bound: 1378
1053.91/1055.90	c current bound: 1378
1054.47/1056.46	c current bound: 1378
1055.29/1057.13	c current bound: 1378
1055.87/1057.70	c current bound: 1378
1056.38/1058.26	c current bound: 1378
1056.72/1058.82	c current bound: 1378
1057.46/1059.38	c current bound: 1378
1057.86/1059.94	c current bound: 1378
1058.68/1060.51	c current bound: 1378
1059.00/1061.07	c current bound: 1378
1059.78/1061.63	c current bound: 1378
1060.39/1062.30	c current bound: 1378
1060.68/1062.86	c current bound: 1378
1061.24/1063.42	c current bound: 1378
1061.79/1063.98	c current bound: 1378
1062.36/1064.54	c current bound: 1378
1062.93/1065.12	c current bound: 1378
1063.50/1065.68	c current bound: 1378
1064.06/1066.24	c current bound: 1378
1064.63/1066.80	c current bound: 1378
1065.20/1067.41	c current bound: 1378
1065.76/1067.98	c current bound: 1378
1066.31/1068.54	c current bound: 1378
1066.89/1069.10	c current bound: 1378
1067.44/1069.66	c current bound: 1378
1068.25/1070.22	c current bound: 1378
1068.57/1070.78	c current bound: 1378
1069.36/1071.34	c current bound: 1378
1069.71/1071.90	c current bound: 1378
1070.52/1072.56	c current bound: 1378
1070.82/1073.12	c current bound: 1378
1071.56/1073.68	c current bound: 1378
1071.96/1074.25	c current bound: 1378
1072.77/1074.81	c current bound: 1378
1073.09/1075.37	c current bound: 1378
1073.87/1075.93	c current bound: 1378
1074.22/1076.49	c current bound: 1378
1074.97/1077.05	c current bound: 1378
1075.33/1077.72	c current bound: 1378
1075.90/1078.29	c current bound: 1378
1076.46/1078.85	c current bound: 1378
1077.03/1079.42	c current bound: 1378
1077.60/1079.98	c current bound: 1378
1078.16/1080.54	c current bound: 1378
1078.72/1081.10	c current bound: 1378
1079.28/1081.67	c current bound: 1378
1079.85/1082.23	c current bound: 1378
1080.69/1082.84	c current bound: 1378
1080.98/1083.40	c current bound: 1378
1081.55/1083.96	c current bound: 1378
1082.34/1084.52	c current bound: 1378
1082.68/1085.08	c current bound: 1378
1083.44/1085.64	c current bound: 1378
1083.79/1086.20	c current bound: 1378
1084.56/1086.77	c current bound: 1378
1084.92/1087.33	c current bound: 1378
1085.66/1087.89	c current bound: 1378
1086.06/1088.46	c current bound: 1378
1086.87/1089.02	c current bound: 1378
1087.17/1089.58	c current bound: 1378
1087.97/1090.14	c current bound: 1378
1088.31/1090.70	c current bound: 1378
1089.06/1091.27	c current bound: 1378
1089.43/1091.83	c current bound: 1378
1090.18/1092.39	c current bound: 1378
1090.57/1093.07	c current bound: 1378
1091.12/1093.63	c current bound: 1378
1091.68/1094.21	c current bound: 1378
1092.27/1094.77	c current bound: 1378
1092.83/1095.33	c current bound: 1378
1093.39/1095.89	c current bound: 1378
1093.96/1096.45	c current bound: 1378
1094.51/1097.01	c current bound: 1378
1095.08/1097.57	c current bound: 1378
1095.92/1098.22	c current bound: 1378
1096.21/1098.78	c current bound: 1378
1096.77/1099.35	c current bound: 1378
1097.57/1099.91	c current bound: 1378
1097.89/1100.48	c current bound: 1378
1098.68/1101.04	c current bound: 1378
1099.29/1101.60	c current bound: 1378
1099.79/1102.16	c current bound: 1378
1100.16/1102.72	c current bound: 1378
1100.96/1103.36	c current bound: 1378
1101.28/1103.93	c current bound: 1378
1102.02/1104.49	c current bound: 1378
1102.40/1105.05	c current bound: 1378
1103.20/1105.61	c current bound: 1378
1103.53/1106.17	c current bound: 1378
1104.30/1106.74	c current bound: 1378
1104.93/1107.30	c current bound: 1378
1105.42/1107.86	c current bound: 1378
1105.79/1108.48	c current bound: 1378
1106.35/1109.05	c current bound: 1378
1106.91/1109.61	c current bound: 1378
1107.48/1110.17	c current bound: 1378
1108.04/1110.73	c current bound: 1378
1108.87/1111.30	c current bound: 1378
1109.16/1111.86	c current bound: 1378
1109.73/1112.42	c current bound: 1378
1110.28/1112.98	c current bound: 1378
1110.85/1113.61	c current bound: 1378
1111.42/1114.17	c current bound: 1378
1111.98/1114.74	c current bound: 1378
1112.55/1115.30	c current bound: 1378
1113.12/1115.86	c current bound: 1378
1113.91/1116.43	c current bound: 1378
1114.26/1116.99	c current bound: 1378
1115.02/1117.55	c current bound: 1378
1115.38/1118.11	c current bound: 1378
1116.12/1118.69	c current bound: 1378
1116.50/1119.25	c current bound: 1378
1117.31/1119.81	c current bound: 1378
1117.63/1120.37	c current bound: 1378
1118.42/1120.94	c current bound: 1378
1118.76/1121.50	c current bound: 1378
1119.52/1122.06	c current bound: 1378
1119.87/1122.62	c current bound: 1378
1120.63/1123.18	c current bound: 1378
1121.00/1123.83	c current bound: 1378
1121.84/1124.40	c current bound: 1378
1122.14/1124.96	c current bound: 1378
1122.71/1125.52	c current bound: 1378
1123.27/1126.08	c current bound: 1378
1123.82/1126.64	c current bound: 1378
1124.39/1127.20	c current bound: 1378
1124.96/1127.77	c current bound: 1378
1125.53/1128.34	c current bound: 1378
1126.09/1128.90	c current bound: 1378
1126.65/1129.46	c current bound: 1378
1127.22/1130.02	c current bound: 1378
1127.79/1130.58	c current bound: 1378
1128.35/1131.14	c current bound: 1378
1128.90/1131.70	c current bound: 1378
1129.47/1132.27	c current bound: 1378
1130.03/1132.83	c current bound: 1378
1130.60/1133.39	c current bound: 1378
1131.40/1134.07	c current bound: 1378
1131.72/1134.63	c current bound: 1378
1132.45/1135.19	c current bound: 1378
1132.85/1135.75	c current bound: 1378
1133.65/1136.32	c current bound: 1378
1133.97/1136.88	c current bound: 1378
1134.76/1137.44	c current bound: 1378
1135.09/1138.00	c current bound: 1378
1135.85/1138.56	c current bound: 1378
1136.49/1139.22	c current bound: 1378
1136.78/1139.78	c current bound: 1378
1137.35/1140.34	c current bound: 1378
1137.91/1140.90	c current bound: 1378
1138.48/1141.46	c current bound: 1378
1139.04/1142.02	c current bound: 1378
1139.61/1142.58	c current bound: 1378
1140.16/1143.15	c current bound: 1378
1140.71/1143.71	c current bound: 1378
1141.54/1144.38	c current bound: 1378
1141.85/1144.94	c current bound: 1378
1142.40/1145.50	c current bound: 1378
1142.97/1146.08	c current bound: 1378
1143.56/1146.64	c current bound: 1378
1144.12/1147.20	c current bound: 1378
1144.67/1147.77	c current bound: 1378
1145.48/1148.32	c current bound: 1378
1145.80/1148.88	c current bound: 1378
1146.57/1149.48	c current bound: 1378
1146.91/1150.04	c current bound: 1378
1147.65/1150.60	c current bound: 1378
1148.06/1151.16	c current bound: 1378
1148.86/1151.72	c current bound: 1378
1149.18/1152.28	c current bound: 1378
1149.95/1152.85	c current bound: 1378
1150.30/1153.41	c current bound: 1378
1151.05/1153.97	c current bound: 1378
1151.71/1154.63	c current bound: 1378
1152.01/1155.19	c current bound: 1378
1152.57/1155.75	c current bound: 1378
1153.14/1156.32	c current bound: 1378
1153.70/1156.89	c current bound: 1378
1154.27/1157.45	c current bound: 1378
1154.82/1158.03	c current bound: 1378
1155.40/1158.59	c current bound: 1378
1155.96/1159.14	c current bound: 1378
1156.53/1159.72	c current bound: 1378
1157.10/1160.29	c current bound: 1378
1157.67/1160.85	c current bound: 1378
1158.23/1161.41	c current bound: 1378
1158.79/1161.98	c current bound: 1378
1159.35/1162.54	c current bound: 1378
1160.18/1163.10	c current bound: 1378
1160.47/1163.66	c current bound: 1378
1161.03/1164.22	c current bound: 1378
1161.87/1164.88	c current bound: 1378
1162.17/1165.44	c current bound: 1378
1162.88/1166.00	c current bound: 1378
1163.28/1166.57	c current bound: 1378
1164.07/1167.13	c current bound: 1378
1164.41/1167.69	c current bound: 1378
1165.19/1168.25	c current bound: 1378
1165.55/1168.82	c current bound: 1378
1166.29/1169.38	c current bound: 1378
1166.67/1169.95	c current bound: 1378
1167.48/1170.51	c current bound: 1378
1167.80/1171.08	c current bound: 1378
1168.58/1171.65	c current bound: 1378
1168.96/1172.21	c current bound: 1378
1169.52/1172.78	c current bound: 1378
1170.08/1173.36	c current bound: 1378
1170.66/1173.92	c current bound: 1378
1171.22/1174.48	c current bound: 1378
1172.06/1175.11	c current bound: 1378
1172.35/1175.67	c current bound: 1378
1172.92/1176.23	c current bound: 1378
1173.48/1176.79	c current bound: 1378
1174.04/1177.35	c current bound: 1378
1174.61/1177.91	c current bound: 1378
1175.16/1178.47	c current bound: 1378
1175.74/1179.03	c current bound: 1378
1176.29/1179.59	c current bound: 1378
1177.11/1180.30	c current bound: 1378
1177.42/1180.86	c current bound: 1378
1178.22/1181.42	c current bound: 1378
1178.54/1181.98	c current bound: 1378
1179.32/1182.54	c current bound: 1378
1179.67/1183.11	c current bound: 1378
1180.42/1183.67	c current bound: 1378
1180.79/1184.23	c current bound: 1378
1181.52/1184.79	c current bound: 1378
1181.93/1185.36	c current bound: 1378
1182.71/1185.92	c current bound: 1378
1183.05/1186.48	c current bound: 1378
1183.81/1187.05	c current bound: 1378
1184.17/1187.61	c current bound: 1378
1184.73/1188.17	c current bound: 1378
1185.30/1188.73	c current bound: 1378
1185.87/1189.29	c current bound: 1378
1186.44/1189.86	c current bound: 1378
1187.26/1190.54	c current bound: 1378
1187.56/1191.10	c current bound: 1378
1188.13/1191.66	c current bound: 1378
1188.68/1192.22	c current bound: 1378
1189.24/1192.78	c current bound: 1378
1189.81/1193.35	c current bound: 1378
1190.37/1193.91	c current bound: 1378
1190.93/1194.47	c current bound: 1378
1191.50/1195.03	c current bound: 1378
1192.31/1195.62	c current bound: 1378
1192.63/1196.19	c current bound: 1378
1193.41/1196.75	c current bound: 1378
1193.75/1197.31	c current bound: 1378
1194.52/1197.87	c current bound: 1378
1194.89/1198.44	c current bound: 1378
1195.63/1199.00	c current bound: 1378
1196.03/1199.56	c current bound: 1378
1196.82/1200.12	c current bound: 1378
1197.15/1200.79	c current bound: 1378
1197.91/1201.35	c current bound: 1378
1198.28/1201.92	c current bound: 1378
1198.83/1202.48	c current bound: 1378
1199.39/1203.04	c current bound: 1378
1199.95/1203.60	c current bound: 1378
1200.51/1204.16	c current bound: 1378
1201.08/1204.72	c current bound: 1378
1201.65/1205.28	c current bound: 1378
1202.21/1205.88	c current bound: 1378
1202.77/1206.45	c current bound: 1378
1203.33/1207.01	c current bound: 1378
1203.90/1207.57	c current bound: 1378
1204.46/1208.13	c current bound: 1378
1205.03/1208.70	c current bound: 1378
1205.58/1209.26	c current bound: 1378
1206.15/1209.82	c current bound: 1378
1206.71/1210.38	c current bound: 1378
1207.53/1211.08	c current bound: 1378
1207.83/1211.64	c current bound: 1378
1208.65/1212.21	c current bound: 1378
1208.95/1212.77	c current bound: 1378
1209.76/1213.33	c current bound: 1378
1210.09/1213.89	c current bound: 1378
1210.85/1214.46	c current bound: 1378
1211.21/1215.02	c current bound: 1378
1211.96/1215.58	c current bound: 1378
1212.34/1216.18	c current bound: 1378
1213.12/1216.74	c current bound: 1378
1213.48/1217.30	c current bound: 1378
1214.03/1217.87	c current bound: 1378
1214.61/1218.43	c current bound: 1378
1215.17/1218.99	c current bound: 1378
1215.73/1219.55	c current bound: 1378
1216.28/1220.11	c current bound: 1378
1216.85/1220.67	c current bound: 1378
1217.42/1221.39	c current bound: 1378
1217.98/1221.95	c current bound: 1378
1218.54/1222.51	c current bound: 1378
1219.09/1223.07	c current bound: 1378
1219.66/1223.63	c current bound: 1378
1220.22/1224.20	c current bound: 1378
1220.77/1224.76	c current bound: 1378
1221.57/1225.32	c current bound: 1378
1221.91/1225.89	c current bound: 1378
1222.67/1226.46	c current bound: 1378
1223.06/1227.03	c current bound: 1378
1223.80/1227.59	c current bound: 1378
1224.19/1228.15	c current bound: 1378
1225.00/1228.72	c current bound: 1378
1225.32/1229.28	c current bound: 1378
1226.09/1229.84	c current bound: 1378
1226.44/1230.40	c current bound: 1378
1227.18/1230.96	c current bound: 1378
1227.56/1231.64	c current bound: 1378
1228.12/1232.20	c current bound: 1378
1228.69/1232.76	c current bound: 1378
1229.26/1233.32	c current bound: 1378
1229.80/1233.89	c current bound: 1378
1230.38/1234.45	c current bound: 1378
1230.94/1235.01	c current bound: 1378
1231.51/1235.57	c current bound: 1378
1232.07/1236.13	c current bound: 1378
1232.63/1236.78	c current bound: 1378
1233.19/1237.34	c current bound: 1378
1233.76/1237.91	c current bound: 1378
1234.33/1238.46	c current bound: 1378
1234.89/1239.03	c current bound: 1378
1235.44/1239.59	c current bound: 1378
1236.01/1240.15	c current bound: 1378
1236.82/1240.72	c current bound: 1378
1237.15/1241.28	c current bound: 1378
1237.92/1241.90	c current bound: 1378
1238.26/1242.46	c current bound: 1378
1239.07/1243.03	c current bound: 1378
1239.39/1243.59	c current bound: 1378
1240.17/1244.15	c current bound: 1378
1240.53/1244.72	c current bound: 1378
1241.25/1245.28	c current bound: 1378
1241.64/1245.84	c current bound: 1378
1242.46/1246.41	c current bound: 1378
1243.05/1247.09	c current bound: 1378
1243.35/1247.65	c current bound: 1378
1243.89/1248.21	c current bound: 1378
1244.46/1248.77	c current bound: 1378
1245.03/1249.33	c current bound: 1378
1245.60/1249.90	c current bound: 1378
1246.16/1250.46	c current bound: 1378
1246.72/1251.03	c current bound: 1378
1247.29/1251.59	c current bound: 1378
1247.85/1252.22	c current bound: 1378
1248.42/1252.79	c current bound: 1378
1248.97/1253.35	c current bound: 1378
1249.77/1253.91	c current bound: 1378
1250.09/1254.47	c current bound: 1378
1250.90/1255.03	c current bound: 1378
1251.22/1255.60	c current bound: 1378
1251.98/1256.16	c current bound: 1378
1252.34/1256.72	c current bound: 1378
1253.17/1257.31	c current bound: 1378
1253.47/1257.87	c current bound: 1378
1254.26/1258.43	c current bound: 1378
1254.60/1258.99	c current bound: 1378
1255.35/1259.56	c current bound: 1378
1255.72/1260.12	c current bound: 1378
1256.48/1260.68	c current bound: 1378
1256.84/1261.24	c current bound: 1378
1257.67/1261.80	c current bound: 1378
1257.97/1262.48	c current bound: 1378
1258.53/1263.04	c current bound: 1378
1259.36/1263.60	c current bound: 1378
1259.66/1264.16	c current bound: 1378
1260.22/1264.72	c current bound: 1378
1260.78/1265.28	c current bound: 1378
1261.35/1265.84	c current bound: 1378
1261.91/1266.40	c current bound: 1378
1262.46/1266.96	c current bound: 1378
1263.30/1267.63	c current bound: 1378
1263.59/1268.19	c current bound: 1378
1264.17/1268.76	c current bound: 1378
1264.96/1269.32	c current bound: 1378
1265.28/1269.88	c current bound: 1378
1266.07/1270.44	c current bound: 1378
1266.41/1271.00	c current bound: 1378
1267.17/1271.56	c current bound: 1378
1267.52/1272.12	c current bound: 1378
1268.34/1272.77	c current bound: 1378
1268.66/1273.32	c current bound: 1378
1269.39/1273.89	c current bound: 1378
1269.78/1274.45	c current bound: 1378
1270.58/1275.01	c current bound: 1378
1270.91/1275.57	c current bound: 1378
1271.69/1276.13	c current bound: 1378
1272.03/1276.69	c current bound: 1378
1272.80/1277.25	c current bound: 1378
1273.15/1277.86	c current bound: 1378
1273.72/1278.42	c current bound: 1378
1274.29/1278.99	c current bound: 1378
1274.85/1279.55	c current bound: 1378
1275.41/1280.11	c current bound: 1378
1275.98/1280.67	c current bound: 1378
1276.54/1281.23	c current bound: 1378
1277.10/1281.79	c current bound: 1378
1277.65/1282.36	c current bound: 1378
1278.22/1282.92	c current bound: 1378
1278.78/1283.48	c current bound: 1378
1279.34/1284.04	c current bound: 1378
1280.17/1284.60	c current bound: 1378
1280.46/1285.16	c current bound: 1378
1281.03/1285.72	c current bound: 1378
1281.60/1286.28	c current bound: 1378
1282.15/1286.84	c current bound: 1378
1282.72/1287.40	c current bound: 1378
1283.55/1288.03	c current bound: 1378
1283.85/1288.59	c current bound: 1378
1284.62/1289.15	c current bound: 1378
1284.98/1289.71	c current bound: 1378
1285.73/1290.27	c current bound: 1378
1286.11/1290.83	c current bound: 1378
1286.84/1291.39	c current bound: 1378
1287.22/1291.95	c current bound: 1378
1288.04/1292.51	c current bound: 1378
1288.62/1293.22	c current bound: 1378
1288.91/1293.78	c current bound: 1378
1289.48/1294.35	c current bound: 1378
1290.04/1294.91	c current bound: 1378
1290.60/1295.47	c current bound: 1378
1291.18/1296.03	c current bound: 1378
1291.74/1296.59	c current bound: 1378
1292.30/1297.16	c current bound: 1378
1292.86/1297.72	c current bound: 1378
1293.70/1298.38	c current bound: 1378
1293.98/1298.94	c current bound: 1378
1294.54/1299.50	c current bound: 1378
1295.11/1300.06	c current bound: 1378
1295.67/1300.62	c current bound: 1378
1296.24/1301.18	c current bound: 1378
1296.80/1301.74	c current bound: 1378
1297.62/1302.30	c current bound: 1378
1297.91/1302.87	c current bound: 1378
1298.75/1303.52	c current bound: 1378
1299.05/1304.08	c current bound: 1378
1299.82/1304.64	c current bound: 1378
1300.17/1305.20	c current bound: 1378
1300.94/1305.76	c current bound: 1378
1301.30/1306.33	c current bound: 1378
1302.04/1306.89	c current bound: 1378
1302.42/1307.45	c current bound: 1378
1303.23/1308.01	c current bound: 1378
1303.82/1308.73	c current bound: 1378
1304.39/1309.30	c current bound: 1378
1304.69/1309.86	c current bound: 1378
1305.24/1310.42	c current bound: 1378
1305.80/1310.98	c current bound: 1378
1306.37/1311.55	c current bound: 1378
1306.93/1312.11	c current bound: 1378
1307.49/1312.66	c current bound: 1378
1308.05/1313.22	c current bound: 1378
1308.62/1313.82	c current bound: 1378
1309.18/1314.38	c current bound: 1378
1309.75/1314.94	c current bound: 1378
1310.59/1315.50	c current bound: 1378
1310.87/1316.06	c current bound: 1378
1311.67/1316.63	c current bound: 1378
1311.99/1317.19	c current bound: 1378
1312.78/1317.75	c current bound: 1378
1313.14/1318.31	c current bound: 1378
1313.96/1318.94	c current bound: 1378
1314.26/1319.51	c current bound: 1378
1315.01/1320.07	c current bound: 1378
1315.38/1320.63	c current bound: 1378
1316.12/1321.19	c current bound: 1378
1316.50/1321.76	c current bound: 1378
1317.31/1322.32	c current bound: 1378
1317.64/1322.88	c current bound: 1378
1318.43/1323.44	c current bound: 1378
1318.77/1324.13	c current bound: 1378
1319.33/1324.69	c current bound: 1378
1319.89/1325.25	c current bound: 1378
1320.45/1325.81	c current bound: 1378
1321.02/1326.38	c current bound: 1378
1321.58/1326.94	c current bound: 1378
1322.14/1327.50	c current bound: 1378
1322.71/1328.06	c current bound: 1378
1323.28/1328.62	c current bound: 1378
1324.10/1329.23	c current bound: 1378
1324.39/1329.79	c current bound: 1378
1324.95/1330.35	c current bound: 1378
1325.77/1330.91	c current bound: 1378
1326.08/1331.47	c current bound: 1378
1326.86/1332.03	c current bound: 1378
1327.20/1332.59	c current bound: 1378
1327.98/1333.15	c current bound: 1378
1328.33/1333.71	c current bound: 1378
1329.15/1334.37	c current bound: 1378
1329.45/1334.93	c current bound: 1378
1330.17/1335.49	c current bound: 1378
1330.58/1336.05	c current bound: 1378
1331.37/1336.62	c current bound: 1378
1331.70/1337.18	c current bound: 1378
1332.48/1337.74	c current bound: 1378
1332.84/1338.30	c current bound: 1378
1333.60/1338.87	c current bound: 1378
1334.25/1339.52	c current bound: 1378
1334.54/1340.08	c current bound: 1378
1335.12/1340.64	c current bound: 1378
1335.93/1341.20	c current bound: 1378
1336.23/1341.76	c current bound: 1378
1336.79/1342.32	c current bound: 1378
1337.36/1342.88	c current bound: 1378
1337.92/1343.44	c current bound: 1378
1338.48/1344.01	c current bound: 1378
1339.03/1344.66	c current bound: 1378
1339.84/1345.23	c current bound: 1378
1340.44/1345.80	c current bound: 1378
1340.94/1346.36	c current bound: 1378
1341.29/1346.91	c current bound: 1378
1342.03/1347.48	c current bound: 1378
1342.42/1348.04	c current bound: 1378
1343.15/1348.60	c current bound: 1378
1343.55/1349.16	c current bound: 1378
1344.38/1349.83	c current bound: 1378
1344.69/1350.40	c current bound: 1378
1345.42/1350.96	c current bound: 1378
1345.81/1351.52	c current bound: 1378
1346.36/1352.08	c current bound: 1378
1346.93/1352.64	c current bound: 1378
1347.49/1353.20	c current bound: 1378
1348.07/1353.76	c current bound: 1378
1348.64/1354.33	c current bound: 1378
1349.20/1354.89	c current bound: 1378
1349.76/1355.46	c current bound: 1378
1350.32/1356.02	c current bound: 1378
1350.88/1356.57	c current bound: 1378
1351.45/1357.14	c current bound: 1378
1352.28/1357.70	c current bound: 1378
1352.57/1358.26	c current bound: 1378
1353.14/1358.82	c current bound: 1378
1353.71/1359.38	c current bound: 1378
1354.26/1360.07	c current bound: 1378
1355.03/1360.63	c current bound: 1378
1355.38/1361.19	c current bound: 1378
1356.15/1361.75	c current bound: 1378
1356.51/1362.31	c current bound: 1378
1357.25/1362.87	c current bound: 1378
1357.64/1363.44	c current bound: 1378
1358.35/1364.00	c current bound: 1378
1358.76/1364.56	c current bound: 1378
1359.56/1365.26	c current bound: 1378
1359.87/1365.83	c current bound: 1378
1360.44/1366.39	c current bound: 1378
1361.01/1366.95	c current bound: 1378
1361.57/1367.51	c current bound: 1378
1362.13/1368.08	c current bound: 1378
1362.69/1368.64	c current bound: 1378
1363.52/1369.20	c current bound: 1378
1363.82/1369.76	c current bound: 1378
1364.39/1370.39	c current bound: 1378
1364.96/1370.95	c current bound: 1378
1365.51/1371.52	c current bound: 1378
1366.09/1372.08	c current bound: 1378
1366.65/1372.64	c current bound: 1378
1367.21/1373.21	c current bound: 1378
1367.77/1373.77	c current bound: 1378
1368.34/1374.33	c current bound: 1378
1368.90/1374.89	c current bound: 1378
1369.74/1375.54	c current bound: 1378
1370.30/1376.11	c current bound: 1378
1370.59/1376.67	c current bound: 1378
1371.39/1377.23	c current bound: 1378
1371.73/1377.79	c current bound: 1378
1372.50/1378.35	c current bound: 1378
1372.86/1378.91	c current bound: 1378
1373.61/1379.47	c current bound: 1378
1373.98/1380.03	c current bound: 1378
1374.81/1380.65	c current bound: 1378
1375.10/1381.21	c current bound: 1378
1375.66/1381.77	c current bound: 1378
1376.22/1382.33	c current bound: 1378
1376.78/1382.90	c current bound: 1378
1377.35/1383.46	c current bound: 1378
1377.92/1384.02	c current bound: 1378
1378.50/1384.58	c current bound: 1378
1379.06/1385.15	c current bound: 1378
1379.63/1385.76	c current bound: 1378
1380.18/1386.33	c current bound: 1378
1380.75/1386.89	c current bound: 1378
1381.30/1387.45	c current bound: 1378
1381.88/1388.02	c current bound: 1378
1382.43/1388.58	c current bound: 1378
1383.00/1389.15	c current bound: 1378
1383.58/1389.71	c current bound: 1378
1384.13/1390.27	c current bound: 1378
1384.97/1390.92	c current bound: 1378
1385.44/1391.48	c current bound: 1378
1385.83/1392.05	c current bound: 1378
1386.64/1392.61	c current bound: 1378
1386.96/1393.17	c current bound: 1378
1387.75/1393.75	c current bound: 1378
1388.09/1394.31	c current bound: 1378
1388.84/1394.87	c current bound: 1378
1389.22/1395.43	c current bound: 1378
1389.97/1395.99	c current bound: 1378
1390.35/1396.55	c current bound: 1378
1391.15/1397.12	c current bound: 1378
1391.47/1397.67	c current bound: 1378
1392.26/1398.24	c current bound: 1378
1392.87/1398.80	c current bound: 1378
1393.35/1399.36	c current bound: 1378
1393.73/1399.93	c current bound: 1378
1394.30/1400.49	c current bound: 1378
1395.13/1401.13	c current bound: 1378
1395.43/1401.69	c current bound: 1378
1396.00/1402.25	c current bound: 1378
1396.56/1402.81	c current bound: 1378
1397.12/1403.38	c current bound: 1378
1397.69/1403.94	c current bound: 1378
1398.26/1404.51	c current bound: 1378
1398.83/1405.07	c current bound: 1378
1399.39/1405.64	c current bound: 1378
1399.96/1406.27	c current bound: 1378
1400.76/1406.83	c current bound: 1378
1401.09/1407.39	c current bound: 1378
1401.87/1407.95	c current bound: 1378
1402.22/1408.51	c current bound: 1378
1402.97/1409.08	c current bound: 1378
1403.34/1409.64	c current bound: 1378
1404.07/1410.20	c current bound: 1378
1404.48/1410.76	c current bound: 1378
1405.29/1411.38	c current bound: 1378
1405.60/1411.94	c current bound: 1378
1406.42/1412.50	c current bound: 1378
1406.72/1413.06	c current bound: 1378
1407.50/1413.62	c current bound: 1378
1407.83/1414.18	c current bound: 1378
1408.60/1414.74	c current bound: 1378
1408.96/1415.30	c current bound: 1378
1409.72/1415.86	c current bound: 1378
1410.09/1416.44	c current bound: 1378
1410.66/1417.00	c current bound: 1378
1411.23/1417.57	c current bound: 1378
1411.78/1418.13	c current bound: 1378
1412.62/1418.70	c current bound: 1378
1412.91/1419.26	c current bound: 1378
1413.48/1419.82	c current bound: 1378
1414.04/1420.38	c current bound: 1378
1414.60/1420.94	c current bound: 1378
1415.17/1421.67	c current bound: 1378
1415.95/1422.23	c current bound: 1378
1416.30/1422.79	c current bound: 1378
1417.06/1423.35	c current bound: 1378
1417.41/1423.91	c current bound: 1378
1418.16/1424.47	c current bound: 1378
1418.54/1425.03	c current bound: 1378
1419.28/1425.59	c current bound: 1378
1419.67/1426.15	c current bound: 1378
1420.47/1426.76	c current bound: 1378
1420.79/1427.32	c current bound: 1378
1421.52/1427.88	c current bound: 1378
1421.90/1428.45	c current bound: 1378
1422.70/1429.01	c current bound: 1378
1423.03/1429.57	c current bound: 1378
1423.82/1430.13	c current bound: 1378
1424.16/1430.69	c current bound: 1378
1424.92/1431.25	c current bound: 1378
1425.55/1431.91	c current bound: 1378
1425.85/1432.47	c current bound: 1378
1426.42/1433.03	c current bound: 1378
1426.98/1433.59	c current bound: 1378
1427.54/1434.15	c current bound: 1378
1428.10/1434.71	c current bound: 1378
1428.67/1435.27	c current bound: 1378
1429.24/1435.83	c current bound: 1378
1430.07/1436.40	c current bound: 1378
1430.63/1437.06	c current bound: 1378
1431.14/1437.63	c current bound: 1378
1431.49/1438.19	c current bound: 1378
1432.24/1438.75	c current bound: 1378
1432.61/1439.31	c current bound: 1378
1433.37/1439.88	c current bound: 1378
1433.75/1440.44	c current bound: 1378
1434.46/1441.00	c current bound: 1378
1434.86/1441.56	c current bound: 1378
1435.66/1442.15	c current bound: 1378
1435.99/1442.71	c current bound: 1378
1436.75/1443.28	c current bound: 1378
1437.12/1443.84	c current bound: 1378
1437.94/1444.41	c current bound: 1378
1438.25/1444.97	c current bound: 1378
1439.03/1445.54	c current bound: 1378
1439.39/1446.11	c current bound: 1378
1439.96/1446.68	c current bound: 1378
1440.54/1447.29	c current bound: 1378
1441.09/1447.85	c current bound: 1378
1441.66/1448.42	c current bound: 1378
1442.23/1448.98	c current bound: 1378
1442.80/1449.55	c current bound: 1378
1443.37/1450.11	c current bound: 1378
1443.92/1450.67	c current bound: 1378
1444.48/1451.23	c current bound: 1378
1445.04/1451.79	c current bound: 1378
1445.61/1452.47	c current bound: 1378
1446.38/1453.03	c current bound: 1378
1446.73/1453.59	c current bound: 1378
1447.50/1454.15	c current bound: 1378
1447.85/1454.71	c current bound: 1378
1448.60/1455.28	c current bound: 1378
1448.99/1455.84	c current bound: 1378
1449.70/1456.40	c current bound: 1378
1450.10/1456.95	c current bound: 1378
1450.92/1457.77	c current bound: 1378
1451.23/1458.33	c current bound: 1378
1451.81/1458.89	c current bound: 1378
1452.37/1459.45	c current bound: 1378
1452.93/1460.01	c current bound: 1378
1453.49/1460.58	c current bound: 1378
1454.06/1461.14	c current bound: 1378
1454.88/1461.70	c current bound: 1378
1455.18/1462.26	c current bound: 1378
1455.75/1462.82	c current bound: 1378
1456.30/1463.39	c current bound: 1378
1456.86/1463.95	c current bound: 1378
1457.42/1464.51	c current bound: 1378
1457.99/1465.08	c current bound: 1378
1458.57/1465.64	c current bound: 1378
1459.39/1466.20	c current bound: 1378
1459.69/1466.76	c current bound: 1378
1460.49/1467.32	c current bound: 1378
1460.82/1467.88	c current bound: 1378
1461.59/1468.44	c current bound: 1378
1461.95/1469.01	c current bound: 1378
1462.70/1469.58	c current bound: 1378
1463.09/1470.14	c current bound: 1378
1463.91/1470.70	c current bound: 1378
1464.20/1471.27	c current bound: 1378
1465.00/1471.84	c current bound: 1378
1465.59/1472.40	c current bound: 1378
1466.09/1472.96	c current bound: 1378
1466.46/1473.52	c current bound: 1378
1467.21/1474.08	c current bound: 1378
1467.59/1474.64	c current bound: 1378
1468.40/1475.20	c current bound: 1378
1468.70/1475.77	c current bound: 1378
1469.50/1476.33	c current bound: 1378
1469.84/1476.89	c current bound: 1378
1470.61/1477.45	c current bound: 1378
1470.96/1478.01	c current bound: 1378
1471.53/1478.57	c current bound: 1378
1472.09/1479.13	c current bound: 1378
1472.66/1479.70	c current bound: 1378
1473.21/1480.26	c current bound: 1378
1473.77/1480.82	c current bound: 1378
1474.34/1481.38	c current bound: 1378
1474.91/1481.94	c current bound: 1378
1475.47/1482.50	c current bound: 1378
1476.03/1483.07	c current bound: 1378
1476.59/1483.62	c current bound: 1378
1477.16/1484.19	c current bound: 1378
1477.71/1484.75	c current bound: 1378
1478.28/1485.31	c current bound: 1378
1478.84/1485.87	c current bound: 1378
1479.41/1486.43	c current bound: 1378
1479.97/1486.99	c current bound: 1378
1480.52/1487.55	c current bound: 1378
1481.09/1488.11	c current bound: 1378
1481.66/1488.67	c current bound: 1378
1482.22/1489.23	c current bound: 1378
1482.78/1489.79	c current bound: 1378
1483.34/1490.35	c current bound: 1378
1483.91/1490.92	c current bound: 1378
1484.46/1491.48	c current bound: 1378
1485.02/1492.04	c current bound: 1378
1485.58/1492.60	c current bound: 1378
1486.15/1493.16	c current bound: 1378
1486.95/1493.73	c current bound: 1378
1487.28/1494.29	c current bound: 1378
1488.06/1494.84	c current bound: 1378
1488.41/1495.40	c current bound: 1378
1489.17/1495.96	c current bound: 1378
1489.52/1496.52	c current bound: 1378
1490.27/1497.08	c current bound: 1378
1490.65/1497.64	c current bound: 1378
1491.38/1498.20	c current bound: 1378
1491.78/1498.76	c current bound: 1378
1492.58/1499.32	c current bound: 1378
1492.90/1499.90	c current bound: 1378
1493.67/1500.46	c current bound: 1378
1494.04/1501.02	c current bound: 1378
1494.79/1501.58	c current bound: 1378
1495.17/1502.14	c current bound: 1378
1495.99/1502.70	c current bound: 1378
1496.30/1503.26	c current bound: 1378
1497.09/1503.82	c current bound: 1378
1497.41/1504.38	c current bound: 1378
1498.19/1504.94	c current bound: 1378
1498.54/1505.50	c current bound: 1378
1499.11/1506.07	c current bound: 1378
1499.69/1506.63	c current bound: 1378
1500.24/1507.19	c current bound: 1378
1500.80/1507.75	c current bound: 1378
1501.36/1508.31	c current bound: 1378
1501.93/1508.87	c current bound: 1378
1502.50/1509.44	c current bound: 1378
1503.33/1510.00	c current bound: 1378
1503.62/1510.55	c current bound: 1378
1504.19/1511.12	c current bound: 1378
1504.75/1511.68	c current bound: 1378
1505.30/1512.24	c current bound: 1378
1505.87/1512.80	c current bound: 1378
1506.43/1513.36	c current bound: 1378
1507.00/1513.92	c current bound: 1378
1507.56/1514.48	c current bound: 1378
1508.11/1515.05	c current bound: 1378
1508.68/1515.61	c current bound: 1378
1509.24/1516.17	c current bound: 1378
1509.80/1516.73	c current bound: 1378
1510.37/1517.31	c current bound: 1378
1510.95/1517.87	c current bound: 1378
1511.52/1518.43	c current bound: 1378
1512.07/1518.99	c current bound: 1378
1512.64/1519.55	c current bound: 1378
1513.43/1520.12	c current bound: 1378
1513.76/1520.68	c current bound: 1378
1514.54/1521.25	c current bound: 1378
1514.90/1521.82	c current bound: 1378
1515.66/1522.38	c current bound: 1378
1516.02/1522.94	c current bound: 1378
1516.86/1523.50	c current bound: 1378
1517.16/1524.06	c current bound: 1378
1517.96/1524.63	c current bound: 1378
1518.28/1525.19	c current bound: 1378
1519.05/1525.75	c current bound: 1378
1519.41/1526.31	c current bound: 1378
1520.16/1526.87	c current bound: 1378
1520.53/1527.43	c current bound: 1378
1521.36/1528.00	c current bound: 1378
1521.68/1528.57	c current bound: 1378
1522.47/1529.14	c current bound: 1378
1522.81/1529.70	c current bound: 1378
1523.56/1530.26	c current bound: 1378
1523.95/1530.82	c current bound: 1378
1524.51/1531.38	c current bound: 1378
1525.06/1531.94	c current bound: 1378
1525.63/1532.50	c current bound: 1378
1526.19/1533.07	c current bound: 1378
1526.75/1533.63	c current bound: 1378
1527.31/1534.19	c current bound: 1378
1527.88/1534.76	c current bound: 1378
1528.45/1535.32	c current bound: 1378
1529.01/1535.88	c current bound: 1378
1529.57/1536.44	c current bound: 1378
1530.40/1537.00	c current bound: 1378
1530.70/1537.56	c current bound: 1378
1531.25/1538.12	c current bound: 1378
1531.82/1538.69	c current bound: 1378
1532.39/1539.24	c current bound: 1378
1532.95/1539.80	c current bound: 1378
1533.51/1540.37	c current bound: 1378
1534.07/1540.93	c current bound: 1378
1534.63/1541.48	c current bound: 1378
1535.19/1542.05	c current bound: 1378
1535.75/1542.61	c current bound: 1378
1536.32/1543.17	c current bound: 1378
1536.89/1543.73	c current bound: 1378
1537.44/1544.29	c current bound: 1378
1538.01/1544.85	c current bound: 1378
1538.82/1545.41	c current bound: 1378
1539.14/1545.97	c current bound: 1378
1539.92/1546.53	c current bound: 1378
1540.26/1547.09	c current bound: 1378
1541.05/1547.65	c current bound: 1378
1541.38/1548.21	c current bound: 1378
1542.14/1548.77	c current bound: 1378
1542.51/1549.33	c current bound: 1378
1543.24/1549.89	c current bound: 1378
1543.63/1550.45	c current bound: 1378
1544.45/1551.01	c current bound: 1378
1544.76/1551.57	c current bound: 1378
1545.56/1552.13	c current bound: 1378
1545.88/1552.69	c current bound: 1378
1546.66/1553.25	c current bound: 1378
1547.00/1553.82	c current bound: 1378
1547.76/1554.38	c current bound: 1378
1548.14/1554.96	c current bound: 1378
1548.94/1555.52	c current bound: 1378
1549.26/1556.08	c current bound: 1378
1550.03/1556.64	c current bound: 1378
1550.65/1557.20	c current bound: 1378
1551.12/1557.76	c current bound: 1378
1551.50/1558.32	c current bound: 1378
1552.06/1558.89	c current bound: 1378
1552.62/1559.45	c current bound: 1378
1553.18/1560.01	c current bound: 1378
1553.76/1560.57	c current bound: 1378
1554.33/1561.13	c current bound: 1378
1554.88/1561.69	c current bound: 1378
1555.45/1562.25	c current bound: 1378
1556.02/1562.82	c current bound: 1378
1556.56/1563.37	c current bound: 1378
1557.12/1563.93	c current bound: 1378
1557.69/1564.49	c current bound: 1378
1558.25/1565.06	c current bound: 1378
1558.81/1565.62	c current bound: 1378
1559.38/1566.18	c current bound: 1378
1559.94/1566.74	c current bound: 1378
1560.50/1567.30	c current bound: 1378
1561.06/1567.86	c current bound: 1378
1561.63/1568.43	c current bound: 1378
1562.19/1568.99	c current bound: 1378
1562.75/1569.55	c current bound: 1378
1563.31/1570.11	c current bound: 1378
1563.87/1570.67	c current bound: 1378
1564.44/1571.23	c current bound: 1378
1565.00/1571.79	c current bound: 1378
1565.56/1572.35	c current bound: 1378
1566.37/1572.91	c current bound: 1378
1566.68/1573.47	c current bound: 1378
1567.48/1574.04	c current bound: 1378
1568.07/1574.60	c current bound: 1378
1568.57/1575.16	c current bound: 1378
1568.94/1575.72	c current bound: 1378
1569.67/1576.28	c current bound: 1378
1570.06/1576.84	c current bound: 1378
1570.89/1577.40	c current bound: 1378
1571.19/1577.96	c current bound: 1378
1572.00/1578.52	c current bound: 1378
1572.31/1579.08	c current bound: 1378
1573.08/1579.64	c current bound: 1378
1573.44/1580.20	c current bound: 1378
1574.21/1580.77	c current bound: 1378
1574.57/1581.33	c current bound: 1378
1575.30/1581.89	c current bound: 1378
1575.70/1582.45	c current bound: 1378
1576.51/1583.01	c current bound: 1378
1576.82/1583.57	c current bound: 1378
1577.60/1584.13	c current bound: 1378
1577.94/1584.69	c current bound: 1378
1578.71/1585.26	c current bound: 1378
1579.07/1585.81	c current bound: 1378
1579.63/1586.37	c current bound: 1378
1580.20/1586.94	c current bound: 1378
1581.03/1587.50	c current bound: 1378
1581.31/1588.06	c current bound: 1378
1581.88/1588.62	c current bound: 1378
1582.44/1589.18	c current bound: 1378
1583.00/1589.74	c current bound: 1378
1583.56/1590.30	c current bound: 1378
1584.13/1590.86	c current bound: 1378
1584.70/1591.42	c current bound: 1378
1585.26/1591.98	c current bound: 1378
1585.82/1592.54	c current bound: 1378
1586.37/1593.13	c current bound: 1378
1586.96/1593.69	c current bound: 1378
1587.51/1594.25	c current bound: 1378
1588.09/1594.81	c current bound: 1378
1588.65/1595.37	c current bound: 1378
1589.21/1595.93	c current bound: 1378
1589.79/1596.49	c current bound: 1378
1590.33/1597.05	c current bound: 1378
1590.90/1597.61	c current bound: 1378
1591.47/1598.17	c current bound: 1378
1592.03/1598.74	c current bound: 1378
1592.59/1599.30	c current bound: 1378
1593.15/1599.86	c current bound: 1378
1593.96/1600.42	c current bound: 1378
1594.29/1600.99	c current bound: 1378
1595.06/1601.55	c current bound: 1378
1595.40/1602.11	c current bound: 1378
1596.16/1602.67	c current bound: 1378
1596.53/1603.23	c current bound: 1378
1597.27/1603.79	c current bound: 1378
1597.67/1604.35	c current bound: 1378
1598.47/1604.91	c current bound: 1378
1598.79/1605.48	c current bound: 1378
1599.57/1606.04	c current bound: 1378
1600.18/1606.60	c current bound: 1378
1600.68/1607.16	c current bound: 1378
1601.04/1607.72	c current bound: 1378
1601.78/1608.28	c current bound: 1378
1602.16/1608.84	c current bound: 1378
1602.98/1609.40	c current bound: 1378
1603.28/1609.96	c current bound: 1378
1604.08/1610.52	c current bound: 1378
1604.41/1611.08	c current bound: 1378
1605.17/1611.64	c current bound: 1378
1605.78/1612.20	c current bound: 1378
1606.28/1612.76	c current bound: 1378
1606.66/1613.32	c current bound: 1378
1607.21/1613.88	c current bound: 1378
1607.78/1614.44	c current bound: 1378
1608.34/1615.01	c current bound: 1378
1608.91/1615.57	c current bound: 1378
1609.46/1616.13	c current bound: 1378
1610.03/1616.69	c current bound: 1378
1610.60/1617.25	c current bound: 1378
1611.16/1617.81	c current bound: 1378
1611.72/1618.37	c current bound: 1378
1612.28/1618.94	c current bound: 1378
1612.85/1619.49	c current bound: 1378
1613.40/1620.06	c current bound: 1378
1613.98/1620.62	c current bound: 1378
1614.55/1621.18	c current bound: 1378
1615.10/1621.74	c current bound: 1378
1615.66/1622.31	c current bound: 1378
1616.22/1622.87	c current bound: 1378
1616.79/1623.43	c current bound: 1378
1617.35/1623.99	c current bound: 1378
1617.91/1624.55	c current bound: 1378
1618.48/1625.12	c current bound: 1378
1619.05/1625.68	c current bound: 1378
1619.60/1626.24	c current bound: 1378
1620.17/1626.80	c current bound: 1378
1620.73/1627.36	c current bound: 1378
1621.53/1627.93	c current bound: 1378
1621.87/1628.49	c current bound: 1378
1622.63/1629.05	c current bound: 1378
1622.98/1629.61	c current bound: 1378
1623.74/1630.18	c current bound: 1378
1624.12/1630.74	c current bound: 1378
1624.84/1631.30	c current bound: 1378
1625.24/1631.86	c current bound: 1378
1626.04/1632.42	c current bound: 1378
1626.37/1632.98	c current bound: 1378
1627.13/1633.54	c current bound: 1378
1627.49/1634.10	c current bound: 1378
1628.26/1634.67	c current bound: 1378
1628.63/1635.23	c current bound: 1378
1629.35/1635.79	c current bound: 1378
1629.74/1636.35	c current bound: 1378
1630.54/1636.91	c current bound: 1378
1630.86/1637.47	c current bound: 1378
1631.65/1638.04	c current bound: 1378
1632.26/1638.60	c current bound: 1378
1632.75/1639.16	c current bound: 1378
1633.12/1639.72	c current bound: 1378
1633.69/1640.28	c current bound: 1378
1634.25/1640.84	c current bound: 1378
1634.81/1641.40	c current bound: 1378
1635.37/1641.96	c current bound: 1378
1635.94/1642.53	c current bound: 1378
1636.51/1643.08	c current bound: 1378
1637.07/1643.64	c current bound: 1378
1637.64/1644.21	c current bound: 1378
1638.20/1644.77	c current bound: 1378
1638.74/1645.33	c current bound: 1378
1639.31/1645.89	c current bound: 1378
1639.87/1646.45	c current bound: 1378
1640.44/1647.01	c current bound: 1378
1641.00/1647.57	c current bound: 1378
1641.57/1648.13	c current bound: 1378
1642.13/1648.69	c current bound: 1378
1642.68/1649.25	c current bound: 1378
1643.25/1649.81	c current bound: 1378
1643.81/1650.37	c current bound: 1378
1644.38/1650.93	c current bound: 1378
1644.94/1651.49	c current bound: 1378
1645.50/1652.05	c current bound: 1378
1646.06/1652.61	c current bound: 1378
1646.63/1653.17	c current bound: 1378
1647.19/1653.73	c current bound: 1378
1648.04/1654.30	c current bound: 1378
1648.34/1654.86	c current bound: 1378
1649.12/1655.43	c current bound: 1378
1649.46/1655.99	c current bound: 1378
1650.23/1656.56	c current bound: 1378
1650.59/1657.12	c current bound: 1378
1651.33/1657.68	c current bound: 1378
1651.71/1658.24	c current bound: 1378
1652.43/1658.80	c current bound: 1378
1652.83/1659.37	c current bound: 1378
1653.64/1659.93	c current bound: 1378
1653.97/1660.49	c current bound: 1378
1654.73/1661.05	c current bound: 1378
1655.10/1661.62	c current bound: 1378
1655.84/1662.18	c current bound: 1378
1656.22/1662.74	c current bound: 1378
1657.06/1663.30	c current bound: 1378
1657.35/1663.87	c current bound: 1378
1658.14/1664.42	c current bound: 1378
1658.48/1664.98	c current bound: 1378
1659.25/1665.55	c current bound: 1378
1659.60/1666.11	c current bound: 1378
1660.16/1666.67	c current bound: 1378
1660.73/1667.23	c current bound: 1378
1661.30/1667.79	c current bound: 1378
1661.85/1668.35	c current bound: 1378
1662.42/1668.91	c current bound: 1378
1662.98/1669.47	c current bound: 1378
1663.54/1670.03	c current bound: 1378
1664.10/1670.59	c current bound: 1378
1664.66/1671.15	c current bound: 1378
1665.23/1671.72	c current bound: 1378
1665.80/1672.29	c current bound: 1378
1666.36/1672.85	c current bound: 1378
1666.93/1673.41	c current bound: 1378
1667.49/1673.97	c current bound: 1378
1668.05/1674.53	c current bound: 1378
1668.60/1675.09	c current bound: 1378
1669.18/1675.65	c current bound: 1378
1669.74/1676.21	c current bound: 1378
1670.31/1676.77	c current bound: 1378
1670.86/1677.33	c current bound: 1378
1671.44/1677.89	c current bound: 1378
1671.99/1678.46	c current bound: 1378
1672.54/1679.02	c current bound: 1378
1673.11/1679.58	c current bound: 1378
1673.68/1680.14	c current bound: 1378
1674.52/1680.71	c current bound: 1378
1674.80/1681.26	c current bound: 1378
1675.59/1681.83	c current bound: 1378
1675.93/1682.39	c current bound: 1378
1676.70/1682.95	c current bound: 1378
1677.06/1683.51	c current bound: 1378
1677.81/1684.08	c current bound: 1378
1678.19/1684.64	c current bound: 1378
1678.91/1685.20	c current bound: 1378
1679.31/1685.77	c current bound: 1378
1680.11/1686.33	c current bound: 1378
1680.45/1686.89	c current bound: 1378
1681.23/1687.45	c current bound: 1378
1681.58/1688.01	c current bound: 1378
1682.34/1688.57	c current bound: 1378
1682.70/1689.13	c current bound: 1378
1683.52/1689.71	c current bound: 1378
1683.84/1690.27	c current bound: 1378
1684.62/1690.83	c current bound: 1378
1684.97/1691.40	c current bound: 1378
1685.73/1691.97	c current bound: 1378
1686.11/1692.53	c current bound: 1378
1686.68/1693.09	c current bound: 1378
1687.23/1693.65	c current bound: 1378
1687.79/1694.21	c current bound: 1378
1688.36/1694.77	c current bound: 1378
1688.92/1695.33	c current bound: 1378
1689.47/1695.89	c current bound: 1378
1690.04/1696.45	c current bound: 1378
1690.61/1697.01	c current bound: 1378
1691.16/1697.57	c current bound: 1378
1691.73/1698.13	c current bound: 1378
1692.29/1698.69	c current bound: 1378
1692.85/1699.26	c current bound: 1378
1693.41/1699.82	c current bound: 1378
1693.98/1700.37	c current bound: 1378
1694.55/1700.94	c current bound: 1378
1695.11/1701.50	c current bound: 1378
1695.68/1702.06	c current bound: 1378
1696.24/1702.62	c current bound: 1378
1696.80/1703.18	c current bound: 1378
1697.35/1703.74	c current bound: 1378
1697.93/1704.31	c current bound: 1378
1698.49/1704.87	c current bound: 1378
1699.04/1705.42	c current bound: 1378
1699.62/1705.98	c current bound: 1378
1700.18/1706.54	c current bound: 1378
1701.01/1707.10	c current bound: 1378
1701.28/1707.66	c current bound: 1378
1702.08/1708.22	c current bound: 1378
1702.42/1708.79	c current bound: 1378
1703.20/1709.35	c current bound: 1378
1703.54/1709.91	c current bound: 1378
1704.30/1710.47	c current bound: 1378
1704.69/1711.03	c current bound: 1378
1705.41/1711.59	c current bound: 1378
1705.79/1712.15	c current bound: 1378
1706.61/1712.71	c current bound: 1378
1706.92/1713.28	c current bound: 1378
1707.70/1713.85	c current bound: 1378
1708.07/1714.42	c current bound: 1378
1708.82/1714.98	c current bound: 1378
1709.18/1715.54	c current bound: 1378
1710.02/1716.10	c current bound: 1378
1710.31/1716.66	c current bound: 1378
1711.10/1717.22	c current bound: 1378
1711.44/1717.79	c current bound: 1378
1712.21/1718.35	c current bound: 1378
1712.57/1718.91	c current bound: 1378
1713.14/1719.47	c current bound: 1378
1713.70/1720.03	c current bound: 1378
1714.25/1720.59	c current bound: 1378
1714.81/1721.15	c current bound: 1378
1715.38/1721.71	c current bound: 1378
1715.93/1722.27	c current bound: 1378
1716.50/1722.84	c current bound: 1378
1717.06/1723.39	c current bound: 1378
1717.63/1723.96	c current bound: 1378
1718.18/1724.52	c current bound: 1378
1718.75/1725.09	c current bound: 1378
1719.31/1725.65	c current bound: 1378
1719.88/1726.21	c current bound: 1378
1720.43/1726.77	c current bound: 1378
1721.00/1727.33	c current bound: 1378
1721.57/1727.89	c current bound: 1378
1722.13/1728.45	c current bound: 1378
1722.69/1729.01	c current bound: 1378
1723.24/1729.57	c current bound: 1378
1723.81/1730.14	c current bound: 1378
1724.38/1730.70	c current bound: 1378
1724.95/1731.26	c current bound: 1378
1725.50/1731.82	c current bound: 1378
1726.07/1732.38	c current bound: 1378
1726.62/1732.95	c current bound: 1378
1727.45/1733.51	c current bound: 1378
1727.75/1734.07	c current bound: 1378
1728.55/1734.63	c current bound: 1378
1728.88/1735.19	c current bound: 1378
1729.66/1735.75	c current bound: 1378
1730.00/1736.31	c current bound: 1378
1730.75/1736.87	c current bound: 1378
1731.13/1737.43	c current bound: 1378
1731.87/1737.99	c current bound: 1378
1732.24/1738.55	c current bound: 1378
1733.06/1739.11	c current bound: 1378
1733.38/1739.67	c current bound: 1378
1734.16/1740.23	c current bound: 1378
1734.50/1740.79	c current bound: 1378
1735.27/1741.36	c current bound: 1378
1735.64/1741.92	c current bound: 1378
1736.37/1742.48	c current bound: 1378
1736.76/1743.04	c current bound: 1378
1737.59/1743.60	c current bound: 1378
1737.87/1744.16	c current bound: 1378
1738.67/1744.72	c current bound: 1378
1739.01/1745.28	c current bound: 1378
1739.78/1745.85	c current bound: 1378
1740.13/1746.41	c current bound: 1378
1740.70/1746.98	c current bound: 1378
1741.26/1747.54	c current bound: 1378
1742.08/1748.10	c current bound: 1378
1742.39/1748.66	c current bound: 1378
1742.95/1749.22	c current bound: 1378
1743.51/1749.78	c current bound: 1378
1744.08/1750.34	c current bound: 1378
1744.64/1750.90	c current bound: 1378
1745.20/1751.47	c current bound: 1378
1745.77/1752.02	c current bound: 1378
1746.32/1752.59	c current bound: 1378
1746.89/1753.15	c current bound: 1378
1747.45/1753.71	c current bound: 1378
1748.02/1754.29	c current bound: 1378
1748.60/1754.85	c current bound: 1378
1749.16/1755.41	c current bound: 1378
1749.73/1755.97	c current bound: 1378
1750.29/1756.53	c current bound: 1378
1750.85/1757.09	c current bound: 1378
1751.41/1757.65	c current bound: 1378
1751.98/1758.21	c current bound: 1378
1752.54/1758.78	c current bound: 1378
1753.12/1759.34	c current bound: 1378
1753.68/1759.89	c current bound: 1378
1754.23/1760.46	c current bound: 1378
1755.05/1761.02	c current bound: 1378
1755.37/1761.58	c current bound: 1378
1756.14/1762.14	c current bound: 1378
1756.50/1762.71	c current bound: 1378
1757.26/1763.27	c current bound: 1378
1757.63/1763.83	c current bound: 1378
1758.37/1764.39	c current bound: 1378
1758.76/1764.98	c current bound: 1378
1759.55/1765.54	c current bound: 1378
1760.16/1766.10	c current bound: 1378
1760.66/1766.66	c current bound: 1378
1761.00/1767.22	c current bound: 1378
1761.75/1767.78	c current bound: 1378
1762.14/1768.35	c current bound: 1378
1762.94/1768.90	c current bound: 1378
1763.26/1769.46	c current bound: 1378
1764.06/1770.03	c current bound: 1378
1764.39/1770.59	c current bound: 1378
1765.15/1771.15	c current bound: 1378
1765.52/1771.71	c current bound: 1378
1766.07/1772.27	c current bound: 1378
1766.64/1772.83	c current bound: 1378
1767.21/1773.40	c current bound: 1378
1767.78/1773.95	c current bound: 1378
1768.34/1774.52	c current bound: 1378
1768.90/1775.08	c current bound: 1378
1769.47/1775.64	c current bound: 1378
1770.02/1776.21	c current bound: 1378
1770.59/1776.77	c current bound: 1378
1771.16/1777.33	c current bound: 1378
1771.72/1777.89	c current bound: 1378
1772.29/1778.45	c current bound: 1378
1772.83/1779.01	c current bound: 1378
1773.39/1779.58	c current bound: 1378
1773.98/1780.14	c current bound: 1378
1774.80/1780.70	c current bound: 1378
1775.10/1781.27	c current bound: 1378
1775.66/1781.83	c current bound: 1378
1776.23/1782.39	c current bound: 1378
1776.80/1782.95	c current bound: 1378
1777.34/1783.51	c current bound: 1378
1777.90/1784.07	c current bound: 1378
1778.47/1784.64	c current bound: 1378
1779.04/1785.20	c current bound: 1378
1779.60/1785.76	c current bound: 1378
1780.40/1786.32	c current bound: 1378
1780.72/1786.88	c current bound: 1378
1781.49/1787.45	c current bound: 1378
1781.84/1788.01	c current bound: 1378
1782.58/1788.58	c current bound: 1378
1782.97/1789.14	c current bound: 1378
1783.81/1789.70	c current bound: 1378
1784.10/1790.27	c current bound: 1378
1784.89/1790.83	c current bound: 1378
1785.23/1791.39	c current bound: 1378
1785.99/1791.96	c current bound: 1378
1786.35/1792.53	c current bound: 1378
1787.09/1793.09	c current bound: 1378
1787.48/1793.65	c current bound: 1378
1788.28/1794.22	c current bound: 1378
1788.60/1794.78	c current bound: 1378
1789.37/1795.34	c current bound: 1378
1789.72/1795.90	c current bound: 1378
1790.55/1796.51	c current bound: 1378
1790.84/1797.07	c current bound: 1378
1791.40/1797.63	c current bound: 1378
1791.98/1798.19	c current bound: 1378
1792.53/1798.76	c current bound: 1378
1793.09/1799.31	c current bound: 1378
1793.65/1799.87	c current bound: 1378
1794.22/1800.43	c current bound: 1378
1795.04/1801.00	c current bound: 1378
1795.33/1801.56	c current bound: 1378
1795.90/1802.12	c current bound: 1378
1796.46/1802.68	c current bound: 1378
1797.02/1803.24	c current bound: 1378
1797.60/1803.80	c current bound: 1378
1798.14/1804.37	c current bound: 1378
1798.71/1804.93	c current bound: 1378
1799.27/1805.49	c current bound: 1378
1799.56/1805.50	HOME/npSolver-wbo-Itdqb.sh: line 18: 26088 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26087
/proc/meminfo: memFree=30027284/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0

[startup+0.0443841 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26087
/proc/meminfo: memFree=30027284/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26087
/proc/meminfo: memFree=30027284/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26087
/proc/meminfo: memFree=30027284/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700217 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26087
/proc/meminfo: memFree=30027284/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26122
/proc/meminfo: memFree=29978436/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1.46 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 7694 46406 0 0 24 4 82 36 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29020

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26146
/proc/meminfo: memFree=29997724/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=2.95 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 13933 79747 0 0 47 8 164 76 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 29020

[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26215
/proc/meminfo: memFree=29975356/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=5.97 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 24350 163874 0 0 86 12 345 154 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 29020

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26358
/proc/meminfo: memFree=30007772/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=12.57 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 49327 329892 0 0 180 24 724 329 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 29020

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26646
/proc/meminfo: memFree=30001488/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=25.23 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 95138 664235 0 0 350 48 1466 659 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 29020

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27193
/proc/meminfo: memFree=29960864/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=50.5 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 188821 1314031 0 0 699 95 2935 1321 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 29020

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 28317
/proc/meminfo: memFree=29965132/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=101.61 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 376208 2639136 0 0 1398 189 5951 2623 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 29020

[startup+162.3 s]
/proc/loadavg: 1.91 1.97 1.99 3/182 29616
/proc/meminfo: memFree=30004828/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=161.74 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 485533 4203739 0 0 2226 287 9474 4187 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 29020

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

[startup+171.607 s]
/proc/loadavg: 1.93 1.97 1.99 3/184 29831
/proc/meminfo: memFree=29990704/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=170.96 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 494324 4452723 0 0 2349 302 10026 4419 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
[pid=29829] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29829/stat : 29829 (cp2_post.sh) S 26088 26087 718 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 387148934 9367552 265 33554432000 4194304 5064252 140734566009920 140734566008208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29829/statm: 2287 265 225 213 0 72 0
[pid=29831] ppid=29829 vsize=10132 CPUtime=0.15 cores=1,3,5,7
/proc/29831/stat : 29831 (coprocessor) R 29829 26087 718 0 -1 4202496 2040 0 0 0 10 5 0 0 20 0 1 0 387148934 10375168 1701 33554432000 4194304 6586260 140734989916400 140734566008232 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/29831/statm: 2533 1701 148 584 0 1945 0
Current children cumulated CPU time (s) 171.11
Current children cumulated vsize (KiB) 48300

[startup+171.7 s]
/proc/loadavg: 1.93 1.97 1.99 3/184 29831
/proc/meminfo: memFree=29990704/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=170.96 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 494324 4452723 0 0 2349 302 10026 4419 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
[pid=29829] ppid=26088 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29829/stat : 29829 (cp2_post.sh) R 26088 26087 718 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 387148934 9367552 265 33554432000 4194304 5064252 140734566009920 140734566008208 209883653710 0 65536 4100 65538 0 0 0 17 5 0 0 0 0 0
/proc/29829/statm: 2287 265 225 213 0 72 0
Current children cumulated CPU time (s) 170.96
Current children cumulated vsize (KiB) 38168
#

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

/proc/meminfo: memFree=29961568/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1179.1 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1476485 30716485 0 0 16204 1882 69466 30358 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1179.1
Current children cumulated vsize (KiB) 29020

[startup+1242.3 s]
/proc/loadavg: 2.06 1.96 1.96 3/183 20781
/proc/meminfo: memFree=29944172/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1238.26 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1534130 32258090 0 0 17018 1975 72953 31880 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1238.26
Current children cumulated vsize (KiB) 29020

[startup+1302.3 s]
/proc/loadavg: 1.91 1.94 1.95 3/181 22102
/proc/meminfo: memFree=29990268/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1297.62 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1591818 33806033 0 0 17830 2069 76449 33414 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744469440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1297.62
Current children cumulated vsize (KiB) 29020

[startup+1362.3 s]
/proc/loadavg: 1.88 1.92 1.94 3/184 23398
/proc/meminfo: memFree=29976936/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1356.51 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1649420 35343329 0 0 18645 2162 79937 34907 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1356.51
Current children cumulated vsize (KiB) 29020

[startup+1422.31 s]
/proc/loadavg: 2.05 1.95 1.95 3/183 24718
/proc/meminfo: memFree=29942400/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1416.08 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) R 26087 26087 718 0 -1 4202496 1707605 36893222 0 0 19465 2255 83423 36465 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744469440 4581131 0 0 4096 0 0 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1416.08
Current children cumulated vsize (KiB) 29020

[startup+1482.3 s]
/proc/loadavg: 1.95 1.94 1.94 3/183 26023
/proc/meminfo: memFree=29924572/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1475.47 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1765259 38444304 0 0 20279 2348 86929 37991 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1475.47
Current children cumulated vsize (KiB) 29020

[startup+1542.3 s]
/proc/loadavg: 1.98 1.95 1.94 3/181 27361
/proc/meminfo: memFree=29988240/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1535.55 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1823995 40005316 0 0 21108 2440 90463 39544 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1535.55
Current children cumulated vsize (KiB) 29020

[startup+1602.3 s]
/proc/loadavg: 1.99 1.95 1.94 3/183 28665
/proc/meminfo: memFree=29941376/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1595.76 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1882738 41575188 0 0 21937 2534 94010 41095 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1595.76
Current children cumulated vsize (KiB) 29020

[startup+1662.3 s]
/proc/loadavg: 1.95 1.94 1.94 3/183 29998
/proc/meminfo: memFree=29974252/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1656.02 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 1941481 43143472 0 0 22766 2628 97570 42638 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468864 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1656.02
Current children cumulated vsize (KiB) 29020

[startup+1722.3 s]
/proc/loadavg: 1.77 1.90 1.92 3/183 31305
/proc/meminfo: memFree=29939564/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1716.24 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) R 26087 26087 718 0 -1 4202496 2000217 44714553 0 0 23590 2720 101123 44191 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744469440 4535965 0 0 4096 0 0 0 0 17 3 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1716.24
Current children cumulated vsize (KiB) 29020

[startup+1782.3 s]
/proc/loadavg: 1.68 1.85 1.90 3/181 32633
/proc/meminfo: memFree=29985988/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1776.23 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) S 26087 26087 718 0 -1 4202496 2058425 46280321 0 0 24416 2815 104653 45739 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744468352 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1776.23
Current children cumulated vsize (KiB) 29020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.5 s]
/proc/loadavg: 1.77 1.86 1.90 3/181 622
/proc/meminfo: memFree=29768776/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1799.56 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) R 26087 26087 718 0 -1 4202496 2081468 46885931 0 0 24736 2850 106024 46346 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744469440 4537139 0 0 4096 0 0 0 0 17 1 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 29020

Sending SIGTERM to process tree (bottom up)

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

[startup+1805.5 s]
/proc/loadavg: 1.77 1.86 1.90 3/181 622
/proc/meminfo: memFree=29768776/32873844 swapFree=7632/7632
[pid=26087] ppid=26085 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26087/stat : 26087 (npSolver-wbo-It) S 26085 26087 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387131791 9367552 275 33554432000 4194304 5064252 140733567046752 140733567045664 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26087/statm: 2287 275 233 213 0 72 0
[pid=26088] ppid=26087 vsize=19872 CPUtime=1799.56 cores=1,3,5,7
/proc/26088/stat : 26088 (npSolver-wbo) R 26087 26087 718 0 -1 4202496 2081468 46885931 0 0 24736 2850 106024 46346 20 0 1 0 387131791 20348928 4405 33554432000 4194304 6006132 140733744477504 140733744469440 4537139 0 0 4096 0 0 0 0 17 1 0 0 20 0 0
/proc/26088/statm: 4968 4405 176 443 0 4521 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 29020

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.660019
#  lost CPU user time (s): 0.360039
#  lost CPU system time (s): 0.299976

Real time (s): 1805.51
CPU time (s): 1800.24
CPU user time (s): 1307.97
CPU system time (s): 492.271
CPU usage (%): 99.7082
Max. virtual memory (cumulated for all children) (KiB): 85972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1307.61
system time used= 491.971
maximum resident set size= 44036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48967773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42224632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 894757
involuntary context switches= 39548

runsolver used 3.34149 second user time and 8.72867 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-09 04:47:55
IDJOB=3753134
IDBENCH=79405
IDSOLVER=2336
FILE ID=node141/3753134-1339210075
RUNJOBID= node141-1339204598-735
PBS_JOBID= 14643863
Free space on /tmp= 69288 MiB

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

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

MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47
RANDOM SEED=749860425

node141.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.744
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	: 5333.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30027548 kB
Buffers:          354768 kB
Cached:          1515188 kB
SwapCached:         3056 kB
Active:           586944 kB
Inactive:        1313220 kB
Active(anon):      28892 kB
Inactive(anon):     2872 kB
Active(file):     558052 kB
Inactive(file):  1310348 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:             24008 kB
Writeback:             0 kB
AnonPages:         46616 kB
Mapped:             9748 kB
Shmem:                 0 kB
Slab:             804444 kB
SReclaimable:     245412 kB
SUnreclaim:       559032 kB
KernelStack:        1520 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 69240 MiB
End job on node141 at 2012-06-09 05:18:00