Trace number 3752688

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.35 1818.62

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/bwt/
normalized-bwt4c_wcsp.wbo
MD5SUM2ba010ecc16338ea8bf4f8f693aaf628
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark456
Best CPU time to get the best result obtained on this benchmark1.2928
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables584
Total number of constraints10179
Number of soft constraints10000
Number of constraints which are clauses10000
Number of constraints which are cardinality constraints (but not clauses)179
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Top cost 11277
Min constraint cost 1
Max constraint cost 11277
Sum of constraints costs 111447782
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 19
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.09	c run usual solver
0.00/0.38	o 112896
0.00/0.38	c starting approximation
0.00/0.38	c factor = 2
0.00/0.38	c factor still to low - shrinking to 6773.76
0.00/0.38	c approx number of clauses: 1e+06
0.00/0.38	c current bound: 56448
0.98/1.06	c current bound: 56448
1.42/1.74	c current bound: 56448
2.10/2.42	c current bound: 56448
2.79/3.10	c current bound: 56448
3.49/3.97	c current bound: 56448
4.16/4.65	c current bound: 56448
4.85/5.33	c current bound: 56448
5.53/6.01	c current bound: 56448
6.40/6.69	c current bound: 56448
6.89/7.37	c current bound: 56448
7.57/8.05	c current bound: 56448
8.54/8.81	c current bound: 56448
9.23/9.50	c current bound: 56448
9.63/10.18	c current bound: 56448
10.31/10.86	c current bound: 56448
10.99/11.54	c current bound: 56448
11.92/12.22	c current bound: 56448
12.34/12.90	c current bound: 56448
13.03/13.59	c current bound: 56448
13.95/14.35	c current bound: 56448
14.40/15.03	c current bound: 56448
15.08/15.70	c current bound: 56448
15.76/16.39	c current bound: 56448
16.44/17.07	c current bound: 56448
17.35/17.74	c current bound: 56448
17.78/18.41	c current bound: 56448
18.75/19.24	c current bound: 56448
19.39/19.91	c current bound: 56448
19.80/20.58	c current bound: 56448
20.49/21.26	c current bound: 56448
21.40/21.94	c current bound: 56448
21.82/22.60	c current bound: 56448
22.71/23.27	c current bound: 56448
23.17/24.06	c current bound: 56448
23.84/24.74	c current bound: 56448
24.79/25.43	c current bound: 56448
25.21/26.12	c current bound: 56448
25.90/26.79	c current bound: 56448
26.80/27.46	c current bound: 56448
27.24/28.13	c current bound: 56448
28.22/28.80	c current bound: 56448
28.59/29.47	c current bound: 56448
29.26/30.13	c current bound: 56448
30.10/30.80	c current bound: 56448
30.59/31.47	c current bound: 56448
31.26/32.14	c current bound: 56448
32.23/33.24	c current bound: 56448
32.63/33.93	c current bound: 56448
33.30/34.58	c current bound: 56448
34.18/35.25	c current bound: 56448
34.62/35.92	c current bound: 56448
35.57/36.60	c current bound: 56448
35.96/37.27	c current bound: 56448
36.63/37.92	c current bound: 56448
37.49/38.59	c current bound: 56448
37.96/39.25	c current bound: 56448
38.63/39.92	c current bound: 56448
39.30/40.59	c current bound: 56448
39.97/41.26	c current bound: 56448
40.88/41.93	c current bound: 56448
41.31/42.59	c current bound: 56448
41.97/43.26	c current bound: 56448
42.91/44.07	c current bound: 56448
43.32/44.74	c current bound: 56448
44.00/45.39	c current bound: 56448
44.65/46.07	c current bound: 56448
45.34/46.74	c current bound: 56448
46.27/47.42	c current bound: 56448
46.69/48.09	c current bound: 56448
47.35/48.76	c current bound: 56448
48.28/49.42	c current bound: 56448
48.98/50.10	c current bound: 56448
49.57/50.77	c current bound: 56448
50.03/51.44	c current bound: 56448
50.71/52.11	c current bound: 56448
51.56/52.79	c current bound: 56448
52.05/53.46	c current bound: 56448
52.72/54.31	c current bound: 56448
53.60/54.98	c current bound: 56448
54.08/55.63	c current bound: 56448
54.74/56.31	c current bound: 56448
55.42/56.98	c current bound: 56448
56.37/58.07	c current bound: 56448
56.76/58.72	c current bound: 56448
57.67/59.51	c current bound: 56448
58.08/60.17	c current bound: 56448
58.75/60.84	c current bound: 56448
59.68/61.51	c current bound: 56448
60.09/62.19	c current bound: 56448
60.98/62.86	c current bound: 56448
61.44/63.54	c current bound: 56448
62.11/64.21	c current bound: 56448
62.98/64.88	c current bound: 56448
63.46/65.57	c current bound: 56448
64.14/66.24	c current bound: 56448
64.82/66.92	c current bound: 56448
65.77/67.62	c current bound: 56448
66.35/68.29	c current bound: 56448
66.82/68.97	c current bound: 56448
67.50/69.77	c current bound: 56448
68.39/70.44	c current bound: 56448
68.83/71.11	c current bound: 56448
69.50/71.77	c current bound: 56448
70.16/72.44	c current bound: 56448
70.83/73.12	c current bound: 56448
71.70/73.79	c current bound: 56448
72.19/74.45	c current bound: 56448
72.83/75.12	c current bound: 56448
73.52/75.78	c current bound: 56448
74.16/76.43	c current bound: 56448
74.98/77.10	c current bound: 56448
75.50/77.77	c current bound: 56448
76.16/78.43	c current bound: 56448
76.82/79.10	c current bound: 56448
77.49/79.78	c current bound: 56448
78.35/80.48	c current bound: 56448
78.85/81.14	c current bound: 56448
79.78/81.80	c current bound: 56448
80.38/82.47	c current bound: 56448
80.84/83.15	c current bound: 56448
81.51/83.82	c current bound: 56448
82.19/84.49	c current bound: 56448
82.86/85.17	c current bound: 56448
83.77/85.84	c current bound: 56448
84.21/86.51	c current bound: 56448
84.87/87.16	c current bound: 56448
85.53/87.84	c current bound: 56448
86.20/88.51	c current bound: 56448
87.08/89.18	c current bound: 56448
87.55/89.86	c current bound: 56448
88.22/90.56	c current bound: 56448
89.14/91.24	c current bound: 56448
89.58/91.91	c current bound: 56448
90.44/92.57	c current bound: 56448
90.91/93.24	c current bound: 56448
91.58/93.92	c current bound: 56448
92.44/94.59	c current bound: 56448
92.94/95.27	c current bound: 56448
93.61/95.94	c current bound: 56448
94.28/96.63	c current bound: 56448
94.97/97.31	c current bound: 56448
95.85/97.98	c current bound: 56448
96.32/98.65	c current bound: 56448
97.00/99.33	c current bound: 56448
97.94/100.11	c current bound: 56448
98.33/100.79	c current bound: 56448
99.01/101.47	c current bound: 56448
99.70/102.15	c current bound: 56448
100.37/102.82	c current bound: 56448
101.24/103.49	c current bound: 56448
101.71/104.15	c current bound: 56448
102.37/104.82	c current bound: 56448
103.05/105.49	c current bound: 56448
103.71/106.17	c current bound: 56448
104.63/106.84	c current bound: 56448
105.06/107.51	c current bound: 56448
105.74/108.19	c current bound: 56448
106.65/108.86	c current bound: 56448
107.09/109.53	c current bound: 56448
107.77/110.29	c current bound: 56448
108.42/110.96	c current bound: 56448
109.11/111.64	c current bound: 56448
110.05/112.31	c current bound: 56448
110.46/112.99	c current bound: 56448
111.15/113.67	c current bound: 56448
112.06/114.34	c current bound: 56448
112.50/115.02	c current bound: 56448
113.17/115.67	c current bound: 56448
113.82/116.36	c current bound: 56448
114.51/117.03	c current bound: 56448
115.46/117.72	c current bound: 56448
115.88/118.39	c current bound: 56448
116.54/119.06	c current bound: 56448
117.22/119.74	c current bound: 56448
117.90/120.55	c current bound: 56448
118.58/121.22	c current bound: 56448
119.55/121.90	c current bound: 56448
119.93/122.55	c current bound: 56448
120.83/123.23	c current bound: 56448
121.26/123.90	c current bound: 56448
121.92/124.58	c current bound: 56448
122.60/125.26	c current bound: 56448
123.28/125.94	c current bound: 56448
124.23/126.63	c current bound: 56448
124.94/127.30	c current bound: 56448
125.33/127.98	c current bound: 56448
126.23/128.65	c current bound: 56448
126.68/129.32	c current bound: 56448
127.35/129.98	c current bound: 56448
128.01/130.74	c current bound: 56448
128.68/131.42	c current bound: 56448
129.55/132.07	c current bound: 56448
130.01/132.75	c current bound: 56448
130.69/133.44	c current bound: 56448
131.65/134.11	c current bound: 56448
132.05/134.78	c current bound: 56448
132.94/135.46	c current bound: 56448
133.40/136.11	c current bound: 56448
134.04/136.77	c current bound: 56448
134.95/137.45	c current bound: 56448
135.66/138.10	c current bound: 56448
136.24/138.76	c current bound: 56448
136.71/139.44	c current bound: 56448
137.38/140.13	c current bound: 56448
138.35/140.96	c current bound: 56448
138.74/141.63	c current bound: 56448
139.43/142.31	c current bound: 56448
140.29/142.96	c current bound: 56448
140.77/143.62	c current bound: 56448
141.41/144.29	c current bound: 56448
142.09/144.97	c current bound: 56448
142.77/145.64	c current bound: 56448
143.71/146.31	c current bound: 56448
144.12/146.97	c current bound: 56448
144.77/147.64	c current bound: 56448
145.44/148.31	c current bound: 56448
146.12/148.99	c current bound: 56448
147.02/149.66	c current bound: 56448
147.47/150.34	c current bound: 56448
148.14/151.13	c current bound: 56448
149.09/151.81	c current bound: 56448
149.47/152.48	c current bound: 56448
150.15/153.16	c current bound: 56448
150.83/153.84	c current bound: 56448
151.51/154.53	c current bound: 56448
152.47/155.21	c current bound: 56448
152.88/155.89	c current bound: 56448
153.57/156.61	c current bound: 56448
154.44/157.29	c current bound: 56448
154.91/157.96	c current bound: 56448
155.59/158.64	c current bound: 56448
156.26/159.29	c current bound: 56448
156.92/159.96	c current bound: 56448
157.84/160.62	c current bound: 56448
158.24/161.29	c current bound: 56448
158.92/161.97	c current bound: 56448
159.59/162.64	c current bound: 56448
160.27/163.32	c current bound: 56448
161.14/163.99	c current bound: 56448
161.63/164.66	c current bound: 56448
162.29/165.32	c current bound: 56448
163.23/166.11	c current bound: 56448
163.62/166.79	c current bound: 56448
164.30/167.46	c current bound: 56448
164.97/168.14	c current bound: 56448
165.65/168.81	c current bound: 56448
166.53/169.49	c current bound: 56448
166.99/170.14	c current bound: 56448
167.65/170.82	c current bound: 56448
168.33/171.49	c current bound: 56448
169.01/172.17	c current bound: 56448
169.92/172.84	c current bound: 56448
170.35/173.51	c current bound: 56448
171.02/174.19	c current bound: 56448
171.92/174.85	c current bound: 56448
172.36/175.52	c current bound: 56448
173.04/176.31	c current bound: 56448
173.68/176.98	c current bound: 56448
174.36/177.66	c current bound: 56448
175.28/178.31	c current bound: 56448
175.69/178.96	c current bound: 56448
176.35/179.62	c current bound: 56448
177.00/180.29	c current bound: 56448
177.68/180.96	c current bound: 56448
178.60/181.64	c current bound: 56448
179.02/182.32	c current bound: 56448
179.72/182.99	c current bound: 56448
180.61/183.66	c current bound: 56448
181.06/184.34	c current bound: 56448
181.74/185.01	c current bound: 56448
182.40/185.68	c current bound: 56448
183.36/186.50	c current bound: 56448
183.94/187.17	c current bound: 56448
184.43/187.85	c current bound: 56448
185.11/188.54	c current bound: 56448
186.06/189.21	c current bound: 56448
186.47/189.89	c current bound: 56448
187.14/190.56	c current bound: 56448
187.82/191.23	c current bound: 56448
188.49/191.91	c current bound: 56448
189.37/192.58	c current bound: 56448
189.84/193.25	c current bound: 56448
190.51/193.93	c current bound: 56448
191.18/194.60	c current bound: 56448
191.86/195.27	c current bound: 56448
192.75/195.93	c current bound: 56448
193.20/196.72	c current bound: 56448
193.87/197.39	c current bound: 56448
194.75/198.06	c current bound: 56448
195.21/198.74	c current bound: 56448
195.89/199.41	c current bound: 56448
196.56/200.09	c current bound: 56448
197.24/200.77	c current bound: 56448
198.13/201.44	c current bound: 56448
198.59/202.11	c current bound: 56448
199.25/202.79	c current bound: 56448
200.15/203.47	c current bound: 56448
200.61/204.14	c current bound: 56448
201.29/204.82	c current bound: 56448
201.96/205.49	c current bound: 56448
202.63/206.16	c current bound: 56448
203.59/207.00	c current bound: 56448
203.98/207.67	c current bound: 56448
204.65/208.34	c current bound: 56448
205.59/209.01	c current bound: 56448
205.98/209.69	c current bound: 56448
206.67/210.37	c current bound: 56448
207.35/211.04	c current bound: 56448
208.02/211.71	c current bound: 56448
208.90/212.39	c current bound: 56448
209.35/213.06	c current bound: 56448
210.04/213.74	c current bound: 56448
210.99/214.42	c current bound: 56448
211.69/215.10	c current bound: 56448
212.29/215.79	c current bound: 56448
212.77/216.47	c current bound: 56448
213.45/217.29	c current bound: 56448
214.35/217.96	c current bound: 56448
214.80/218.63	c current bound: 56448
215.48/219.31	c current bound: 56448
216.35/219.98	c current bound: 56448
216.84/220.66	c current bound: 56448
217.51/221.33	c current bound: 56448
218.18/222.01	c current bound: 56448
218.86/222.68	c current bound: 56448
219.76/223.36	c current bound: 56448
220.21/224.03	c current bound: 56448
220.88/224.69	c current bound: 56448
221.53/225.36	c current bound: 56448
222.21/226.03	c current bound: 56448
223.16/226.71	c current bound: 56448
223.56/227.55	c current bound: 56448
224.50/228.20	c current bound: 56448
225.09/228.87	c current bound: 56448
225.57/229.54	c current bound: 56448
226.24/230.22	c current bound: 56448
226.92/230.89	c current bound: 56448
227.57/231.57	c current bound: 56448
228.48/232.22	c current bound: 56448
228.92/232.90	c current bound: 56448
229.59/233.56	c current bound: 56448
230.50/234.23	c current bound: 56448
230.93/234.90	c current bound: 56448
231.79/235.56	c current bound: 56448
232.26/236.24	c current bound: 56448
232.94/236.92	c current bound: 56448
233.91/237.72	c current bound: 56448
234.29/238.39	c current bound: 56448
234.96/239.06	c current bound: 56448
235.89/239.74	c current bound: 56448
236.32/240.39	c current bound: 56448
237.19/241.07	c current bound: 56448
237.65/241.74	c current bound: 56448
238.33/242.41	c current bound: 56448
239.19/243.09	c current bound: 56448
239.68/243.76	c current bound: 56448
240.34/244.44	c current bound: 56448
241.30/245.10	c current bound: 56448
241.69/245.78	c current bound: 56448
242.60/246.45	c current bound: 56448
243.04/247.10	c current bound: 56448
243.70/247.90	c current bound: 56448
244.58/248.57	c current bound: 56448
245.05/249.25	c current bound: 56448
245.73/249.92	c current bound: 56448
246.70/250.60	c current bound: 56448
247.08/251.27	c current bound: 56448
247.99/251.95	c current bound: 56448
248.43/252.63	c current bound: 56448
249.40/253.30	c current bound: 56448
249.77/253.97	c current bound: 56448
250.45/254.65	c current bound: 56448
251.37/255.32	c current bound: 56448
251.80/255.99	c current bound: 56448
252.47/256.67	c current bound: 56448
253.38/257.34	c current bound: 56448
253.81/258.13	c current bound: 56448
254.50/258.80	c current bound: 56448
255.18/259.48	c current bound: 56448
255.85/260.15	c current bound: 56448
256.79/260.82	c current bound: 56448
257.20/261.48	c current bound: 56448
257.86/262.17	c current bound: 56448
258.78/262.84	c current bound: 56448
259.21/263.51	c current bound: 56448
259.89/264.17	c current bound: 56448
260.54/264.84	c current bound: 56448
261.22/265.52	c current bound: 56448
262.09/266.19	c current bound: 56448
262.58/266.87	c current bound: 56448
263.25/267.54	c current bound: 56448
264.20/268.40	c current bound: 56448
264.60/269.08	c current bound: 56448
265.27/269.75	c current bound: 56448
265.95/270.42	c current bound: 56448
266.62/271.09	c current bound: 56448
267.52/271.77	c current bound: 56448
267.97/272.45	c current bound: 56448
268.65/273.13	c current bound: 56448
269.57/273.84	c current bound: 56448
270.00/274.51	c current bound: 56448
270.87/275.16	c current bound: 56448
271.33/275.84	c current bound: 56448
272.27/276.50	c current bound: 56448
272.87/277.17	c current bound: 56448
273.34/277.85	c current bound: 56448
274.01/278.52	c current bound: 56448
274.69/279.18	c current bound: 56448
275.34/279.85	c current bound: 56448
276.26/280.51	c current bound: 56448
276.68/281.19	c current bound: 56448
277.35/281.86	c current bound: 56448
278.03/282.54	c current bound: 56448
278.69/283.21	c current bound: 56448
279.64/283.92	c current bound: 56448
280.05/284.59	c current bound: 56448
280.72/285.27	c current bound: 56448
281.64/285.94	c current bound: 56448
282.07/286.62	c current bound: 56448
282.75/287.27	c current bound: 56448
283.41/287.92	c current bound: 56448
284.06/288.58	c current bound: 56448
284.95/289.25	c current bound: 56448
285.38/289.92	c current bound: 56448
286.07/290.58	c current bound: 56448
286.71/291.25	c current bound: 56448
287.39/291.93	c current bound: 56448
288.23/292.60	c current bound: 56448
288.74/293.27	c current bound: 56448
289.41/293.98	c current bound: 56448
290.08/294.65	c current bound: 56448
290.77/295.32	c current bound: 56448
291.61/295.99	c current bound: 56448
292.10/296.64	c current bound: 56448
292.75/297.31	c current bound: 56448
293.43/297.99	c current bound: 56448
294.11/298.67	c current bound: 56448
295.01/299.34	c current bound: 56448
295.46/300.02	c current bound: 56448
296.13/300.69	c current bound: 56448
297.03/301.37	c current bound: 56448
297.49/302.04	c current bound: 56448
298.16/302.72	c current bound: 56448
299.10/303.52	c current bound: 56448
299.51/304.19	c current bound: 56448
300.38/304.87	c current bound: 56448
300.85/305.52	c current bound: 56448
301.80/306.20	c current bound: 56448
302.41/306.87	c current bound: 56448
302.87/307.54	c current bound: 56448
303.53/308.22	c current bound: 56448
304.21/308.89	c current bound: 56448
304.88/309.57	c current bound: 56448
305.79/310.24	c current bound: 56448
306.23/310.92	c current bound: 56448
306.91/311.59	c current bound: 56448
307.57/312.25	c current bound: 56448
308.24/312.92	c current bound: 56448
309.20/313.70	c current bound: 56448
309.60/314.38	c current bound: 56448
310.27/315.05	c current bound: 56448
311.21/315.72	c current bound: 56448
311.62/316.38	c current bound: 56448
312.28/317.04	c current bound: 56448
312.93/317.71	c current bound: 56448
313.61/318.38	c current bound: 56448
314.50/319.06	c current bound: 56448
314.95/319.73	c current bound: 56448
315.63/320.40	c current bound: 56448
316.30/321.06	c current bound: 56448
316.97/321.73	c current bound: 56448
317.90/322.41	c current bound: 56448
318.31/323.08	c current bound: 56448
319.28/323.87	c current bound: 56448
319.90/324.54	c current bound: 56448
320.34/325.22	c current bound: 56448
321.02/325.87	c current bound: 56448
321.67/326.55	c current bound: 56448
322.36/327.22	c current bound: 56448
323.31/327.90	c current bound: 56448
323.70/328.56	c current bound: 56448
324.36/329.23	c current bound: 56448
325.32/329.91	c current bound: 56448
325.71/330.59	c current bound: 56448
326.59/331.27	c current bound: 56448
327.07/331.95	c current bound: 56448
327.76/332.61	c current bound: 56448
328.62/333.29	c current bound: 56448
329.10/334.04	c current bound: 56448
329.75/334.74	c current bound: 56448
330.72/335.42	c current bound: 56448
331.12/336.07	c current bound: 56448
332.00/336.75	c current bound: 56448
332.46/337.45	c current bound: 56448
333.16/338.13	c current bound: 56448
334.01/338.78	c current bound: 56448
334.48/339.46	c current bound: 56448
335.17/340.14	c current bound: 56448
335.85/340.81	c current bound: 56448
336.53/341.48	c current bound: 56448
337.42/342.15	c current bound: 56448
337.86/342.82	c current bound: 56448
338.54/343.48	c current bound: 56448
339.47/344.27	c current bound: 56448
339.86/344.95	c current bound: 56448
340.55/345.64	c current bound: 56448
341.24/346.31	c current bound: 56448
341.91/347.01	c current bound: 56448
342.81/347.68	c current bound: 56448
343.28/348.36	c current bound: 56448
343.96/349.04	c current bound: 56448
344.91/349.71	c current bound: 56448
345.31/350.39	c current bound: 56448
346.21/351.07	c current bound: 56448
346.67/351.74	c current bound: 56448
347.34/352.42	c current bound: 56448
348.22/353.07	c current bound: 56448
348.68/353.75	c current bound: 56448
349.36/354.55	c current bound: 56448
350.28/355.23	c current bound: 56448
350.71/355.88	c current bound: 56448
351.58/356.54	c current bound: 56448
352.02/357.22	c current bound: 56448
352.70/357.91	c current bound: 56448
353.58/358.60	c current bound: 56448
354.09/359.27	c current bound: 56448
354.75/359.94	c current bound: 56448
355.43/360.62	c current bound: 56448
356.10/361.29	c current bound: 56448
356.99/361.96	c current bound: 56448
357.44/362.64	c current bound: 56448
358.11/363.31	c current bound: 56448
358.80/363.99	c current bound: 56448
359.47/364.78	c current bound: 56448
360.14/365.44	c current bound: 56448
360.79/366.12	c current bound: 56448
361.77/366.80	c current bound: 56448
362.36/367.47	c current bound: 56448
362.83/368.13	c current bound: 56448
363.77/368.80	c current bound: 56448
364.16/369.48	c current bound: 56448
364.83/370.20	c current bound: 56448
365.70/370.88	c current bound: 56448
366.18/371.55	c current bound: 56448
366.85/372.21	c current bound: 56448
367.70/372.86	c current bound: 56448
368.17/373.55	c current bound: 56448
368.85/374.22	c current bound: 56448
369.79/375.03	c current bound: 56448
370.47/375.70	c current bound: 56448
371.06/376.37	c current bound: 56448
371.52/377.04	c current bound: 56448
372.19/377.70	c current bound: 56448
373.08/378.37	c current bound: 56448
373.53/379.04	c current bound: 56448
374.21/379.71	c current bound: 56448
374.87/380.38	c current bound: 56448
375.55/381.05	c current bound: 56448
376.49/381.72	c current bound: 56448
377.18/382.40	c current bound: 56448
377.57/383.08	c current bound: 56448
378.25/383.75	c current bound: 56448
378.93/384.43	c current bound: 56448
379.89/385.20	c current bound: 56448
380.27/385.88	c current bound: 56448
380.95/386.55	c current bound: 56448
381.88/387.22	c current bound: 56448
382.58/387.90	c current bound: 56448
382.97/388.57	c current bound: 56448
383.63/389.24	c current bound: 56448
384.30/389.91	c current bound: 56448
385.17/390.58	c current bound: 56448
385.65/391.26	c current bound: 56448
386.33/391.92	c current bound: 56448
387.00/392.60	c current bound: 56448
387.67/393.27	c current bound: 56448
388.58/393.95	c current bound: 56448
389.03/394.62	c current bound: 56448
389.69/395.43	c current bound: 56448
390.65/396.10	c current bound: 56448
391.03/396.77	c current bound: 56448
391.70/397.44	c current bound: 56448
392.64/398.11	c current bound: 56448
393.05/398.79	c current bound: 56448
393.92/399.46	c current bound: 56448
394.39/400.14	c current bound: 56448
395.07/400.81	c current bound: 56448
395.93/401.48	c current bound: 56448
396.42/402.16	c current bound: 56448
397.08/402.84	c current bound: 56448
397.79/403.49	c current bound: 56448
398.44/404.17	c current bound: 56448
399.35/404.84	c current bound: 56448
399.78/405.64	c current bound: 56448
400.44/406.31	c current bound: 56448
401.34/406.99	c current bound: 56448
401.81/407.64	c current bound: 56448
402.46/408.32	c current bound: 56448
403.13/408.99	c current bound: 56448
403.79/409.66	c current bound: 56448
404.72/410.33	c current bound: 56448
405.14/411.00	c current bound: 56448
405.81/411.66	c current bound: 56448
406.46/412.33	c current bound: 56448
407.14/413.02	c current bound: 56448
408.01/413.68	c current bound: 56448
408.49/414.33	c current bound: 56448
409.14/415.00	c current bound: 56448
410.09/415.78	c current bound: 56448
410.49/416.45	c current bound: 56448
411.16/417.12	c current bound: 56448
411.82/417.79	c current bound: 56448
412.49/418.46	c current bound: 56448
413.41/419.13	c current bound: 56448
414.13/419.80	c current bound: 56448
414.52/420.47	c current bound: 56448
415.17/421.14	c current bound: 56448
415.84/421.81	c current bound: 56448
416.72/422.48	c current bound: 56448
417.18/423.15	c current bound: 56448
417.85/423.82	c current bound: 56448
418.52/424.48	c current bound: 56448
419.20/425.14	c current bound: 56448
420.01/425.79	c current bound: 56448
420.50/426.47	c current bound: 56448
421.14/427.14	c current bound: 56448
422.08/427.81	c current bound: 56448
422.48/428.48	c current bound: 56448
423.38/429.15	c current bound: 56448
423.82/429.82	c current bound: 56448
424.48/430.49	c current bound: 56448
425.43/431.28	c current bound: 56448
425.83/431.94	c current bound: 56448
426.50/432.61	c current bound: 56448
427.16/433.28	c current bound: 56448
427.83/433.95	c current bound: 56448
428.75/434.63	c current bound: 56448
429.18/435.30	c current bound: 56448
429.84/435.96	c current bound: 56448
430.77/436.64	c current bound: 56448
431.19/437.31	c current bound: 56448
432.06/437.98	c current bound: 56448
432.54/438.65	c current bound: 56448
433.21/439.32	c current bound: 56448
434.07/439.97	c current bound: 56448
434.53/440.65	c current bound: 56448
435.20/441.45	c current bound: 56448
436.14/442.12	c current bound: 56448
436.83/442.80	c current bound: 56448
437.44/443.45	c current bound: 56448
437.88/444.12	c current bound: 56448
438.55/444.77	c current bound: 56448
439.45/445.44	c current bound: 56448
439.87/446.12	c current bound: 56448
440.56/446.77	c current bound: 56448
441.22/447.46	c current bound: 56448
441.90/448.13	c current bound: 56448
442.74/448.80	c current bound: 56448
443.22/449.47	c current bound: 56448
443.90/450.14	c current bound: 56448
444.58/450.81	c current bound: 56448
445.25/451.59	c current bound: 56448
446.12/452.25	c current bound: 56448
446.56/452.92	c current bound: 56448
447.23/453.59	c current bound: 56448
448.13/454.27	c current bound: 56448
448.58/454.94	c current bound: 56448
449.26/455.61	c current bound: 56448
449.93/456.28	c current bound: 56448
450.59/456.95	c current bound: 56448
451.52/457.62	c current bound: 56448
451.93/458.29	c current bound: 56448
452.60/458.96	c current bound: 56448
453.26/459.63	c current bound: 56448
454.24/460.30	c current bound: 56448
454.83/460.97	c current bound: 56448
455.30/461.78	c current bound: 56448
455.96/462.45	c current bound: 56448
456.91/463.12	c current bound: 56448
457.30/463.79	c current bound: 56448
457.98/464.46	c current bound: 56448
458.63/465.12	c current bound: 56448
459.59/465.80	c current bound: 56448
460.18/466.47	c current bound: 56448
460.65/467.13	c current bound: 56448
461.32/467.81	c current bound: 56448
462.01/468.48	c current bound: 56448
462.67/469.15	c current bound: 56448
463.59/469.82	c current bound: 56448
464.00/470.49	c current bound: 56448
464.69/471.17	c current bound: 56448
465.63/471.98	c current bound: 56448
466.03/472.64	c current bound: 56448
466.69/473.32	c current bound: 56448
467.37/473.98	c current bound: 56448
468.03/474.65	c current bound: 56448
468.96/475.32	c current bound: 56448
469.37/475.99	c current bound: 56448
470.04/476.64	c current bound: 56448
470.98/477.31	c current bound: 56448
471.37/477.97	c current bound: 56448
472.27/478.64	c current bound: 56448
472.71/479.31	c current bound: 56448
473.38/479.98	c current bound: 56448
474.28/480.65	c current bound: 56448
474.73/481.32	c current bound: 56448
475.39/482.09	c current bound: 56448
476.06/482.77	c current bound: 56448
476.74/483.44	c current bound: 56448
477.67/484.11	c current bound: 56448
478.08/484.79	c current bound: 56448
478.75/485.46	c current bound: 56448
479.68/486.13	c current bound: 56448
480.40/486.80	c current bound: 56448
480.98/487.47	c current bound: 56448
481.44/488.14	c current bound: 56448
482.12/488.82	c current bound: 56448
482.99/489.49	c current bound: 56448
483.45/490.16	c current bound: 56448
484.13/490.83	c current bound: 56448
484.80/491.50	c current bound: 56448
485.50/492.32	c current bound: 56448
486.17/492.99	c current bound: 56448
486.84/493.68	c current bound: 56448
487.52/494.36	c current bound: 56448
488.47/495.03	c current bound: 56448
488.87/495.69	c current bound: 56448
489.53/496.36	c current bound: 56448
490.21/497.04	c current bound: 56448
490.90/497.73	c current bound: 56448
491.86/498.41	c current bound: 56448
492.27/499.08	c current bound: 56448
492.94/499.75	c current bound: 56448
493.87/500.42	c current bound: 56448
494.28/501.09	c current bound: 56448
495.18/501.76	c current bound: 56448
495.62/502.57	c current bound: 56448
496.30/503.24	c current bound: 56448
497.21/503.91	c current bound: 56448
497.63/504.59	c current bound: 56448
498.31/505.26	c current bound: 56448
499.22/505.94	c current bound: 56448
499.66/506.61	c current bound: 56448
500.51/507.27	c current bound: 56448
501.00/507.94	c current bound: 56448
501.66/508.61	c current bound: 56448
502.54/509.29	c current bound: 56448
503.01/509.97	c current bound: 56448
503.69/510.64	c current bound: 56448
504.38/511.32	c current bound: 56448
505.05/511.99	c current bound: 56448
506.02/512.80	c current bound: 56448
506.42/513.48	c current bound: 56448
507.09/514.15	c current bound: 56448
508.00/514.82	c current bound: 56448
508.70/515.50	c current bound: 56448
509.11/516.17	c current bound: 56448
509.79/516.85	c current bound: 56448
510.44/517.51	c current bound: 56448
511.30/518.18	c current bound: 56448
511.78/518.84	c current bound: 56448
512.71/519.50	c current bound: 56448
513.10/520.16	c current bound: 56448
513.76/520.83	c current bound: 56448
514.70/521.51	c current bound: 56448
515.11/522.17	c current bound: 56448
515.78/522.84	c current bound: 56448
516.68/523.53	c current bound: 56448
517.11/524.20	c current bound: 56448
517.78/524.87	c current bound: 56448
518.45/525.53	c current bound: 56448
519.11/526.19	c current bound: 56448
519.99/526.86	c current bound: 56448
520.44/527.52	c current bound: 56448
521.10/528.32	c current bound: 56448
521.77/528.98	c current bound: 56448
522.42/529.64	c current bound: 56448
523.32/530.32	c current bound: 56448
523.76/530.98	c current bound: 56448
524.43/531.64	c current bound: 56448
525.35/532.31	c current bound: 56448
525.74/532.97	c current bound: 56448
526.62/533.63	c current bound: 56448
527.07/534.29	c current bound: 56448
527.73/534.95	c current bound: 56448
528.62/535.62	c current bound: 56448
529.06/536.28	c current bound: 56448
529.93/536.94	c current bound: 56448
530.37/537.61	c current bound: 56448
531.03/538.27	c current bound: 56448
531.89/538.97	c current bound: 56448
532.37/539.63	c current bound: 56448
533.30/540.30	c current bound: 56448
533.69/540.96	c current bound: 56448
534.35/541.62	c current bound: 56448
535.20/542.29	c current bound: 56448
535.70/542.95	c current bound: 56448
536.36/543.73	c current bound: 56448
537.03/544.39	c current bound: 56448
537.70/545.06	c current bound: 56448
538.60/545.72	c current bound: 56448
539.02/546.38	c current bound: 56448
539.69/547.05	c current bound: 56448
540.60/547.71	c current bound: 56448
541.02/548.37	c current bound: 56448
541.90/549.05	c current bound: 56448
542.35/549.71	c current bound: 56448
543.01/550.37	c current bound: 56448
543.91/551.04	c current bound: 56448
544.35/551.71	c current bound: 56448
545.02/552.38	c current bound: 56448
545.68/553.04	c current bound: 56448
546.35/553.70	c current bound: 56448
547.21/554.37	c current bound: 56448
547.69/555.03	c current bound: 56448
548.62/555.70	c current bound: 56448
549.02/556.36	c current bound: 56448
549.68/557.02	c current bound: 56448
550.51/557.69	c current bound: 56448
551.02/558.35	c current bound: 56448
551.67/559.14	c current bound: 56448
552.60/559.81	c current bound: 56448
553.00/560.47	c current bound: 56448
553.90/561.15	c current bound: 56448
554.36/561.81	c current bound: 56448
555.01/562.48	c current bound: 56448
555.90/563.14	c current bound: 56448
556.34/563.81	c current bound: 56448
557.02/564.47	c current bound: 56448
557.66/565.13	c current bound: 56448
558.34/565.80	c current bound: 56448
559.21/566.47	c current bound: 56448
559.68/567.13	c current bound: 56448
560.60/567.80	c current bound: 56448
560.99/568.46	c current bound: 56448
561.66/569.12	c current bound: 56448
562.57/569.83	c current bound: 56448
562.99/570.49	c current bound: 56448
563.65/571.16	c current bound: 56448
564.32/571.82	c current bound: 56448
564.99/572.49	c current bound: 56448
565.87/573.17	c current bound: 56448
566.34/573.83	c current bound: 56448
567.28/574.50	c current bound: 56448
567.67/575.16	c current bound: 56448
568.33/575.82	c current bound: 56448
569.17/576.49	c current bound: 56448
569.68/577.15	c current bound: 56448
570.33/577.82	c current bound: 56448
571.00/578.48	c current bound: 56448
571.66/579.15	c current bound: 56448
572.53/579.86	c current bound: 56448
573.00/580.54	c current bound: 56448
573.95/581.20	c current bound: 56448
574.54/581.88	c current bound: 56448
575.02/582.56	c current bound: 56448
575.69/583.21	c current bound: 56448
576.34/583.89	c current bound: 56448
577.01/584.57	c current bound: 56448
577.94/585.25	c current bound: 56448
578.38/585.92	c current bound: 56448
579.06/586.58	c current bound: 56448
579.72/587.28	c current bound: 56448
580.42/587.94	c current bound: 56448
581.24/588.60	c current bound: 56448
581.73/589.39	c current bound: 56448
582.41/590.06	c current bound: 56448
583.32/590.74	c current bound: 56448
583.76/591.42	c current bound: 56448
584.45/592.10	c current bound: 56448
585.11/592.75	c current bound: 56448
585.77/593.41	c current bound: 56448
586.64/594.06	c current bound: 56448
587.10/594.74	c current bound: 56448
587.77/595.41	c current bound: 56448
588.45/596.09	c current bound: 56448
589.13/596.79	c current bound: 56448
590.04/597.46	c current bound: 56448
590.50/598.14	c current bound: 56448
591.17/598.82	c current bound: 56448
592.12/599.67	c current bound: 56448
592.54/600.35	c current bound: 56448
593.22/601.02	c current bound: 56448
594.07/601.69	c current bound: 56448
594.56/602.37	c current bound: 56448
595.23/603.03	c current bound: 56448
595.89/603.70	c current bound: 56448
596.59/604.40	c current bound: 56448
597.51/605.13	c current bound: 56448
597.95/605.81	c current bound: 56448
598.63/606.49	c current bound: 56448
599.52/607.16	c current bound: 56448
599.99/607.84	c current bound: 56448
600.67/608.51	c current bound: 56448
601.34/609.19	c current bound: 56448
602.01/609.86	c current bound: 56448
602.93/610.54	c current bound: 56448
603.36/611.21	c current bound: 56448
604.04/611.88	c current bound: 56448
604.71/612.56	c current bound: 56448
605.39/613.21	c current bound: 56448
606.23/613.89	c current bound: 56448
606.73/614.65	c current bound: 56448
607.41/615.33	c current bound: 56448
608.37/616.00	c current bound: 56448
608.76/616.69	c current bound: 56448
609.44/617.36	c current bound: 56448
610.11/618.03	c current bound: 56448
610.78/618.71	c current bound: 56448
611.66/619.38	c current bound: 56448
612.14/620.06	c current bound: 56448
612.82/620.73	c current bound: 56448
613.76/621.41	c current bound: 56448
614.17/622.09	c current bound: 56448
615.06/622.76	c current bound: 56448
615.53/623.42	c current bound: 56448
616.18/624.09	c current bound: 56448
617.14/624.85	c current bound: 56448
617.52/625.53	c current bound: 56448
618.21/626.18	c current bound: 56448
618.86/626.86	c current bound: 56448
619.55/627.54	c current bound: 56448
620.48/628.21	c current bound: 56448
620.89/628.88	c current bound: 56448
621.56/629.56	c current bound: 56448
622.48/630.23	c current bound: 56448
622.91/630.91	c current bound: 56448
623.90/631.60	c current bound: 56448
624.29/632.27	c current bound: 56448
624.96/632.95	c current bound: 56448
625.89/633.62	c current bound: 56448
626.30/634.28	c current bound: 56448
626.97/635.08	c current bound: 56448
627.85/635.76	c current bound: 56448
628.32/636.44	c current bound: 56448
628.99/637.11	c current bound: 56448
629.68/637.79	c current bound: 56448
630.34/638.47	c current bound: 56448
631.26/639.14	c current bound: 56448
631.96/639.80	c current bound: 56448
632.35/640.47	c current bound: 56448
633.02/641.15	c current bound: 56448
633.70/641.82	c current bound: 56448
634.66/642.50	c current bound: 56448
635.05/643.17	c current bound: 56448
635.73/643.85	c current bound: 56448
636.67/644.52	c current bound: 56448
637.09/645.30	c current bound: 56448
637.75/645.98	c current bound: 56448
638.41/646.65	c current bound: 56448
639.09/647.31	c current bound: 56448
639.94/647.98	c current bound: 56448
640.42/648.64	c current bound: 56448
641.08/649.29	c current bound: 56448
641.73/649.97	c current bound: 56448
642.40/650.62	c current bound: 56448
643.26/651.28	c current bound: 56448
643.71/651.95	c current bound: 56448
644.40/652.63	c current bound: 56448
645.06/653.30	c current bound: 56448
645.74/653.97	c current bound: 56448
646.64/654.65	c current bound: 56448
647.36/655.45	c current bound: 56448
647.75/656.12	c current bound: 56448
648.61/656.79	c current bound: 56448
649.10/657.47	c current bound: 56448
649.77/658.14	c current bound: 56448
650.44/658.80	c current bound: 56448
651.11/659.47	c current bound: 56448
652.01/660.13	c current bound: 56448
652.44/660.78	c current bound: 56448
653.10/661.46	c current bound: 56448
654.02/662.13	c current bound: 56448
654.44/662.80	c current bound: 56448
655.31/663.48	c current bound: 56448
655.80/664.16	c current bound: 56448
656.47/664.83	c current bound: 56448
657.40/665.61	c current bound: 56448
657.82/666.28	c current bound: 56448
658.49/666.96	c current bound: 56448
659.42/667.63	c current bound: 56448
659.84/668.31	c current bound: 56448
660.71/668.99	c current bound: 56448
661.20/669.64	c current bound: 56448
661.84/670.32	c current bound: 56448
662.71/670.99	c current bound: 56448
663.19/671.67	c current bound: 56448
663.88/672.33	c current bound: 56448
664.81/673.00	c current bound: 56448
665.21/673.68	c current bound: 56448
666.11/674.36	c current bound: 56448
666.57/675.02	c current bound: 56448
667.24/675.86	c current bound: 56448
668.18/676.53	c current bound: 56448
668.61/677.20	c current bound: 56448
669.28/677.88	c current bound: 56448
669.96/678.55	c current bound: 56448
670.62/679.22	c current bound: 56448
671.60/679.90	c current bound: 56448
671.97/680.57	c current bound: 56448
672.65/681.25	c current bound: 56448
673.59/681.92	c current bound: 56448
674.01/682.59	c current bound: 56448
674.88/683.27	c current bound: 56448
675.35/683.94	c current bound: 56448
676.02/684.62	c current bound: 56448
676.89/685.29	c current bound: 56448
677.37/686.09	c current bound: 56448
678.04/686.76	c current bound: 56448
678.97/687.43	c current bound: 56448
679.68/688.10	c current bound: 56448
680.26/688.77	c current bound: 56448
680.74/689.44	c current bound: 56448
681.41/690.12	c current bound: 56448
682.28/690.79	c current bound: 56448
682.77/691.46	c current bound: 56448
683.42/692.13	c current bound: 56448
684.10/692.80	c current bound: 56448
685.08/693.50	c current bound: 56448
685.68/694.17	c current bound: 56448
686.14/694.85	c current bound: 56448
686.82/695.53	c current bound: 56448
687.77/696.32	c current bound: 56448
688.17/696.99	c current bound: 56448
688.84/697.67	c current bound: 56448
689.52/698.35	c current bound: 56448
690.20/699.02	c current bound: 56448
691.17/699.70	c current bound: 56448
691.54/700.37	c current bound: 56448
692.22/701.05	c current bound: 56448
693.16/701.70	c current bound: 56448
693.55/702.38	c current bound: 56448
694.45/703.06	c current bound: 56448
694.92/703.73	c current bound: 56448
695.58/704.41	c current bound: 56448
696.46/705.08	c current bound: 56448
696.93/705.76	c current bound: 56448
697.61/706.57	c current bound: 56448
698.53/707.25	c current bound: 56448
698.97/707.92	c current bound: 56448
699.92/708.60	c current bound: 56448
700.31/709.28	c current bound: 56448
701.01/709.96	c current bound: 56448
701.93/710.64	c current bound: 56448
702.35/711.29	c current bound: 56448
703.01/711.96	c current bound: 56448
703.68/712.64	c current bound: 56448
704.36/713.33	c current bound: 56448
705.23/713.98	c current bound: 56448
705.70/714.66	c current bound: 56448
706.38/715.33	c current bound: 56448
707.34/716.01	c current bound: 56448
707.73/716.78	c current bound: 56448
708.40/717.48	c current bound: 56448
709.10/718.17	c current bound: 56448
709.80/718.86	c current bound: 56448
710.72/719.54	c current bound: 56448
711.45/720.20	c current bound: 56448
711.84/720.86	c current bound: 56448
712.75/721.52	c current bound: 56448
713.17/722.20	c current bound: 56448
714.03/722.88	c current bound: 56448
714.51/723.56	c current bound: 56448
715.20/724.22	c current bound: 56448
716.04/724.88	c current bound: 56448
716.53/725.56	c current bound: 56448
717.20/726.22	c current bound: 56448
718.16/727.01	c current bound: 56448
718.55/727.69	c current bound: 56448
719.45/728.37	c current bound: 56448
719.92/729.05	c current bound: 56448
720.60/729.71	c current bound: 56448
721.45/730.39	c current bound: 56448
721.94/731.07	c current bound: 56448
722.62/731.75	c current bound: 56448
723.31/732.43	c current bound: 56448
723.99/733.11	c current bound: 56448
724.85/733.79	c current bound: 56448
725.34/734.47	c current bound: 56448
726.03/735.13	c current bound: 56448
726.95/735.81	c current bound: 56448
727.36/736.49	c current bound: 56448
728.32/737.28	c current bound: 56448
728.73/737.95	c current bound: 56448
729.40/738.61	c current bound: 56448
730.26/739.28	c current bound: 56448
730.73/739.96	c current bound: 56448
731.42/740.61	c current bound: 56448
732.06/741.26	c current bound: 56448
732.72/741.93	c current bound: 56448
733.58/742.58	c current bound: 56448
734.04/743.26	c current bound: 56448
734.71/743.91	c current bound: 56448
735.37/744.58	c current bound: 56448
736.04/745.25	c current bound: 56448
736.98/745.93	c current bound: 56448
737.40/746.60	c current bound: 56448
738.07/747.44	c current bound: 56448
739.01/748.12	c current bound: 56448
739.42/748.79	c current bound: 56448
740.09/749.44	c current bound: 56448
741.01/750.11	c current bound: 56448
741.41/750.78	c current bound: 56448
742.32/751.45	c current bound: 56448
743.04/752.10	c current bound: 56448
743.41/752.78	c current bound: 56448
744.33/753.46	c current bound: 56448
744.77/754.13	c current bound: 56448
745.46/754.82	c current bound: 56448
746.13/755.49	c current bound: 56448
746.82/756.16	c current bound: 56448
747.73/756.83	c current bound: 56448
748.16/757.63	c current bound: 56448
748.83/758.29	c current bound: 56448
749.71/758.96	c current bound: 56448
750.16/759.61	c current bound: 56448
751.00/760.27	c current bound: 56448
751.46/760.94	c current bound: 56448
752.14/761.61	c current bound: 56448
753.01/762.28	c current bound: 56448
753.48/762.96	c current bound: 56448
754.16/763.63	c current bound: 56448
755.12/764.30	c current bound: 56448
755.50/764.97	c current bound: 56448
756.41/765.65	c current bound: 56448
756.84/766.34	c current bound: 56448
757.53/767.01	c current bound: 56448
758.46/767.71	c current bound: 56448
758.86/768.38	c current bound: 56448
759.76/769.05	c current bound: 56448
760.21/769.71	c current bound: 56448
760.87/770.39	c current bound: 56448
761.78/771.06	c current bound: 56448
762.22/771.73	c current bound: 56448
762.90/772.39	c current bound: 56448
763.54/773.06	c current bound: 56448
764.22/773.71	c current bound: 56448
765.08/774.39	c current bound: 56448
765.55/775.04	c current bound: 56448
766.21/775.72	c current bound: 56448
766.88/776.37	c current bound: 56448
767.54/777.04	c current bound: 56448
768.38/777.70	c current bound: 56448
768.86/778.37	c current bound: 56448
769.54/779.05	c current bound: 56448
770.21/779.72	c current bound: 56448
770.88/780.39	c current bound: 56448
771.78/781.06	c current bound: 56448
772.23/781.74	c current bound: 56448
772.90/782.41	c current bound: 56448
773.58/783.08	c current bound: 56448
774.25/783.73	c current bound: 56448
775.18/784.41	c current bound: 56448
775.57/785.08	c current bound: 56448
776.25/785.75	c current bound: 56448
777.16/786.43	c current bound: 56448
777.89/787.10	c current bound: 56448
778.48/787.77	c current bound: 56448
778.94/788.50	c current bound: 56448
779.94/789.20	c current bound: 56448
780.53/789.87	c current bound: 56448
781.00/790.55	c current bound: 56448
781.68/791.23	c current bound: 56448
782.65/791.91	c current bound: 56448
783.04/792.58	c current bound: 56448
783.92/793.26	c current bound: 56448
784.39/793.95	c current bound: 56448
785.35/794.60	c current bound: 56448
785.93/795.27	c current bound: 56448
786.40/795.95	c current bound: 56448
787.07/796.62	c current bound: 56448
787.74/797.29	c current bound: 56448
788.41/798.06	c current bound: 56448
789.32/798.74	c current bound: 56448
789.78/799.42	c current bound: 56448
790.74/800.10	c current bound: 56448
791.33/800.79	c current bound: 56448
791.81/801.46	c current bound: 56448
792.49/802.14	c current bound: 56448
793.44/802.80	c current bound: 56448
793.82/803.47	c current bound: 56448
794.73/804.15	c current bound: 56448
795.19/804.82	c current bound: 56448
796.16/805.50	c current bound: 56448
796.53/806.17	c current bound: 56448
797.20/806.85	c current bound: 56448
798.14/807.52	c current bound: 56448
798.55/808.31	c current bound: 56448
799.24/808.99	c current bound: 56448
800.11/809.67	c current bound: 56448
800.59/810.35	c current bound: 56448
801.28/811.04	c current bound: 56448
802.22/811.72	c current bound: 56448
802.64/812.39	c current bound: 56448
803.50/813.07	c current bound: 56448
804.00/813.75	c current bound: 56448
804.67/814.42	c current bound: 56448
805.64/815.10	c current bound: 56448
806.01/815.78	c current bound: 56448
806.70/816.46	c current bound: 56448
807.38/817.14	c current bound: 56448
808.05/817.81	c current bound: 56448
809.02/818.61	c current bound: 56448
809.42/819.29	c current bound: 56448
810.10/819.96	c current bound: 56448
811.01/820.64	c current bound: 56448
811.45/821.32	c current bound: 56448
812.13/821.98	c current bound: 56448
812.79/822.66	c current bound: 56448
813.47/823.33	c current bound: 56448
814.41/824.01	c current bound: 56448
814.83/824.69	c current bound: 56448
815.52/825.37	c current bound: 56448
816.43/826.04	c current bound: 56448
816.86/826.72	c current bound: 56448
817.54/827.40	c current bound: 56448
818.22/828.08	c current bound: 56448
819.19/828.85	c current bound: 56448
819.82/829.53	c current bound: 56448
820.26/830.21	c current bound: 56448
820.94/830.89	c current bound: 56448
821.82/831.58	c current bound: 56448
822.32/832.27	c current bound: 56448
822.99/832.94	c current bound: 56448
823.68/833.62	c current bound: 56448
824.35/834.30	c current bound: 56448
825.23/834.98	c current bound: 56448
825.71/835.66	c current bound: 56448
826.39/836.34	c current bound: 56448
827.33/837.02	c current bound: 56448
828.03/837.70	c current bound: 56448
828.61/838.38	c current bound: 56448
829.10/839.17	c current bound: 56448
829.78/839.85	c current bound: 56448
830.70/840.53	c current bound: 56448
831.14/841.21	c current bound: 56448
831.82/841.89	c current bound: 56448
832.71/842.57	c current bound: 56448
833.17/843.25	c current bound: 56448
833.86/843.94	c current bound: 56448
834.55/844.62	c current bound: 56448
835.52/845.30	c current bound: 56448
836.11/845.97	c current bound: 56448
836.58/846.66	c current bound: 56448
837.27/847.33	c current bound: 56448
838.22/848.01	c current bound: 56448
838.62/848.69	c current bound: 56448
839.57/849.46	c current bound: 56448
839.98/850.14	c current bound: 56448
840.65/850.80	c current bound: 56448
841.51/851.49	c current bound: 56448
842.00/852.16	c current bound: 56448
842.67/852.85	c current bound: 56448
843.61/853.53	c current bound: 56448
844.04/854.21	c current bound: 56448
844.72/854.87	c current bound: 56448
845.39/855.52	c current bound: 56448
846.05/856.20	c current bound: 56448
846.92/856.86	c current bound: 56448
847.38/857.54	c current bound: 56448
848.07/858.22	c current bound: 56448
848.73/858.89	c current bound: 56448
849.42/859.69	c current bound: 56448
850.29/860.37	c current bound: 56448
850.77/861.05	c current bound: 56448
851.44/861.72	c current bound: 56448
852.42/862.40	c current bound: 56448
852.81/863.08	c current bound: 56448
853.49/863.76	c current bound: 56448
854.17/864.44	c current bound: 56448
854.85/865.11	c current bound: 56448
855.71/865.77	c current bound: 56448
856.17/866.46	c current bound: 56448
856.86/867.15	c current bound: 56448
857.82/867.80	c current bound: 56448
858.23/868.48	c current bound: 56448
859.12/869.16	c current bound: 56448
859.59/869.97	c current bound: 56448
860.25/870.64	c current bound: 56448
861.20/871.32	c current bound: 56448
861.91/872.00	c current bound: 56448
862.29/872.67	c current bound: 56448
863.20/873.35	c current bound: 56448
863.65/874.05	c current bound: 56448
864.33/874.73	c current bound: 56448
865.02/875.39	c current bound: 56448
865.68/876.06	c current bound: 56448
866.60/876.74	c current bound: 56448
867.04/877.42	c current bound: 56448
867.72/878.08	c current bound: 56448
868.38/878.76	c current bound: 56448
869.06/879.42	c current bound: 56448
869.99/880.21	c current bound: 56448
870.40/880.89	c current bound: 56448
871.07/881.57	c current bound: 56448
872.00/882.25	c current bound: 56448
872.44/882.91	c current bound: 56448
873.09/883.59	c current bound: 56448
873.77/884.27	c current bound: 56448
874.45/884.94	c current bound: 56448
875.39/885.63	c current bound: 56448
875.82/886.30	c current bound: 56448
876.50/886.98	c current bound: 56448
877.41/887.65	c current bound: 56448
877.85/888.31	c current bound: 56448
878.51/888.97	c current bound: 56448
879.16/889.64	c current bound: 56448
879.83/890.43	c current bound: 56448
880.79/891.11	c current bound: 56448
881.20/891.79	c current bound: 56448
881.88/892.46	c current bound: 56448
882.79/893.12	c current bound: 56448
883.19/893.79	c current bound: 56448
884.09/894.46	c current bound: 56448
884.55/895.14	c current bound: 56448
885.51/895.80	c current bound: 56448
886.09/896.46	c current bound: 56448
886.56/897.14	c current bound: 56448
887.24/897.83	c current bound: 56448
887.93/898.49	c current bound: 56448
888.57/899.14	c current bound: 56448
889.50/899.82	c current bound: 56448
889.91/900.63	c current bound: 56448
890.59/901.30	c current bound: 56448
891.47/901.95	c current bound: 56448
891.92/902.63	c current bound: 56448
892.87/903.30	c current bound: 56448
893.25/903.95	c current bound: 56448
893.91/904.65	c current bound: 56448
894.87/905.32	c current bound: 56448
895.28/906.02	c current bound: 56448
895.98/906.71	c current bound: 56448
896.66/907.38	c current bound: 56448
897.35/908.06	c current bound: 56448
898.24/908.74	c current bound: 56448
898.71/909.43	c current bound: 56448
899.40/910.11	c current bound: 56448
900.34/910.89	c current bound: 56448
900.73/911.54	c current bound: 56448
901.38/912.21	c current bound: 56448
902.05/912.89	c current bound: 56448
902.74/913.56	c current bound: 56448
903.64/914.24	c current bound: 56448
904.08/914.91	c current bound: 56448
904.76/915.58	c current bound: 56448
905.65/916.25	c current bound: 56448
906.11/916.94	c current bound: 56448
906.78/917.61	c current bound: 56448
907.46/918.28	c current bound: 56448
908.14/918.96	c current bound: 56448
909.06/919.63	c current bound: 56448
909.49/920.29	c current bound: 56448
910.14/921.09	c current bound: 56448
911.02/921.75	c current bound: 56448
911.45/922.42	c current bound: 56448
912.13/923.07	c current bound: 56448
912.80/923.73	c current bound: 56448
913.73/924.40	c current bound: 56448
914.33/925.09	c current bound: 56448
914.81/925.76	c current bound: 56448
915.49/926.43	c current bound: 56448
916.15/927.08	c current bound: 56448
916.81/927.76	c current bound: 56448
917.72/928.44	c current bound: 56448
918.17/929.12	c current bound: 56448
919.14/929.80	c current bound: 56448
919.53/930.46	c current bound: 56448
920.19/931.25	c current bound: 56448
920.86/931.93	c current bound: 56448
921.55/932.61	c current bound: 56448
922.23/933.29	c current bound: 56448
923.13/933.97	c current bound: 56448
923.60/934.65	c current bound: 56448
924.26/935.32	c current bound: 56448
924.93/935.99	c current bound: 56448
925.60/936.66	c current bound: 56448
926.53/937.34	c current bound: 56448
926.96/938.01	c current bound: 56448
927.64/938.69	c current bound: 56448
928.53/939.37	c current bound: 56448
928.98/940.04	c current bound: 56448
929.65/940.71	c current bound: 56448
930.63/941.50	c current bound: 56448
931.02/942.18	c current bound: 56448
931.91/942.87	c current bound: 56448
932.38/943.54	c current bound: 56448
933.05/944.21	c current bound: 56448
933.93/944.88	c current bound: 56448
934.40/945.55	c current bound: 56448
935.07/946.23	c current bound: 56448
935.74/946.89	c current bound: 56448
936.42/947.57	c current bound: 56448
937.33/948.24	c current bound: 56448
938.04/948.90	c current bound: 56448
938.41/949.57	c current bound: 56448
939.09/950.24	c current bound: 56448
939.76/950.91	c current bound: 56448
940.73/951.71	c current bound: 56448
941.14/952.38	c current bound: 56448
941.80/953.05	c current bound: 56448
942.73/953.73	c current bound: 56448
943.45/954.40	c current bound: 56448
943.83/955.06	c current bound: 56448
944.49/955.71	c current bound: 56448
945.13/956.36	c current bound: 56448
946.03/957.02	c current bound: 56448
946.44/957.68	c current bound: 56448
947.10/958.33	c current bound: 56448
947.75/958.98	c current bound: 56448
948.42/959.66	c current bound: 56448
949.34/960.31	c current bound: 56448
949.74/960.96	c current bound: 56448
950.39/961.62	c current bound: 56448
951.05/962.32	c current bound: 56448
951.70/962.97	c current bound: 56448
952.58/963.63	c current bound: 56448
953.00/964.28	c current bound: 56448
953.65/964.93	c current bound: 56448
954.31/965.59	c current bound: 56448
954.97/966.24	c current bound: 56448
955.78/966.90	c current bound: 56448
956.27/967.56	c current bound: 56448
956.94/968.22	c current bound: 56448
957.59/968.87	c current bound: 56448
958.26/969.54	c current bound: 56448
959.09/970.19	c current bound: 56448
959.57/970.85	c current bound: 56448
960.23/971.51	c current bound: 56448
960.89/972.18	c current bound: 56448
961.57/972.85	c current bound: 56448
962.49/973.51	c current bound: 56448
962.87/974.16	c current bound: 56448
963.53/974.82	c current bound: 56448
964.20/975.48	c current bound: 56448
964.86/976.15	c current bound: 56448
965.79/976.80	c current bound: 56448
966.17/977.49	c current bound: 56448
966.85/978.15	c current bound: 56448
967.49/978.81	c current bound: 56448
968.16/979.48	c current bound: 56448
969.05/980.15	c current bound: 56448
969.75/980.80	c current bound: 56448
970.15/981.46	c current bound: 56448
971.05/982.25	c current bound: 56448
971.44/982.90	c current bound: 56448
972.29/983.56	c current bound: 56448
972.74/984.21	c current bound: 56448
973.42/984.88	c current bound: 56448
974.30/985.53	c current bound: 56448
974.73/986.18	c current bound: 56448
975.61/986.84	c current bound: 56448
976.32/987.50	c current bound: 56448
976.70/988.16	c current bound: 56448
977.61/988.82	c current bound: 56448
978.02/989.47	c current bound: 56448
978.90/990.13	c current bound: 56448
979.34/990.78	c current bound: 56448
979.99/991.45	c current bound: 56448
980.65/992.10	c current bound: 56448
981.30/992.79	c current bound: 56448
982.17/993.44	c current bound: 56448
982.61/994.10	c current bound: 56448
983.27/994.76	c current bound: 56448
984.17/995.42	c current bound: 56448
984.59/996.07	c current bound: 56448
985.48/996.72	c current bound: 56448
985.90/997.47	c current bound: 56448
986.55/998.13	c current bound: 56448
987.38/998.78	c current bound: 56448
987.86/999.44	c current bound: 56448
988.52/1000.11	c current bound: 56448
989.19/1000.77	c current bound: 56448
989.84/1001.42	c current bound: 56448
990.67/1002.08	c current bound: 56448
991.17/1002.73	c current bound: 56448
991.81/1003.39	c current bound: 56448
992.47/1004.04	c current bound: 56448
993.13/1004.71	c current bound: 56448
993.99/1005.37	c current bound: 56448
994.44/1006.03	c current bound: 56448
995.11/1006.69	c current bound: 56448
995.76/1007.34	c current bound: 56448
996.43/1008.06	c current bound: 56448
997.33/1008.71	c current bound: 56448
997.73/1009.36	c current bound: 56448
998.39/1010.02	c current bound: 56448
999.05/1010.68	c current bound: 56448
999.72/1011.36	c current bound: 56448
1000.63/1012.01	c current bound: 56448
1001.03/1012.71	c current bound: 56448
1001.69/1013.37	c current bound: 56448
1002.34/1014.03	c current bound: 56448
1003.01/1014.68	c current bound: 56448
1003.87/1015.34	c current bound: 56448
1004.58/1016.00	c current bound: 56448
1004.98/1016.65	c current bound: 56448
1005.63/1017.32	c current bound: 56448
1006.30/1017.97	c current bound: 56448
1007.18/1018.62	c current bound: 56448
1007.60/1019.28	c current bound: 56448
1008.24/1019.94	c current bound: 56448
1009.19/1020.60	c current bound: 56448
1009.58/1021.27	c current bound: 56448
1010.48/1021.92	c current bound: 56448
1010.88/1022.58	c current bound: 56448
1011.56/1023.27	c current bound: 56448
1012.21/1023.93	c current bound: 56448
1012.87/1024.59	c current bound: 56448
1013.74/1025.25	c current bound: 56448
1014.18/1025.90	c current bound: 56448
1014.85/1026.56	c current bound: 56448
1015.51/1027.23	c current bound: 56448
1016.18/1027.88	c current bound: 56448
1017.06/1028.55	c current bound: 56448
1017.51/1029.21	c current bound: 56448
1018.17/1029.88	c current bound: 56448
1018.82/1030.54	c current bound: 56448
1019.48/1031.19	c current bound: 56448
1020.36/1031.85	c current bound: 56448
1020.80/1032.51	c current bound: 56448
1021.47/1033.17	c current bound: 56448
1022.13/1033.83	c current bound: 56448
1022.78/1034.48	c current bound: 56448
1023.66/1035.14	c current bound: 56448
1024.09/1035.79	c current bound: 56448
1024.75/1036.45	c current bound: 56448
1025.66/1037.10	c current bound: 56448
1026.07/1037.77	c current bound: 56448
1026.96/1038.43	c current bound: 56448
1027.38/1039.08	c current bound: 56448
1028.04/1039.74	c current bound: 56448
1028.98/1040.40	c current bound: 56448
1029.38/1041.08	c current bound: 56448
1030.28/1041.74	c current bound: 56448
1030.70/1042.39	c current bound: 56448
1031.37/1043.06	c current bound: 56448
1032.03/1043.77	c current bound: 56448
1032.69/1044.44	c current bound: 56448
1033.62/1045.10	c current bound: 56448
1034.01/1045.75	c current bound: 56448
1034.68/1046.42	c current bound: 56448
1035.34/1047.08	c current bound: 56448
1036.00/1047.73	c current bound: 56448
1036.92/1048.50	c current bound: 56448
1037.31/1049.16	c current bound: 56448
1037.97/1049.83	c current bound: 56448
1038.80/1050.49	c current bound: 56448
1039.30/1051.14	c current bound: 56448
1039.96/1051.81	c current bound: 56448
1040.62/1052.46	c current bound: 56448
1041.29/1053.14	c current bound: 56448
1042.11/1053.80	c current bound: 56448
1042.61/1054.46	c current bound: 56448
1043.26/1055.12	c current bound: 56448
1043.93/1055.79	c current bound: 56448
1044.60/1056.46	c current bound: 56448
1045.51/1057.11	c current bound: 56448
1045.92/1057.77	c current bound: 56448
1046.58/1058.43	c current bound: 56448
1047.24/1059.13	c current bound: 56448
1047.90/1059.79	c current bound: 56448
1048.77/1060.45	c current bound: 56448
1049.22/1061.11	c current bound: 56448
1049.88/1061.78	c current bound: 56448
1050.54/1062.44	c current bound: 56448
1051.21/1063.09	c current bound: 56448
1052.13/1063.86	c current bound: 56448
1052.52/1064.52	c current bound: 56448
1053.21/1065.19	c current bound: 56448
1054.07/1065.86	c current bound: 56448
1054.53/1066.52	c current bound: 56448
1055.18/1067.18	c current bound: 56448
1055.84/1067.84	c current bound: 56448
1056.52/1068.51	c current bound: 56448
1057.37/1069.18	c current bound: 56448
1057.85/1069.85	c current bound: 56448
1058.51/1070.50	c current bound: 56448
1059.19/1071.18	c current bound: 56448
1059.85/1071.84	c current bound: 56448
1060.66/1072.50	c current bound: 56448
1061.15/1073.16	c current bound: 56448
1061.81/1073.81	c current bound: 56448
1062.46/1074.51	c current bound: 56448
1063.11/1075.16	c current bound: 56448
1064.01/1075.82	c current bound: 56448
1064.42/1076.47	c current bound: 56448
1065.09/1077.13	c current bound: 56448
1065.74/1077.79	c current bound: 56448
1066.41/1078.45	c current bound: 56448
1067.31/1079.27	c current bound: 56448
1067.73/1079.93	c current bound: 56448
1068.40/1080.60	c current bound: 56448
1069.26/1081.26	c current bound: 56448
1069.71/1081.91	c current bound: 56448
1070.65/1082.63	c current bound: 56448
1071.03/1083.28	c current bound: 56448
1071.69/1083.94	c current bound: 56448
1072.52/1084.59	c current bound: 56448
1073.00/1085.25	c current bound: 56448
1073.66/1085.91	c current bound: 56448
1074.31/1086.56	c current bound: 56448
1074.96/1087.22	c current bound: 56448
1075.82/1087.88	c current bound: 56448
1076.28/1088.54	c current bound: 56448
1076.94/1089.19	c current bound: 56448
1077.59/1089.89	c current bound: 56448
1078.25/1090.54	c current bound: 56448
1079.07/1091.20	c current bound: 56448
1079.57/1091.85	c current bound: 56448
1080.22/1092.51	c current bound: 56448
1080.88/1093.16	c current bound: 56448
1081.52/1093.82	c current bound: 56448
1082.43/1094.58	c current bound: 56448
1082.84/1095.24	c current bound: 56448
1083.49/1095.89	c current bound: 56448
1084.15/1096.55	c current bound: 56448
1084.81/1097.21	c current bound: 56448
1085.67/1097.86	c current bound: 56448
1086.13/1098.52	c current bound: 56448
1086.80/1099.19	c current bound: 56448
1087.47/1099.85	c current bound: 56448
1088.14/1100.51	c current bound: 56448
1088.98/1101.18	c current bound: 56448
1089.45/1101.84	c current bound: 56448
1090.13/1102.51	c current bound: 56448
1090.78/1103.17	c current bound: 56448
1091.43/1103.84	c current bound: 56448
1092.38/1104.50	c current bound: 56448
1092.78/1105.23	c current bound: 56448
1093.44/1105.89	c current bound: 56448
1094.31/1106.55	c current bound: 56448
1094.75/1107.21	c current bound: 56448
1095.42/1107.88	c current bound: 56448
1096.09/1108.54	c current bound: 56448
1096.75/1109.20	c current bound: 56448
1097.60/1109.87	c current bound: 56448
1098.08/1110.53	c current bound: 56448
1098.73/1111.19	c current bound: 56448
1099.39/1111.86	c current bound: 56448
1100.06/1112.52	c current bound: 56448
1100.92/1113.18	c current bound: 56448
1101.39/1113.84	c current bound: 56448
1102.07/1114.51	c current bound: 56448
1102.72/1115.20	c current bound: 56448
1103.38/1115.86	c current bound: 56448
1104.28/1116.53	c current bound: 56448
1104.71/1117.19	c current bound: 56448
1105.38/1117.86	c current bound: 56448
1106.05/1118.52	c current bound: 56448
1106.70/1119.19	c current bound: 56448
1107.58/1119.85	c current bound: 56448
1108.03/1120.52	c current bound: 56448
1108.70/1121.19	c current bound: 56448
1109.37/1121.85	c current bound: 56448
1110.03/1122.51	c current bound: 56448
1110.88/1123.17	c current bound: 56448
1111.35/1123.83	c current bound: 56448
1112.01/1124.49	c current bound: 56448
1112.67/1125.16	c current bound: 56448
1113.33/1125.82	c current bound: 56448
1114.19/1126.48	c current bound: 56448
1114.65/1127.13	c current bound: 56448
1115.59/1127.80	c current bound: 56448
1115.96/1128.46	c current bound: 56448
1116.63/1129.12	c current bound: 56448
1117.48/1129.78	c current bound: 56448
1117.95/1130.47	c current bound: 56448
1118.62/1131.14	c current bound: 56448
1119.29/1131.80	c current bound: 56448
1119.95/1132.46	c current bound: 56448
1120.84/1133.12	c current bound: 56448
1121.26/1133.78	c current bound: 56448
1121.93/1134.44	c current bound: 56448
1122.85/1135.22	c current bound: 56448
1123.26/1135.88	c current bound: 56448
1123.91/1136.56	c current bound: 56448
1124.58/1137.21	c current bound: 56448
1125.23/1137.86	c current bound: 56448
1126.13/1138.52	c current bound: 56448
1126.54/1139.18	c current bound: 56448
1127.22/1139.84	c current bound: 56448
1127.87/1140.49	c current bound: 56448
1128.54/1141.16	c current bound: 56448
1129.43/1141.81	c current bound: 56448
1129.84/1142.47	c current bound: 56448
1130.51/1143.12	c current bound: 56448
1131.16/1143.78	c current bound: 56448
1131.80/1144.43	c current bound: 56448
1132.64/1145.09	c current bound: 56448
1133.11/1145.77	c current bound: 56448
1133.76/1146.43	c current bound: 56448
1134.43/1147.08	c current bound: 56448
1135.08/1147.74	c current bound: 56448
1135.91/1148.39	c current bound: 56448
1136.39/1149.05	c current bound: 56448
1137.32/1149.70	c current bound: 56448
1137.71/1150.48	c current bound: 56448
1138.37/1151.13	c current bound: 56448
1139.20/1151.78	c current bound: 56448
1139.69/1152.44	c current bound: 56448
1140.61/1153.10	c current bound: 56448
1140.99/1153.76	c current bound: 56448
1141.65/1154.41	c current bound: 56448
1142.50/1155.06	c current bound: 56448
1142.95/1155.71	c current bound: 56448
1143.61/1156.37	c current bound: 56448
1144.25/1157.02	c current bound: 56448
1144.91/1157.68	c current bound: 56448
1145.80/1158.34	c current bound: 56448
1146.24/1158.99	c current bound: 56448
1146.89/1159.65	c current bound: 56448
1147.81/1160.30	c current bound: 56448
1148.20/1161.06	c current bound: 56448
1149.09/1161.72	c current bound: 56448
1149.50/1162.37	c current bound: 56448
1150.16/1163.02	c current bound: 56448
1150.82/1163.68	c current bound: 56448
1151.46/1164.33	c current bound: 56448
1152.31/1164.98	c current bound: 56448
1152.77/1165.74	c current bound: 56448
1153.71/1166.40	c current bound: 56448
1154.30/1167.05	c current bound: 56448
1154.73/1167.71	c current bound: 56448
1155.58/1168.36	c current bound: 56448
1156.04/1169.01	c current bound: 56448
1156.71/1169.68	c current bound: 56448
1157.59/1170.33	c current bound: 56448
1158.02/1170.98	c current bound: 56448
1158.88/1171.64	c current bound: 56448
1159.32/1172.29	c current bound: 56448
1159.98/1172.95	c current bound: 56448
1160.91/1173.60	c current bound: 56448
1161.29/1174.25	c current bound: 56448
1162.19/1174.91	c current bound: 56448
1162.59/1175.56	c current bound: 56448
1163.25/1176.22	c current bound: 56448
1163.91/1176.88	c current bound: 56448
1164.56/1177.53	c current bound: 56448
1165.40/1178.18	c current bound: 56448
1165.87/1178.84	c current bound: 56448
1166.54/1179.51	c current bound: 56448
1167.21/1180.17	c current bound: 56448
1167.87/1180.82	c current bound: 56448
1168.76/1181.51	c current bound: 56448
1169.18/1182.17	c current bound: 56448
1169.84/1182.84	c current bound: 56448
1170.52/1183.49	c current bound: 56448
1171.17/1184.15	c current bound: 56448
1172.08/1184.81	c current bound: 56448
1172.48/1185.47	c current bound: 56448
1173.15/1186.26	c current bound: 56448
1174.03/1186.92	c current bound: 56448
1174.74/1187.66	c current bound: 56448
1175.12/1188.32	c current bound: 56448
1175.79/1188.97	c current bound: 56448
1176.43/1189.63	c current bound: 56448
1177.28/1190.29	c current bound: 56448
1177.76/1190.95	c current bound: 56448
1178.43/1191.62	c current bound: 56448
1179.09/1192.28	c current bound: 56448
1179.76/1192.93	c current bound: 56448
1180.58/1193.59	c current bound: 56448
1181.06/1194.25	c current bound: 56448
1181.73/1194.92	c current bound: 56448
1182.38/1195.58	c current bound: 56448
1183.05/1196.24	c current bound: 56448
1183.94/1196.92	c current bound: 56448
1184.36/1197.58	c current bound: 56448
1185.03/1198.26	c current bound: 56448
1185.95/1198.92	c current bound: 56448
1186.37/1199.58	c current bound: 56448
1187.24/1200.24	c current bound: 56448
1187.95/1200.90	c current bound: 56448
1188.35/1201.69	c current bound: 56448
1189.22/1202.35	c current bound: 56448
1189.67/1203.01	c current bound: 56448
1190.33/1203.67	c current bound: 56448
1190.99/1204.33	c current bound: 56448
1191.64/1204.98	c current bound: 56448
1192.52/1205.64	c current bound: 56448
1193.23/1206.30	c current bound: 56448
1193.63/1206.96	c current bound: 56448
1194.28/1207.61	c current bound: 56448
1194.94/1208.27	c current bound: 56448
1195.83/1208.94	c current bound: 56448
1196.53/1209.60	c current bound: 56448
1196.91/1210.27	c current bound: 56448
1197.58/1210.93	c current bound: 56448
1198.24/1211.58	c current bound: 56448
1199.07/1212.29	c current bound: 56448
1199.56/1212.94	c current bound: 56448
1200.47/1213.60	c current bound: 56448
1200.86/1214.26	c current bound: 56448
1201.51/1214.91	c current bound: 56448
1202.39/1215.56	c current bound: 56448
1202.83/1216.22	c current bound: 56448
1203.49/1216.87	c current bound: 56448
1204.14/1217.52	c current bound: 56448
1204.81/1218.18	c current bound: 56448
1205.68/1218.84	c current bound: 56448
1206.11/1219.49	c current bound: 56448
1206.77/1220.14	c current bound: 56448
1207.42/1220.80	c current bound: 56448
1208.09/1221.45	c current bound: 56448
1208.98/1222.25	c current bound: 56448
1209.39/1222.90	c current bound: 56448
1210.05/1223.57	c current bound: 56448
1210.94/1224.22	c current bound: 56448
1211.35/1224.88	c current bound: 56448
1212.24/1225.53	c current bound: 56448
1212.67/1226.18	c current bound: 56448
1213.34/1226.85	c current bound: 56448
1213.98/1227.50	c current bound: 56448
1214.64/1228.15	c current bound: 56448
1215.54/1228.80	c current bound: 56448
1215.95/1229.46	c current bound: 56448
1216.60/1230.11	c current bound: 56448
1217.25/1230.76	c current bound: 56448
1217.90/1231.42	c current bound: 56448
1218.75/1232.07	c current bound: 56448
1219.21/1232.73	c current bound: 56448
1219.87/1233.39	c current bound: 56448
1220.54/1234.04	c current bound: 56448
1221.45/1234.70	c current bound: 56448
1222.06/1235.35	c current bound: 56448
1222.49/1236.01	c current bound: 56448
1223.16/1236.66	c current bound: 56448
1223.81/1237.32	c current bound: 56448
1224.47/1238.01	c current bound: 56448
1225.32/1238.67	c current bound: 56448
1225.77/1239.32	c current bound: 56448
1226.42/1239.98	c current bound: 56448
1227.09/1240.63	c current bound: 56448
1227.73/1241.28	c current bound: 56448
1228.61/1241.94	c current bound: 56448
1229.03/1242.69	c current bound: 56448
1229.71/1243.36	c current bound: 56448
1230.63/1244.01	c current bound: 56448
1231.02/1244.67	c current bound: 56448
1231.91/1245.32	c current bound: 56448
1232.34/1245.97	c current bound: 56448
1232.99/1246.64	c current bound: 56448
1233.66/1247.29	c current bound: 56448
1234.30/1247.94	c current bound: 56448
1235.11/1248.59	c current bound: 56448
1235.61/1249.25	c current bound: 56448
1236.53/1249.90	c current bound: 56448
1236.92/1250.55	c current bound: 56448
1237.56/1251.21	c current bound: 56448
1238.44/1251.86	c current bound: 56448
1238.88/1252.51	c current bound: 56448
1239.54/1253.18	c current bound: 56448
1240.20/1253.83	c current bound: 56448
1240.85/1254.51	c current bound: 56448
1241.74/1255.16	c current bound: 56448
1242.19/1255.82	c current bound: 56448
1242.85/1256.48	c current bound: 56448
1243.50/1257.14	c current bound: 56448
1244.44/1257.80	c current bound: 56448
1245.12/1258.50	c current bound: 56448
1245.50/1259.16	c current bound: 56448
1246.17/1259.83	c current bound: 56448
1246.84/1260.49	c current bound: 56448
1247.50/1261.15	c current bound: 56448
1248.40/1261.82	c current bound: 56448
1248.82/1262.48	c current bound: 56448
1249.49/1263.27	c current bound: 56448
1250.38/1263.92	c current bound: 56448
1250.80/1264.59	c current bound: 56448
1251.47/1265.25	c current bound: 56448
1252.12/1265.91	c current bound: 56448
1252.78/1266.57	c current bound: 56448
1253.67/1267.23	c current bound: 56448
1254.11/1267.89	c current bound: 56448
1254.76/1268.54	c current bound: 56448
1255.69/1269.20	c current bound: 56448
1256.09/1269.88	c current bound: 56448
1256.97/1270.53	c current bound: 56448
1257.40/1271.19	c current bound: 56448
1258.08/1271.85	c current bound: 56448
1258.73/1272.50	c current bound: 56448
1259.39/1273.15	c current bound: 56448
1260.27/1273.85	c current bound: 56448
1260.69/1274.51	c current bound: 56448
1261.37/1275.18	c current bound: 56448
1262.03/1275.83	c current bound: 56448
1262.69/1276.50	c current bound: 56448
1263.56/1277.16	c current bound: 56448
1264.01/1277.82	c current bound: 56448
1264.95/1278.60	c current bound: 56448
1265.55/1279.26	c current bound: 56448
1266.01/1279.92	c current bound: 56448
1266.67/1280.58	c current bound: 56448
1267.33/1281.25	c current bound: 56448
1268.00/1281.93	c current bound: 56448
1268.85/1282.59	c current bound: 56448
1269.33/1283.25	c current bound: 56448
1270.00/1283.91	c current bound: 56448
1270.67/1284.57	c current bound: 56448
1271.33/1285.23	c current bound: 56448
1272.15/1285.89	c current bound: 56448
1272.65/1286.55	c current bound: 56448
1273.30/1287.21	c current bound: 56448
1273.96/1287.87	c current bound: 56448
1274.64/1288.55	c current bound: 56448
1275.52/1289.26	c current bound: 56448
1275.96/1289.92	c current bound: 56448
1276.62/1290.58	c current bound: 56448
1277.28/1291.24	c current bound: 56448
1277.94/1291.90	c current bound: 56448
1278.80/1292.56	c current bound: 56448
1279.27/1293.22	c current bound: 56448
1279.92/1293.88	c current bound: 56448
1280.59/1294.53	c current bound: 56448
1281.23/1295.19	c current bound: 56448
1282.10/1295.84	c current bound: 56448
1282.81/1296.50	c current bound: 56448
1283.21/1297.17	c current bound: 56448
1283.89/1297.83	c current bound: 56448
1284.54/1298.49	c current bound: 56448
1285.42/1299.14	c current bound: 56448
1285.85/1299.80	c current bound: 56448
1286.51/1300.46	c current bound: 56448
1287.17/1301.12	c current bound: 56448
1287.83/1301.77	c current bound: 56448
1288.72/1302.43	c current bound: 56448
1289.13/1303.08	c current bound: 56448
1289.79/1303.74	c current bound: 56448
1290.72/1304.40	c current bound: 56448
1291.13/1305.07	c current bound: 56448
1292.02/1305.73	c current bound: 56448
1292.45/1306.39	c current bound: 56448
1293.11/1307.05	c current bound: 56448
1293.77/1307.71	c current bound: 56448
1294.42/1308.37	c current bound: 56448
1295.32/1309.03	c current bound: 56448
1295.74/1309.73	c current bound: 56448
1296.68/1310.40	c current bound: 56448
1297.08/1311.05	c current bound: 56448
1297.73/1311.72	c current bound: 56448
1298.59/1312.38	c current bound: 56448
1299.05/1313.03	c current bound: 56448
1299.71/1313.70	c current bound: 56448
1300.63/1314.47	c current bound: 56448
1301.04/1315.13	c current bound: 56448
1301.69/1315.79	c current bound: 56448
1302.36/1316.45	c current bound: 56448
1303.02/1317.11	c current bound: 56448
1303.86/1317.77	c current bound: 56448
1304.33/1318.42	c current bound: 56448
1304.98/1319.08	c current bound: 56448
1305.65/1319.74	c current bound: 56448
1306.30/1320.41	c current bound: 56448
1307.17/1321.06	c current bound: 56448
1307.63/1321.72	c current bound: 56448
1308.28/1322.39	c current bound: 56448
1308.95/1323.05	c current bound: 56448
1309.61/1323.71	c current bound: 56448
1310.46/1324.36	c current bound: 56448
1310.92/1325.05	c current bound: 56448
1311.59/1325.71	c current bound: 56448
1312.24/1326.36	c current bound: 56448
1312.89/1327.02	c current bound: 56448
1313.72/1327.68	c current bound: 56448
1314.20/1328.34	c current bound: 56448
1314.87/1328.99	c current bound: 56448
1315.51/1329.74	c current bound: 56448
1316.44/1330.40	c current bound: 56448
1317.03/1331.05	c current bound: 56448
1317.47/1331.71	c current bound: 56448
1318.13/1332.37	c current bound: 56448
1318.78/1333.03	c current bound: 56448
1319.45/1333.69	c current bound: 56448
1320.33/1334.34	c current bound: 56448
1321.04/1335.00	c current bound: 56448
1321.43/1335.66	c current bound: 56448
1322.08/1336.31	c current bound: 56448
1322.74/1336.98	c current bound: 56448
1323.65/1337.63	c current bound: 56448
1324.06/1338.29	c current bound: 56448
1324.70/1338.94	c current bound: 56448
1325.37/1339.60	c current bound: 56448
1326.30/1340.30	c current bound: 56448
1326.90/1340.97	c current bound: 56448
1327.35/1341.62	c current bound: 56448
1328.01/1342.28	c current bound: 56448
1328.67/1342.94	c current bound: 56448
1329.33/1343.59	c current bound: 56448
1330.19/1344.25	c current bound: 56448
1330.91/1344.90	c current bound: 56448
1331.29/1345.56	c current bound: 56448
1331.96/1346.22	c current bound: 56448
1332.62/1346.87	c current bound: 56448
1333.51/1347.53	c current bound: 56448
1333.92/1348.19	c current bound: 56448
1334.59/1348.85	c current bound: 56448
1335.24/1349.51	c current bound: 56448
1335.91/1350.18	c current bound: 56448
1336.81/1350.83	c current bound: 56448
1337.22/1351.48	c current bound: 56448
1337.89/1352.15	c current bound: 56448
1338.80/1352.80	c current bound: 56448
1339.21/1353.47	c current bound: 56448
1340.09/1354.12	c current bound: 56448
1340.52/1354.78	c current bound: 56448
1341.18/1355.44	c current bound: 56448
1341.85/1356.10	c current bound: 56448
1342.50/1356.76	c current bound: 56448
1343.39/1357.42	c current bound: 56448
1343.83/1358.08	c current bound: 56448
1344.49/1358.74	c current bound: 56448
1345.41/1359.40	c current bound: 56448
1345.81/1360.08	c current bound: 56448
1346.65/1360.78	c current bound: 56448
1347.13/1361.43	c current bound: 56448
1347.79/1362.09	c current bound: 56448
1348.44/1362.75	c current bound: 56448
1349.10/1363.41	c current bound: 56448
1349.97/1364.06	c current bound: 56448
1350.42/1364.72	c current bound: 56448
1351.07/1365.48	c current bound: 56448
1351.96/1366.13	c current bound: 56448
1352.38/1366.79	c current bound: 56448
1353.25/1367.45	c current bound: 56448
1353.96/1368.10	c current bound: 56448
1354.34/1368.75	c current bound: 56448
1355.26/1369.41	c current bound: 56448
1355.63/1370.06	c current bound: 56448
1356.53/1370.72	c current bound: 56448
1356.96/1371.38	c current bound: 56448
1357.63/1372.04	c current bound: 56448
1358.28/1372.70	c current bound: 56448
1358.94/1373.35	c current bound: 56448
1359.84/1374.00	c current bound: 56448
1360.25/1374.66	c current bound: 56448
1360.90/1375.31	c current bound: 56448
1361.78/1376.04	c current bound: 56448
1362.49/1376.70	c current bound: 56448
1363.07/1377.36	c current bound: 56448
1363.53/1378.01	c current bound: 56448
1364.18/1378.67	c current bound: 56448
1365.08/1379.32	c current bound: 56448
1365.48/1379.97	c current bound: 56448
1366.40/1380.74	c current bound: 56448
1366.79/1381.39	c current bound: 56448
1367.45/1382.05	c current bound: 56448
1368.36/1382.70	c current bound: 56448
1368.76/1383.37	c current bound: 56448
1369.41/1384.02	c current bound: 56448
1370.07/1384.68	c current bound: 56448
1370.74/1385.34	c current bound: 56448
1371.56/1386.00	c current bound: 56448
1372.05/1386.65	c current bound: 56448
1372.72/1387.31	c current bound: 56448
1373.37/1387.97	c current bound: 56448
1374.03/1388.63	c current bound: 56448
1374.85/1389.29	c current bound: 56448
1375.35/1389.95	c current bound: 56448
1376.01/1390.61	c current bound: 56448
1376.94/1391.30	c current bound: 56448
1377.34/1391.97	c current bound: 56448
1378.23/1392.63	c current bound: 56448
1378.65/1393.29	c current bound: 56448
1379.32/1393.97	c current bound: 56448
1380.00/1394.63	c current bound: 56448
1380.66/1395.29	c current bound: 56448
1381.55/1395.95	c current bound: 56448
1381.98/1396.61	c current bound: 56448
1382.64/1397.27	c current bound: 56448
1383.30/1397.94	c current bound: 56448
1383.99/1398.60	c current bound: 56448
1384.85/1399.26	c current bound: 56448
1385.31/1399.92	c current bound: 56448
1385.97/1400.59	c current bound: 56448
1386.65/1401.26	c current bound: 56448
1387.31/1401.93	c current bound: 56448
1388.15/1402.58	c current bound: 56448
1388.63/1403.24	c current bound: 56448
1389.30/1403.91	c current bound: 56448
1389.97/1404.57	c current bound: 56448
1390.63/1405.23	c current bound: 56448
1391.46/1405.89	c current bound: 56448
1391.95/1406.58	c current bound: 56448
1392.61/1407.24	c current bound: 56448
1393.26/1407.90	c current bound: 56448
1393.94/1408.56	c current bound: 56448
1394.83/1409.22	c current bound: 56448
1395.25/1409.88	c current bound: 56448
1395.92/1410.55	c current bound: 56448
1396.83/1411.33	c current bound: 56448
1397.24/1411.99	c current bound: 56448
1397.91/1412.66	c current bound: 56448
1398.56/1413.32	c current bound: 56448
1399.22/1413.98	c current bound: 56448
1400.12/1414.64	c current bound: 56448
1400.81/1415.30	c current bound: 56448
1401.20/1415.96	c current bound: 56448
1401.85/1416.62	c current bound: 56448
1402.53/1417.28	c current bound: 56448
1403.40/1417.94	c current bound: 56448
1403.85/1418.59	c current bound: 56448
1404.50/1419.26	c current bound: 56448
1405.17/1419.92	c current bound: 56448
1405.82/1420.58	c current bound: 56448
1406.70/1421.24	c current bound: 56448
1407.16/1421.93	c current bound: 56448
1408.08/1422.60	c current bound: 56448
1408.47/1423.26	c current bound: 56448
1409.14/1423.92	c current bound: 56448
1409.98/1424.59	c current bound: 56448
1410.47/1425.25	c current bound: 56448
1411.14/1425.92	c current bound: 56448
1412.04/1426.74	c current bound: 56448
1412.46/1427.39	c current bound: 56448
1413.12/1428.06	c current bound: 56448
1413.79/1428.72	c current bound: 56448
1414.44/1429.38	c current bound: 56448
1415.33/1430.04	c current bound: 56448
1415.77/1430.70	c current bound: 56448
1416.43/1431.36	c current bound: 56448
1417.09/1432.02	c current bound: 56448
1417.75/1432.68	c current bound: 56448
1418.63/1433.34	c current bound: 56448
1419.35/1434.00	c current bound: 56448
1419.73/1434.66	c current bound: 56448
1420.40/1435.32	c current bound: 56448
1421.07/1435.98	c current bound: 56448
1421.94/1436.64	c current bound: 56448
1422.37/1437.33	c current bound: 56448
1423.05/1437.99	c current bound: 56448
1423.70/1438.65	c current bound: 56448
1424.37/1439.31	c current bound: 56448
1425.21/1439.97	c current bound: 56448
1425.68/1440.63	c current bound: 56448
1426.61/1441.30	c current bound: 56448
1427.27/1442.11	c current bound: 56448
1427.66/1442.77	c current bound: 56448
1428.34/1443.43	c current bound: 56448
1428.99/1444.09	c current bound: 56448
1429.67/1444.77	c current bound: 56448
1430.57/1445.44	c current bound: 56448
1431.28/1446.10	c current bound: 56448
1431.66/1446.76	c current bound: 56448
1432.32/1447.43	c current bound: 56448
1433.00/1448.09	c current bound: 56448
1433.87/1448.75	c current bound: 56448
1434.32/1449.41	c current bound: 56448
1434.98/1450.08	c current bound: 56448
1435.64/1450.75	c current bound: 56448
1436.32/1451.41	c current bound: 56448
1437.17/1452.07	c current bound: 56448
1437.64/1452.78	c current bound: 56448
1438.29/1453.43	c current bound: 56448
1438.96/1454.09	c current bound: 56448
1439.62/1454.75	c current bound: 56448
1440.53/1455.41	c current bound: 56448
1440.95/1456.07	c current bound: 56448
1441.59/1456.73	c current bound: 56448
1442.51/1457.49	c current bound: 56448
1442.91/1458.15	c current bound: 56448
1443.57/1458.81	c current bound: 56448
1444.24/1459.47	c current bound: 56448
1444.89/1460.13	c current bound: 56448
1445.72/1460.79	c current bound: 56448
1446.20/1461.45	c current bound: 56448
1446.87/1462.11	c current bound: 56448
1447.53/1462.77	c current bound: 56448
1448.20/1463.45	c current bound: 56448
1449.12/1464.12	c current bound: 56448
1449.53/1464.78	c current bound: 56448
1450.20/1465.44	c current bound: 56448
1451.12/1466.10	c current bound: 56448
1451.54/1466.78	c current bound: 56448
1452.43/1467.43	c current bound: 56448
1452.86/1468.12	c current bound: 56448
1453.52/1468.79	c current bound: 56448
1454.17/1469.46	c current bound: 56448
1454.86/1470.12	c current bound: 56448
1455.70/1470.78	c current bound: 56448
1456.17/1471.43	c current bound: 56448
1456.84/1472.10	c current bound: 56448
1457.75/1472.87	c current bound: 56448
1458.16/1473.53	c current bound: 56448
1458.82/1474.19	c current bound: 56448
1459.48/1474.85	c current bound: 56448
1460.15/1475.53	c current bound: 56448
1460.98/1476.18	c current bound: 56448
1461.47/1476.85	c current bound: 56448
1462.12/1477.51	c current bound: 56448
1462.79/1478.16	c current bound: 56448
1463.47/1478.84	c current bound: 56448
1464.29/1479.50	c current bound: 56448
1464.79/1480.16	c current bound: 56448
1465.44/1480.82	c current bound: 56448
1466.10/1481.48	c current bound: 56448
1466.77/1482.15	c current bound: 56448
1467.69/1482.81	c current bound: 56448
1468.10/1483.51	c current bound: 56448
1468.76/1484.18	c current bound: 56448
1469.43/1484.84	c current bound: 56448
1470.36/1485.50	c current bound: 56448
1470.94/1486.17	c current bound: 56448
1471.42/1486.82	c current bound: 56448
1472.35/1487.50	c current bound: 56448
1472.99/1488.25	c current bound: 56448
1473.41/1488.92	c current bound: 56448
1474.06/1489.58	c current bound: 56448
1474.73/1490.24	c current bound: 56448
1475.40/1490.90	c current bound: 56448
1476.24/1491.57	c current bound: 56448
1476.72/1492.23	c current bound: 56448
1477.37/1492.89	c current bound: 56448
1478.04/1493.55	c current bound: 56448
1478.70/1494.21	c current bound: 56448
1479.56/1494.87	c current bound: 56448
1480.02/1495.53	c current bound: 56448
1480.67/1496.19	c current bound: 56448
1481.34/1496.85	c current bound: 56448
1482.00/1497.51	c current bound: 56448
1482.85/1498.17	c current bound: 56448
1483.31/1498.85	c current bound: 56448
1483.97/1499.52	c current bound: 56448
1484.63/1500.18	c current bound: 56448
1485.30/1500.85	c current bound: 56448
1486.24/1501.51	c current bound: 56448
1486.63/1502.17	c current bound: 56448
1487.29/1502.84	c current bound: 56448
1488.21/1503.50	c current bound: 56448
1488.63/1504.18	c current bound: 56448
1489.50/1504.85	c current bound: 56448
1489.97/1505.51	c current bound: 56448
1490.63/1506.18	c current bound: 56448
1491.28/1506.84	c current bound: 56448
1491.95/1507.51	c current bound: 56448
1492.81/1508.17	c current bound: 56448
1493.28/1508.83	c current bound: 56448
1494.22/1509.50	c current bound: 56448
1494.61/1510.16	c current bound: 56448
1495.27/1510.81	c current bound: 56448
1496.12/1511.48	c current bound: 56448
1496.58/1512.13	c current bound: 56448
1497.52/1512.80	c current bound: 56448
1497.90/1513.46	c current bound: 56448
1498.59/1514.15	c current bound: 56448
1499.49/1514.81	c current bound: 56448
1499.88/1515.47	c current bound: 56448
1500.55/1516.13	c current bound: 56448
1501.21/1516.78	c current bound: 56448
1501.86/1517.44	c current bound: 56448
1502.79/1518.12	c current bound: 56448
1503.47/1518.84	c current bound: 56448
1504.13/1519.50	c current bound: 56448
1504.73/1520.16	c current bound: 56448
1505.18/1520.81	c current bound: 56448
1505.84/1521.49	c current bound: 56448
1506.52/1522.16	c current bound: 56448
1507.21/1522.84	c current bound: 56448
1508.13/1523.51	c current bound: 56448
1508.55/1524.18	c current bound: 56448
1509.22/1524.84	c current bound: 56448
1510.15/1525.50	c current bound: 56448
1510.55/1526.18	c current bound: 56448
1511.43/1526.84	c current bound: 56448
1511.87/1527.50	c current bound: 56448
1512.55/1528.18	c current bound: 56448
1513.21/1528.84	c current bound: 56448
1513.87/1529.55	c current bound: 56448
1514.78/1530.21	c current bound: 56448
1515.19/1530.87	c current bound: 56448
1515.85/1531.53	c current bound: 56448
1516.51/1532.20	c current bound: 56448
1517.18/1532.86	c current bound: 56448
1518.07/1533.53	c current bound: 56448
1518.52/1534.32	c current bound: 56448
1519.18/1534.98	c current bound: 56448
1520.07/1535.64	c current bound: 56448
1520.49/1536.29	c current bound: 56448
1521.14/1536.95	c current bound: 56448
1521.80/1537.70	c current bound: 56448
1522.46/1538.36	c current bound: 56448
1523.37/1539.02	c current bound: 56448
1523.79/1539.68	c current bound: 56448
1524.46/1540.36	c current bound: 56448
1525.37/1541.01	c current bound: 56448
1525.78/1541.67	c current bound: 56448
1526.66/1542.33	c current bound: 56448
1527.10/1542.99	c current bound: 56448
1527.74/1543.65	c current bound: 56448
1528.67/1544.33	c current bound: 56448
1529.09/1545.02	c current bound: 56448
1529.76/1545.69	c current bound: 56448
1530.41/1546.34	c current bound: 56448
1531.08/1547.02	c current bound: 56448
1531.92/1547.68	c current bound: 56448
1532.41/1548.34	c current bound: 56448
1533.07/1549.01	c current bound: 56448
1533.99/1549.81	c current bound: 56448
1534.38/1550.47	c current bound: 56448
1535.28/1551.13	c current bound: 56448
1535.70/1551.79	c current bound: 56448
1536.38/1552.46	c current bound: 56448
1537.29/1553.12	c current bound: 56448
1537.69/1553.78	c current bound: 56448
1538.58/1554.43	c current bound: 56448
1539.02/1555.09	c current bound: 56448
1539.67/1555.76	c current bound: 56448
1540.59/1556.43	c current bound: 56448
1541.01/1557.10	c current bound: 56448
1541.88/1557.76	c current bound: 56448
1542.34/1558.42	c current bound: 56448
1543.01/1559.11	c current bound: 56448
1543.96/1559.88	c current bound: 56448
1544.36/1560.55	c current bound: 56448
1545.03/1561.23	c current bound: 56448
1545.71/1561.88	c current bound: 56448
1546.36/1562.55	c current bound: 56448
1547.26/1563.21	c current bound: 56448
1547.67/1563.88	c current bound: 56448
1548.37/1564.56	c current bound: 56448
1549.27/1565.22	c current bound: 56448
1549.69/1565.88	c current bound: 56448
1550.56/1566.54	c current bound: 56448
1551.28/1567.20	c current bound: 56448
1551.68/1567.87	c current bound: 56448
1552.59/1568.53	c current bound: 56448
1553.00/1569.19	c current bound: 56448
1553.88/1569.84	c current bound: 56448
1554.32/1570.55	c current bound: 56448
1554.99/1571.22	c current bound: 56448
1555.84/1571.88	c current bound: 56448
1556.32/1572.53	c current bound: 56448
1556.96/1573.19	c current bound: 56448
1557.63/1573.86	c current bound: 56448
1558.31/1574.55	c current bound: 56448
1559.26/1575.20	c current bound: 56448
1559.64/1575.86	c current bound: 56448
1560.30/1576.52	c current bound: 56448
1560.95/1577.18	c current bound: 56448
1561.63/1577.86	c current bound: 56448
1562.53/1578.53	c current bound: 56448
1563.24/1579.20	c current bound: 56448
1563.63/1579.87	c current bound: 56448
1564.31/1580.57	c current bound: 56448
1564.96/1581.23	c current bound: 56448
1565.80/1581.89	c current bound: 56448
1566.28/1582.55	c current bound: 56448
1566.94/1583.21	c current bound: 56448
1567.60/1583.87	c current bound: 56448
1568.26/1584.53	c current bound: 56448
1569.18/1585.32	c current bound: 56448
1569.60/1585.98	c current bound: 56448
1570.27/1586.66	c current bound: 56448
1571.18/1587.33	c current bound: 56448
1571.59/1587.98	c current bound: 56448
1572.25/1588.64	c current bound: 56448
1573.18/1589.30	c current bound: 56448
1573.57/1589.96	c current bound: 56448
1574.47/1590.62	c current bound: 56448
1574.89/1591.28	c current bound: 56448
1575.56/1591.96	c current bound: 56448
1576.23/1592.62	c current bound: 56448
1576.89/1593.29	c current bound: 56448
1577.77/1593.95	c current bound: 56448
1578.21/1594.61	c current bound: 56448
1578.88/1595.28	c current bound: 56448
1579.53/1595.98	c current bound: 56448
1580.21/1596.64	c current bound: 56448
1581.13/1597.30	c current bound: 56448
1581.52/1597.96	c current bound: 56448
1582.18/1598.63	c current bound: 56448
1582.86/1599.29	c current bound: 56448
1583.51/1599.95	c current bound: 56448
1584.43/1600.72	c current bound: 56448
1584.83/1601.38	c current bound: 56448
1585.51/1602.06	c current bound: 56448
1586.40/1602.73	c current bound: 56448
1586.83/1603.39	c current bound: 56448
1587.49/1604.06	c current bound: 56448
1588.16/1604.71	c current bound: 56448
1588.80/1605.37	c current bound: 56448
1589.69/1606.02	c current bound: 56448
1590.12/1606.69	c current bound: 56448
1590.80/1607.36	c current bound: 56448
1591.46/1608.02	c current bound: 56448
1592.12/1608.68	c current bound: 56448
1593.00/1609.35	c current bound: 56448
1593.45/1610.01	c current bound: 56448
1594.12/1610.68	c current bound: 56448
1594.77/1611.34	c current bound: 56448
1595.44/1612.00	c current bound: 56448
1596.29/1612.66	c current bound: 56448
1596.76/1613.33	c current bound: 56448
1597.71/1614.00	c current bound: 56448
1598.10/1614.67	c current bound: 56448
1598.76/1615.33	c current bound: 56448
1599.69/1616.10	c current bound: 56448
1600.08/1616.76	c current bound: 56448
1600.75/1617.44	c current bound: 56448
1601.70/1618.11	c current bound: 56448
1602.09/1618.77	c current bound: 56448
1602.75/1619.43	c current bound: 56448
1603.42/1620.09	c current bound: 56448
1604.09/1620.77	c current bound: 56448
1604.99/1621.43	c current bound: 56448
1605.42/1622.11	c current bound: 56448
1606.11/1622.79	c current bound: 56448
1606.77/1623.45	c current bound: 56448
1607.43/1624.11	c current bound: 56448
1608.29/1624.76	c current bound: 56448
1608.75/1625.42	c current bound: 56448
1609.41/1626.09	c current bound: 56448
1610.07/1626.79	c current bound: 56448
1610.74/1627.46	c current bound: 56448
1611.65/1628.13	c current bound: 56448
1612.07/1628.79	c current bound: 56448
1612.76/1629.46	c current bound: 56448
1613.65/1630.12	c current bound: 56448
1614.07/1630.78	c current bound: 56448
1614.98/1631.57	c current bound: 56448
1615.39/1632.24	c current bound: 56448
1616.05/1632.89	c current bound: 56448
1616.92/1633.55	c current bound: 56448
1617.36/1634.20	c current bound: 56448
1618.02/1634.86	c current bound: 56448
1618.68/1635.51	c current bound: 56448
1619.33/1636.17	c current bound: 56448
1620.23/1636.83	c current bound: 56448
1620.64/1637.48	c current bound: 56448
1621.31/1638.15	c current bound: 56448
1621.97/1638.81	c current bound: 56448
1622.62/1639.46	c current bound: 56448
1623.52/1640.11	c current bound: 56448
1623.94/1640.78	c current bound: 56448
1624.60/1641.43	c current bound: 56448
1625.25/1642.13	c current bound: 56448
1625.92/1642.79	c current bound: 56448
1626.79/1643.44	c current bound: 56448
1627.50/1644.10	c current bound: 56448
1627.87/1644.75	c current bound: 56448
1628.53/1645.40	c current bound: 56448
1629.19/1646.05	c current bound: 56448
1630.12/1646.80	c current bound: 56448
1630.50/1647.45	c current bound: 56448
1631.16/1648.11	c current bound: 56448
1631.81/1648.76	c current bound: 56448
1632.47/1649.42	c current bound: 56448
1633.30/1650.08	c current bound: 56448
1633.77/1650.73	c current bound: 56448
1634.43/1651.39	c current bound: 56448
1635.09/1652.06	c current bound: 56448
1635.76/1652.72	c current bound: 56448
1636.59/1653.37	c current bound: 56448
1637.07/1654.03	c current bound: 56448
1637.70/1654.68	c current bound: 56448
1638.37/1655.34	c current bound: 56448
1639.02/1655.99	c current bound: 56448
1639.89/1656.66	c current bound: 56448
1640.33/1657.37	c current bound: 56448
1641.00/1658.03	c current bound: 56448
1641.66/1658.68	c current bound: 56448
1642.31/1659.34	c current bound: 56448
1643.13/1659.99	c current bound: 56448
1643.61/1660.64	c current bound: 56448
1644.28/1661.30	c current bound: 56448
1645.17/1662.05	c current bound: 56448
1645.58/1662.71	c current bound: 56448
1646.44/1663.36	c current bound: 56448
1646.89/1664.01	c current bound: 56448
1647.56/1664.68	c current bound: 56448
1648.43/1665.33	c current bound: 56448
1648.86/1665.98	c current bound: 56448
1649.73/1666.64	c current bound: 56448
1650.16/1667.29	c current bound: 56448
1650.81/1667.94	c current bound: 56448
1651.47/1668.60	c current bound: 56448
1652.13/1669.26	c current bound: 56448
1653.03/1669.93	c current bound: 56448
1653.46/1670.59	c current bound: 56448
1654.14/1671.29	c current bound: 56448
1655.03/1671.94	c current bound: 56448
1655.47/1672.63	c current bound: 56448
1656.12/1673.29	c current bound: 56448
1656.78/1673.95	c current bound: 56448
1657.45/1674.62	c current bound: 56448
1658.29/1675.28	c current bound: 56448
1658.78/1675.93	c current bound: 56448
1659.72/1676.60	c current bound: 56448
1660.10/1677.39	c current bound: 56448
1660.76/1678.07	c current bound: 56448
1661.67/1678.73	c current bound: 56448
1662.11/1679.38	c current bound: 56448
1662.76/1680.05	c current bound: 56448
1663.68/1680.71	c current bound: 56448
1664.08/1681.37	c current bound: 56448
1664.96/1682.03	c current bound: 56448
1665.41/1682.69	c current bound: 56448
1666.08/1683.36	c current bound: 56448
1666.98/1684.02	c current bound: 56448
1667.40/1684.68	c current bound: 56448
1668.28/1685.34	c current bound: 56448
1668.99/1686.00	c current bound: 56448
1669.40/1686.67	c current bound: 56448
1670.28/1687.33	c current bound: 56448
1670.72/1688.02	c current bound: 56448
1671.38/1688.68	c current bound: 56448
1672.03/1689.34	c current bound: 56448
1672.97/1690.00	c current bound: 56448
1673.55/1690.66	c current bound: 56448
1674.01/1691.32	c current bound: 56448
1674.66/1691.98	c current bound: 56448
1675.33/1692.77	c current bound: 56448
1676.00/1693.43	c current bound: 56448
1676.82/1694.08	c current bound: 56448
1677.32/1694.74	c current bound: 56448
1678.24/1695.40	c current bound: 56448
1678.62/1696.06	c current bound: 56448
1679.30/1696.72	c current bound: 56448
1680.13/1697.38	c current bound: 56448
1680.60/1698.04	c current bound: 56448
1681.28/1698.71	c current bound: 56448
1681.94/1699.37	c current bound: 56448
1682.60/1700.03	c current bound: 56448
1683.44/1700.69	c current bound: 56448
1683.92/1701.34	c current bound: 56448
1684.85/1702.00	c current bound: 56448
1685.24/1702.67	c current bound: 56448
1685.92/1703.35	c current bound: 56448
1686.82/1704.01	c current bound: 56448
1687.22/1704.67	c current bound: 56448
1687.89/1705.34	c current bound: 56448
1688.57/1706.00	c current bound: 56448
1689.22/1706.66	c current bound: 56448
1690.12/1707.32	c current bound: 56448
1690.53/1708.09	c current bound: 56448
1691.20/1708.75	c current bound: 56448
1692.11/1709.41	c current bound: 56448
1692.52/1710.07	c current bound: 56448
1693.18/1710.73	c current bound: 56448
1693.83/1711.39	c current bound: 56448
1694.50/1712.05	c current bound: 56448
1695.42/1712.71	c current bound: 56448
1695.82/1713.37	c current bound: 56448
1696.47/1714.04	c current bound: 56448
1697.14/1714.71	c current bound: 56448
1697.80/1715.37	c current bound: 56448
1698.70/1716.03	c current bound: 56448
1699.12/1716.69	c current bound: 56448
1699.80/1717.35	c current bound: 56448
1700.45/1718.01	c current bound: 56448
1701.38/1718.70	c current bound: 56448
1701.97/1719.35	c current bound: 56448
1702.43/1720.01	c current bound: 56448
1703.08/1720.67	c current bound: 56448
1703.74/1721.33	c current bound: 56448
1704.41/1721.99	c current bound: 56448
1705.27/1722.65	c current bound: 56448
1705.72/1723.45	c current bound: 56448
1706.39/1724.12	c current bound: 56448
1707.23/1724.78	c current bound: 56448
1707.70/1725.44	c current bound: 56448
1708.63/1726.10	c current bound: 56448
1709.02/1726.76	c current bound: 56448
1709.70/1727.43	c current bound: 56448
1710.54/1728.09	c current bound: 56448
1711.02/1728.74	c current bound: 56448
1711.67/1729.40	c current bound: 56448
1712.33/1730.07	c current bound: 56448
1712.98/1730.73	c current bound: 56448
1713.83/1731.40	c current bound: 56448
1714.32/1732.06	c current bound: 56448
1714.98/1732.72	c current bound: 56448
1715.64/1733.38	c current bound: 56448
1716.29/1734.08	c current bound: 56448
1717.17/1734.74	c current bound: 56448
1717.88/1735.40	c current bound: 56448
1718.27/1736.06	c current bound: 56448
1718.93/1736.72	c current bound: 56448
1719.59/1737.38	c current bound: 56448
1720.47/1738.04	c current bound: 56448
1720.91/1738.83	c current bound: 56448
1721.58/1739.49	c current bound: 56448
1722.45/1740.14	c current bound: 56448
1723.16/1740.80	c current bound: 56448
1723.74/1741.46	c current bound: 56448
1724.19/1742.12	c current bound: 56448
1724.86/1742.78	c current bound: 56448
1725.74/1743.43	c current bound: 56448
1726.18/1744.09	c current bound: 56448
1727.04/1744.75	c current bound: 56448
1727.50/1745.41	c current bound: 56448
1728.17/1746.09	c current bound: 56448
1729.04/1746.75	c current bound: 56448
1729.48/1747.40	c current bound: 56448
1730.34/1748.06	c current bound: 56448
1730.80/1748.72	c current bound: 56448
1731.47/1749.45	c current bound: 56448
1732.42/1750.10	c current bound: 56448
1732.81/1750.76	c current bound: 56448
1733.48/1751.43	c current bound: 56448
1734.13/1752.09	c current bound: 56448
1734.79/1752.75	c current bound: 56448
1735.72/1753.40	c current bound: 56448
1736.11/1754.18	c current bound: 56448
1736.77/1754.85	c current bound: 56448
1737.69/1755.51	c current bound: 56448
1738.10/1756.17	c current bound: 56448
1738.97/1756.83	c current bound: 56448
1739.41/1757.49	c current bound: 56448
1740.07/1758.16	c current bound: 56448
1740.98/1758.82	c current bound: 56448
1741.39/1759.47	c current bound: 56448
1742.28/1760.13	c current bound: 56448
1742.71/1760.79	c current bound: 56448
1743.37/1761.45	c current bound: 56448
1744.29/1762.11	c current bound: 56448
1744.70/1762.77	c current bound: 56448
1745.57/1763.43	c current bound: 56448
1746.00/1764.08	c current bound: 56448
1746.67/1764.82	c current bound: 56448
1747.53/1765.48	c current bound: 56448
1748.00/1766.14	c current bound: 56448
1748.67/1766.80	c current bound: 56448
1749.32/1767.46	c current bound: 56448
1749.99/1768.13	c current bound: 56448
1750.83/1768.79	c current bound: 56448
1751.32/1769.45	c current bound: 56448
1751.96/1770.11	c current bound: 56448
1752.63/1770.77	c current bound: 56448
1753.29/1771.44	c current bound: 56448
1754.24/1772.10	c current bound: 56448
1754.62/1772.76	c current bound: 56448
1755.28/1773.42	c current bound: 56448
1755.94/1774.08	c current bound: 56448
1756.59/1774.85	c current bound: 56448
1757.50/1775.51	c current bound: 56448
1757.91/1776.16	c current bound: 56448
1758.57/1776.82	c current bound: 56448
1759.22/1777.48	c current bound: 56448
1759.88/1778.14	c current bound: 56448
1760.81/1778.80	c current bound: 56448
1761.20/1779.46	c current bound: 56448
1761.87/1780.12	c current bound: 56448
1762.53/1780.78	c current bound: 56448
1763.20/1781.44	c current bound: 56448
1764.12/1782.10	c current bound: 56448
1764.52/1782.77	c current bound: 56448
1765.18/1783.43	c current bound: 56448
1765.85/1784.09	c current bound: 56448
1766.50/1784.79	c current bound: 56448
1767.38/1785.44	c current bound: 56448
1767.82/1786.10	c current bound: 56448
1768.48/1786.76	c current bound: 56448
1769.38/1787.43	c current bound: 56448
1769.81/1788.09	c current bound: 56448
1770.66/1788.75	c current bound: 56448
1771.14/1789.50	c current bound: 56448
1771.81/1790.18	c current bound: 56448
1772.70/1790.84	c current bound: 56448
1773.13/1791.50	c current bound: 56448
1773.80/1792.17	c current bound: 56448
1774.46/1792.83	c current bound: 56448
1775.12/1793.49	c current bound: 56448
1776.00/1794.15	c current bound: 56448
1776.44/1794.81	c current bound: 56448
1777.10/1795.46	c current bound: 56448
1777.76/1796.12	c current bound: 56448
1778.42/1796.78	c current bound: 56448
1779.30/1797.44	c current bound: 56448
1780.02/1798.10	c current bound: 56448
1780.39/1798.76	c current bound: 56448
1781.07/1799.42	c current bound: 56448
1781.73/1800.11	c current bound: 56448
1782.59/1800.77	c current bound: 56448
1783.04/1801.44	c current bound: 56448
1784.00/1802.10	c current bound: 56448
1784.40/1802.79	c current bound: 56448
1785.07/1803.45	c current bound: 56448
1785.97/1804.11	c current bound: 56448
1786.66/1804.85	c current bound: 56448
1787.04/1805.51	c current bound: 56448
1787.90/1806.17	c current bound: 56448
1788.38/1806.83	c current bound: 56448
1789.02/1807.49	c current bound: 56448
1789.69/1808.15	c current bound: 56448
1790.34/1808.80	c current bound: 56448
1791.21/1809.46	c current bound: 56448
1791.65/1810.12	c current bound: 56448
1792.32/1810.78	c current bound: 56448
1792.98/1811.44	c current bound: 56448
1793.64/1812.10	c current bound: 56448
1794.51/1812.76	c current bound: 56448
1794.96/1813.42	c current bound: 56448
1795.62/1814.08	c current bound: 56448
1796.29/1814.74	c current bound: 56448
1796.98/1815.49	c current bound: 56448
1797.85/1816.16	c current bound: 56448
1798.30/1816.81	c current bound: 56448
1798.96/1817.47	c current bound: 56448
1799.61/1818.12	c current bound: 56448
1800.35/1818.61	HOME/npSolver-wbo-Itdqb.sh: line 18: 12691 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752688-1339211619/watcher-3752688-1339211619 -o /tmp/evaluation-result-3752688-1339211619/solver-3752688-1339211619 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752688-1339211619.wbo 1695890468 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: 2.11 1.98 1.83 3/179 12690
/proc/meminfo: memFree=30800660/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0

[startup+0.036174 s]
/proc/loadavg: 2.11 1.98 1.83 3/179 12690
/proc/meminfo: memFree=30800660/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100323 s]
/proc/loadavg: 2.11 1.98 1.83 3/179 12690
/proc/meminfo: memFree=30800660/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30026 s]
/proc/loadavg: 2.11 1.98 1.83 3/179 12690
/proc/meminfo: memFree=30800660/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700271 s]
/proc/loadavg: 2.11 1.98 1.83 3/179 12690
/proc/meminfo: memFree=30800660/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50023 s]
/proc/loadavg: 2.11 1.98 1.83 3/183 12728
/proc/meminfo: memFree=30762812/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1.42 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 8382 37527 0 0 25 7 91 19 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 35284

[startup+3.10026 s]
/proc/loadavg: 2.11 1.98 1.83 3/183 12764
/proc/meminfo: memFree=30702876/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=2.79 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 13014 72046 0 0 43 9 175 52 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 35284

[startup+6.30032 s]
/proc/loadavg: 2.10 1.98 1.83 3/180 12863
/proc/meminfo: memFree=30776492/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=5.92 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 24587 142741 0 0 84 15 366 127 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 35284

[startup+12.7003 s]
/proc/loadavg: 2.02 1.96 1.83 3/182 13075
/proc/meminfo: memFree=30744072/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=12.34 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 45438 307647 0 0 161 25 782 266 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 35284

[startup+25.5003 s]
/proc/loadavg: 1.94 1.95 1.82 3/180 13300
/proc/meminfo: memFree=29683828/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=24.9 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) R 12690 12690 4571 0 -1 4202496 89433 611798 0 0 321 45 1568 556 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409644192 4537680 0 0 4096 0 0 0 0 17 2 0 0 7 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 35284

[startup+51.1003 s]
/proc/loadavg: 2.08 1.98 1.83 3/183 13561
/proc/meminfo: memFree=28408636/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=49.75 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 175127 1241674 0 0 638 86 3138 1113 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (KiB) 35284

[startup+102.307 s]
/proc/loadavg: 2.03 1.98 1.84 3/181 14089
/proc/meminfo: memFree=28415448/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=100.08 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 348827 2512751 0 0 1277 168 6343 2220 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 11 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (KiB) 35284

[startup+162.3 s]
/proc/loadavg: 1.95 1.97 1.84 3/183 14701
/proc/meminfo: memFree=28361472/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=159.31 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 552635 4002450 0 0 2028 263 10102 3538 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 159.31
Current children cumulated vsize (KiB) 35284

[startup+222.3 s]
/proc/loadavg: 2.07 2.00 1.86 3/181 15322
/proc/meminfo: memFree=28411428/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=218.57 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 756443 5488405 0 0 2777 360 13885 4835 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 12 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 218.57
Current children cumulated vsize (KiB) 35284

[startup+282.3 s]
/proc/loadavg: 1.82 1.95 1.85 3/183 15933
/proc/meminfo: memFree=28359032/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=278.03 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 960258 6986314 0 0 3527 455 17684 6137 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 278.03
Current children cumulated vsize (KiB) 35284

[startup+342.3 s]
/proc/loadavg: 2.09 2.02 1.87 3/183 16559
/proc/meminfo: memFree=28398732/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=337.58 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 1166375 8481873 0 0 4286 551 21459 7462 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 18 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 337.58
Current children cumulated vsize (KiB) 35284

[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.88 3/184 17171
/proc/meminfo: memFree=28376640/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1288.49 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 4464366 32535887 0 0 16484 2106 81914 28345 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 67 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
[pid=26542] ppid=12691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26542/stat : 26542 (cp2_post.sh) S 12691 12690 4571 0 -1 4202496 611 226 0 0 0 0 0 0 20 0 1 0 387417812 9367552 266 33554432000 4194304 5064252 140736085211136 140736085209424 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26542/statm: 2287 266 225 213 0 72 0
[pid=26544] ppid=26542 vsize=10312 CPUtime=0.13 cores=0,2,4,6
/proc/26544/stat : 26544 (coprocessor) R 26542 12690 4571 0 -1 4202496 2644 0 0 0 9 4 0 0 20 0 1 0 387417812 10559488 1782 33554432000 4194304 6586260 140735818847600 140736085209448 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/26544/statm: 2578 1782 148 584 0 1990 0
Current children cumulated CPU time (s) 1288.62
Current children cumulated vsize (KiB) 54744

[startup+1362.3 s]
/proc/loadavg: 2.01 1.99 1.92 3/183 27172
/proc/meminfo: memFree=28265120/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1348.15 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 4675115 34067137 0 0 17257 2207 85698 29653 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 75 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1348.15
Current children cumulated vsize (KiB) 35284

[startup+1422.31 s]
/proc/loadavg: 1.97 1.97 1.91 3/183 27809
/proc/meminfo: memFree=28261204/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1407.51 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 4883555 35579287 0 0 18021 2308 89480 30942 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 80 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
[pid=27808] ppid=12691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27808/stat : 27808 (satsolver.sh) S 12691 12690 4571 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387429799 9367552 267 33554432000 4194304 5064252 140737382328208 140737382327120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27808/statm: 2287 267 226 213 0 72 0
[pid=27809] ppid=27808 vsize=52480 CPUtime=0.27 cores=0,2,4,6
/proc/27809/stat : 27809 (glucose) R 27808 12690 4571 0 -1 4202496 12403 0 0 0 25 2 0 0 20 0 1 0 387429799 53739520 12098 33554432000 4194304 5208918 140733840752720 140733840750664 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27809/statm: 13120 12098 104 248 0 12869 0
Current children cumulated CPU time (s) 1407.78
Current children cumulated vsize (KiB) 96912

[startup+1482.3 s]
/proc/loadavg: 1.94 1.96 1.91 3/183 28432
/proc/meminfo: memFree=28294236/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1467.15 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 5091995 37096334 0 0 18789 2405 93283 32238 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 85 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1467.15
Current children cumulated vsize (KiB) 35284

[startup+1542.3 s]
/proc/loadavg: 2.03 1.98 1.91 3/184 29065
/proc/meminfo: memFree=28302004/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1526.44 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 5298126 38612367 0 0 19544 2506 97065 33529 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 92 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
[pid=29063] ppid=12691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29063/stat : 29063 (cp2_post.sh) S 12691 12690 4571 0 -1 4202496 612 226 0 0 0 0 0 0 20 0 1 0 387441802 9367552 266 33554432000 4194304 5064252 140734481614832 140734481613120 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29063/statm: 2287 266 225 213 0 72 0
[pid=29065] ppid=29063 vsize=10312 CPUtime=0.22 cores=0,2,4,6
/proc/29065/stat : 29065 (coprocessor) R 29063 12690 4571 0 -1 4202496 2133 0 0 0 14 8 0 0 20 0 1 0 387441802 10559488 1782 33554432000 4194304 6586260 140734262942752 140734481613144 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/29065/statm: 2578 1782 148 584 0 1990 0
Current children cumulated CPU time (s) 1526.66
Current children cumulated vsize (KiB) 54744

[startup+1602.3 s]
/proc/loadavg: 1.97 1.97 1.91 3/184 29688
/proc/meminfo: memFree=28297220/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1585.87 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 5506559 40119943 0 0 20309 2608 100826 34844 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 99 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1585.87
Current children cumulated vsize (KiB) 35284

[startup+1662.3 s]
/proc/loadavg: 1.94 1.95 1.91 2/183 30322
/proc/meminfo: memFree=28297060/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1645.3 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 5714999 41638862 0 0 21077 2704 104601 36148 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 104 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1645.3
Current children cumulated vsize (KiB) 35284

[startup+1722.3 s]
/proc/loadavg: 2.04 1.98 1.91 3/181 30947
/proc/meminfo: memFree=28310692/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1704.77 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 5923439 43155303 0 0 21841 2805 108399 37432 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 110 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1704.77
Current children cumulated vsize (KiB) 35284

[startup+1782.3 s]
/proc/loadavg: 1.92 1.96 1.91 3/183 31582
/proc/meminfo: memFree=28295796/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1764.22 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 6131879 44673648 0 0 22610 2902 112198 38712 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643616 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 115 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
Current children cumulated CPU time (s) 1764.22
Current children cumulated vsize (KiB) 35284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1818.6 s]
/proc/loadavg: 1.95 1.96 1.91 3/181 32024
/proc/meminfo: memFree=30497820/32873844 swapFree=7632/7632
[pid=12690] ppid=12688 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12690/stat : 12690 (npSolver-wbo-It) S 12688 12690 4571 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387287596 9367552 275 33554432000 4194304 5064252 140736352249968 140736352248880 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12690/statm: 2287 275 233 213 0 72 0
[pid=12691] ppid=12690 vsize=26136 CPUtime=1800.27 cores=0,2,4,6
/proc/12691/stat : 12691 (npSolver-wbo) S 12690 12690 4571 0 -1 4202496 6256950 45596330 0 0 23068 2963 114500 39496 20 0 1 0 387287596 26763264 5660 33554432000 4194304 6006132 140734409652256 140734409643104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 126 0 0
/proc/12691/statm: 6534 5660 175 443 0 6087 0
[pid=32022] ppid=12691 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32022/stat : 32022 (cp2_post.sh) S 12691 12690 4571 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 387469447 9367552 265 33554432000 4194304 5064252 140733911691424 140733911689712 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32022/statm: 2287 265 225 213 0 72 0
[pid=32024] ppid=32022 vsize=10312 CPUtime=0.08 cores=0,2,4,6
/proc/32024/stat : 32024 (coprocessor) R 32022 12690 4571 0 -1 4202496 2643 0 0 0 6 2 0 0 20 0 1 0 387469447 10559488 1782 33554432000 4194304 6586260 140735615062240 140733911689736 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/32024/statm: 2578 1782 148 584 0 1990 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 54744

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12690 and gives
#  childrusage.ru_utime.tv_sec=1375
#  childrusage.ru_utime.tv_usec=694862
#  childrusage.ru_stime.tv_sec=424
#  childrusage.ru_stime.tv_usec=601450
# CPU time returned by wait4() is 1800.3
# while last known CPU time is 1800.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 6.10352e-05
#  lost CPU user time (s): 0
#  lost CPU system time (s): 1.52588e-05

Real time (s): 1818.62
CPU time (s): 1800.35
CPU user time (s): 1375.74
CPU system time (s): 424.61
CPU usage (%): 98.9956
Max. virtual memory (cumulated for all children) (KiB): 96920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1375.69
system time used= 424.601
maximum resident set size= 49480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51855321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40609664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 785946
involuntary context switches= 34096

runsolver used 3.13852 second user time and 7.81581 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-09 05:13:39
IDJOB=3752688
IDBENCH=79475
IDSOLVER=2336
FILE ID=node119/3752688-1339211619
RUNJOBID= node119-1339209818-5220
PBS_JOBID= 14643877
Free space on /tmp= 71132 MiB

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

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

MD5SUM BENCH= 2ba010ecc16338ea8bf4f8f693aaf628
RANDOM SEED=1695890468

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30800660 kB
Buffers:          333400 kB
Cached:           824384 kB
SwapCached:         2564 kB
Active:           397072 kB
Inactive:         786188 kB
Active(anon):      22560 kB
Inactive(anon):     3960 kB
Active(file):     374512 kB
Inactive(file):   782228 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67097032 kB
Dirty:             12828 kB
Writeback:             0 kB
AnonPages:         38436 kB
Mapped:             9980 kB
Shmem:                 0 kB
Slab:             748440 kB
SReclaimable:     188304 kB
SUnreclaim:       560136 kB
KernelStack:        1520 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71120 MiB
End job on node119 at 2012-06-09 05:43:58