Trace number 3715809

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.28 1837.91

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh10_wcsp.wbo
MD5SUM401aade47f990d36319fcf6fc2a74e2a
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark0.008998
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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.06	o 7151
0.00/0.06	c starting approximation
0.00/0.06	c factor = 2
0.00/0.06	c factor still to low - shrinking to 22.0966
0.00/0.06	c approx number of clauses: 1e+06
0.00/0.06	c current bound: 3575
0.00/0.60	c current bound: 3575
1.06/1.15	c current bound: 3575
1.40/1.69	c current bound: 3575
2.17/2.26	c current bound: 3575
2.51/2.80	c current bound: 3575
3.26/3.36	c current bound: 3575
3.62/3.91	c current bound: 3575
4.36/4.45	c current bound: 3575
4.71/5.00	c current bound: 3575
5.45/5.55	c current bound: 3575
6.06/6.10	c current bound: 3575
6.56/6.65	c current bound: 3575
6.89/7.20	c current bound: 3575
7.65/7.76	c current bound: 3575
8.00/8.31	c current bound: 3575
8.75/8.86	c current bound: 3575
9.10/9.41	c current bound: 3575
9.84/9.96	c current bound: 3575
10.20/10.51	c current bound: 3575
10.94/11.05	c current bound: 3575
11.55/11.60	c current bound: 3575
12.04/12.15	c current bound: 3575
12.37/12.69	c current bound: 3575
13.14/13.24	c current bound: 3575
13.47/13.78	c current bound: 3575
14.24/14.33	c current bound: 3575
14.55/15.03	c current bound: 3575
15.11/15.58	c current bound: 3575
15.65/16.12	c current bound: 3575
16.19/16.67	c current bound: 3575
16.74/17.23	c current bound: 3575
17.30/17.76	c current bound: 3575
17.83/18.32	c current bound: 3575
18.59/18.88	c current bound: 3575
18.95/19.44	c current bound: 3575
19.51/20.21	c current bound: 3575
20.08/20.77	c current bound: 3575
20.63/21.33	c current bound: 3575
21.20/21.88	c current bound: 3575
21.76/22.44	c current bound: 3575
22.31/23.00	c current bound: 3575
22.87/23.56	c current bound: 3575
23.68/24.12	c current bound: 3575
23.99/24.69	c current bound: 3575
24.83/25.50	c current bound: 3575
25.13/26.06	c current bound: 3575
25.69/26.61	c current bound: 3575
26.25/27.17	c current bound: 3575
26.79/27.73	c current bound: 3575
27.37/28.29	c current bound: 3575
27.91/28.85	c current bound: 3575
28.47/29.40	c current bound: 3575
29.03/29.96	c current bound: 3575
29.58/30.52	c current bound: 3575
30.14/31.08	c current bound: 3575
30.70/31.64	c current bound: 3575
31.27/32.21	c current bound: 3575
31.83/32.77	c current bound: 3575
32.39/33.33	c current bound: 3575
32.95/33.89	c current bound: 3575
33.51/34.45	c current bound: 3575
34.08/35.01	c current bound: 3575
34.65/35.59	c current bound: 3575
35.21/36.16	c current bound: 3575
35.78/36.72	c current bound: 3575
36.33/37.28	c current bound: 3575
36.91/37.84	c current bound: 3575
37.46/38.40	c current bound: 3575
38.02/38.96	c current bound: 3575
38.83/39.51	c current bound: 3575
39.13/40.07	c current bound: 3575
39.93/40.63	c current bound: 3575
40.25/41.18	c current bound: 3575
41.02/41.74	c current bound: 3575
41.37/42.31	c current bound: 3575
42.14/42.87	c current bound: 3575
42.48/43.44	c current bound: 3575
43.33/44.02	c current bound: 3575
43.63/44.55	c current bound: 3575
44.43/45.11	c current bound: 3575
44.73/45.67	c current bound: 3575
45.54/46.23	c current bound: 3575
45.85/46.79	c current bound: 3575
46.64/47.35	c current bound: 3575
46.97/47.90	c current bound: 3575
47.75/48.46	c current bound: 3575
48.09/49.02	c current bound: 3575
48.83/49.58	c current bound: 3575
49.21/50.15	c current bound: 3575
50.04/50.71	c current bound: 3575
50.34/51.27	c current bound: 3575
51.14/51.83	c current bound: 3575
51.46/52.39	c current bound: 3575
52.23/52.95	c current bound: 3575
52.57/53.50	c current bound: 3575
53.33/54.07	c current bound: 3575
53.69/54.63	c current bound: 3575
54.26/55.17	c current bound: 3575
54.80/55.71	c current bound: 3575
55.54/56.27	c current bound: 3575
55.90/56.84	c current bound: 3575
56.46/57.38	c current bound: 3575
57.00/57.94	c current bound: 3575
57.56/58.49	c current bound: 3575
58.12/59.05	c current bound: 3575
58.67/59.61	c current bound: 3575
59.24/60.17	c current bound: 3575
59.80/60.72	c current bound: 3575
60.34/61.28	c current bound: 3575
60.91/61.84	c current bound: 3575
61.74/62.40	c current bound: 3575
62.02/62.96	c current bound: 3575
62.59/63.52	c current bound: 3575
63.15/64.08	c current bound: 3575
63.71/64.64	c current bound: 3575
64.27/65.19	c current bound: 3575
64.83/65.75	c current bound: 3575
65.36/66.30	c current bound: 3575
65.93/66.86	c current bound: 3575
66.50/67.42	c current bound: 3575
67.04/67.98	c current bound: 3575
67.60/68.54	c current bound: 3575
68.16/69.11	c current bound: 3575
68.74/69.66	c current bound: 3575
69.29/70.22	c current bound: 3575
70.13/70.96	c current bound: 3575
70.64/71.52	c current bound: 3575
70.95/72.08	c current bound: 3575
71.76/72.64	c current bound: 3575
72.08/73.19	c current bound: 3575
72.85/73.75	c current bound: 3575
73.19/74.30	c current bound: 3575
73.95/74.87	c current bound: 3575
74.30/75.42	c current bound: 3575
75.11/76.02	c current bound: 3575
75.42/76.58	c current bound: 3575
76.22/77.14	c current bound: 3575
76.53/77.70	c current bound: 3575
77.31/78.25	c current bound: 3575
77.65/78.81	c current bound: 3575
78.40/79.36	c current bound: 3575
78.75/79.92	c current bound: 3575
79.32/80.46	c current bound: 3575
79.86/81.05	c current bound: 3575
80.41/81.61	c current bound: 3575
80.96/82.18	c current bound: 3575
81.55/82.73	c current bound: 3575
82.39/83.30	c current bound: 3575
82.66/83.85	c current bound: 3575
83.22/84.41	c current bound: 3575
83.78/84.97	c current bound: 3575
84.33/85.68	c current bound: 3575
84.90/86.25	c current bound: 3575
85.74/86.80	c current bound: 3575
86.02/87.36	c current bound: 3575
86.83/87.91	c current bound: 3575
87.13/88.47	c current bound: 3575
87.92/89.04	c current bound: 3575
88.55/89.60	c current bound: 3575
89.04/90.15	c current bound: 3575
89.64/90.86	c current bound: 3575
90.18/91.42	c current bound: 3575
90.49/91.97	c current bound: 3575
91.28/92.53	c current bound: 3575
91.60/93.09	c current bound: 3575
92.39/93.65	c current bound: 3575
92.72/94.20	c current bound: 3575
93.49/94.77	c current bound: 3575
93.84/95.33	c current bound: 3575
94.40/95.88	c current bound: 3575
94.96/96.44	c current bound: 3575
95.79/97.00	c current bound: 3575
96.07/97.55	c current bound: 3575
96.62/98.11	c current bound: 3575
97.18/98.67	c current bound: 3575
97.75/99.23	c current bound: 3575
98.30/99.78	c current bound: 3575
98.85/100.35	c current bound: 3575
99.43/100.91	c current bound: 3575
100.00/101.47	c current bound: 3575
100.54/102.04	c current bound: 3575
101.41/102.60	c current bound: 3575
101.69/103.15	c current bound: 3575
102.24/103.71	c current bound: 3575
102.79/104.27	c current bound: 3575
103.35/104.82	c current bound: 3575
103.89/105.38	c current bound: 3575
104.46/105.94	c current bound: 3575
105.30/106.50	c current bound: 3575
105.58/107.05	c current bound: 3575
106.13/107.61	c current bound: 3575
106.70/108.18	c current bound: 3575
107.27/108.74	c current bound: 3575
107.83/109.29	c current bound: 3575
108.37/109.85	c current bound: 3575
108.93/110.41	c current bound: 3575
109.50/110.95	c current bound: 3575
110.03/111.52	c current bound: 3575
110.60/112.08	c current bound: 3575
111.16/112.63	c current bound: 3575
111.73/113.19	c current bound: 3575
112.27/113.75	c current bound: 3575
113.11/114.31	c current bound: 3575
113.39/114.87	c current bound: 3575
114.21/115.42	c current bound: 3575
114.51/115.98	c current bound: 3575
115.31/116.53	c current bound: 3575
115.63/117.09	c current bound: 3575
116.40/117.65	c current bound: 3575
116.76/118.21	c current bound: 3575
117.53/118.76	c current bound: 3575
117.86/119.32	c current bound: 3575
118.61/119.88	c current bound: 3575
118.98/120.44	c current bound: 3575
119.72/120.98	c current bound: 3575
120.09/121.54	c current bound: 3575
120.82/122.10	c current bound: 3575
121.21/122.66	c current bound: 3575
122.02/123.22	c current bound: 3575
122.32/123.77	c current bound: 3575
123.13/124.34	c current bound: 3575
123.74/124.90	c current bound: 3575
124.23/125.45	c current bound: 3575
124.56/125.99	c current bound: 3575
125.32/126.56	c current bound: 3575
125.67/127.11	c current bound: 3575
126.43/127.67	c current bound: 3575
126.79/128.23	c current bound: 3575
127.54/128.78	c current bound: 3575
127.89/129.34	c current bound: 3575
128.74/129.90	c current bound: 3575
129.02/130.45	c current bound: 3575
129.84/131.00	c current bound: 3575
130.12/131.56	c current bound: 3575
130.93/132.11	c current bound: 3575
131.24/132.67	c current bound: 3575
132.03/133.23	c current bound: 3575
132.34/133.79	c current bound: 3575
133.13/134.35	c current bound: 3575
133.48/134.91	c current bound: 3575
134.24/135.46	c current bound: 3575
134.58/136.02	c current bound: 3575
135.33/136.57	c current bound: 3575
135.71/137.13	c current bound: 3575
136.25/137.66	c current bound: 3575
136.78/138.22	c current bound: 3575
137.53/138.78	c current bound: 3575
137.91/139.34	c current bound: 3575
138.46/139.89	c current bound: 3575
139.02/140.45	c current bound: 3575
139.57/141.01	c current bound: 3575
140.13/141.57	c current bound: 3575
140.69/142.12	c current bound: 3575
141.23/142.68	c current bound: 3575
141.81/143.24	c current bound: 3575
142.36/143.79	c current bound: 3575
142.92/144.35	c current bound: 3575
143.48/144.92	c current bound: 3575
144.05/145.48	c current bound: 3575
144.60/146.03	c current bound: 3575
145.16/146.59	c current bound: 3575
145.70/147.15	c current bound: 3575
146.26/147.71	c current bound: 3575
146.84/148.27	c current bound: 3575
147.39/148.82	c current bound: 3575
147.95/149.38	c current bound: 3575
148.50/149.94	c current bound: 3575
149.35/150.50	c current bound: 3575
149.63/151.05	c current bound: 3575
150.17/151.61	c current bound: 3575
150.74/152.18	c current bound: 3575
151.31/152.73	c current bound: 3575
151.87/153.29	c current bound: 3575
152.42/153.85	c current bound: 3575
152.99/154.41	c current bound: 3575
153.55/154.97	c current bound: 3575
154.10/155.53	c current bound: 3575
154.94/156.11	c current bound: 3575
155.22/156.67	c current bound: 3575
156.03/157.23	c current bound: 3575
156.33/157.79	c current bound: 3575
157.13/158.34	c current bound: 3575
157.45/158.90	c current bound: 3575
158.22/159.45	c current bound: 3575
158.56/160.01	c current bound: 3575
159.33/160.59	c current bound: 3575
159.70/161.14	c current bound: 3575
160.42/161.69	c current bound: 3575
160.80/162.23	c current bound: 3575
161.52/162.79	c current bound: 3575
161.90/163.35	c current bound: 3575
162.72/163.91	c current bound: 3575
163.01/164.47	c current bound: 3575
163.82/165.03	c current bound: 3575
164.13/165.59	c current bound: 3575
164.93/166.14	c current bound: 3575
165.26/166.70	c current bound: 3575
166.03/167.26	c current bound: 3575
166.38/167.82	c current bound: 3575
167.13/168.38	c current bound: 3575
167.50/168.94	c current bound: 3575
168.34/169.50	c current bound: 3575
168.62/170.05	c current bound: 3575
169.43/170.62	c current bound: 3575
169.74/171.18	c current bound: 3575
170.52/171.73	c current bound: 3575
170.85/172.29	c current bound: 3575
171.62/172.86	c current bound: 3575
171.96/173.42	c current bound: 3575
172.81/174.19	c current bound: 3575
173.10/174.77	c current bound: 3575
173.67/175.33	c current bound: 3575
174.49/176.08	c current bound: 3575
174.79/176.64	c current bound: 3575
175.64/177.20	c current bound: 3575
175.91/177.75	c current bound: 3575
176.73/178.31	c current bound: 3575
177.01/178.86	c current bound: 3575
177.81/179.42	c current bound: 3575
178.13/179.98	c current bound: 3575
178.94/180.53	c current bound: 3575
179.25/181.09	c current bound: 3575
180.02/181.64	c current bound: 3575
180.37/182.20	c current bound: 3575
181.13/182.77	c current bound: 3575
181.48/183.32	c current bound: 3575
182.05/183.87	c current bound: 3575
182.59/184.42	c current bound: 3575
183.14/184.96	c current bound: 3575
183.68/185.52	c current bound: 3575
184.49/186.21	c current bound: 3575
184.80/186.78	c current bound: 3575
185.37/187.33	c current bound: 3575
185.91/187.89	c current bound: 3575
186.47/188.45	c current bound: 3575
187.04/189.00	c current bound: 3575
187.58/189.56	c current bound: 3575
188.14/190.12	c current bound: 3575
188.69/190.67	c current bound: 3575
189.25/191.28	c current bound: 3575
189.82/191.85	c current bound: 3575
190.64/192.41	c current bound: 3575
190.93/192.96	c current bound: 3575
191.75/193.52	c current bound: 3575
192.05/194.08	c current bound: 3575
192.86/194.63	c current bound: 3575
193.45/195.20	c current bound: 3575
193.95/195.76	c current bound: 3575
194.29/196.36	c current bound: 3575
195.11/196.92	c current bound: 3575
195.41/197.48	c current bound: 3575
196.20/198.04	c current bound: 3575
196.80/198.60	c current bound: 3575
197.30/199.15	c current bound: 3575
197.64/199.72	c current bound: 3575
198.40/200.28	c current bound: 3575
198.77/200.84	c current bound: 3575
199.59/201.41	c current bound: 3575
199.87/201.96	c current bound: 3575
200.69/202.52	c current bound: 3575
200.99/203.08	c current bound: 3575
201.77/203.64	c current bound: 3575
202.11/204.19	c current bound: 3575
202.87/204.75	c current bound: 3575
203.22/205.31	c current bound: 3575
204.00/205.86	c current bound: 3575
204.33/206.42	c current bound: 3575
205.07/206.97	c current bound: 3575
205.44/207.53	c current bound: 3575
205.99/208.09	c current bound: 3575
206.56/208.65	c current bound: 3575
207.12/209.24	c current bound: 3575
207.66/209.81	c current bound: 3575
208.24/210.37	c current bound: 3575
208.79/210.93	c current bound: 3575
209.35/211.47	c current bound: 3575
209.91/212.03	c current bound: 3575
210.46/212.59	c current bound: 3575
211.02/213.15	c current bound: 3575
211.58/213.70	c current bound: 3575
212.13/214.26	c current bound: 3575
212.69/214.81	c current bound: 3575
213.24/215.37	c current bound: 3575
213.81/215.93	c current bound: 3575
214.35/216.49	c current bound: 3575
214.93/217.06	c current bound: 3575
215.49/217.61	c current bound: 3575
216.05/218.18	c current bound: 3575
216.60/218.74	c current bound: 3575
217.45/219.30	c current bound: 3575
217.74/219.86	c current bound: 3575
218.29/220.41	c current bound: 3575
218.85/220.97	c current bound: 3575
219.41/221.53	c current bound: 3575
219.96/222.08	c current bound: 3575
220.53/222.64	c current bound: 3575
221.37/223.20	c current bound: 3575
221.64/223.76	c current bound: 3575
222.45/224.32	c current bound: 3575
222.76/224.87	c current bound: 3575
223.55/225.44	c current bound: 3575
223.88/225.99	c current bound: 3575
224.66/226.54	c current bound: 3575
224.99/227.11	c current bound: 3575
225.76/227.66	c current bound: 3575
226.10/228.22	c current bound: 3575
226.87/228.77	c current bound: 3575
227.22/229.34	c current bound: 3575
228.07/229.92	c current bound: 3575
228.67/230.50	c current bound: 3575
229.17/231.05	c current bound: 3575
229.50/231.62	c current bound: 3575
230.25/232.17	c current bound: 3575
230.61/232.73	c current bound: 3575
231.36/233.29	c current bound: 3575
231.72/233.84	c current bound: 3575
232.56/234.40	c current bound: 3575
232.85/234.96	c current bound: 3575
233.66/235.52	c current bound: 3575
233.97/236.08	c current bound: 3575
234.75/236.62	c current bound: 3575
235.06/237.18	c current bound: 3575
235.84/237.74	c current bound: 3575
236.47/238.30	c current bound: 3575
236.97/238.84	c current bound: 3575
237.28/239.40	c current bound: 3575
238.04/239.96	c current bound: 3575
238.41/240.52	c current bound: 3575
239.14/241.07	c current bound: 3575
239.50/241.63	c current bound: 3575
240.07/242.19	c current bound: 3575
240.63/242.75	c current bound: 3575
241.19/243.31	c current bound: 3575
241.76/243.88	c current bound: 3575
242.31/244.44	c current bound: 3575
242.87/245.00	c current bound: 3575
243.44/245.56	c current bound: 3575
244.00/246.12	c current bound: 3575
244.56/246.67	c current bound: 3575
245.12/247.23	c current bound: 3575
245.68/247.79	c current bound: 3575
246.24/248.36	c current bound: 3575
246.81/248.91	c current bound: 3575
247.36/249.47	c current bound: 3575
247.92/250.03	c current bound: 3575
248.49/250.59	c current bound: 3575
249.04/251.13	c current bound: 3575
249.87/251.70	c current bound: 3575
250.13/252.25	c current bound: 3575
250.70/252.82	c current bound: 3575
251.26/253.37	c current bound: 3575
251.81/253.93	c current bound: 3575
252.37/254.49	c current bound: 3575
252.93/255.06	c current bound: 3575
253.51/255.62	c current bound: 3575
254.07/256.18	c current bound: 3575
254.63/256.73	c current bound: 3575
255.19/257.29	c current bound: 3575
255.74/257.84	c current bound: 3575
256.57/258.41	c current bound: 3575
256.85/258.96	c current bound: 3575
257.67/259.51	c current bound: 3575
257.97/260.07	c current bound: 3575
258.77/260.63	c current bound: 3575
259.09/261.19	c current bound: 3575
259.87/261.75	c current bound: 3575
260.20/262.30	c current bound: 3575
260.98/262.86	c current bound: 3575
261.31/263.42	c current bound: 3575
262.07/263.97	c current bound: 3575
262.44/264.53	c current bound: 3575
263.17/265.09	c current bound: 3575
263.54/265.64	c current bound: 3575
264.37/266.21	c current bound: 3575
264.67/266.77	c current bound: 3575
265.49/267.33	c current bound: 3575
265.80/267.89	c current bound: 3575
266.57/268.45	c current bound: 3575
266.92/269.01	c current bound: 3575
267.68/269.57	c current bound: 3575
268.04/270.13	c current bound: 3575
268.79/270.69	c current bound: 3575
269.15/271.24	c current bound: 3575
269.96/271.80	c current bound: 3575
270.27/272.36	c current bound: 3575
271.08/272.92	c current bound: 3575
271.38/273.47	c current bound: 3575
272.18/274.05	c current bound: 3575
272.51/274.60	c current bound: 3575
273.29/275.17	c current bound: 3575
273.63/275.72	c current bound: 3575
274.20/276.28	c current bound: 3575
274.76/276.84	c current bound: 3575
275.30/277.39	c current bound: 3575
275.86/277.95	c current bound: 3575
276.41/278.50	c current bound: 3575
277.25/279.18	c current bound: 3575
277.53/279.74	c current bound: 3575
278.09/280.31	c current bound: 3575
278.66/280.88	c current bound: 3575
279.21/281.44	c current bound: 3575
279.78/282.03	c current bound: 3575
280.33/282.59	c current bound: 3575
280.88/283.16	c current bound: 3575
281.72/283.71	c current bound: 3575
282.01/284.27	c current bound: 3575
282.82/284.82	c current bound: 3575
283.13/285.38	c current bound: 3575
283.92/285.94	c current bound: 3575
284.25/286.51	c current bound: 3575
285.08/287.11	c current bound: 3575
285.37/287.66	c current bound: 3575
286.18/288.22	c current bound: 3575
286.48/288.78	c current bound: 3575
287.27/289.35	c current bound: 3575
287.61/289.91	c current bound: 3575
288.37/290.47	c current bound: 3575
288.73/291.03	c current bound: 3575
289.49/291.59	c current bound: 3575
289.85/292.15	c current bound: 3575
290.68/292.71	c current bound: 3575
290.98/293.27	c current bound: 3575
291.77/293.82	c current bound: 3575
292.09/294.38	c current bound: 3575
292.88/294.94	c current bound: 3575
293.21/295.49	c current bound: 3575
293.99/296.05	c current bound: 3575
294.33/296.72	c current bound: 3575
294.88/297.27	c current bound: 3575
295.45/297.83	c current bound: 3575
295.99/298.39	c current bound: 3575
296.56/298.95	c current bound: 3575
297.12/299.51	c current bound: 3575
297.68/300.06	c current bound: 3575
298.23/300.62	c current bound: 3575
298.79/301.17	c current bound: 3575
299.63/301.81	c current bound: 3575
299.91/302.37	c current bound: 3575
300.46/302.93	c current bound: 3575
301.02/303.48	c current bound: 3575
301.57/304.04	c current bound: 3575
302.14/304.59	c current bound: 3575
302.70/305.15	c current bound: 3575
303.53/305.70	c current bound: 3575
303.80/306.26	c current bound: 3575
304.63/306.82	c current bound: 3575
304.93/307.38	c current bound: 3575
305.73/307.94	c current bound: 3575
306.05/308.50	c current bound: 3575
306.83/309.06	c current bound: 3575
307.16/309.62	c current bound: 3575
307.92/310.17	c current bound: 3575
308.28/310.73	c current bound: 3575
309.02/311.28	c current bound: 3575
309.67/311.92	c current bound: 3575
310.13/312.48	c current bound: 3575
310.50/313.04	c current bound: 3575
311.35/313.60	c current bound: 3575
311.62/314.16	c current bound: 3575
312.44/314.72	c current bound: 3575
312.74/315.29	c current bound: 3575
313.53/315.85	c current bound: 3575
313.87/316.42	c current bound: 3575
314.72/317.03	c current bound: 3575
314.99/317.59	c current bound: 3575
315.55/318.15	c current bound: 3575
316.11/318.70	c current bound: 3575
316.66/319.26	c current bound: 3575
317.22/319.82	c current bound: 3575
317.78/320.37	c current bound: 3575
318.33/320.94	c current bound: 3575
319.17/321.50	c current bound: 3575
319.75/322.32	c current bound: 3575
320.02/322.88	c current bound: 3575
320.82/323.43	c current bound: 3575
321.14/323.99	c current bound: 3575
321.93/324.56	c current bound: 3575
322.27/325.11	c current bound: 3575
323.01/325.67	c current bound: 3575
323.37/326.22	c current bound: 3575
324.13/326.78	c current bound: 3575
324.48/327.57	c current bound: 3575
325.05/328.13	c current bound: 3575
325.61/328.69	c current bound: 3575
326.15/329.25	c current bound: 3575
326.72/329.81	c current bound: 3575
327.30/330.38	c current bound: 3575
327.85/330.94	c current bound: 3575
328.40/331.49	c current bound: 3575
328.95/332.05	c current bound: 3575
329.52/332.61	c current bound: 3575
330.07/333.17	c current bound: 3575
330.63/333.73	c current bound: 3575
331.20/334.28	c current bound: 3575
331.74/334.84	c current bound: 3575
332.59/335.40	c current bound: 3575
332.87/335.94	c current bound: 3575
333.41/336.48	c current bound: 3575
333.94/337.01	c current bound: 3575
334.48/337.55	c current bound: 3575
335.02/338.11	c current bound: 3575
335.54/338.65	c current bound: 3575
336.10/339.19	c current bound: 3575
336.63/339.72	c current bound: 3575
337.17/340.26	c current bound: 3575
337.96/340.80	c current bound: 3575
338.24/341.34	c current bound: 3575
338.78/341.87	c current bound: 3575
339.32/342.42	c current bound: 3575
339.86/342.96	c current bound: 3575
340.40/343.51	c current bound: 3575
340.94/344.04	c current bound: 3575
341.48/344.58	c current bound: 3575
342.02/345.13	c current bound: 3575
342.57/345.67	c current bound: 3575
343.11/346.21	c current bound: 3575
343.65/346.76	c current bound: 3575
344.18/347.29	c current bound: 3575
344.99/347.94	c current bound: 3575
345.26/348.47	c current bound: 3575
346.07/349.13	c current bound: 3575
346.35/349.66	c current bound: 3575
347.15/350.20	c current bound: 3575
347.42/350.73	c current bound: 3575
347.95/351.28	c current bound: 3575
348.50/351.83	c current bound: 3575
349.05/352.36	c current bound: 3575
349.84/353.16	c current bound: 3575
350.12/353.70	c current bound: 3575
350.87/354.24	c current bound: 3575
351.20/354.77	c current bound: 3575
351.97/355.31	c current bound: 3575
352.27/355.85	c current bound: 3575
352.97/356.39	c current bound: 3575
353.33/356.93	c current bound: 3575
354.07/357.47	c current bound: 3575
354.68/358.14	c current bound: 3575
355.12/358.68	c current bound: 3575
355.49/359.22	c current bound: 3575
356.24/359.75	c current bound: 3575
356.57/360.29	c current bound: 3575
357.33/360.83	c current bound: 3575
357.65/361.37	c current bound: 3575
358.34/361.90	c current bound: 3575
358.72/362.44	c current bound: 3575
359.53/363.30	c current bound: 3575
359.81/363.84	c current bound: 3575
360.34/364.39	c current bound: 3575
360.89/364.93	c current bound: 3575
361.43/365.47	c current bound: 3575
361.97/366.01	c current bound: 3575
362.51/366.56	c current bound: 3575
363.06/367.11	c current bound: 3575
363.60/367.65	c current bound: 3575
364.14/368.33	c current bound: 3575
364.68/368.87	c current bound: 3575
365.22/369.40	c current bound: 3575
365.76/369.95	c current bound: 3575
366.57/370.50	c current bound: 3575
366.84/371.05	c current bound: 3575
367.39/371.58	c current bound: 3575
367.92/372.12	c current bound: 3575
368.46/372.66	c current bound: 3575
369.01/373.34	c current bound: 3575
369.54/373.88	c current bound: 3575
370.08/374.41	c current bound: 3575
370.62/374.95	c current bound: 3575
371.16/375.48	c current bound: 3575
371.69/376.02	c current bound: 3575
372.22/376.56	c current bound: 3575
372.75/377.09	c current bound: 3575
373.31/377.64	c current bound: 3575
373.83/378.18	c current bound: 3575
374.38/378.79	c current bound: 3575
374.91/379.32	c current bound: 3575
375.45/379.86	c current bound: 3575
375.99/380.40	c current bound: 3575
376.53/380.94	c current bound: 3575
377.06/381.48	c current bound: 3575
377.61/382.02	c current bound: 3575
378.15/382.56	c current bound: 3575
378.69/383.11	c current bound: 3575
379.23/383.65	c current bound: 3575
380.05/384.21	c current bound: 3575
380.30/384.75	c current bound: 3575
381.13/385.30	c current bound: 3575
381.41/385.83	c current bound: 3575
381.94/386.37	c current bound: 3575
382.47/386.91	c current bound: 3575
383.02/387.46	c current bound: 3575
383.56/388.00	c current bound: 3575
384.37/388.66	c current bound: 3575
384.89/389.20	c current bound: 3575
385.18/389.75	c current bound: 3575
385.73/390.29	c current bound: 3575
386.25/390.83	c current bound: 3575
386.79/391.36	c current bound: 3575
387.36/391.91	c current bound: 3575
387.88/392.45	c current bound: 3575
388.41/392.99	c current bound: 3575
388.96/393.53	c current bound: 3575
389.51/394.08	c current bound: 3575
390.04/394.61	c current bound: 3575
390.58/395.15	c current bound: 3575
391.38/395.70	c current bound: 3575
391.66/396.24	c current bound: 3575
392.20/396.79	c current bound: 3575
392.75/397.35	c current bound: 3575
393.31/397.88	c current bound: 3575
393.85/398.43	c current bound: 3575
394.39/398.97	c current bound: 3575
394.93/399.52	c current bound: 3575
395.46/400.05	c current bound: 3575
396.00/400.59	c current bound: 3575
396.55/401.13	c current bound: 3575
397.08/401.67	c current bound: 3575
397.61/402.21	c current bound: 3575
398.35/402.75	c current bound: 3575
398.69/403.28	c current bound: 3575
399.48/403.94	c current bound: 3575
399.75/404.48	c current bound: 3575
400.30/405.03	c current bound: 3575
400.84/405.57	c current bound: 3575
401.39/406.11	c current bound: 3575
401.93/406.64	c current bound: 3575
402.47/407.19	c current bound: 3575
403.01/407.73	c current bound: 3575
403.54/408.27	c current bound: 3575
404.09/408.81	c current bound: 3575
404.62/409.39	c current bound: 3575
405.16/409.92	c current bound: 3575
405.70/410.46	c current bound: 3575
406.51/411.00	c current bound: 3575
406.98/411.54	c current bound: 3575
407.31/412.07	c current bound: 3575
408.08/412.61	c current bound: 3575
408.40/413.15	c current bound: 3575
409.08/413.69	c current bound: 3575
409.46/414.22	c current bound: 3575
410.19/414.76	c current bound: 3575
410.81/415.30	c current bound: 3575
411.29/415.84	c current bound: 3575
411.61/416.38	c current bound: 3575
412.41/416.92	c current bound: 3575
412.69/417.45	c current bound: 3575
413.39/417.99	c current bound: 3575
413.77/418.53	c current bound: 3575
414.55/419.29	c current bound: 3575
414.85/419.83	c current bound: 3575
415.38/420.37	c current bound: 3575
415.92/420.91	c current bound: 3575
416.67/421.45	c current bound: 3575
417.26/422.00	c current bound: 3575
417.77/422.53	c current bound: 3575
418.09/423.07	c current bound: 3575
418.86/423.61	c current bound: 3575
419.42/424.23	c current bound: 3575
419.70/424.77	c current bound: 3575
420.24/425.31	c current bound: 3575
420.98/425.85	c current bound: 3575
421.31/426.38	c current bound: 3575
422.08/426.92	c current bound: 3575
422.38/427.46	c current bound: 3575
423.08/427.99	c current bound: 3575
423.46/428.53	c current bound: 3575
424.19/429.07	c current bound: 3575
424.54/429.71	c current bound: 3575
425.29/430.25	c current bound: 3575
425.63/430.79	c current bound: 3575
426.39/431.33	c current bound: 3575
426.70/431.87	c current bound: 3575
427.49/432.41	c current bound: 3575
427.79/432.95	c current bound: 3575
428.48/433.49	c current bound: 3575
428.85/434.02	c current bound: 3575
429.61/434.56	c current bound: 3575
429.93/435.11	c current bound: 3575
430.68/435.64	c current bound: 3575
431.03/436.18	c current bound: 3575
431.77/436.72	c current bound: 3575
432.09/437.26	c current bound: 3575
432.79/437.79	c current bound: 3575
433.17/438.33	c current bound: 3575
433.88/438.87	c current bound: 3575
434.49/439.50	c current bound: 3575
435.00/440.04	c current bound: 3575
435.31/440.57	c current bound: 3575
436.10/441.11	c current bound: 3575
436.38/441.65	c current bound: 3575
437.19/442.21	c current bound: 3575
437.48/442.75	c current bound: 3575
438.30/443.30	c current bound: 3575
438.58/443.86	c current bound: 3575
439.41/444.72	c current bound: 3575
439.69/445.26	c current bound: 3575
440.23/445.81	c current bound: 3575
440.78/446.37	c current bound: 3575
441.35/446.93	c current bound: 3575
441.90/447.48	c current bound: 3575
442.46/448.04	c current bound: 3575
443.01/448.61	c current bound: 3575
443.60/449.18	c current bound: 3575
444.14/449.73	c current bound: 3575
444.71/450.28	c current bound: 3575
445.26/450.84	c current bound: 3575
445.82/451.40	c current bound: 3575
446.38/451.96	c current bound: 3575
446.94/452.51	c current bound: 3575
447.48/453.07	c current bound: 3575
448.04/453.63	c current bound: 3575
448.60/454.17	c current bound: 3575
449.13/454.73	c current bound: 3575
449.70/455.29	c current bound: 3575
450.26/455.85	c current bound: 3575
451.10/456.40	c current bound: 3575
451.37/456.96	c current bound: 3575
452.19/457.52	c current bound: 3575
452.48/458.08	c current bound: 3575
453.29/458.63	c current bound: 3575
453.61/459.19	c current bound: 3575
454.39/459.74	c current bound: 3575
454.71/460.30	c current bound: 3575
455.49/460.87	c current bound: 3575
455.85/461.43	c current bound: 3575
456.60/461.99	c current bound: 3575
456.97/462.56	c current bound: 3575
457.80/463.11	c current bound: 3575
458.10/463.67	c current bound: 3575
458.90/464.23	c current bound: 3575
459.21/464.78	c current bound: 3575
460.02/465.34	c current bound: 3575
460.61/465.90	c current bound: 3575
461.11/466.47	c current bound: 3575
461.46/467.03	c current bound: 3575
462.21/467.58	c current bound: 3575
462.56/468.14	c current bound: 3575
463.42/468.70	c current bound: 3575
463.68/469.27	c current bound: 3575
464.50/469.82	c current bound: 3575
464.81/470.38	c current bound: 3575
465.60/470.94	c current bound: 3575
466.22/471.50	c current bound: 3575
466.70/472.05	c current bound: 3575
467.05/472.61	c current bound: 3575
467.81/473.17	c current bound: 3575
468.15/473.70	c current bound: 3575
468.90/474.26	c current bound: 3575
469.25/474.82	c current bound: 3575
470.00/475.38	c current bound: 3575
470.37/475.95	c current bound: 3575
470.94/476.52	c current bound: 3575
471.51/477.08	c current bound: 3575
472.07/477.63	c current bound: 3575
472.63/478.19	c current bound: 3575
473.19/478.76	c current bound: 3575
473.75/479.31	c current bound: 3575
474.31/479.88	c current bound: 3575
474.87/480.44	c current bound: 3575
475.44/480.99	c current bound: 3575
476.00/481.55	c current bound: 3575
476.56/482.11	c current bound: 3575
477.11/482.67	c current bound: 3575
477.67/483.23	c current bound: 3575
478.23/483.79	c current bound: 3575
478.79/484.35	c current bound: 3575
479.35/484.91	c current bound: 3575
479.91/485.46	c current bound: 3575
480.47/486.02	c current bound: 3575
481.02/486.57	c current bound: 3575
481.57/487.13	c current bound: 3575
482.13/487.69	c current bound: 3575
482.70/488.25	c current bound: 3575
483.26/488.81	c current bound: 3575
483.82/489.37	c current bound: 3575
484.38/489.92	c current bound: 3575
484.92/490.46	c current bound: 3575
485.46/490.99	c current bound: 3575
486.00/491.53	c current bound: 3575
486.55/492.07	c current bound: 3575
487.08/492.61	c current bound: 3575
487.61/493.16	c current bound: 3575
488.17/493.69	c current bound: 3575
488.71/494.25	c current bound: 3575
489.52/494.81	c current bound: 3575
489.79/495.35	c current bound: 3575
490.33/495.89	c current bound: 3575
490.87/496.44	c current bound: 3575
491.42/496.98	c current bound: 3575
491.97/497.52	c current bound: 3575
492.49/498.05	c current bound: 3575
493.04/498.59	c current bound: 3575
493.57/499.13	c current bound: 3575
494.12/499.68	c current bound: 3575
494.67/500.21	c current bound: 3575
495.20/500.77	c current bound: 3575
495.74/501.31	c current bound: 3575
496.29/501.85	c current bound: 3575
497.10/502.40	c current bound: 3575
497.38/502.94	c current bound: 3575
497.91/503.48	c current bound: 3575
498.44/504.03	c current bound: 3575
498.98/504.57	c current bound: 3575
499.53/505.16	c current bound: 3575
500.07/505.70	c current bound: 3575
500.60/506.25	c current bound: 3575
501.14/506.78	c current bound: 3575
501.69/507.33	c current bound: 3575
502.24/507.86	c current bound: 3575
502.76/508.41	c current bound: 3575
503.31/508.95	c current bound: 3575
503.85/509.49	c current bound: 3575
504.66/510.38	c current bound: 3575
504.93/510.92	c current bound: 3575
505.68/511.46	c current bound: 3575
506.29/512.00	c current bound: 3575
506.77/512.53	c current bound: 3575
507.09/513.07	c current bound: 3575
507.87/513.61	c current bound: 3575
508.17/514.15	c current bound: 3575
508.70/514.69	c current bound: 3575
509.51/515.42	c current bound: 3575
509.98/515.97	c current bound: 3575
510.33/516.50	c current bound: 3575
511.09/517.04	c current bound: 3575
511.40/517.58	c current bound: 3575
512.16/518.12	c current bound: 3575
512.47/518.65	c current bound: 3575
513.16/519.19	c current bound: 3575
513.54/519.75	c current bound: 3575
514.37/520.43	c current bound: 3575
514.65/520.97	c current bound: 3575
515.44/521.50	c current bound: 3575
515.74/522.04	c current bound: 3575
516.44/522.58	c current bound: 3575
516.80/523.12	c current bound: 3575
517.53/523.66	c current bound: 3575
517.89/524.26	c current bound: 3575
518.69/524.80	c current bound: 3575
518.97/525.67	c current bound: 3575
519.52/526.21	c current bound: 3575
520.05/526.75	c current bound: 3575
520.59/527.29	c current bound: 3575
521.14/527.83	c current bound: 3575
521.68/528.37	c current bound: 3575
522.21/528.90	c current bound: 3575
522.76/529.46	c current bound: 3575
523.30/529.99	c current bound: 3575
524.09/530.84	c current bound: 3575
524.53/531.38	c current bound: 3575
524.91/531.91	c current bound: 3575
525.65/532.45	c current bound: 3575
525.98/532.99	c current bound: 3575
526.73/533.53	c current bound: 3575
527.05/534.06	c current bound: 3575
527.75/534.60	c current bound: 3575
528.14/535.14	c current bound: 3575
528.93/535.94	c current bound: 3575
529.20/536.48	c current bound: 3575
529.75/537.02	c current bound: 3575
530.28/537.56	c current bound: 3575
531.08/538.10	c current bound: 3575
531.36/538.63	c current bound: 3575
531.89/539.18	c current bound: 3575
532.44/539.72	c current bound: 3575
533.17/540.25	c current bound: 3575
533.51/540.97	c current bound: 3575
534.07/541.52	c current bound: 3575
534.61/542.06	c current bound: 3575
535.14/542.60	c current bound: 3575
535.68/543.14	c current bound: 3575
536.22/543.69	c current bound: 3575
536.77/544.23	c current bound: 3575
537.31/544.78	c current bound: 3575
537.87/545.32	c current bound: 3575
538.39/546.19	c current bound: 3575
539.17/546.73	c current bound: 3575
539.48/547.27	c current bound: 3575
540.29/547.80	c current bound: 3575
540.56/548.34	c current bound: 3575
541.27/548.88	c current bound: 3575
541.63/549.41	c current bound: 3575
542.37/549.95	c current bound: 3575
542.70/550.49	c current bound: 3575
543.49/551.34	c current bound: 3575
543.79/551.88	c current bound: 3575
544.33/552.42	c current bound: 3575
544.87/552.96	c current bound: 3575
545.40/553.51	c current bound: 3575
545.95/554.05	c current bound: 3575
546.48/554.59	c current bound: 3575
547.03/555.13	c current bound: 3575
547.57/555.67	c current bound: 3575
548.10/556.32	c current bound: 3575
548.64/556.87	c current bound: 3575
549.18/557.41	c current bound: 3575
549.72/557.95	c current bound: 3575
550.26/558.49	c current bound: 3575
550.79/559.04	c current bound: 3575
551.33/559.58	c current bound: 3575
551.88/560.12	c current bound: 3575
552.42/560.66	c current bound: 3575
553.22/561.48	c current bound: 3575
553.73/562.02	c current bound: 3575
554.04/562.55	c current bound: 3575
554.57/563.09	c current bound: 3575
555.10/563.63	c current bound: 3575
555.64/564.17	c current bound: 3575
556.18/564.70	c current bound: 3575
556.71/565.24	c current bound: 3575
557.26/565.79	c current bound: 3575
557.81/566.33	c current bound: 3575
558.34/566.88	c current bound: 3575
558.88/567.41	c current bound: 3575
559.43/567.95	c current bound: 3575
559.98/568.49	c current bound: 3575
560.50/569.03	c current bound: 3575
561.05/569.56	c current bound: 3575
561.59/570.10	c current bound: 3575
562.11/570.64	c current bound: 3575
562.66/571.18	c current bound: 3575
563.47/571.93	c current bound: 3575
563.73/572.47	c current bound: 3575
564.53/573.01	c current bound: 3575
564.81/573.54	c current bound: 3575
565.34/574.08	c current bound: 3575
565.88/574.63	c current bound: 3575
566.44/575.17	c current bound: 3575
566.96/575.70	c current bound: 3575
567.51/576.24	c current bound: 3575
568.32/576.96	c current bound: 3575
568.74/577.50	c current bound: 3575
569.13/578.04	c current bound: 3575
569.84/578.58	c current bound: 3575
570.21/579.12	c current bound: 3575
570.94/579.66	c current bound: 3575
571.28/580.19	c current bound: 3575
572.06/580.73	c current bound: 3575
572.36/581.27	c current bound: 3575
573.15/581.96	c current bound: 3575
573.43/582.50	c current bound: 3575
574.19/583.04	c current bound: 3575
574.51/583.58	c current bound: 3575
575.29/584.12	c current bound: 3575
575.59/584.65	c current bound: 3575
576.29/585.20	c current bound: 3575
576.69/585.75	c current bound: 3575
577.51/586.30	c current bound: 3575
577.79/587.18	c current bound: 3575
578.33/587.72	c current bound: 3575
578.87/588.27	c current bound: 3575
579.42/588.82	c current bound: 3575
579.96/589.36	c current bound: 3575
580.52/589.90	c current bound: 3575
581.06/590.45	c current bound: 3575
581.60/590.99	c current bound: 3575
582.13/591.54	c current bound: 3575
582.94/592.21	c current bound: 3575
583.22/592.75	c current bound: 3575
584.04/593.30	c current bound: 3575
584.32/593.84	c current bound: 3575
584.86/594.39	c current bound: 3575
585.42/594.94	c current bound: 3575
585.96/595.48	c current bound: 3575
586.50/596.02	c current bound: 3575
587.05/596.57	c current bound: 3575
587.85/597.30	c current bound: 3575
588.14/597.85	c current bound: 3575
588.84/598.40	c current bound: 3575
589.23/598.95	c current bound: 3575
589.96/599.50	c current bound: 3575
590.33/600.04	c current bound: 3575
591.04/600.59	c current bound: 3575
591.43/601.14	c current bound: 3575
592.13/601.69	c current bound: 3575
592.79/602.44	c current bound: 3575
593.06/602.98	c current bound: 3575
593.60/603.53	c current bound: 3575
594.15/604.07	c current bound: 3575
594.70/604.61	c current bound: 3575
595.44/605.19	c current bound: 3575
595.81/605.73	c current bound: 3575
596.36/606.28	c current bound: 3575
596.90/606.82	c current bound: 3575
597.71/607.50	c current bound: 3575
598.00/608.05	c current bound: 3575
598.55/608.59	c current bound: 3575
599.09/609.14	c current bound: 3575
599.64/609.68	c current bound: 3575
600.18/610.23	c current bound: 3575
600.72/610.77	c current bound: 3575
601.27/611.31	c current bound: 3575
601.82/611.86	c current bound: 3575
602.35/612.56	c current bound: 3575
602.90/613.10	c current bound: 3575
603.44/613.65	c current bound: 3575
603.99/614.19	c current bound: 3575
604.54/614.74	c current bound: 3575
605.07/615.28	c current bound: 3575
605.62/615.82	c current bound: 3575
606.17/616.37	c current bound: 3575
606.71/616.91	c current bound: 3575
607.51/617.60	c current bound: 3575
608.01/618.15	c current bound: 3575
608.35/618.69	c current bound: 3575
609.12/619.24	c current bound: 3575
609.44/619.79	c current bound: 3575
610.21/620.34	c current bound: 3575
610.54/620.88	c current bound: 3575
611.32/621.44	c current bound: 3575
611.64/621.99	c current bound: 3575
612.45/622.91	c current bound: 3575
612.74/623.45	c current bound: 3575
613.54/624.00	c current bound: 3575
613.84/624.54	c current bound: 3575
614.37/625.09	c current bound: 3575
614.92/625.63	c current bound: 3575
615.47/626.17	c current bound: 3575
616.00/626.72	c current bound: 3575
616.56/627.26	c current bound: 3575
617.10/627.87	c current bound: 3575
617.65/628.41	c current bound: 3575
618.46/629.03	c current bound: 3575
618.75/629.58	c current bound: 3575
619.29/630.12	c current bound: 3575
619.82/630.66	c current bound: 3575
620.38/631.21	c current bound: 3575
620.93/631.75	c current bound: 3575
621.74/632.30	c current bound: 3575
622.01/632.85	c current bound: 3575
622.57/633.39	c current bound: 3575
623.10/633.94	c current bound: 3575
623.66/634.48	c current bound: 3575
624.20/635.02	c current bound: 3575
624.74/635.58	c current bound: 3575
625.30/636.12	c current bound: 3575
625.84/636.67	c current bound: 3575
626.38/637.23	c current bound: 3575
627.21/638.00	c current bound: 3575
627.49/638.54	c current bound: 3575
628.21/639.10	c current bound: 3575
628.59/639.66	c current bound: 3575
629.32/640.20	c current bound: 3575
629.68/640.73	c current bound: 3575
630.39/641.27	c current bound: 3575
630.75/641.81	c current bound: 3575
631.50/642.34	c current bound: 3575
631.83/643.05	c current bound: 3575
632.54/643.59	c current bound: 3575
632.89/644.13	c current bound: 3575
633.62/644.67	c current bound: 3575
633.97/645.20	c current bound: 3575
634.72/645.74	c current bound: 3575
635.05/646.28	c current bound: 3575
635.83/646.82	c current bound: 3575
636.13/647.36	c current bound: 3575
636.90/648.03	c current bound: 3575
637.19/648.57	c current bound: 3575
637.98/649.11	c current bound: 3575
638.29/649.65	c current bound: 3575
638.99/650.19	c current bound: 3575
639.36/650.73	c current bound: 3575
640.08/651.26	c current bound: 3575
640.44/651.80	c current bound: 3575
641.20/652.34	c current bound: 3575
641.51/652.88	c current bound: 3575
642.28/653.42	c current bound: 3575
642.60/653.97	c current bound: 3575
643.41/654.51	c current bound: 3575
643.69/655.05	c current bound: 3575
644.41/655.59	c current bound: 3575
644.77/656.14	c current bound: 3575
645.50/656.68	c current bound: 3575
645.86/657.22	c current bound: 3575
646.59/657.76	c current bound: 3575
646.94/658.32	c current bound: 3575
647.69/658.85	c current bound: 3575
648.30/659.40	c current bound: 3575
648.79/659.94	c current bound: 3575
649.12/660.47	c current bound: 3575
649.89/661.02	c current bound: 3575
650.20/661.56	c current bound: 3575
650.74/662.10	c current bound: 3575
651.28/662.63	c current bound: 3575
652.09/663.32	c current bound: 3575
652.37/663.86	c current bound: 3575
653.05/664.39	c current bound: 3575
653.43/664.93	c current bound: 3575
654.16/665.47	c current bound: 3575
654.50/666.01	c current bound: 3575
655.25/666.55	c current bound: 3575
655.59/667.09	c current bound: 3575
656.37/667.62	c current bound: 3575
656.92/668.25	c current bound: 3575
657.36/668.79	c current bound: 3575
657.72/669.33	c current bound: 3575
658.46/669.87	c current bound: 3575
658.81/670.41	c current bound: 3575
659.56/670.95	c current bound: 3575
659.89/671.49	c current bound: 3575
660.67/672.03	c current bound: 3575
660.97/672.56	c current bound: 3575
661.76/673.11	c current bound: 3575
662.07/673.69	c current bound: 3575
662.82/674.23	c current bound: 3575
663.14/674.77	c current bound: 3575
663.94/675.30	c current bound: 3575
664.21/675.84	c current bound: 3575
664.75/676.38	c current bound: 3575
665.29/676.92	c current bound: 3575
665.82/677.45	c current bound: 3575
666.36/677.99	c current bound: 3575
666.89/678.53	c current bound: 3575
667.44/679.08	c current bound: 3575
667.98/679.61	c current bound: 3575
668.53/680.16	c current bound: 3575
669.32/680.70	c current bound: 3575
669.60/681.24	c current bound: 3575
670.14/681.77	c current bound: 3575
670.68/682.31	c current bound: 3575
671.21/682.85	c current bound: 3575
672.03/683.52	c current bound: 3575
672.31/684.06	c current bound: 3575
672.85/684.60	c current bound: 3575
673.37/685.14	c current bound: 3575
673.92/685.69	c current bound: 3575
674.47/686.23	c current bound: 3575
675.00/686.76	c current bound: 3575
675.80/687.30	c current bound: 3575
676.06/687.84	c current bound: 3575
676.88/688.52	c current bound: 3575
677.16/689.05	c current bound: 3575
677.69/689.59	c current bound: 3575
678.23/690.13	c current bound: 3575
678.76/690.67	c current bound: 3575
679.31/691.20	c current bound: 3575
679.83/691.74	c current bound: 3575
680.38/692.28	c current bound: 3575
680.92/692.81	c current bound: 3575
681.45/693.35	c current bound: 3575
681.99/693.92	c current bound: 3575
682.82/694.50	c current bound: 3575
683.10/695.04	c current bound: 3575
683.64/695.57	c current bound: 3575
684.18/696.11	c current bound: 3575
684.71/696.65	c current bound: 3575
685.53/697.20	c current bound: 3575
685.81/697.75	c current bound: 3575
686.36/698.29	c current bound: 3575
686.90/698.84	c current bound: 3575
687.44/699.37	c current bound: 3575
687.98/699.92	c current bound: 3575
688.52/700.46	c current bound: 3575
689.32/701.00	c current bound: 3575
689.59/701.53	c current bound: 3575
690.14/702.08	c current bound: 3575
690.67/702.62	c current bound: 3575
691.22/703.17	c current bound: 3575
692.03/703.98	c current bound: 3575
692.30/704.52	c current bound: 3575
693.04/705.05	c current bound: 3575
693.37/705.59	c current bound: 3575
694.12/706.13	c current bound: 3575
694.44/706.68	c current bound: 3575
695.23/707.21	c current bound: 3575
695.53/707.75	c current bound: 3575
696.06/708.29	c current bound: 3575
696.88/708.90	c current bound: 3575
697.38/709.44	c current bound: 3575
697.69/709.98	c current bound: 3575
698.46/710.51	c current bound: 3575
698.76/711.07	c current bound: 3575
699.58/711.60	c current bound: 3575
699.86/712.14	c current bound: 3575
700.39/712.68	c current bound: 3575
700.93/713.21	c current bound: 3575
701.71/714.04	c current bound: 3575
702.01/714.58	c current bound: 3575
702.77/715.12	c current bound: 3575
703.08/715.65	c current bound: 3575
703.78/716.19	c current bound: 3575
704.16/716.73	c current bound: 3575
704.88/717.27	c current bound: 3575
705.22/717.80	c current bound: 3575
705.99/718.34	c current bound: 3575
706.58/719.04	c current bound: 3575
706.84/719.58	c current bound: 3575
707.38/720.12	c current bound: 3575
708.12/720.66	c current bound: 3575
708.46/721.19	c current bound: 3575
709.22/721.73	c current bound: 3575
709.54/722.27	c current bound: 3575
710.31/722.81	c current bound: 3575
710.60/723.34	c current bound: 3575
711.41/724.15	c current bound: 3575
711.68/724.68	c current bound: 3575
712.22/725.22	c current bound: 3575
712.76/725.76	c current bound: 3575
713.31/726.31	c current bound: 3575
713.86/726.86	c current bound: 3575
714.38/727.40	c current bound: 3575
714.94/727.94	c current bound: 3575
715.48/728.49	c current bound: 3575
716.28/729.35	c current bound: 3575
716.56/729.89	c current bound: 3575
717.32/730.42	c current bound: 3575
717.63/730.96	c current bound: 3575
718.31/731.50	c current bound: 3575
718.69/732.03	c current bound: 3575
719.42/732.57	c current bound: 3575
719.78/733.11	c current bound: 3575
720.52/733.66	c current bound: 3575
721.13/734.30	c current bound: 3575
721.61/734.84	c current bound: 3575
721.94/735.38	c current bound: 3575
722.73/735.91	c current bound: 3575
723.02/736.45	c current bound: 3575
723.72/736.99	c current bound: 3575
724.09/737.53	c current bound: 3575
724.82/738.06	c current bound: 3575
725.43/738.60	c current bound: 3575
725.99/739.43	c current bound: 3575
726.25/739.97	c current bound: 3575
726.79/740.51	c current bound: 3575
727.33/741.05	c current bound: 3575
727.86/741.59	c current bound: 3575
728.40/742.13	c current bound: 3575
728.95/742.69	c current bound: 3575
729.49/743.22	c current bound: 3575
730.03/743.76	c current bound: 3575
730.58/744.53	c current bound: 3575
731.11/745.07	c current bound: 3575
731.64/745.61	c current bound: 3575
732.18/746.14	c current bound: 3575
732.73/746.68	c current bound: 3575
733.25/747.22	c current bound: 3575
733.79/747.76	c current bound: 3575
734.33/748.31	c current bound: 3575
734.87/748.84	c current bound: 3575
735.43/749.53	c current bound: 3575
735.96/750.07	c current bound: 3575
736.50/750.61	c current bound: 3575
737.04/751.14	c current bound: 3575
737.57/751.68	c current bound: 3575
738.10/752.21	c current bound: 3575
738.65/752.75	c current bound: 3575
739.18/753.29	c current bound: 3575
739.73/753.84	c current bound: 3575
740.25/754.37	c current bound: 3575
740.81/755.01	c current bound: 3575
741.36/755.56	c current bound: 3575
742.16/756.10	c current bound: 3575
742.43/756.63	c current bound: 3575
742.97/757.17	c current bound: 3575
743.51/757.71	c current bound: 3575
744.06/758.26	c current bound: 3575
744.86/758.80	c current bound: 3575
745.15/759.34	c current bound: 3575
745.69/759.98	c current bound: 3575
746.23/760.52	c current bound: 3575
746.76/761.06	c current bound: 3575
747.56/761.60	c current bound: 3575
747.84/762.13	c current bound: 3575
748.37/762.68	c current bound: 3575
748.92/763.21	c current bound: 3575
749.47/763.77	c current bound: 3575
750.01/764.30	c current bound: 3575
750.55/764.84	c current bound: 3575
751.08/765.38	c current bound: 3575
751.63/765.93	c current bound: 3575
752.17/766.47	c current bound: 3575
752.71/767.01	c current bound: 3575
753.24/767.54	c current bound: 3575
753.79/768.09	c current bound: 3575
754.32/768.63	c current bound: 3575
755.11/769.25	c current bound: 3575
755.66/769.94	c current bound: 3575
755.93/770.48	c current bound: 3575
756.72/771.03	c current bound: 3575
757.01/771.56	c current bound: 3575
757.55/772.10	c current bound: 3575
758.09/772.63	c current bound: 3575
758.63/773.17	c current bound: 3575
759.16/773.71	c current bound: 3575
759.70/774.24	c current bound: 3575
760.23/774.78	c current bound: 3575
760.77/775.40	c current bound: 3575
761.30/775.94	c current bound: 3575
761.85/776.48	c current bound: 3575
762.39/777.01	c current bound: 3575
762.91/777.55	c current bound: 3575
763.45/778.09	c current bound: 3575
764.00/778.63	c current bound: 3575
764.54/779.16	c current bound: 3575
765.07/779.70	c current bound: 3575
765.61/780.29	c current bound: 3575
766.14/780.83	c current bound: 3575
766.68/781.37	c current bound: 3575
767.23/781.91	c current bound: 3575
767.77/782.46	c current bound: 3575
768.32/782.99	c current bound: 3575
768.86/783.54	c current bound: 3575
769.39/784.08	c current bound: 3575
769.95/784.63	c current bound: 3575
770.48/785.16	c current bound: 3575
771.01/785.70	c current bound: 3575
771.55/786.24	c current bound: 3575
772.09/786.78	c current bound: 3575
772.63/787.32	c current bound: 3575
773.17/787.86	c current bound: 3575
773.70/788.41	c current bound: 3575
774.27/788.96	c current bound: 3575
774.81/789.49	c current bound: 3575
775.33/790.04	c current bound: 3575
775.88/790.58	c current bound: 3575
776.43/791.13	c current bound: 3575
776.95/791.67	c current bound: 3575
777.51/792.21	c current bound: 3575
778.03/792.74	c current bound: 3575
778.57/793.28	c current bound: 3575
779.12/793.82	c current bound: 3575
779.83/794.36	c current bound: 3575
780.45/795.23	c current bound: 3575
780.72/795.77	c current bound: 3575
781.51/796.31	c current bound: 3575
781.80/796.84	c current bound: 3575
782.33/797.38	c current bound: 3575
782.87/797.93	c current bound: 3575
783.43/798.46	c current bound: 3575
783.95/799.01	c current bound: 3575
784.51/799.55	c current bound: 3575
785.04/800.41	c current bound: 3575
785.77/800.94	c current bound: 3575
786.12/801.48	c current bound: 3575
786.88/802.02	c current bound: 3575
787.20/802.56	c current bound: 3575
787.99/803.10	c current bound: 3575
788.27/803.64	c current bound: 3575
788.99/804.17	c current bound: 3575
789.35/804.71	c current bound: 3575
790.09/805.28	c current bound: 3575
790.42/805.82	c current bound: 3575
791.16/806.36	c current bound: 3575
791.50/806.89	c current bound: 3575
792.25/807.43	c current bound: 3575
792.57/807.97	c current bound: 3575
793.36/808.51	c current bound: 3575
793.65/809.05	c current bound: 3575
794.35/809.59	c current bound: 3575
794.99/810.40	c current bound: 3575
795.27/810.94	c current bound: 3575
795.81/811.48	c current bound: 3575
796.35/812.03	c current bound: 3575
796.90/812.56	c current bound: 3575
797.45/813.12	c current bound: 3575
797.99/813.65	c current bound: 3575
798.79/814.20	c current bound: 3575
799.06/814.73	c current bound: 3575
799.59/815.46	c current bound: 3575
800.14/815.99	c current bound: 3575
800.70/816.55	c current bound: 3575
801.24/817.08	c current bound: 3575
801.77/817.62	c current bound: 3575
802.31/818.16	c current bound: 3575
802.84/818.70	c current bound: 3575
803.38/819.23	c current bound: 3575
803.92/819.78	c current bound: 3575
804.46/820.45	c current bound: 3575
805.01/820.98	c current bound: 3575
805.55/821.52	c current bound: 3575
806.08/822.06	c current bound: 3575
806.63/822.60	c current bound: 3575
807.18/823.14	c current bound: 3575
807.71/823.68	c current bound: 3575
808.25/824.22	c current bound: 3575
808.79/824.76	c current bound: 3575
809.33/825.30	c current bound: 3575
809.88/825.88	c current bound: 3575
810.42/826.44	c current bound: 3575
810.96/826.97	c current bound: 3575
811.50/827.52	c current bound: 3575
812.03/828.06	c current bound: 3575
812.58/828.61	c current bound: 3575
813.12/829.16	c current bound: 3575
813.68/829.71	c current bound: 3575
814.22/830.24	c current bound: 3575
815.03/830.80	c current bound: 3575
815.30/831.34	c current bound: 3575
815.85/831.89	c current bound: 3575
816.39/832.42	c current bound: 3575
816.94/832.96	c current bound: 3575
817.74/833.50	c current bound: 3575
818.00/834.04	c current bound: 3575
818.54/834.58	c current bound: 3575
819.08/835.12	c current bound: 3575
819.89/835.76	c current bound: 3575
820.17/836.31	c current bound: 3575
820.70/836.85	c current bound: 3575
821.26/837.39	c current bound: 3575
821.80/837.93	c current bound: 3575
822.34/838.48	c current bound: 3575
823.14/839.16	c current bound: 3575
823.42/839.71	c current bound: 3575
823.98/840.25	c current bound: 3575
824.78/841.02	c current bound: 3575
825.25/841.56	c current bound: 3575
825.59/842.09	c current bound: 3575
826.35/842.63	c current bound: 3575
826.67/843.17	c current bound: 3575
827.46/843.70	c current bound: 3575
827.74/844.25	c current bound: 3575
828.46/844.78	c current bound: 3575
828.83/845.32	c current bound: 3575
829.61/846.02	c current bound: 3575
829.89/846.56	c current bound: 3575
830.59/847.09	c current bound: 3575
830.98/847.64	c current bound: 3575
831.70/848.17	c current bound: 3575
832.05/848.71	c current bound: 3575
832.80/849.25	c current bound: 3575
833.14/849.79	c current bound: 3575
833.91/850.32	c current bound: 3575
834.20/851.01	c current bound: 3575
834.94/851.54	c current bound: 3575
835.28/852.08	c current bound: 3575
836.04/852.62	c current bound: 3575
836.36/853.16	c current bound: 3575
837.06/853.70	c current bound: 3575
837.42/854.23	c current bound: 3575
838.14/854.77	c current bound: 3575
838.52/855.30	c current bound: 3575
839.26/855.85	c current bound: 3575
839.58/856.45	c current bound: 3575
840.28/856.99	c current bound: 3575
840.66/857.53	c current bound: 3575
841.39/858.07	c current bound: 3575
841.73/858.60	c current bound: 3575
842.49/859.14	c current bound: 3575
842.82/859.68	c current bound: 3575
843.59/860.22	c current bound: 3575
843.88/860.75	c current bound: 3575
844.58/861.29	c current bound: 3575
844.96/861.83	c current bound: 3575
845.68/862.37	c current bound: 3575
846.03/862.91	c current bound: 3575
846.78/863.45	c current bound: 3575
847.12/863.99	c current bound: 3575
847.87/864.52	c current bound: 3575
848.19/865.06	c current bound: 3575
848.72/865.60	c current bound: 3575
849.26/866.19	c current bound: 3575
850.02/866.73	c current bound: 3575
850.32/867.27	c current bound: 3575
851.13/867.80	c current bound: 3575
851.40/868.34	c current bound: 3575
851.93/868.88	c current bound: 3575
852.48/869.42	c current bound: 3575
853.03/869.95	c current bound: 3575
853.56/870.49	c current bound: 3575
854.35/871.11	c current bound: 3575
854.62/871.65	c current bound: 3575
855.16/872.19	c current bound: 3575
855.71/872.74	c current bound: 3575
856.25/873.27	c current bound: 3575
856.79/873.81	c current bound: 3575
857.34/874.36	c current bound: 3575
858.14/874.90	c current bound: 3575
858.41/875.43	c current bound: 3575
858.96/875.97	c current bound: 3575
859.50/876.55	c current bound: 3575
860.02/877.08	c current bound: 3575
860.56/877.62	c current bound: 3575
861.10/878.16	c current bound: 3575
861.63/878.69	c current bound: 3575
862.18/879.24	c current bound: 3575
862.71/879.77	c current bound: 3575
863.26/880.32	c current bound: 3575
863.79/880.86	c current bound: 3575
864.60/881.40	c current bound: 3575
864.88/881.93	c current bound: 3575
865.41/882.48	c current bound: 3575
865.96/883.02	c current bound: 3575
866.49/883.56	c current bound: 3575
867.30/884.10	c current bound: 3575
867.57/884.64	c current bound: 3575
868.11/885.18	c current bound: 3575
868.64/885.72	c current bound: 3575
869.20/886.40	c current bound: 3575
869.73/886.95	c current bound: 3575
870.26/887.49	c current bound: 3575
870.81/888.03	c current bound: 3575
871.35/888.56	c current bound: 3575
871.89/889.11	c current bound: 3575
872.43/889.65	c current bound: 3575
873.23/890.20	c current bound: 3575
873.51/890.73	c current bound: 3575
874.05/891.55	c current bound: 3575
874.77/892.09	c current bound: 3575
875.13/892.63	c current bound: 3575
875.86/893.16	c current bound: 3575
876.20/893.70	c current bound: 3575
876.94/894.24	c current bound: 3575
877.28/894.79	c current bound: 3575
878.06/895.33	c current bound: 3575
878.36/895.87	c current bound: 3575
879.18/896.72	c current bound: 3575
879.45/897.26	c current bound: 3575
880.25/897.80	c current bound: 3575
880.52/898.34	c current bound: 3575
881.07/898.88	c current bound: 3575
881.60/899.41	c current bound: 3575
882.33/899.95	c current bound: 3575
882.67/900.49	c current bound: 3575
883.43/901.02	c current bound: 3575
884.01/901.72	c current bound: 3575
884.29/902.26	c current bound: 3575
885.09/902.80	c current bound: 3575
885.37/903.34	c current bound: 3575
885.90/903.88	c current bound: 3575
886.44/904.42	c current bound: 3575
886.98/904.96	c current bound: 3575
887.78/905.50	c current bound: 3575
888.06/906.04	c current bound: 3575
888.61/906.72	c current bound: 3575
889.15/907.26	c current bound: 3575
889.69/907.82	c current bound: 3575
890.22/908.36	c current bound: 3575
890.77/908.91	c current bound: 3575
891.31/909.45	c current bound: 3575
891.87/910.00	c current bound: 3575
892.40/910.55	c current bound: 3575
892.95/911.09	c current bound: 3575
893.73/911.94	c current bound: 3575
894.02/912.47	c current bound: 3575
894.81/913.01	c current bound: 3575
895.10/913.57	c current bound: 3575
895.92/914.10	c current bound: 3575
896.20/914.64	c current bound: 3575
896.91/915.18	c current bound: 3575
897.27/915.72	c current bound: 3575
897.99/916.26	c current bound: 3575
898.61/917.02	c current bound: 3575
899.09/917.55	c current bound: 3575
899.42/918.09	c current bound: 3575
900.18/918.63	c current bound: 3575
900.50/919.17	c current bound: 3575
901.27/919.71	c current bound: 3575
901.59/920.25	c current bound: 3575
902.28/920.78	c current bound: 3575
902.65/921.32	c current bound: 3575
903.45/921.99	c current bound: 3575
903.73/922.53	c current bound: 3575
904.28/923.07	c current bound: 3575
904.80/923.60	c current bound: 3575
905.55/924.14	c current bound: 3575
905.88/924.68	c current bound: 3575
906.64/925.22	c current bound: 3575
906.95/925.75	c current bound: 3575
907.66/926.29	c current bound: 3575
908.04/926.83	c current bound: 3575
908.81/927.41	c current bound: 3575
909.12/927.95	c current bound: 3575
909.83/928.48	c current bound: 3575
910.19/929.02	c current bound: 3575
910.93/929.57	c current bound: 3575
911.28/930.11	c current bound: 3575
912.02/930.65	c current bound: 3575
912.36/931.19	c current bound: 3575
913.12/931.73	c current bound: 3575
913.69/932.30	c current bound: 3575
914.18/932.84	c current bound: 3575
914.51/933.38	c current bound: 3575
915.29/933.92	c current bound: 3575
915.59/934.46	c current bound: 3575
916.29/935.00	c current bound: 3575
916.67/935.54	c current bound: 3575
917.37/936.08	c current bound: 3575
917.75/936.61	c current bound: 3575
918.52/937.33	c current bound: 3575
918.81/937.87	c current bound: 3575
919.59/938.41	c current bound: 3575
919.90/938.96	c current bound: 3575
920.69/939.50	c current bound: 3575
920.98/940.04	c current bound: 3575
921.70/940.58	c current bound: 3575
922.06/941.11	c current bound: 3575
922.79/941.65	c current bound: 3575
923.14/942.51	c current bound: 3575
923.67/943.04	c current bound: 3575
924.21/943.58	c current bound: 3575
925.02/944.24	c current bound: 3575
925.30/944.78	c current bound: 3575
925.82/945.32	c current bound: 3575
926.37/945.86	c current bound: 3575
926.91/946.40	c current bound: 3575
927.44/946.93	c current bound: 3575
927.98/947.48	c current bound: 3575
928.52/948.02	c current bound: 3575
929.07/948.56	c current bound: 3575
929.60/949.09	c current bound: 3575
930.14/949.63	c current bound: 3575
930.67/950.18	c current bound: 3575
931.22/950.73	c current bound: 3575
931.75/951.26	c current bound: 3575
932.30/951.81	c current bound: 3575
933.11/952.64	c current bound: 3575
933.38/953.18	c current bound: 3575
934.16/953.72	c current bound: 3575
934.47/954.26	c current bound: 3575
935.17/954.79	c current bound: 3575
935.54/955.33	c current bound: 3575
936.28/955.87	c current bound: 3575
936.62/956.40	c current bound: 3575
937.36/956.94	c current bound: 3575
937.95/957.66	c current bound: 3575
938.49/958.21	c current bound: 3575
938.78/958.76	c current bound: 3575
939.57/959.31	c current bound: 3575
939.89/959.87	c current bound: 3575
940.67/960.42	c current bound: 3575
940.99/960.97	c current bound: 3575
941.77/961.52	c current bound: 3575
942.09/962.07	c current bound: 3575
942.87/962.62	c current bound: 3575
943.19/963.17	c current bound: 3575
943.96/963.72	c current bound: 3575
944.31/964.28	c current bound: 3575
945.08/964.83	c current bound: 3575
945.42/965.39	c current bound: 3575
946.18/965.94	c current bound: 3575
946.79/966.50	c current bound: 3575
947.28/967.05	c current bound: 3575
947.64/967.60	c current bound: 3575
948.38/968.14	c current bound: 3575
948.71/968.70	c current bound: 3575
949.49/969.25	c current bound: 3575
949.83/969.79	c current bound: 3575
950.60/970.34	c current bound: 3575
950.92/970.89	c current bound: 3575
951.69/971.45	c current bound: 3575
952.03/971.99	c current bound: 3575
952.85/972.87	c current bound: 3575
953.39/973.41	c current bound: 3575
953.68/973.96	c current bound: 3575
954.49/974.51	c current bound: 3575
954.77/975.05	c current bound: 3575
955.31/975.59	c current bound: 3575
955.84/976.13	c current bound: 3575
956.40/976.68	c current bound: 3575
956.94/977.22	c current bound: 3575
957.73/977.94	c current bound: 3575
958.31/978.50	c current bound: 3575
958.88/979.25	c current bound: 3575
959.41/979.80	c current bound: 3575
959.69/980.35	c current bound: 3575
960.52/980.90	c current bound: 3575
960.79/981.44	c current bound: 3575
961.33/981.98	c current bound: 3575
961.88/982.53	c current bound: 3575
962.42/983.08	c current bound: 3575
962.97/983.63	c current bound: 3575
963.52/984.17	c current bound: 3575
964.06/984.72	c current bound: 3575
964.61/985.28	c current bound: 3575
965.18/985.83	c current bound: 3575
965.73/986.37	c current bound: 3575
966.28/986.93	c current bound: 3575
966.81/987.47	c current bound: 3575
967.36/988.10	c current bound: 3575
967.91/988.64	c current bound: 3575
968.45/989.19	c current bound: 3575
969.00/989.73	c current bound: 3575
969.54/990.28	c current bound: 3575
970.09/990.83	c current bound: 3575
970.65/991.37	c current bound: 3575
971.19/991.92	c current bound: 3575
971.73/992.46	c current bound: 3575
972.55/993.25	c current bound: 3575
972.83/993.79	c current bound: 3575
973.60/994.33	c current bound: 3575
973.91/994.88	c current bound: 3575
974.69/995.42	c current bound: 3575
975.01/995.97	c current bound: 3575
975.79/996.52	c current bound: 3575
976.09/997.06	c current bound: 3575
976.88/997.61	c current bound: 3575
977.44/998.44	c current bound: 3575
977.73/998.99	c current bound: 3575
978.27/999.53	c current bound: 3575
978.82/1000.08	c current bound: 3575
979.36/1000.62	c current bound: 3575
979.91/1001.17	c current bound: 3575
980.45/1001.71	c current bound: 3575
981.18/1002.26	c current bound: 3575
981.55/1002.80	c current bound: 3575
982.36/1003.54	c current bound: 3575
982.64/1004.08	c current bound: 3575
983.20/1004.63	c current bound: 3575
983.73/1005.17	c current bound: 3575
984.28/1005.71	c current bound: 3575
984.83/1006.26	c current bound: 3575
985.37/1006.81	c current bound: 3575
985.92/1007.36	c current bound: 3575
986.46/1007.91	c current bound: 3575
987.27/1008.54	c current bound: 3575
987.56/1009.08	c current bound: 3575
988.10/1009.63	c current bound: 3575
988.66/1010.18	c current bound: 3575
989.20/1010.72	c current bound: 3575
989.74/1011.26	c current bound: 3575
990.28/1011.82	c current bound: 3575
990.84/1012.36	c current bound: 3575
991.39/1012.91	c current bound: 3575
992.21/1013.73	c current bound: 3575
992.65/1014.29	c current bound: 3575
993.05/1014.83	c current bound: 3575
993.75/1015.38	c current bound: 3575
994.13/1015.93	c current bound: 3575
994.95/1016.52	c current bound: 3575
995.27/1017.07	c current bound: 3575
996.05/1017.62	c current bound: 3575
996.35/1018.16	c current bound: 3575
997.16/1018.72	c current bound: 3575
997.46/1019.26	c current bound: 3575
998.24/1019.81	c current bound: 3575
998.56/1020.35	c current bound: 3575
999.36/1020.91	c current bound: 3575
999.66/1021.46	c current bound: 3575
1000.45/1022.00	c current bound: 3575
1000.75/1022.55	c current bound: 3575
1001.55/1023.10	c current bound: 3575
1001.85/1023.79	c current bound: 3575
1002.40/1024.33	c current bound: 3575
1002.93/1024.87	c current bound: 3575
1003.49/1025.42	c current bound: 3575
1004.04/1025.96	c current bound: 3575
1004.58/1026.51	c current bound: 3575
1005.12/1027.05	c current bound: 3575
1005.66/1027.60	c current bound: 3575
1006.21/1028.14	c current bound: 3575
1007.03/1028.90	c current bound: 3575
1007.32/1029.45	c current bound: 3575
1008.12/1030.00	c current bound: 3575
1008.40/1030.54	c current bound: 3575
1008.95/1031.08	c current bound: 3575
1009.51/1031.63	c current bound: 3575
1010.05/1032.18	c current bound: 3575
1010.58/1032.72	c current bound: 3575
1011.13/1033.27	c current bound: 3575
1011.94/1033.99	c current bound: 3575
1012.23/1034.53	c current bound: 3575
1012.93/1035.08	c current bound: 3575
1013.31/1035.63	c current bound: 3575
1014.04/1036.19	c current bound: 3575
1014.42/1036.73	c current bound: 3575
1015.14/1037.29	c current bound: 3575
1015.50/1037.83	c current bound: 3575
1016.24/1038.38	c current bound: 3575
1016.60/1039.05	c current bound: 3575
1017.39/1039.60	c current bound: 3575
1017.70/1040.15	c current bound: 3575
1018.50/1040.70	c current bound: 3575
1018.80/1041.24	c current bound: 3575
1019.60/1041.80	c current bound: 3575
1019.89/1042.35	c current bound: 3575
1020.70/1042.90	c current bound: 3575
1020.99/1043.45	c current bound: 3575
1021.80/1044.26	c current bound: 3575
1022.35/1044.80	c current bound: 3575
1022.64/1045.35	c current bound: 3575
1023.17/1045.89	c current bound: 3575
1023.72/1046.43	c current bound: 3575
1024.26/1046.98	c current bound: 3575
1024.80/1047.53	c current bound: 3575
1025.36/1048.07	c current bound: 3575
1025.91/1048.61	c current bound: 3575
1026.44/1049.30	c current bound: 3575
1027.00/1049.84	c current bound: 3575
1027.54/1050.38	c current bound: 3575
1028.08/1050.93	c current bound: 3575
1028.64/1051.48	c current bound: 3575
1029.19/1052.02	c current bound: 3575
1029.73/1052.56	c current bound: 3575
1030.27/1053.11	c current bound: 3575
1030.83/1053.65	c current bound: 3575
1031.37/1054.38	c current bound: 3575
1032.14/1054.93	c current bound: 3575
1032.46/1055.47	c current bound: 3575
1033.25/1056.02	c current bound: 3575
1033.55/1056.56	c current bound: 3575
1034.34/1057.11	c current bound: 3575
1034.65/1057.65	c current bound: 3575
1035.45/1058.20	c current bound: 3575
1035.75/1058.75	c current bound: 3575
1036.55/1059.46	c current bound: 3575
1036.83/1060.00	c current bound: 3575
1037.59/1060.57	c current bound: 3575
1037.94/1061.11	c current bound: 3575
1038.67/1061.66	c current bound: 3575
1039.04/1062.20	c current bound: 3575
1039.77/1062.77	c current bound: 3575
1040.15/1063.32	c current bound: 3575
1040.69/1063.87	c current bound: 3575
1041.25/1064.57	c current bound: 3575
1041.79/1065.11	c current bound: 3575
1042.34/1065.65	c current bound: 3575
1043.15/1066.20	c current bound: 3575
1043.43/1066.74	c current bound: 3575
1043.97/1067.29	c current bound: 3575
1044.52/1067.83	c current bound: 3575
1045.07/1068.38	c current bound: 3575
1045.61/1068.92	c current bound: 3575
1046.41/1069.62	c current bound: 3575
1046.69/1070.16	c current bound: 3575
1047.23/1070.72	c current bound: 3575
1047.80/1071.26	c current bound: 3575
1048.33/1071.82	c current bound: 3575
1048.89/1072.36	c current bound: 3575
1049.43/1072.91	c current bound: 3575
1049.98/1073.45	c current bound: 3575
1050.78/1074.00	c current bound: 3575
1051.33/1074.83	c current bound: 3575
1051.61/1075.37	c current bound: 3575
1052.37/1075.92	c current bound: 3575
1052.70/1076.47	c current bound: 3575
1053.47/1077.02	c current bound: 3575
1053.79/1077.58	c current bound: 3575
1054.57/1078.14	c current bound: 3575
1054.91/1078.69	c current bound: 3575
1055.68/1079.25	c current bound: 3575
1056.29/1079.97	c current bound: 3575
1056.57/1080.52	c current bound: 3575
1057.12/1081.06	c current bound: 3575
1057.67/1081.60	c current bound: 3575
1058.22/1082.15	c current bound: 3575
1058.76/1082.69	c current bound: 3575
1059.31/1083.24	c current bound: 3575
1059.85/1083.78	c current bound: 3575
1060.40/1084.33	c current bound: 3575
1060.95/1084.89	c current bound: 3575
1061.49/1085.43	c current bound: 3575
1062.02/1085.98	c current bound: 3575
1062.58/1086.52	c current bound: 3575
1063.12/1087.08	c current bound: 3575
1063.68/1087.63	c current bound: 3575
1064.23/1088.17	c current bound: 3575
1064.77/1088.72	c current bound: 3575
1065.32/1089.26	c current bound: 3575
1065.85/1089.81	c current bound: 3575
1066.40/1090.38	c current bound: 3575
1066.96/1090.92	c current bound: 3575
1067.50/1091.47	c current bound: 3575
1068.04/1092.02	c current bound: 3575
1068.59/1092.57	c current bound: 3575
1069.15/1093.11	c current bound: 3575
1069.69/1093.65	c current bound: 3575
1070.50/1094.20	c current bound: 3575
1070.77/1094.75	c current bound: 3575
1071.33/1095.30	c current bound: 3575
1071.88/1095.84	c current bound: 3575
1072.42/1096.39	c current bound: 3575
1072.98/1096.93	c current bound: 3575
1073.80/1097.50	c current bound: 3575
1074.08/1098.06	c current bound: 3575
1074.63/1098.61	c current bound: 3575
1075.19/1099.17	c current bound: 3575
1075.75/1099.73	c current bound: 3575
1076.31/1100.27	c current bound: 3575
1076.85/1100.84	c current bound: 3575
1077.42/1101.41	c current bound: 3575
1077.99/1101.97	c current bound: 3575
1078.55/1102.52	c current bound: 3575
1079.10/1103.08	c current bound: 3575
1079.67/1103.62	c current bound: 3575
1080.21/1104.18	c current bound: 3575
1080.76/1104.74	c current bound: 3575
1081.60/1105.30	c current bound: 3575
1081.89/1105.86	c current bound: 3575
1082.44/1106.41	c current bound: 3575
1083.00/1106.97	c current bound: 3575
1083.56/1107.53	c current bound: 3575
1084.12/1108.09	c current bound: 3575
1084.68/1108.64	c current bound: 3575
1085.23/1109.20	c current bound: 3575
1085.80/1109.74	c current bound: 3575
1086.33/1110.29	c current bound: 3575
1086.88/1110.85	c current bound: 3575
1087.44/1111.41	c current bound: 3575
1088.00/1111.97	c current bound: 3575
1088.56/1112.53	c current bound: 3575
1089.12/1113.08	c current bound: 3575
1089.66/1113.62	c current bound: 3575
1090.20/1114.18	c current bound: 3575
1090.77/1114.72	c current bound: 3575
1091.31/1115.27	c current bound: 3575
1091.85/1115.83	c current bound: 3575
1092.42/1116.39	c current bound: 3575
1092.97/1116.95	c current bound: 3575
1093.53/1117.48	c current bound: 3575
1094.08/1118.04	c current bound: 3575
1094.62/1118.60	c current bound: 3575
1095.18/1119.16	c current bound: 3575
1096.00/1119.71	c current bound: 3575
1096.29/1120.27	c current bound: 3575
1097.09/1120.84	c current bound: 3575
1097.41/1121.39	c current bound: 3575
1098.19/1121.96	c current bound: 3575
1098.54/1122.51	c current bound: 3575
1099.29/1123.07	c current bound: 3575
1099.65/1123.63	c current bound: 3575
1100.40/1124.20	c current bound: 3575
1100.78/1124.75	c current bound: 3575
1101.59/1125.35	c current bound: 3575
1101.90/1125.91	c current bound: 3575
1102.66/1126.47	c current bound: 3575
1102.99/1127.03	c current bound: 3575
1103.75/1127.59	c current bound: 3575
1104.14/1128.14	c current bound: 3575
1104.96/1128.70	c current bound: 3575
1105.23/1129.26	c current bound: 3575
1106.05/1129.81	c current bound: 3575
1106.35/1130.51	c current bound: 3575
1106.89/1131.07	c current bound: 3575
1107.45/1131.62	c current bound: 3575
1108.02/1132.19	c current bound: 3575
1108.58/1132.75	c current bound: 3575
1109.13/1133.30	c current bound: 3575
1109.70/1133.86	c current bound: 3575
1110.25/1134.42	c current bound: 3575
1110.80/1134.97	c current bound: 3575
1111.36/1135.54	c current bound: 3575
1112.20/1136.10	c current bound: 3575
1112.47/1136.65	c current bound: 3575
1113.03/1137.21	c current bound: 3575
1113.60/1137.78	c current bound: 3575
1114.15/1138.33	c current bound: 3575
1114.71/1138.89	c current bound: 3575
1115.25/1139.44	c current bound: 3575
1116.09/1140.00	c current bound: 3575
1116.65/1140.67	c current bound: 3575
1116.92/1141.22	c current bound: 3575
1117.68/1141.78	c current bound: 3575
1118.04/1142.33	c current bound: 3575
1118.79/1142.89	c current bound: 3575
1119.15/1143.44	c current bound: 3575
1120.00/1144.00	c current bound: 3575
1120.27/1144.56	c current bound: 3575
1121.08/1145.12	c current bound: 3575
1121.38/1145.85	c current bound: 3575
1121.94/1146.41	c current bound: 3575
1122.48/1146.96	c current bound: 3575
1123.04/1147.52	c current bound: 3575
1123.59/1148.08	c current bound: 3575
1124.15/1148.63	c current bound: 3575
1124.71/1149.19	c current bound: 3575
1125.28/1149.75	c current bound: 3575
1125.83/1150.31	c current bound: 3575
1126.68/1150.97	c current bound: 3575
1126.96/1151.53	c current bound: 3575
1127.81/1152.10	c current bound: 3575
1128.09/1152.66	c current bound: 3575
1128.65/1153.22	c current bound: 3575
1129.20/1153.77	c current bound: 3575
1129.76/1154.33	c current bound: 3575
1130.32/1154.90	c current bound: 3575
1130.88/1155.46	c current bound: 3575
1131.71/1156.06	c current bound: 3575
1132.01/1156.62	c current bound: 3575
1132.78/1157.18	c current bound: 3575
1133.13/1157.74	c current bound: 3575
1133.86/1158.29	c current bound: 3575
1134.25/1158.85	c current bound: 3575
1135.09/1159.40	c current bound: 3575
1135.36/1159.96	c current bound: 3575
1136.18/1160.52	c current bound: 3575
1136.47/1161.38	c current bound: 3575
1137.05/1161.94	c current bound: 3575
1137.60/1162.49	c current bound: 3575
1138.15/1163.05	c current bound: 3575
1138.71/1163.61	c current bound: 3575
1139.30/1164.16	c current bound: 3575
1139.83/1164.73	c current bound: 3575
1140.39/1165.28	c current bound: 3575
1140.95/1165.84	c current bound: 3575
1141.51/1166.39	c current bound: 3575
1142.05/1166.93	c current bound: 3575
1142.60/1167.49	c current bound: 3575
1143.15/1168.06	c current bound: 3575
1143.73/1168.62	c current bound: 3575
1144.29/1169.18	c current bound: 3575
1144.85/1169.74	c current bound: 3575
1145.68/1170.32	c current bound: 3575
1145.99/1170.87	c current bound: 3575
1146.78/1171.42	c current bound: 3575
1147.10/1171.98	c current bound: 3575
1147.88/1172.53	c current bound: 3575
1148.50/1173.10	c current bound: 3575
1148.99/1173.66	c current bound: 3575
1149.33/1174.22	c current bound: 3575
1150.07/1174.77	c current bound: 3575
1150.45/1175.33	c current bound: 3575
1151.19/1175.89	c current bound: 3575
1151.55/1176.44	c current bound: 3575
1152.29/1176.99	c current bound: 3575
1152.67/1177.55	c current bound: 3575
1153.49/1178.12	c current bound: 3575
1153.79/1178.68	c current bound: 3575
1154.59/1179.23	c current bound: 3575
1154.92/1179.79	c current bound: 3575
1155.70/1180.36	c current bound: 3575
1156.03/1180.91	c current bound: 3575
1156.80/1181.47	c current bound: 3575
1157.14/1182.04	c current bound: 3575
1158.00/1182.60	c current bound: 3575
1158.28/1183.16	c current bound: 3575
1159.09/1183.71	c current bound: 3575
1159.40/1184.27	c current bound: 3575
1160.18/1184.83	c current bound: 3575
1160.51/1185.39	c current bound: 3575
1161.30/1185.94	c current bound: 3575
1161.93/1186.50	c current bound: 3575
1162.41/1187.06	c current bound: 3575
1162.75/1187.61	c current bound: 3575
1163.50/1188.17	c current bound: 3575
1163.87/1188.74	c current bound: 3575
1164.43/1189.29	c current bound: 3575
1164.98/1189.86	c current bound: 3575
1165.54/1190.42	c current bound: 3575
1166.12/1190.98	c current bound: 3575
1166.68/1191.53	c current bound: 3575
1167.23/1192.07	c current bound: 3575
1167.77/1192.63	c current bound: 3575
1168.34/1193.19	c current bound: 3575
1168.90/1193.75	c current bound: 3575
1169.45/1194.31	c current bound: 3575
1170.01/1194.88	c current bound: 3575
1170.57/1195.43	c current bound: 3575
1171.13/1195.99	c current bound: 3575
1171.70/1196.55	c current bound: 3575
1172.25/1197.09	c current bound: 3575
1172.79/1197.64	c current bound: 3575
1173.35/1198.20	c current bound: 3575
1173.90/1198.76	c current bound: 3575
1174.45/1199.32	c current bound: 3575
1175.03/1199.88	c current bound: 3575
1175.58/1200.44	c current bound: 3575
1176.42/1201.00	c current bound: 3575
1176.69/1201.55	c current bound: 3575
1177.25/1202.11	c current bound: 3575
1177.82/1202.68	c current bound: 3575
1178.38/1203.23	c current bound: 3575
1178.92/1203.79	c current bound: 3575
1179.48/1204.35	c current bound: 3575
1180.04/1204.91	c current bound: 3575
1180.59/1205.46	c current bound: 3575
1181.15/1206.02	c current bound: 3575
1181.71/1206.57	c current bound: 3575
1182.27/1207.13	c current bound: 3575
1182.83/1207.68	c current bound: 3575
1183.38/1208.24	c current bound: 3575
1184.22/1208.80	c current bound: 3575
1184.50/1209.34	c current bound: 3575
1185.33/1209.90	c current bound: 3575
1185.60/1210.44	c current bound: 3575
1186.14/1210.98	c current bound: 3575
1186.67/1211.52	c current bound: 3575
1187.22/1212.05	c current bound: 3575
1187.76/1212.59	c current bound: 3575
1188.29/1213.13	c current bound: 3575
1188.83/1213.67	c current bound: 3575
1189.37/1214.20	c current bound: 3575
1189.91/1214.74	c current bound: 3575
1190.45/1215.28	c current bound: 3575
1190.98/1215.83	c current bound: 3575
1191.80/1216.70	c current bound: 3575
1192.06/1217.23	c current bound: 3575
1192.77/1217.77	c current bound: 3575
1193.15/1218.32	c current bound: 3575
1193.88/1218.86	c current bound: 3575
1194.49/1219.40	c current bound: 3575
1194.99/1219.93	c current bound: 3575
1195.31/1220.47	c current bound: 3575
1196.10/1221.01	c current bound: 3575
1196.64/1221.82	c current bound: 3575
1196.92/1222.37	c current bound: 3575
1197.47/1222.90	c current bound: 3575
1198.01/1223.47	c current bound: 3575
1198.84/1224.24	c current bound: 3575
1199.11/1224.78	c current bound: 3575
1199.87/1225.32	c current bound: 3575
1200.19/1225.85	c current bound: 3575
1200.73/1226.39	c current bound: 3575
1201.26/1227.13	c current bound: 3575
1202.00/1227.68	c current bound: 3575
1202.35/1228.21	c current bound: 3575
1203.10/1228.75	c current bound: 3575
1203.70/1229.30	c current bound: 3575
1204.19/1229.84	c current bound: 3575
1204.52/1230.38	c current bound: 3575
1205.29/1230.91	c current bound: 3575
1205.59/1231.45	c current bound: 3575
1206.36/1232.03	c current bound: 3575
1206.66/1232.56	c current bound: 3575
1207.36/1233.10	c current bound: 3575
1207.74/1233.64	c current bound: 3575
1208.45/1234.17	c current bound: 3575
1208.82/1234.72	c current bound: 3575
1209.55/1235.26	c current bound: 3575
1209.90/1235.79	c current bound: 3575
1210.66/1236.33	c current bound: 3575
1210.98/1236.87	c current bound: 3575
1211.76/1237.40	c current bound: 3575
1212.05/1237.94	c current bound: 3575
1212.59/1238.48	c current bound: 3575
1213.12/1239.01	c current bound: 3575
1213.66/1239.55	c current bound: 3575
1214.20/1240.09	c current bound: 3575
1214.73/1240.63	c current bound: 3575
1215.26/1241.16	c current bound: 3575
1215.81/1241.72	c current bound: 3575
1216.36/1242.26	c current bound: 3575
1216.89/1242.81	c current bound: 3575
1217.45/1243.36	c current bound: 3575
1218.26/1243.90	c current bound: 3575
1218.54/1244.45	c current bound: 3575
1219.08/1244.98	c current bound: 3575
1219.63/1245.53	c current bound: 3575
1220.16/1246.08	c current bound: 3575
1220.71/1246.73	c current bound: 3575
1221.24/1247.27	c current bound: 3575
1221.78/1247.81	c current bound: 3575
1222.32/1248.35	c current bound: 3575
1222.86/1248.89	c current bound: 3575
1223.41/1249.43	c current bound: 3575
1223.95/1249.96	c current bound: 3575
1224.74/1250.50	c current bound: 3575
1225.02/1251.05	c current bound: 3575
1225.82/1251.72	c current bound: 3575
1226.11/1252.26	c current bound: 3575
1226.64/1252.80	c current bound: 3575
1227.17/1253.33	c current bound: 3575
1227.71/1253.88	c current bound: 3575
1228.25/1254.42	c current bound: 3575
1228.80/1254.96	c current bound: 3575
1229.33/1255.49	c current bound: 3575
1229.87/1256.03	c current bound: 3575
1230.41/1256.57	c current bound: 3575
1230.94/1257.10	c current bound: 3575
1231.48/1257.64	c current bound: 3575
1232.01/1258.18	c current bound: 3575
1232.56/1258.73	c current bound: 3575
1233.35/1259.30	c current bound: 3575
1233.65/1259.85	c current bound: 3575
1234.18/1260.39	c current bound: 3575
1234.73/1260.94	c current bound: 3575
1235.26/1261.47	c current bound: 3575
1235.82/1262.03	c current bound: 3575
1236.35/1262.57	c current bound: 3575
1236.89/1263.11	c current bound: 3575
1237.43/1263.65	c current bound: 3575
1237.97/1264.19	c current bound: 3575
1238.51/1264.73	c current bound: 3575
1239.05/1265.29	c current bound: 3575
1239.60/1265.82	c current bound: 3575
1240.15/1266.36	c current bound: 3575
1240.94/1266.94	c current bound: 3575
1241.21/1267.49	c current bound: 3575
1241.77/1268.02	c current bound: 3575
1242.31/1268.57	c current bound: 3575
1242.84/1269.11	c current bound: 3575
1243.38/1269.65	c current bound: 3575
1243.94/1270.21	c current bound: 3575
1244.49/1270.76	c current bound: 3575
1245.05/1271.31	c current bound: 3575
1245.59/1272.17	c current bound: 3575
1246.38/1272.74	c current bound: 3575
1246.70/1273.29	c current bound: 3575
1247.48/1273.85	c current bound: 3575
1247.82/1274.40	c current bound: 3575
1248.57/1274.95	c current bound: 3575
1248.93/1275.50	c current bound: 3575
1249.67/1276.06	c current bound: 3575
1250.04/1276.61	c current bound: 3575
1250.78/1277.16	c current bound: 3575
1251.14/1277.73	c current bound: 3575
1251.87/1278.27	c current bound: 3575
1252.24/1278.83	c current bound: 3575
1252.98/1279.38	c current bound: 3575
1253.37/1279.94	c current bound: 3575
1254.08/1280.49	c current bound: 3575
1254.46/1281.04	c current bound: 3575
1255.18/1281.59	c current bound: 3575
1255.56/1282.14	c current bound: 3575
1256.27/1282.69	c current bound: 3575
1256.65/1283.24	c current bound: 3575
1257.38/1283.77	c current bound: 3575
1257.73/1284.31	c current bound: 3575
1258.47/1284.84	c current bound: 3575
1258.81/1285.38	c current bound: 3575
1259.59/1285.93	c current bound: 3575
1259.88/1286.46	c current bound: 3575
1260.66/1287.14	c current bound: 3575
1260.97/1287.68	c current bound: 3575
1261.73/1288.21	c current bound: 3575
1262.03/1288.75	c current bound: 3575
1262.73/1289.29	c current bound: 3575
1263.12/1289.83	c current bound: 3575
1263.85/1290.37	c current bound: 3575
1264.20/1290.91	c current bound: 3575
1264.94/1291.45	c current bound: 3575
1265.27/1292.23	c current bound: 3575
1265.83/1292.78	c current bound: 3575
1266.37/1293.32	c current bound: 3575
1266.93/1293.87	c current bound: 3575
1267.47/1294.41	c current bound: 3575
1268.01/1294.96	c current bound: 3575
1268.81/1295.50	c current bound: 3575
1269.09/1296.04	c current bound: 3575
1269.64/1296.58	c current bound: 3575
1270.44/1297.35	c current bound: 3575
1270.72/1297.89	c current bound: 3575
1271.26/1298.43	c current bound: 3575
1271.80/1298.98	c current bound: 3575
1272.35/1299.53	c current bound: 3575
1272.91/1300.08	c current bound: 3575
1273.45/1300.61	c current bound: 3575
1273.99/1301.15	c current bound: 3575
1274.53/1301.70	c current bound: 3575
1275.34/1302.47	c current bound: 3575
1275.61/1303.02	c current bound: 3575
1276.36/1303.55	c current bound: 3575
1276.68/1304.09	c current bound: 3575
1277.45/1304.64	c current bound: 3575
1277.76/1305.18	c current bound: 3575
1278.54/1305.72	c current bound: 3575
1278.86/1306.27	c current bound: 3575
1279.64/1306.81	c current bound: 3575
1280.21/1307.67	c current bound: 3575
1280.49/1308.22	c current bound: 3575
1281.04/1308.78	c current bound: 3575
1281.60/1309.34	c current bound: 3575
1282.44/1309.90	c current bound: 3575
1282.73/1310.44	c current bound: 3575
1283.26/1310.99	c current bound: 3575
1283.81/1311.56	c current bound: 3575
1284.39/1312.12	c current bound: 3575
1284.95/1312.68	c current bound: 3575
1285.51/1313.24	c current bound: 3575
1286.08/1313.81	c current bound: 3575
1286.65/1314.37	c current bound: 3575
1287.20/1314.93	c current bound: 3575
1287.75/1315.49	c current bound: 3575
1288.31/1316.04	c current bound: 3575
1288.87/1316.60	c current bound: 3575
1289.44/1317.15	c current bound: 3575
1290.27/1317.71	c current bound: 3575
1290.55/1318.28	c current bound: 3575
1291.35/1318.84	c current bound: 3575
1291.66/1319.39	c current bound: 3575
1292.44/1319.95	c current bound: 3575
1292.78/1320.51	c current bound: 3575
1293.55/1321.06	c current bound: 3575
1293.91/1321.62	c current bound: 3575
1294.65/1322.18	c current bound: 3575
1295.02/1322.73	c current bound: 3575
1295.74/1323.29	c current bound: 3575
1296.13/1323.86	c current bound: 3575
1296.97/1324.41	c current bound: 3575
1297.25/1324.97	c current bound: 3575
1298.06/1325.52	c current bound: 3575
1298.37/1326.08	c current bound: 3575
1299.17/1326.64	c current bound: 3575
1299.49/1327.20	c current bound: 3575
1300.25/1327.75	c current bound: 3575
1300.59/1328.31	c current bound: 3575
1301.36/1328.87	c current bound: 3575
1301.72/1329.44	c current bound: 3575
1302.56/1330.00	c current bound: 3575
1302.86/1330.54	c current bound: 3575
1303.67/1331.10	c current bound: 3575
1303.94/1331.66	c current bound: 3575
1304.75/1332.22	c current bound: 3575
1305.07/1332.78	c current bound: 3575
1305.85/1333.34	c current bound: 3575
1306.19/1333.89	c current bound: 3575
1306.95/1334.44	c current bound: 3575
1307.29/1335.01	c current bound: 3575
1308.06/1335.57	c current bound: 3575
1308.41/1336.14	c current bound: 3575
1309.27/1336.70	c current bound: 3575
1309.54/1337.27	c current bound: 3575
1310.12/1337.82	c current bound: 3575
1310.67/1338.37	c current bound: 3575
1311.23/1338.94	c current bound: 3575
1312.08/1339.50	c current bound: 3575
1312.35/1340.06	c current bound: 3575
1312.91/1340.61	c current bound: 3575
1313.46/1341.17	c current bound: 3575
1314.02/1341.72	c current bound: 3575
1314.58/1342.29	c current bound: 3575
1315.15/1342.84	c current bound: 3575
1315.70/1343.40	c current bound: 3575
1316.26/1343.96	c current bound: 3575
1316.82/1344.52	c current bound: 3575
1317.37/1345.08	c current bound: 3575
1317.94/1345.65	c current bound: 3575
1318.51/1346.21	c current bound: 3575
1319.07/1346.76	c current bound: 3575
1319.61/1347.32	c current bound: 3575
1320.46/1347.90	c current bound: 3575
1320.73/1348.45	c current bound: 3575
1321.29/1349.03	c current bound: 3575
1322.16/1349.61	c current bound: 3575
1322.45/1350.18	c current bound: 3575
1323.24/1350.74	c current bound: 3575
1323.86/1351.30	c current bound: 3575
1324.36/1351.85	c current bound: 3575
1324.69/1352.43	c current bound: 3575
1325.45/1352.98	c current bound: 3575
1325.83/1353.53	c current bound: 3575
1326.55/1354.09	c current bound: 3575
1326.93/1354.65	c current bound: 3575
1327.75/1355.21	c current bound: 3575
1328.06/1355.76	c current bound: 3575
1328.85/1356.32	c current bound: 3575
1329.16/1356.88	c current bound: 3575
1329.96/1357.44	c current bound: 3575
1330.55/1358.00	c current bound: 3575
1331.06/1358.56	c current bound: 3575
1331.40/1359.11	c current bound: 3575
1332.16/1359.67	c current bound: 3575
1332.52/1360.23	c current bound: 3575
1333.27/1360.79	c current bound: 3575
1333.64/1361.34	c current bound: 3575
1334.47/1361.90	c current bound: 3575
1334.75/1362.44	c current bound: 3575
1335.47/1362.98	c current bound: 3575
1335.83/1363.55	c current bound: 3575
1336.67/1364.20	c current bound: 3575
1336.94/1364.76	c current bound: 3575
1337.51/1365.32	c current bound: 3575
1338.07/1365.88	c current bound: 3575
1338.62/1366.44	c current bound: 3575
1339.47/1367.00	c current bound: 3575
1339.74/1367.56	c current bound: 3575
1340.31/1368.11	c current bound: 3575
1340.85/1368.66	c current bound: 3575
1341.67/1369.20	c current bound: 3575
1341.95/1369.74	c current bound: 3575
1342.49/1370.28	c current bound: 3575
1343.03/1370.82	c current bound: 3575
1343.57/1371.36	c current bound: 3575
1344.37/1371.90	c current bound: 3575
1344.63/1372.44	c current bound: 3575
1345.18/1372.98	c current bound: 3575
1345.72/1373.52	c current bound: 3575
1346.45/1374.07	c current bound: 3575
1346.80/1374.60	c current bound: 3575
1347.55/1375.14	c current bound: 3575
1347.87/1375.68	c current bound: 3575
1348.65/1376.23	c current bound: 3575
1348.96/1376.77	c current bound: 3575
1349.75/1377.31	c current bound: 3575
1350.05/1378.19	c current bound: 3575
1350.58/1378.73	c current bound: 3575
1351.12/1379.27	c current bound: 3575
1351.66/1379.81	c current bound: 3575
1352.20/1380.35	c current bound: 3575
1352.75/1380.89	c current bound: 3575
1353.28/1381.43	c current bound: 3575
1353.81/1381.96	c current bound: 3575
1354.35/1382.50	c current bound: 3575
1355.15/1383.25	c current bound: 3575
1355.59/1383.79	c current bound: 3575
1355.96/1384.33	c current bound: 3575
1356.69/1384.86	c current bound: 3575
1357.04/1385.40	c current bound: 3575
1357.78/1385.94	c current bound: 3575
1358.11/1386.48	c current bound: 3575
1358.90/1387.02	c current bound: 3575
1359.19/1387.56	c current bound: 3575
1359.99/1388.26	c current bound: 3575
1360.28/1388.79	c current bound: 3575
1361.03/1389.33	c current bound: 3575
1361.36/1389.87	c current bound: 3575
1362.13/1390.41	c current bound: 3575
1362.43/1390.95	c current bound: 3575
1363.14/1391.49	c current bound: 3575
1363.50/1392.02	c current bound: 3575
1364.24/1392.56	c current bound: 3575
1364.58/1393.44	c current bound: 3575
1365.11/1393.98	c current bound: 3575
1365.66/1394.53	c current bound: 3575
1366.20/1395.07	c current bound: 3575
1366.75/1395.60	c current bound: 3575
1367.29/1396.15	c current bound: 3575
1367.83/1396.69	c current bound: 3575
1368.37/1397.24	c current bound: 3575
1368.92/1397.78	c current bound: 3575
1369.72/1398.57	c current bound: 3575
1370.26/1399.18	c current bound: 3575
1370.54/1399.71	c current bound: 3575
1371.27/1400.26	c current bound: 3575
1371.61/1400.79	c current bound: 3575
1372.38/1401.34	c current bound: 3575
1372.68/1401.88	c current bound: 3575
1373.48/1402.42	c current bound: 3575
1373.79/1402.96	c current bound: 3575
1374.59/1403.68	c current bound: 3575
1374.85/1404.25	c current bound: 3575
1375.67/1404.80	c current bound: 3575
1375.96/1405.36	c current bound: 3575
1376.77/1405.92	c current bound: 3575
1377.09/1406.49	c current bound: 3575
1377.88/1407.05	c current bound: 3575
1378.22/1407.61	c current bound: 3575
1378.99/1408.17	c current bound: 3575
1379.62/1408.82	c current bound: 3575
1379.90/1409.38	c current bound: 3575
1380.45/1409.93	c current bound: 3575
1381.01/1410.49	c current bound: 3575
1381.56/1411.05	c current bound: 3575
1382.13/1411.62	c current bound: 3575
1382.69/1412.18	c current bound: 3575
1383.26/1412.74	c current bound: 3575
1383.82/1413.29	c current bound: 3575
1384.37/1413.84	c current bound: 3575
1385.21/1414.40	c current bound: 3575
1385.49/1414.93	c current bound: 3575
1386.01/1415.49	c current bound: 3575
1386.57/1416.05	c current bound: 3575
1387.40/1416.60	c current bound: 3575
1387.68/1417.16	c current bound: 3575
1388.25/1417.71	c current bound: 3575
1388.79/1418.27	c current bound: 3575
1389.36/1418.83	c current bound: 3575
1389.92/1419.39	c current bound: 3575
1390.49/1419.94	c current bound: 3575
1391.31/1420.50	c current bound: 3575
1391.59/1421.06	c current bound: 3575
1392.15/1421.61	c current bound: 3575
1392.70/1422.17	c current bound: 3575
1393.27/1422.73	c current bound: 3575
1393.83/1423.29	c current bound: 3575
1394.38/1423.83	c current bound: 3575
1394.93/1424.38	c current bound: 3575
1395.48/1424.94	c current bound: 3575
1396.31/1425.51	c current bound: 3575
1396.60/1426.07	c current bound: 3575
1397.40/1426.63	c current bound: 3575
1397.73/1427.18	c current bound: 3575
1398.52/1427.74	c current bound: 3575
1399.13/1428.30	c current bound: 3575
1399.61/1428.85	c current bound: 3575
1399.95/1429.41	c current bound: 3575
1400.72/1429.97	c current bound: 3575
1401.07/1430.53	c current bound: 3575
1401.82/1431.09	c current bound: 3575
1402.19/1431.64	c current bound: 3575
1402.93/1432.20	c current bound: 3575
1403.31/1432.76	c current bound: 3575
1404.12/1433.31	c current bound: 3575
1404.41/1433.87	c current bound: 3575
1405.22/1434.43	c current bound: 3575
1405.53/1434.98	c current bound: 3575
1406.32/1435.56	c current bound: 3575
1406.65/1436.13	c current bound: 3575
1407.43/1436.69	c current bound: 3575
1407.80/1437.24	c current bound: 3575
1408.62/1437.80	c current bound: 3575
1408.90/1438.37	c current bound: 3575
1409.72/1438.92	c current bound: 3575
1410.03/1439.47	c current bound: 3575
1410.83/1440.04	c current bound: 3575
1411.44/1440.60	c current bound: 3575
1411.93/1441.16	c current bound: 3575
1412.27/1441.71	c current bound: 3575
1413.02/1442.26	c current bound: 3575
1413.38/1442.82	c current bound: 3575
1414.14/1443.37	c current bound: 3575
1414.50/1443.94	c current bound: 3575
1415.33/1444.50	c current bound: 3575
1415.62/1445.05	c current bound: 3575
1416.17/1445.61	c current bound: 3575
1416.72/1446.16	c current bound: 3575
1417.27/1446.72	c current bound: 3575
1417.84/1447.27	c current bound: 3575
1418.39/1447.84	c current bound: 3575
1418.95/1448.39	c current bound: 3575
1419.51/1448.96	c current bound: 3575
1420.08/1449.52	c current bound: 3575
1420.63/1450.08	c current bound: 3575
1421.19/1450.64	c current bound: 3575
1421.76/1451.18	c current bound: 3575
1422.29/1451.74	c current bound: 3575
1423.14/1452.30	c current bound: 3575
1423.41/1452.86	c current bound: 3575
1423.97/1453.41	c current bound: 3575
1424.53/1453.95	c current bound: 3575
1425.07/1454.51	c current bound: 3575
1425.62/1455.06	c current bound: 3575
1426.19/1455.62	c current bound: 3575
1426.74/1456.18	c current bound: 3575
1427.30/1456.73	c current bound: 3575
1427.86/1457.27	c current bound: 3575
1428.39/1457.82	c current bound: 3575
1428.94/1458.38	c current bound: 3575
1429.49/1458.94	c current bound: 3575
1430.34/1459.50	c current bound: 3575
1430.61/1460.06	c current bound: 3575
1431.17/1460.61	c current bound: 3575
1431.74/1461.17	c current bound: 3575
1432.30/1461.73	c current bound: 3575
1432.85/1462.28	c current bound: 3575
1433.40/1462.84	c current bound: 3575
1433.96/1463.39	c current bound: 3575
1434.52/1463.94	c current bound: 3575
1435.34/1464.50	c current bound: 3575
1435.62/1465.06	c current bound: 3575
1436.18/1465.62	c current bound: 3575
1436.74/1466.18	c current bound: 3575
1437.29/1466.74	c current bound: 3575
1437.87/1467.30	c current bound: 3575
1438.43/1467.86	c current bound: 3575
1439.22/1468.41	c current bound: 3575
1439.52/1468.96	c current bound: 3575
1440.34/1469.52	c current bound: 3575
1440.64/1470.07	c current bound: 3575
1441.44/1470.63	c current bound: 3575
1441.76/1471.19	c current bound: 3575
1442.55/1471.75	c current bound: 3575
1442.88/1472.30	c current bound: 3575
1443.64/1472.87	c current bound: 3575
1443.99/1473.43	c current bound: 3575
1444.75/1473.97	c current bound: 3575
1445.11/1474.53	c current bound: 3575
1445.84/1475.09	c current bound: 3575
1446.22/1475.65	c current bound: 3575
1447.05/1476.21	c current bound: 3575
1447.34/1476.78	c current bound: 3575
1448.14/1477.35	c current bound: 3575
1448.48/1477.90	c current bound: 3575
1449.25/1478.46	c current bound: 3575
1449.59/1479.03	c current bound: 3575
1450.33/1479.58	c current bound: 3575
1450.70/1480.14	c current bound: 3575
1451.53/1480.70	c current bound: 3575
1451.81/1481.26	c current bound: 3575
1452.63/1481.83	c current bound: 3575
1452.93/1482.38	c current bound: 3575
1453.73/1482.95	c current bound: 3575
1454.06/1483.51	c current bound: 3575
1454.82/1484.06	c current bound: 3575
1455.18/1484.62	c current bound: 3575
1455.92/1485.17	c current bound: 3575
1456.29/1485.73	c current bound: 3575
1456.85/1486.26	c current bound: 3575
1457.38/1486.82	c current bound: 3575
1458.13/1487.37	c current bound: 3575
1458.51/1487.94	c current bound: 3575
1459.34/1488.50	c current bound: 3575
1459.62/1489.05	c current bound: 3575
1460.18/1489.61	c current bound: 3575
1460.73/1490.16	c current bound: 3575
1461.30/1490.72	c current bound: 3575
1461.85/1491.27	c current bound: 3575
1462.39/1491.83	c current bound: 3575
1462.94/1492.39	c current bound: 3575
1463.51/1492.95	c current bound: 3575
1464.06/1493.50	c current bound: 3575
1464.62/1494.09	c current bound: 3575
1465.18/1494.62	c current bound: 3575
1465.71/1495.19	c current bound: 3575
1466.27/1495.74	c current bound: 3575
1466.83/1496.32	c current bound: 3575
1467.40/1496.89	c current bound: 3575
1467.98/1497.44	c current bound: 3575
1468.54/1498.00	c current bound: 3575
1469.09/1498.58	c current bound: 3575
1469.67/1499.14	c current bound: 3575
1470.23/1499.71	c current bound: 3575
1470.80/1500.28	c current bound: 3575
1471.36/1500.85	c current bound: 3575
1472.21/1501.41	c current bound: 3575
1472.50/1501.97	c current bound: 3575
1473.30/1502.53	c current bound: 3575
1473.62/1503.09	c current bound: 3575
1474.41/1503.65	c current bound: 3575
1474.75/1504.20	c current bound: 3575
1475.51/1504.76	c current bound: 3575
1475.85/1505.32	c current bound: 3575
1476.60/1505.89	c current bound: 3575
1476.97/1506.44	c current bound: 3575
1477.71/1507.00	c current bound: 3575
1478.09/1507.55	c current bound: 3575
1478.91/1508.12	c current bound: 3575
1479.20/1508.67	c current bound: 3575
1480.02/1509.22	c current bound: 3575
1480.32/1509.78	c current bound: 3575
1481.11/1510.34	c current bound: 3575
1481.43/1510.89	c current bound: 3575
1482.21/1511.45	c current bound: 3575
1482.55/1512.01	c current bound: 3575
1483.31/1512.57	c current bound: 3575
1483.67/1513.14	c current bound: 3575
1484.40/1513.69	c current bound: 3575
1484.79/1514.25	c current bound: 3575
1485.62/1514.80	c current bound: 3575
1485.90/1515.36	c current bound: 3575
1486.70/1515.92	c current bound: 3575
1487.03/1516.48	c current bound: 3575
1487.81/1517.04	c current bound: 3575
1488.13/1517.60	c current bound: 3575
1488.91/1518.17	c current bound: 3575
1489.27/1518.73	c current bound: 3575
1489.83/1519.27	c current bound: 3575
1490.37/1519.83	c current bound: 3575
1490.92/1520.36	c current bound: 3575
1491.46/1520.93	c current bound: 3575
1492.03/1521.47	c current bound: 3575
1492.57/1522.03	c current bound: 3575
1493.13/1522.59	c current bound: 3575
1493.69/1523.15	c current bound: 3575
1494.26/1523.72	c current bound: 3575
1494.81/1524.28	c current bound: 3575
1495.39/1524.84	c current bound: 3575
1495.94/1525.39	c current bound: 3575
1496.50/1525.95	c current bound: 3575
1497.05/1526.51	c current bound: 3575
1497.61/1527.07	c current bound: 3575
1498.16/1527.62	c current bound: 3575
1498.72/1528.18	c current bound: 3575
1499.28/1528.74	c current bound: 3575
1499.84/1529.31	c current bound: 3575
1500.41/1529.86	c current bound: 3575
1500.97/1530.43	c current bound: 3575
1501.52/1530.99	c current bound: 3575
1502.09/1531.55	c current bound: 3575
1502.64/1532.10	c current bound: 3575
1503.21/1532.66	c current bound: 3575
1503.78/1533.22	c current bound: 3575
1504.33/1533.76	c current bound: 3575
1504.86/1534.34	c current bound: 3575
1505.43/1534.90	c current bound: 3575
1506.00/1535.46	c current bound: 3575
1506.55/1536.01	c current bound: 3575
1507.10/1536.57	c current bound: 3575
1507.67/1537.13	c current bound: 3575
1508.24/1537.69	c current bound: 3575
1508.79/1538.25	c current bound: 3575
1509.61/1538.81	c current bound: 3575
1509.91/1539.36	c current bound: 3575
1510.71/1539.92	c current bound: 3575
1511.01/1540.47	c current bound: 3575
1511.82/1541.03	c current bound: 3575
1512.13/1541.59	c current bound: 3575
1512.93/1542.15	c current bound: 3575
1513.26/1542.71	c current bound: 3575
1514.01/1543.28	c current bound: 3575
1514.39/1543.84	c current bound: 3575
1515.13/1544.38	c current bound: 3575
1515.48/1544.96	c current bound: 3575
1516.21/1545.50	c current bound: 3575
1516.60/1546.05	c current bound: 3575
1517.42/1546.61	c current bound: 3575
1517.71/1547.17	c current bound: 3575
1518.51/1547.73	c current bound: 3575
1518.83/1548.27	c current bound: 3575
1519.63/1548.83	c current bound: 3575
1519.94/1549.39	c current bound: 3575
1520.72/1549.95	c current bound: 3575
1521.05/1550.51	c current bound: 3575
1521.82/1551.07	c current bound: 3575
1522.17/1551.63	c current bound: 3575
1522.92/1552.18	c current bound: 3575
1523.30/1552.75	c current bound: 3575
1524.11/1553.31	c current bound: 3575
1524.43/1553.87	c current bound: 3575
1525.22/1554.41	c current bound: 3575
1525.52/1554.98	c current bound: 3575
1526.32/1555.54	c current bound: 3575
1526.94/1556.10	c current bound: 3575
1527.41/1556.66	c current bound: 3575
1528.04/1557.20	c current bound: 3575
1528.53/1557.74	c current bound: 3575
1528.85/1558.27	c current bound: 3575
1529.63/1558.82	c current bound: 3575
1529.92/1559.56	c current bound: 3575
1530.48/1560.10	c current bound: 3575
1531.02/1560.64	c current bound: 3575
1531.58/1561.19	c current bound: 3575
1532.12/1561.73	c current bound: 3575
1532.65/1562.28	c current bound: 3575
1533.19/1562.81	c current bound: 3575
1533.74/1563.36	c current bound: 3575
1534.27/1563.90	c current bound: 3575
1534.81/1564.49	c current bound: 3575
1535.36/1565.02	c current bound: 3575
1535.89/1565.56	c current bound: 3575
1536.43/1566.11	c current bound: 3575
1536.97/1566.65	c current bound: 3575
1537.51/1567.19	c current bound: 3575
1538.05/1567.73	c current bound: 3575
1538.58/1568.27	c current bound: 3575
1539.13/1568.81	c current bound: 3575
1539.67/1569.34	c current bound: 3575
1540.21/1569.95	c current bound: 3575
1541.02/1570.50	c current bound: 3575
1541.30/1571.04	c current bound: 3575
1541.82/1571.58	c current bound: 3575
1542.37/1572.12	c current bound: 3575
1542.90/1572.66	c current bound: 3575
1543.45/1573.21	c current bound: 3575
1543.99/1573.75	c current bound: 3575
1544.54/1574.29	c current bound: 3575
1545.07/1574.83	c current bound: 3575
1545.61/1575.37	c current bound: 3575
1546.14/1575.90	c current bound: 3575
1546.90/1576.45	c current bound: 3575
1547.23/1576.98	c current bound: 3575
1548.00/1577.52	c current bound: 3575
1548.30/1578.06	c current bound: 3575
1549.00/1578.59	c current bound: 3575
1549.38/1579.13	c current bound: 3575
1550.18/1579.81	c current bound: 3575
1550.45/1580.35	c current bound: 3575
1551.00/1580.89	c current bound: 3575
1551.53/1581.42	c current bound: 3575
1552.36/1582.00	c current bound: 3575
1552.63/1582.55	c current bound: 3575
1553.17/1583.09	c current bound: 3575
1553.71/1583.63	c current bound: 3575
1554.25/1584.17	c current bound: 3575
1554.79/1584.86	c current bound: 3575
1555.32/1585.40	c current bound: 3575
1555.87/1585.94	c current bound: 3575
1556.40/1586.49	c current bound: 3575
1556.95/1587.04	c current bound: 3575
1557.50/1587.59	c current bound: 3575
1558.04/1588.13	c current bound: 3575
1558.58/1588.67	c current bound: 3575
1559.12/1589.21	c current bound: 3575
1559.66/1589.92	c current bound: 3575
1560.20/1590.46	c current bound: 3575
1560.74/1591.01	c current bound: 3575
1561.29/1591.55	c current bound: 3575
1561.81/1592.08	c current bound: 3575
1562.37/1592.62	c current bound: 3575
1562.91/1593.16	c current bound: 3575
1563.71/1593.70	c current bound: 3575
1563.98/1594.25	c current bound: 3575
1564.52/1594.88	c current bound: 3575
1565.07/1595.42	c current bound: 3575
1565.60/1595.96	c current bound: 3575
1566.40/1596.50	c current bound: 3575
1566.68/1597.03	c current bound: 3575
1567.21/1597.57	c current bound: 3575
1567.76/1598.12	c current bound: 3575
1568.31/1598.66	c current bound: 3575
1568.84/1599.20	c current bound: 3575
1569.40/1599.75	c current bound: 3575
1569.95/1600.32	c current bound: 3575
1570.47/1600.86	c current bound: 3575
1571.28/1601.40	c current bound: 3575
1571.57/1601.95	c current bound: 3575
1572.12/1602.48	c current bound: 3575
1572.66/1603.04	c current bound: 3575
1573.20/1603.58	c current bound: 3575
1573.74/1604.13	c current bound: 3575
1574.29/1604.67	c current bound: 3575
1574.83/1605.21	c current bound: 3575
1575.37/1605.76	c current bound: 3575
1576.17/1606.30	c current bound: 3575
1576.45/1606.84	c current bound: 3575
1577.01/1607.38	c current bound: 3575
1577.53/1607.92	c current bound: 3575
1578.07/1608.46	c current bound: 3575
1578.88/1609.00	c current bound: 3575
1579.17/1609.54	c current bound: 3575
1579.70/1610.26	c current bound: 3575
1580.49/1610.80	c current bound: 3575
1580.76/1611.33	c current bound: 3575
1581.29/1611.87	c current bound: 3575
1581.84/1612.41	c current bound: 3575
1582.39/1612.96	c current bound: 3575
1583.17/1613.50	c current bound: 3575
1583.45/1614.04	c current bound: 3575
1584.00/1614.57	c current bound: 3575
1584.81/1615.26	c current bound: 3575
1585.34/1615.80	c current bound: 3575
1585.63/1616.34	c current bound: 3575
1586.16/1616.88	c current bound: 3575
1586.70/1617.41	c current bound: 3575
1587.24/1617.95	c current bound: 3575
1587.77/1618.49	c current bound: 3575
1588.30/1619.03	c current bound: 3575
1588.84/1619.57	c current bound: 3575
1589.64/1620.29	c current bound: 3575
1589.92/1620.83	c current bound: 3575
1590.65/1621.36	c current bound: 3575
1591.26/1621.90	c current bound: 3575
1591.74/1622.44	c current bound: 3575
1592.07/1622.98	c current bound: 3575
1592.84/1623.51	c current bound: 3575
1593.14/1624.05	c current bound: 3575
1593.67/1624.59	c current bound: 3575
1594.21/1625.45	c current bound: 3575
1594.75/1625.99	c current bound: 3575
1595.29/1626.53	c current bound: 3575
1595.83/1627.08	c current bound: 3575
1596.39/1627.63	c current bound: 3575
1596.91/1628.16	c current bound: 3575
1597.46/1628.70	c current bound: 3575
1598.21/1629.24	c current bound: 3575
1598.54/1629.78	c current bound: 3575
1599.32/1630.59	c current bound: 3575
1599.62/1631.16	c current bound: 3575
1600.17/1631.70	c current bound: 3575
1600.71/1632.23	c current bound: 3575
1601.25/1632.77	c current bound: 3575
1601.79/1633.31	c current bound: 3575
1602.32/1633.85	c current bound: 3575
1602.86/1634.39	c current bound: 3575
1603.41/1634.92	c current bound: 3575
1604.17/1635.63	c current bound: 3575
1604.47/1636.16	c current bound: 3575
1605.01/1636.70	c current bound: 3575
1605.56/1637.24	c current bound: 3575
1606.09/1637.78	c current bound: 3575
1606.63/1638.32	c current bound: 3575
1607.16/1638.85	c current bound: 3575
1607.99/1639.40	c current bound: 3575
1608.26/1639.94	c current bound: 3575
1608.79/1640.75	c current bound: 3575
1609.50/1641.28	c current bound: 3575
1609.86/1641.82	c current bound: 3575
1610.60/1642.36	c current bound: 3575
1610.94/1642.89	c current bound: 3575
1611.70/1643.43	c current bound: 3575
1612.00/1643.97	c current bound: 3575
1612.79/1644.52	c current bound: 3575
1613.10/1645.06	c current bound: 3575
1613.91/1645.89	c current bound: 3575
1614.18/1646.43	c current bound: 3575
1614.72/1646.98	c current bound: 3575
1615.28/1647.52	c current bound: 3575
1615.82/1648.08	c current bound: 3575
1616.36/1648.62	c current bound: 3575
1616.93/1649.17	c current bound: 3575
1617.45/1649.71	c current bound: 3575
1617.99/1650.26	c current bound: 3575
1618.53/1650.89	c current bound: 3575
1619.08/1651.43	c current bound: 3575
1619.61/1651.97	c current bound: 3575
1620.14/1652.51	c current bound: 3575
1620.69/1653.05	c current bound: 3575
1621.22/1653.59	c current bound: 3575
1621.77/1654.12	c current bound: 3575
1622.30/1654.67	c current bound: 3575
1622.85/1655.20	c current bound: 3575
1623.38/1655.88	c current bound: 3575
1623.93/1656.42	c current bound: 3575
1624.46/1656.96	c current bound: 3575
1625.25/1657.50	c current bound: 3575
1625.53/1658.04	c current bound: 3575
1626.08/1658.58	c current bound: 3575
1626.63/1659.13	c current bound: 3575
1627.16/1659.66	c current bound: 3575
1627.71/1660.21	c current bound: 3575
1628.49/1661.04	c current bound: 3575
1628.78/1661.57	c current bound: 3575
1629.55/1662.11	c current bound: 3575
1629.86/1662.65	c current bound: 3575
1630.57/1663.19	c current bound: 3575
1630.94/1663.73	c current bound: 3575
1631.67/1664.26	c current bound: 3575
1632.02/1664.80	c current bound: 3575
1632.75/1665.35	c current bound: 3575
1633.35/1666.12	c current bound: 3575
1633.81/1666.66	c current bound: 3575
1634.43/1667.20	c current bound: 3575
1634.92/1667.74	c current bound: 3575
1635.25/1668.28	c current bound: 3575
1636.01/1668.82	c current bound: 3575
1636.33/1669.36	c current bound: 3575
1637.03/1669.89	c current bound: 3575
1637.41/1670.43	c current bound: 3575
1638.19/1671.14	c current bound: 3575
1638.48/1671.68	c current bound: 3575
1639.01/1672.22	c current bound: 3575
1639.55/1672.75	c current bound: 3575
1640.09/1673.29	c current bound: 3575
1640.62/1673.83	c current bound: 3575
1641.17/1674.37	c current bound: 3575
1641.70/1674.91	c current bound: 3575
1642.45/1675.44	c current bound: 3575
1642.78/1676.28	c current bound: 3575
1643.33/1676.83	c current bound: 3575
1643.86/1677.37	c current bound: 3575
1644.40/1677.90	c current bound: 3575
1644.93/1678.44	c current bound: 3575
1645.48/1678.98	c current bound: 3575
1646.01/1679.51	c current bound: 3575
1646.58/1680.06	c current bound: 3575
1647.11/1680.61	c current bound: 3575
1647.92/1681.42	c current bound: 3575
1648.38/1681.96	c current bound: 3575
1648.74/1682.50	c current bound: 3575
1649.49/1683.05	c current bound: 3575
1649.82/1683.58	c current bound: 3575
1650.60/1684.12	c current bound: 3575
1650.91/1684.66	c current bound: 3575
1651.59/1685.19	c current bound: 3575
1651.98/1685.73	c current bound: 3575
1652.78/1686.55	c current bound: 3575
1653.33/1687.10	c current bound: 3575
1653.60/1687.64	c current bound: 3575
1654.14/1688.18	c current bound: 3575
1654.68/1688.72	c current bound: 3575
1655.21/1689.25	c current bound: 3575
1655.75/1689.79	c current bound: 3575
1656.30/1690.33	c current bound: 3575
1656.83/1690.88	c current bound: 3575
1657.37/1691.52	c current bound: 3575
1657.94/1692.07	c current bound: 3575
1658.48/1692.61	c current bound: 3575
1659.02/1693.15	c current bound: 3575
1659.56/1693.69	c current bound: 3575
1660.09/1694.23	c current bound: 3575
1660.63/1694.76	c current bound: 3575
1661.17/1695.31	c current bound: 3575
1661.70/1695.86	c current bound: 3575
1662.26/1696.68	c current bound: 3575
1663.05/1697.22	c current bound: 3575
1663.35/1697.75	c current bound: 3575
1663.88/1698.30	c current bound: 3575
1664.42/1698.84	c current bound: 3575
1664.95/1699.38	c current bound: 3575
1665.50/1699.92	c current bound: 3575
1666.04/1700.46	c current bound: 3575
1666.58/1701.00	c current bound: 3575
1667.36/1701.66	c current bound: 3575
1667.92/1702.20	c current bound: 3575
1668.41/1702.74	c current bound: 3575
1668.74/1703.27	c current bound: 3575
1669.51/1703.81	c current bound: 3575
1669.80/1704.35	c current bound: 3575
1670.36/1704.89	c current bound: 3575
1670.89/1705.43	c current bound: 3575
1671.42/1705.97	c current bound: 3575
1671.97/1706.51	c current bound: 3575
1672.51/1707.09	c current bound: 3575
1673.04/1707.63	c current bound: 3575
1673.58/1708.17	c current bound: 3575
1674.12/1708.71	c current bound: 3575
1674.66/1709.25	c current bound: 3575
1675.20/1709.78	c current bound: 3575
1675.73/1710.32	c current bound: 3575
1676.27/1710.85	c current bound: 3575
1676.80/1711.39	c current bound: 3575
1677.35/1711.94	c current bound: 3575
1677.88/1712.48	c current bound: 3575
1678.44/1713.03	c current bound: 3575
1678.97/1713.57	c current bound: 3575
1679.77/1714.21	c current bound: 3575
1680.04/1714.75	c current bound: 3575
1680.58/1715.28	c current bound: 3575
1681.12/1715.82	c current bound: 3575
1681.66/1716.36	c current bound: 3575
1682.19/1716.89	c current bound: 3575
1682.74/1717.45	c current bound: 3575
1683.28/1717.99	c current bound: 3575
1683.82/1718.52	c current bound: 3575
1684.35/1719.06	c current bound: 3575
1684.88/1719.61	c current bound: 3575
1685.42/1720.14	c current bound: 3575
1685.96/1720.69	c current bound: 3575
1686.50/1721.23	c current bound: 3575
1687.31/1721.98	c current bound: 3575
1687.83/1722.51	c current bound: 3575
1688.13/1723.06	c current bound: 3575
1688.68/1723.60	c current bound: 3575
1689.21/1724.14	c current bound: 3575
1689.75/1724.67	c current bound: 3575
1690.29/1725.21	c current bound: 3575
1690.83/1725.76	c current bound: 3575
1691.38/1726.31	c current bound: 3575
1692.19/1727.01	c current bound: 3575
1692.47/1727.54	c current bound: 3575
1693.19/1728.08	c current bound: 3575
1693.55/1728.62	c current bound: 3575
1694.29/1729.15	c current bound: 3575
1694.63/1729.69	c current bound: 3575
1695.39/1730.23	c current bound: 3575
1695.71/1730.77	c current bound: 3575
1696.50/1731.31	c current bound: 3575
1696.80/1731.84	c current bound: 3575
1697.53/1732.45	c current bound: 3575
1697.86/1732.99	c current bound: 3575
1698.63/1733.52	c current bound: 3575
1698.93/1734.06	c current bound: 3575
1699.47/1734.60	c current bound: 3575
1700.01/1735.13	c current bound: 3575
1700.54/1735.67	c current bound: 3575
1701.08/1736.21	c current bound: 3575
1701.63/1736.75	c current bound: 3575
1702.16/1737.29	c current bound: 3575
1702.70/1737.83	c current bound: 3575
1703.24/1738.36	c current bound: 3575
1703.77/1738.90	c current bound: 3575
1704.32/1739.45	c current bound: 3575
1704.85/1739.99	c current bound: 3575
1705.39/1740.54	c current bound: 3575
1705.94/1741.07	c current bound: 3575
1706.48/1741.62	c current bound: 3575
1707.28/1742.51	c current bound: 3575
1707.55/1743.06	c current bound: 3575
1708.37/1743.60	c current bound: 3575
1708.65/1744.14	c current bound: 3575
1709.38/1744.68	c current bound: 3575
1709.72/1745.22	c current bound: 3575
1710.48/1745.76	c current bound: 3575
1711.08/1746.30	c current bound: 3575
1711.58/1746.83	c current bound: 3575
1711.89/1747.52	c current bound: 3575
1712.43/1748.06	c current bound: 3575
1712.97/1748.61	c current bound: 3575
1713.78/1749.30	c current bound: 3575
1714.06/1749.83	c current bound: 3575
1714.60/1750.38	c current bound: 3575
1715.14/1750.92	c current bound: 3575
1715.69/1751.46	c current bound: 3575
1716.21/1752.00	c current bound: 3575
1717.02/1752.61	c current bound: 3575
1717.30/1753.14	c current bound: 3575
1717.84/1753.68	c current bound: 3575
1718.37/1754.22	c current bound: 3575
1718.92/1754.76	c current bound: 3575
1719.70/1755.30	c current bound: 3575
1719.98/1755.84	c current bound: 3575
1720.52/1756.38	c current bound: 3575
1721.06/1756.92	c current bound: 3575
1721.60/1757.46	c current bound: 3575
1722.15/1758.11	c current bound: 3575
1722.67/1758.65	c current bound: 3575
1723.23/1759.19	c current bound: 3575
1723.76/1759.73	c current bound: 3575
1724.31/1760.27	c current bound: 3575
1724.85/1760.81	c current bound: 3575
1725.39/1761.35	c current bound: 3575
1725.92/1761.89	c current bound: 3575
1726.46/1762.43	c current bound: 3575
1727.00/1762.98	c current bound: 3575
1727.54/1763.51	c current bound: 3575
1728.08/1764.05	c current bound: 3575
1728.61/1764.60	c current bound: 3575
1729.16/1765.14	c current bound: 3575
1729.69/1765.68	c current bound: 3575
1730.24/1766.22	c current bound: 3575
1730.96/1766.75	c current bound: 3575
1731.57/1767.30	c current bound: 3575
1732.11/1767.92	c current bound: 3575
1732.38/1768.45	c current bound: 3575
1733.20/1769.00	c current bound: 3575
1733.47/1769.53	c current bound: 3575
1734.00/1770.08	c current bound: 3575
1734.55/1770.62	c current bound: 3575
1735.28/1771.16	c current bound: 3575
1735.89/1771.70	c current bound: 3575
1736.38/1772.23	c current bound: 3575
1736.69/1772.78	c current bound: 3575
1737.44/1773.35	c current bound: 3575
1737.79/1773.89	c current bound: 3575
1738.53/1774.43	c current bound: 3575
1738.86/1774.96	c current bound: 3575
1739.65/1775.51	c current bound: 3575
1739.95/1776.04	c current bound: 3575
1740.67/1776.58	c current bound: 3575
1741.02/1777.12	c current bound: 3575
1741.76/1777.66	c current bound: 3575
1742.10/1778.20	c current bound: 3575
1742.86/1778.74	c current bound: 3575
1743.19/1779.28	c current bound: 3575
1743.97/1779.82	c current bound: 3575
1744.27/1780.36	c current bound: 3575
1744.95/1780.90	c current bound: 3575
1745.35/1781.43	c current bound: 3575
1746.06/1781.97	c current bound: 3575
1746.42/1782.51	c current bound: 3575
1747.21/1783.18	c current bound: 3575
1747.50/1783.71	c current bound: 3575
1748.24/1784.27	c current bound: 3575
1748.58/1784.80	c current bound: 3575
1749.33/1785.34	c current bound: 3575
1749.65/1785.88	c current bound: 3575
1750.42/1786.42	c current bound: 3575
1750.74/1786.96	c current bound: 3575
1751.44/1787.49	c current bound: 3575
1751.82/1788.03	c current bound: 3575
1752.61/1788.61	c current bound: 3575
1752.89/1789.14	c current bound: 3575
1753.60/1789.68	c current bound: 3575
1753.96/1790.22	c current bound: 3575
1754.70/1790.76	c current bound: 3575
1755.32/1791.30	c current bound: 3575
1755.80/1791.84	c current bound: 3575
1756.12/1792.37	c current bound: 3575
1756.90/1792.91	c current bound: 3575
1757.20/1793.45	c current bound: 3575
1757.74/1793.99	c current bound: 3575
1758.28/1794.53	c current bound: 3575
1758.81/1795.06	c current bound: 3575
1759.36/1795.60	c current bound: 3575
1759.89/1796.14	c current bound: 3575
1760.43/1796.67	c current bound: 3575
1760.98/1797.23	c current bound: 3575
1761.52/1797.76	c current bound: 3575
1762.31/1798.59	c current bound: 3575
1762.59/1799.12	c current bound: 3575
1763.33/1799.66	c current bound: 3575
1763.92/1800.20	c current bound: 3575
1764.42/1800.73	c current bound: 3575
1764.74/1801.27	c current bound: 3575
1765.53/1801.81	c current bound: 3575
1765.81/1802.35	c current bound: 3575
1766.52/1802.88	c current bound: 3575
1766.90/1803.46	c current bound: 3575
1767.59/1804.00	c current bound: 3575
1767.97/1804.53	c current bound: 3575
1768.69/1805.07	c current bound: 3575
1769.05/1805.61	c current bound: 3575
1769.78/1806.14	c current bound: 3575
1770.11/1806.68	c current bound: 3575
1770.88/1807.22	c current bound: 3575
1771.19/1807.76	c current bound: 3575
1771.99/1808.62	c current bound: 3575
1772.27/1809.16	c current bound: 3575
1772.80/1809.70	c current bound: 3575
1773.34/1810.24	c current bound: 3575
1773.87/1810.78	c current bound: 3575
1774.41/1811.31	c current bound: 3575
1775.14/1811.85	c current bound: 3575
1775.48/1812.39	c current bound: 3575
1776.25/1812.92	c current bound: 3575
1776.55/1813.60	c current bound: 3575
1777.11/1814.15	c current bound: 3575
1777.63/1814.69	c current bound: 3575
1778.17/1815.23	c current bound: 3575
1778.71/1815.76	c current bound: 3575
1779.25/1816.30	c current bound: 3575
1779.79/1816.84	c current bound: 3575
1780.32/1817.38	c current bound: 3575
1780.87/1817.92	c current bound: 3575
1781.67/1818.65	c current bound: 3575
1782.20/1819.24	c current bound: 3575
1782.49/1819.78	c current bound: 3575
1783.02/1820.31	c current bound: 3575
1783.56/1820.85	c current bound: 3575
1784.10/1821.39	c current bound: 3575
1784.63/1821.93	c current bound: 3575
1785.17/1822.47	c current bound: 3575
1785.72/1823.02	c current bound: 3575
1786.53/1823.82	c current bound: 3575
1786.81/1824.36	c current bound: 3575
1787.50/1824.90	c current bound: 3575
1787.89/1825.43	c current bound: 3575
1788.61/1825.97	c current bound: 3575
1788.96/1826.50	c current bound: 3575
1789.70/1827.04	c current bound: 3575
1790.02/1827.58	c current bound: 3575
1790.81/1828.11	c current bound: 3575
1791.11/1828.91	c current bound: 3575
1791.84/1829.45	c current bound: 3575
1792.18/1829.98	c current bound: 3575
1792.94/1830.52	c current bound: 3575
1793.25/1831.06	c current bound: 3575
1793.95/1831.59	c current bound: 3575
1794.32/1832.13	c current bound: 3575
1795.05/1832.67	c current bound: 3575
1795.40/1833.21	c current bound: 3575
1796.19/1834.01	c current bound: 3575
1796.47/1834.55	c current bound: 3575
1797.02/1835.10	c current bound: 3575
1797.56/1835.64	c current bound: 3575
1798.10/1836.19	c current bound: 3575
1798.65/1836.72	c current bound: 3575
1799.18/1837.27	c current bound: 3575
1799.73/1837.81	c current bound: 3575
1800.09/1837.90	c error: unexpected solver exit code
1800.09/1837.90	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 14913
/proc/meminfo: memFree=29580184/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0

[startup+0.0251751 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 14913
/proc/meminfo: memFree=29580184/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100218 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 14913
/proc/meminfo: memFree=29580184/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300284 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 14913
/proc/meminfo: memFree=29580184/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700171 s]
/proc/loadavg: 1.98 2.01 2.00 3/179 14913
/proc/meminfo: memFree=29580184/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 14947
/proc/meminfo: memFree=29568392/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1.4 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 6950 45144 0 0 27 4 79 30 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 28748

[startup+3.10023 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 14975
/proc/meminfo: memFree=29568792/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=3.06 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 12950 89459 0 0 52 8 176 70 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28748

[startup+6.30029 s]
/proc/loadavg: 1.98 2.01 2.00 3/183 15049
/proc/meminfo: memFree=29535112/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=6.17 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 24941 166726 0 0 103 16 347 151 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 28748

[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 15208
/proc/meminfo: memFree=29580624/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=3728 CPUtime=12.64 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) R 14913 14913 7669 0 -1 4202496 47299 344826 0 0 195 30 724 315 20 0 1 0 290383503 3817472 548 33554432000 4194304 5990268 140735074579904 140735074571888 5042551 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14914/statm: 932 549 177 439 0 489 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 12876

[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 15514
/proc/meminfo: memFree=29567180/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=3220 CPUtime=24.85 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) R 14913 14913 7669 0 -1 4202496 91038 670315 0 0 369 58 1431 627 20 0 1 0 290383503 3297280 480 33554432000 4194304 5990268 140735074579904 140735074571888 4955238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14914/statm: 805 480 177 439 0 362 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 12368

[startup+51.1003 s]
/proc/loadavg: 1.92 1.99 1.99 3/183 16116
/proc/meminfo: memFree=29566592/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=50.34 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 182950 1341357 0 0 720 116 2914 1284 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 28748

[startup+102.307 s]
/proc/loadavg: 2.63 2.17 2.05 3/183 17320
/proc/meminfo: memFree=29519880/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=100.94 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 364941 2674969 0 0 1419 228 5856 2591 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
[pid=17317] ppid=14914 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17317/stat : 17317 (satsolver.sh) S 14914 14913 7669 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 290393716 9367552 266 33554432000 4194304 5064252 140735307743520 140735307742432 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17317/statm: 2287 266 226 213 0 72 0
[pid=17318] ppid=17317 vsize=48116 CPUtime=0.17 cores=0,2,4,6
/proc/17318/stat : 17318 (glucose) R 17317 14913 7669 0 -1 4202496 10238 0 0 0 15 2 0 0 20 0 1 0 290393716 49270784 10378 33554432000 4194304 5208918 140733361640656 140735307742456 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17318/statm: 12029 10378 105 248 0 11778 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 86012

[startup+162.3 s]
/proc/loadavg: 2.31 2.18 2.06 3/182 18604
/proc/meminfo: memFree=29535300/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=161.13 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) R 14913 14913 7669 0 -1 4202496 580938 4266487 0 0 2245 362 9357 4149 20 0 1 0 290383503 20070400 3720 33554432000 4194304 5990268 140735074579904 140735074571888 4523414 0 0 4096 0 0 0 0 17 2 0 0 8 0 0
/proc/14914/statm: 4900 3720 177 439 0 4457 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 28748

[startup+222.3 s]
/proc/loadavg: 2.11 2.14 2.06 3/181 19909
/proc/meminfo: memFree=29558944/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=220.34 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 792942 5833433 0 0 3061 493 12795 5685 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 28748

[startup+282.3 s]
/proc/loadavg: 2.09 2.13 2.06 3/182 21201
/proc/meminfo: memFree=29583020/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=280.15 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 1006942 7411779 0 0 3882 626 16263 7244 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 280.15
Current children cumulated vsize (KiB) 28748

[startup+342.3 s]
/proc/loadavg: 2.03 2.10 2.05 3/183 22505
/proc/meminfo: memFree=29553756/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=339.32 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 1218951 8983984 0 0 4693 762 19693 8784 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 19 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 339.32

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


[startup+1242.3 s]
/proc/loadavg: 1.98 1.96 1.98 3/181 9665
/proc/meminfo: memFree=29532116/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=11408 CPUtime=1216.66 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) R 14913 14913 7669 0 -1 4202496 4442425 32742288 0 0 17286 2782 70492 31106 20 0 1 0 290383503 11681792 2184 33554432000 4194304 5990268 140735074579904 140735074571888 4523155 0 0 4096 0 0 0 0 17 4 0 0 121 0 0
/proc/14914/statm: 2852 2184 177 439 0 2409 0
Current children cumulated CPU time (s) 1216.66
Current children cumulated vsize (KiB) 20556

[startup+1302.3 s]
/proc/loadavg: 1.82 1.92 1.96 2/182 10984
/proc/meminfo: memFree=29560020/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1275.34 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 4657004 34337545 0 0 18113 2915 73890 32616 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571888 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 121 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
[pid=10981] ppid=14914 vsize=16712 CPUtime=0 cores=0,2,4,6
/proc/10981/stat : 10981 (cp) D 14914 14913 7669 0 -1 4202496 500 0 0 0 0 0 0 0 20 0 1 0 290513726 17113088 185 33554432000 4194304 4305796 140735178686928 140735178684872 251053032336 0 0 4096 0 18446744071580543392 0 0 17 2 0 0 1 0 0
/proc/10981/statm: 4178 185 154 28 0 74 0
Current children cumulated CPU time (s) 1275.34
Current children cumulated vsize (KiB) 45460

[startup+1362.3 s]
/proc/loadavg: 1.88 1.91 1.96 3/183 12274
/proc/meminfo: memFree=29518844/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1334.75 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 4870951 35908461 0 0 18937 3044 77333 34161 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 121 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1334.75
Current children cumulated vsize (KiB) 28748

[startup+1422.31 s]
/proc/loadavg: 1.88 1.91 1.95 3/182 13582
/proc/meminfo: memFree=29575788/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1393.09 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 5084942 37478248 0 0 19758 3178 80728 35645 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 121 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1393.09
Current children cumulated vsize (KiB) 28748

[startup+1482.3 s]
/proc/loadavg: 1.86 1.89 1.94 3/184 14875
/proc/meminfo: memFree=29553356/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1452.93 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 5298951 39061158 0 0 20581 3310 84222 37180 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 121 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1452.93
Current children cumulated vsize (KiB) 28748

[startup+1542.3 s]
/proc/loadavg: 1.78 1.86 1.93 3/183 16195
/proc/meminfo: memFree=29517316/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1513.07 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 5514942 40640073 0 0 21412 3444 87697 38754 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 121 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1513.07
Current children cumulated vsize (KiB) 28748

[startup+1602.3 s]
/proc/loadavg: 1.78 1.84 1.91 3/183 17500
/proc/meminfo: memFree=29518620/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1572.12 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 5730951 42241480 0 0 22240 3579 91124 40269 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 129 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1572.12
Current children cumulated vsize (KiB) 28748

[startup+1662.3 s]
/proc/loadavg: 2.32 1.95 1.94 3/184 18808
/proc/meminfo: memFree=29516756/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1629.67 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 5944942 43806069 0 0 23061 3712 94448 41746 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 129 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1629.67
Current children cumulated vsize (KiB) 28748

[startup+1722.3 s]
/proc/loadavg: 1.96 1.92 1.93 3/183 20101
/proc/meminfo: memFree=29487736/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1687.59 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 6158951 45396213 0 0 23883 3844 97797 43235 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1687.59
Current children cumulated vsize (KiB) 28748

[startup+1782.3 s]
/proc/loadavg: 1.97 1.94 1.93 3/182 21425
/proc/meminfo: memFree=29554860/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1746.42 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 6376951 46994380 0 0 24720 3979 101197 44746 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074570800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 155 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
Current children cumulated CPU time (s) 1746.42
Current children cumulated vsize (KiB) 28748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1837.9 s]
/proc/loadavg: 1.99 1.94 1.93 3/181 22641
/proc/meminfo: memFree=29521508/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1800.09 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 6576942 48457896 0 0 25487 4104 104321 46097 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 158 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
[pid=22642] ppid=14914 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22642/stat : 22642 (satsolver.sh) S 14914 14913 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290567293 9367552 267 33554432000 4194304 5064252 140733429107216 140733429106128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22642/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 37896

Sending SIGTERM to process tree (bottom up)

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

[startup+1837.9 s]
/proc/loadavg: 1.99 1.94 1.93 3/181 22641
/proc/meminfo: memFree=29521508/32873648 swapFree=7368/7368
[pid=14913] ppid=14911 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14913/stat : 14913 (npSolver-wbo-It) S 14911 14913 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290383503 9367552 275 33554432000 4194304 5064252 140736525240592 140736525239504 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14913/statm: 2287 275 233 213 0 72 0
[pid=14914] ppid=14913 vsize=19600 CPUtime=1800.09 cores=0,2,4,6
/proc/14914/stat : 14914 (npSolver-wbo) S 14913 14913 7669 0 -1 4202496 6576942 48457896 0 0 25487 4104 104321 46097 20 0 1 0 290383503 20070400 4232 33554432000 4194304 5990268 140735074579904 140735074571312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 158 0 0
/proc/14914/statm: 4900 4232 177 439 0 4457 0
[pid=22642] ppid=14914 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22642/stat : 22642 (satsolver.sh) S 14914 14913 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290567293 9367552 267 33554432000 4194304 5064252 140733429107216 140733429106128 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22642/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 37896

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.169983
#  lost CPU user time (s): 0.150024
#  lost CPU system time (s): 0.019989

Real time (s): 1837.91
CPU time (s): 1800.28
CPU user time (s): 1298.24
CPU system time (s): 502.039
CPU usage (%): 97.9524
Max. virtual memory (cumulated for all children) (KiB): 86552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.09
system time used= 502.019
maximum resident set size= 43928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55035815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 45030624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 938305
involuntary context switches= 39586

runsolver used 3.35449 second user time and 9.45456 second system time

The end

Launcher Data

Begin job on node149 at 2012-05-29 00:03:14
IDJOB=3715809
IDBENCH=79418
IDSOLVER=2297
FILE ID=node149/3715809-1338242594
RUNJOBID= node149-1338217256-7685
PBS_JOBID= 14624618
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 401aade47f990d36319fcf6fc2a74e2a
RANDOM SEED=2008653570

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29591912 kB
Buffers:          617396 kB
Cached:          1768256 kB
SwapCached:         2476 kB
Active:          1153612 kB
Inactive:        1289520 kB
Active(anon):      41636 kB
Inactive(anon):     9368 kB
Active(file):    1111976 kB
Inactive(file):  1280152 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:             13620 kB
Writeback:             0 kB
AnonPages:        107240 kB
Mapped:            15468 kB
Shmem:                96 kB
Slab:             702392 kB
SReclaimable:     144636 kB
SUnreclaim:       557756 kB
KernelStack:        1520 kB
PageTables:         4108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     170076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node149 at 2012-05-29 00:33:52