Trace number 3752861

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.08 1811.51

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
zenotravel/normalized-zenotravel02cc_wcsp.wbo
MD5SUMf7fbceb2db366adfa00d3571e2c07795
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark724
Best CPU time to get the best result obtained on this benchmark1.21481
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables423
Total number of constraints8096
Number of soft constraints7980
Number of constraints which are clauses7980
Number of constraints which are cardinality constraints (but not clauses)116
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 23921
Min constraint cost 1
Max constraint cost 23921
Sum of constraints costs 187588067
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20
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.07	c run usual solver
0.00/0.28	o 95765
0.00/0.28	c starting approximation
0.00/0.28	c factor = 2
0.00/0.28	c factor still to low - shrinking to 4585.23
0.00/0.28	c approx number of clauses: 1e+06
0.00/0.28	c current bound: 47882
1.08/1.11	c current bound: 47882
1.64/1.93	c current bound: 47882
2.48/2.78	c current bound: 47882
3.32/3.62	c current bound: 47882
4.36/4.44	c current bound: 47882
4.97/5.27	c current bound: 47882
5.81/6.11	c current bound: 47882
6.65/6.95	c current bound: 47882
7.64/7.78	c current bound: 47882
8.30/8.61	c current bound: 47882
9.15/9.47	c current bound: 47882
10.00/10.31	c current bound: 47882
11.04/11.14	c current bound: 47882
11.65/11.96	c current bound: 47882
12.49/12.79	c current bound: 47882
13.32/13.63	c current bound: 47882
14.34/14.46	c current bound: 47882
14.99/15.30	c current bound: 47882
15.82/16.13	c current bound: 47882
16.65/16.96	c current bound: 47882
17.49/17.79	c current bound: 47882
18.55/18.62	c current bound: 47882
19.15/19.45	c current bound: 47882
19.97/20.28	c current bound: 47882
20.80/21.11	c current bound: 47882
21.85/21.94	c current bound: 47882
22.46/22.77	c current bound: 47882
23.31/23.62	c current bound: 47882
24.15/24.45	c current bound: 47882
25.14/25.28	c current bound: 47882
25.79/26.11	c current bound: 47882
26.65/26.96	c current bound: 47882
27.48/27.79	c current bound: 47882
28.55/28.63	c current bound: 47882
29.14/29.46	c current bound: 47882
29.97/30.29	c current bound: 47882
30.82/31.13	c current bound: 47882
31.85/31.96	c current bound: 47882
32.47/32.79	c current bound: 47882
33.33/33.65	c current bound: 47882
34.44/35.35	c current bound: 47882
35.24/36.22	c current bound: 47882
35.83/37.05	c current bound: 47882
36.94/37.90	c current bound: 47882
37.50/38.73	c current bound: 47882
38.53/39.56	c current bound: 47882
39.16/40.54	c current bound: 47882
39.99/41.37	c current bound: 47882
40.84/42.22	c current bound: 47882
41.87/43.04	c current bound: 47882
42.49/43.87	c current bound: 47882
43.31/44.71	c current bound: 47882
44.16/45.64	c current bound: 47882
44.99/46.48	c current bound: 47882
46.08/47.32	c current bound: 47882
46.67/48.14	c current bound: 47882
47.50/48.97	c current bound: 47882
48.33/49.81	c current bound: 47882
49.40/50.76	c current bound: 47882
49.98/51.59	c current bound: 47882
50.81/52.42	c current bound: 47882
51.65/53.26	c current bound: 47882
52.74/54.10	c current bound: 47882
53.55/54.93	c current bound: 47882
54.14/55.85	c current bound: 47882
54.99/56.71	c current bound: 47882
55.84/57.56	c current bound: 47882
56.96/58.40	c current bound: 47882
57.52/59.23	c current bound: 47882
58.34/60.06	c current bound: 47882
59.44/60.95	c current bound: 47882
60.00/61.78	c current bound: 47882
61.10/62.61	c current bound: 47882
61.65/63.44	c current bound: 47882
62.51/64.30	c current bound: 47882
63.35/65.14	c current bound: 47882
64.43/66.09	c current bound: 47882
65.01/66.92	c current bound: 47882
65.85/67.75	c current bound: 47882
66.68/68.59	c current bound: 47882
67.74/69.42	c current bound: 47882
68.34/70.25	c current bound: 47882
69.16/71.20	c current bound: 47882
70.02/72.05	c current bound: 47882
70.85/72.88	c current bound: 47882
71.92/73.72	c current bound: 47882
72.50/74.55	c current bound: 47882
73.62/75.40	c current bound: 47882
74.19/76.37	c current bound: 47882
75.01/77.20	c current bound: 47882
76.07/78.03	c current bound: 47882
76.68/78.87	c current bound: 47882
77.54/79.73	c current bound: 47882
78.37/80.58	c current bound: 47882
79.46/81.55	c current bound: 47882
80.05/82.38	c current bound: 47882
80.87/83.21	c current bound: 47882
81.72/84.06	c current bound: 47882
82.83/84.90	c current bound: 47882
83.61/85.73	c current bound: 47882
84.22/86.67	c current bound: 47882
85.04/87.51	c current bound: 47882
85.90/88.35	c current bound: 47882
86.92/89.18	c current bound: 47882
87.56/90.01	c current bound: 47882
88.40/90.84	c current bound: 47882
89.24/91.82	c current bound: 47882
90.08/92.66	c current bound: 47882
91.07/93.50	c current bound: 47882
91.74/94.33	c current bound: 47882
92.59/95.18	c current bound: 47882
93.43/96.02	c current bound: 47882
94.54/96.93	c current bound: 47882
95.11/97.77	c current bound: 47882
96.20/98.60	c current bound: 47882
96.79/99.45	c current bound: 47882
97.62/100.28	c current bound: 47882
98.69/101.11	c current bound: 47882
99.27/102.08	c current bound: 47882
100.13/102.94	c current bound: 47882
100.97/103.79	c current bound: 47882
102.03/104.63	c current bound: 47882
102.64/105.46	c current bound: 47882
103.74/106.30	c current bound: 47882
104.33/107.27	c current bound: 47882
105.16/108.11	c current bound: 47882
106.21/108.93	c current bound: 47882
106.81/109.77	c current bound: 47882
107.68/110.62	c current bound: 47882
108.52/111.47	c current bound: 47882
109.58/112.43	c current bound: 47882
110.37/113.26	c current bound: 47882
111.01/114.09	c current bound: 47882
111.82/114.93	c current bound: 47882
112.67/115.76	c current bound: 47882
113.68/116.59	c current bound: 47882
114.33/117.55	c current bound: 47882
115.15/118.39	c current bound: 47882
115.99/119.22	c current bound: 47882
117.03/120.05	c current bound: 47882
117.66/120.88	c current bound: 47882
118.49/121.71	c current bound: 47882
119.33/122.68	c current bound: 47882
120.18/123.53	c current bound: 47882
121.22/124.37	c current bound: 47882
122.12/125.20	c current bound: 47882
122.69/126.03	c current bound: 47882
123.53/126.87	c current bound: 47882
124.62/127.88	c current bound: 47882
125.44/128.72	c current bound: 47882
126.02/129.54	c current bound: 47882
126.85/130.38	c current bound: 47882
127.69/131.22	c current bound: 47882
128.73/132.05	c current bound: 47882
129.64/132.96	c current bound: 47882
130.20/133.79	c current bound: 47882
131.04/134.64	c current bound: 47882
131.87/135.48	c current bound: 47882
132.95/136.33	c current bound: 47882
133.55/137.16	c current bound: 47882
134.38/138.17	c current bound: 47882
135.23/139.02	c current bound: 47882
136.26/139.85	c current bound: 47882
136.89/140.68	c current bound: 47882
137.71/141.51	c current bound: 47882
138.58/142.37	c current bound: 47882
139.41/143.36	c current bound: 47882
140.41/144.19	c current bound: 47882
141.08/145.02	c current bound: 47882
141.92/145.87	c current bound: 47882
142.76/146.72	c current bound: 47882
143.81/147.55	c current bound: 47882
144.69/148.51	c current bound: 47882
145.25/149.34	c current bound: 47882
146.08/150.17	c current bound: 47882
146.94/151.02	c current bound: 47882
147.98/151.85	c current bound: 47882
148.60/152.69	c current bound: 47882
149.47/153.68	c current bound: 47882
150.32/154.54	c current bound: 47882
151.17/155.38	c current bound: 47882
152.24/156.21	c current bound: 47882
152.82/157.04	c current bound: 47882
153.67/157.91	c current bound: 47882
154.80/158.90	c current bound: 47882
155.36/159.74	c current bound: 47882
156.39/160.57	c current bound: 47882
157.04/161.40	c current bound: 47882
157.87/162.24	c current bound: 47882
158.71/163.07	c current bound: 47882
159.81/164.03	c current bound: 47882
160.38/164.86	c current bound: 47882
161.21/165.69	c current bound: 47882
162.05/166.54	c current bound: 47882
162.87/167.40	c current bound: 47882
163.97/168.23	c current bound: 47882
164.57/169.18	c current bound: 47882
165.42/170.04	c current bound: 47882
166.26/170.87	c current bound: 47882
167.33/171.71	c current bound: 47882
167.94/172.54	c current bound: 47882
168.76/173.37	c current bound: 47882
169.61/174.24	c current bound: 47882
170.45/175.07	c current bound: 47882
171.53/175.91	c current bound: 47882
172.11/176.75	c current bound: 47882
172.95/177.58	c current bound: 47882
173.81/178.45	c current bound: 47882
174.90/179.50	c current bound: 47882
175.71/180.33	c current bound: 47882
176.32/181.16	c current bound: 47882
177.16/182.02	c current bound: 47882
178.01/182.86	c current bound: 47882
178.99/183.69	c current bound: 47882
179.91/184.74	c current bound: 47882
180.50/185.57	c current bound: 47882
181.35/186.43	c current bound: 47882
182.20/187.26	c current bound: 47882
183.17/188.10	c current bound: 47882
183.85/188.94	c current bound: 47882
184.72/189.80	c current bound: 47882
185.57/190.64	c current bound: 47882
186.59/191.47	c current bound: 47882
187.23/192.30	c current bound: 47882
188.08/193.17	c current bound: 47882
189.18/194.00	c current bound: 47882
189.97/194.83	c current bound: 47882
190.58/195.66	c current bound: 47882
191.41/196.49	c current bound: 47882
192.26/197.36	c current bound: 47882
193.11/198.19	c current bound: 47882
194.18/199.02	c current bound: 47882
194.77/199.85	c current bound: 47882
195.88/200.70	c current bound: 47882
196.45/201.53	c current bound: 47882
197.48/202.36	c current bound: 47882
198.11/203.19	c current bound: 47882
198.93/204.02	c current bound: 47882
199.77/204.86	c current bound: 47882
200.76/205.69	c current bound: 47882
201.44/206.52	c current bound: 47882
202.27/207.35	c current bound: 47882
203.10/208.19	c current bound: 47882
204.18/209.03	c current bound: 47882
204.77/209.86	c current bound: 47882
205.63/210.72	c current bound: 47882
206.46/211.55	c current bound: 47882
207.47/212.39	c current bound: 47882
208.14/213.22	c current bound: 47882
208.97/214.06	c current bound: 47882
209.83/214.91	c current bound: 47882
210.87/215.75	c current bound: 47882
211.48/216.58	c current bound: 47882
212.32/217.41	c current bound: 47882
213.17/218.26	c current bound: 47882
214.01/219.11	c current bound: 47882
215.06/219.94	c current bound: 47882
215.67/220.78	c current bound: 47882
216.53/221.63	c current bound: 47882
217.37/222.47	c current bound: 47882
218.36/223.30	c current bound: 47882
219.03/224.13	c current bound: 47882
219.88/224.98	c current bound: 47882
220.71/225.82	c current bound: 47882
221.75/226.65	c current bound: 47882
222.38/227.48	c current bound: 47882
223.22/228.32	c current bound: 47882
224.05/229.15	c current bound: 47882
225.06/229.98	c current bound: 47882
225.71/230.82	c current bound: 47882
226.53/231.64	c current bound: 47882
227.36/232.48	c current bound: 47882
228.44/233.31	c current bound: 47882
229.04/234.14	c current bound: 47882
229.86/234.97	c current bound: 47882
230.71/235.82	c current bound: 47882
231.74/236.65	c current bound: 47882
232.38/237.48	c current bound: 47882
233.21/238.32	c current bound: 47882
234.08/239.17	c current bound: 47882
234.90/240.00	c current bound: 47882
235.97/240.83	c current bound: 47882
236.56/241.66	c current bound: 47882
237.39/242.50	c current bound: 47882
238.21/243.33	c current bound: 47882
239.24/244.17	c current bound: 47882
239.88/245.01	c current bound: 47882
240.74/245.86	c current bound: 47882
241.84/246.70	c current bound: 47882
242.64/247.53	c current bound: 47882
243.25/248.36	c current bound: 47882
244.11/249.22	c current bound: 47882
244.94/250.06	c current bound: 47882
245.95/250.89	c current bound: 47882
246.61/251.72	c current bound: 47882
247.44/252.55	c current bound: 47882
248.55/253.40	c current bound: 47882
249.34/254.23	c current bound: 47882
249.94/255.06	c current bound: 47882
250.77/255.89	c current bound: 47882
251.61/256.72	c current bound: 47882
252.63/257.56	c current bound: 47882
253.25/258.39	c current bound: 47882
254.09/259.22	c current bound: 47882
254.95/260.09	c current bound: 47882
255.80/260.92	c current bound: 47882
256.85/261.75	c current bound: 47882
257.46/262.59	c current bound: 47882
258.33/263.45	c current bound: 47882
259.17/264.29	c current bound: 47882
260.24/265.12	c current bound: 47882
260.82/265.96	c current bound: 47882
261.69/266.82	c current bound: 47882
262.54/267.67	c current bound: 47882
263.62/268.50	c current bound: 47882
264.21/269.34	c current bound: 47882
265.05/270.17	c current bound: 47882
265.89/271.02	c current bound: 47882
266.92/271.85	c current bound: 47882
267.55/272.68	c current bound: 47882
268.40/273.52	c current bound: 47882
269.25/274.37	c current bound: 47882
270.07/275.20	c current bound: 47882
271.12/276.04	c current bound: 47882
271.74/276.87	c current bound: 47882
272.60/277.72	c current bound: 47882
273.43/278.56	c current bound: 47882
274.41/279.39	c current bound: 47882
275.09/280.23	c current bound: 47882
275.95/281.08	c current bound: 47882
276.79/281.92	c current bound: 47882
277.82/282.75	c current bound: 47882
278.45/283.58	c current bound: 47882
279.28/284.41	c current bound: 47882
280.13/285.26	c current bound: 47882
281.11/286.09	c current bound: 47882
281.78/286.92	c current bound: 47882
282.62/287.75	c current bound: 47882
283.73/288.60	c current bound: 47882
284.51/289.43	c current bound: 47882
285.12/290.26	c current bound: 47882
285.95/291.09	c current bound: 47882
286.81/291.94	c current bound: 47882
287.63/292.77	c current bound: 47882
288.45/293.60	c current bound: 47882
289.29/294.43	c current bound: 47882
290.13/295.28	c current bound: 47882
290.97/296.11	c current bound: 47882
292.02/296.94	c current bound: 47882
292.64/297.78	c current bound: 47882
293.49/298.63	c current bound: 47882
294.32/299.46	c current bound: 47882
295.31/300.30	c current bound: 47882
295.99/301.15	c current bound: 47882
296.84/301.99	c current bound: 47882
297.69/302.83	c current bound: 47882
298.72/303.66	c current bound: 47882
299.62/304.50	c current bound: 47882
300.22/305.36	c current bound: 47882
301.06/306.20	c current bound: 47882
302.09/307.03	c current bound: 47882
302.71/307.86	c current bound: 47882
303.54/308.69	c current bound: 47882
304.38/309.53	c current bound: 47882
305.39/310.36	c current bound: 47882
306.03/311.19	c current bound: 47882
306.87/312.02	c current bound: 47882
307.70/312.87	c current bound: 47882
308.55/313.70	c current bound: 47882
309.61/314.53	c current bound: 47882
310.22/315.36	c current bound: 47882
311.06/316.21	c current bound: 47882
311.90/317.05	c current bound: 47882
312.91/317.88	c current bound: 47882
313.55/318.71	c current bound: 47882
314.37/319.54	c current bound: 47882
315.22/320.37	c current bound: 47882
316.31/321.21	c current bound: 47882
316.88/322.03	c current bound: 47882
317.73/322.89	c current bound: 47882
318.58/323.73	c current bound: 47882
319.61/324.56	c current bound: 47882
320.22/325.39	c current bound: 47882
321.06/326.23	c current bound: 47882
321.91/327.07	c current bound: 47882
322.99/327.91	c current bound: 47882
323.57/328.74	c current bound: 47882
324.41/329.58	c current bound: 47882
325.23/330.42	c current bound: 47882
326.28/331.25	c current bound: 47882
326.91/332.08	c current bound: 47882
327.74/332.91	c current bound: 47882
328.57/333.74	c current bound: 47882
329.40/334.57	c current bound: 47882
330.49/335.40	c current bound: 47882
331.06/336.24	c current bound: 47882
331.88/337.07	c current bound: 47882
332.96/337.90	c current bound: 47882
333.76/338.73	c current bound: 47882
334.36/339.56	c current bound: 47882
335.20/340.38	c current bound: 47882
336.03/341.22	c current bound: 47882
337.08/342.04	c current bound: 47882
337.68/342.87	c current bound: 47882
338.53/343.72	c current bound: 47882
339.36/344.56	c current bound: 47882
340.37/345.39	c current bound: 47882
341.03/346.22	c current bound: 47882
341.88/347.08	c current bound: 47882
342.72/347.92	c current bound: 47882
343.76/348.75	c current bound: 47882
344.38/349.57	c current bound: 47882
345.24/350.43	c current bound: 47882
346.09/351.29	c current bound: 47882
347.17/352.13	c current bound: 47882
347.76/352.96	c current bound: 47882
348.59/353.79	c current bound: 47882
349.43/354.62	c current bound: 47882
350.47/355.46	c current bound: 47882
351.10/356.29	c current bound: 47882
351.92/357.12	c current bound: 47882
352.77/357.97	c current bound: 47882
353.87/358.80	c current bound: 47882
354.66/359.63	c current bound: 47882
355.26/360.47	c current bound: 47882
356.12/361.32	c current bound: 47882
356.95/362.16	c current bound: 47882
357.96/362.99	c current bound: 47882
358.64/363.82	c current bound: 47882
359.48/364.68	c current bound: 47882
360.32/365.53	c current bound: 47882
361.36/366.36	c current bound: 47882
361.99/367.19	c current bound: 47882
362.86/368.05	c current bound: 47882
363.70/368.89	c current bound: 47882
364.75/369.72	c current bound: 47882
365.36/370.55	c current bound: 47882
366.20/371.39	c current bound: 47882
367.06/372.24	c current bound: 47882
367.88/373.08	c current bound: 47882
368.97/373.91	c current bound: 47882
369.54/374.74	c current bound: 47882
370.39/375.59	c current bound: 47882
371.23/376.43	c current bound: 47882
372.27/377.26	c current bound: 47882
373.15/378.10	c current bound: 47882
373.74/378.95	c current bound: 47882
374.86/379.80	c current bound: 47882
375.65/380.65	c current bound: 47882
376.26/381.48	c current bound: 47882
377.11/382.31	c current bound: 47882
377.93/383.15	c current bound: 47882
379.05/384.00	c current bound: 47882
379.61/384.83	c current bound: 47882
380.45/385.67	c current bound: 47882
381.29/386.50	c current bound: 47882
382.34/387.35	c current bound: 47882
382.99/388.19	c current bound: 47882
383.81/389.03	c current bound: 47882
384.96/389.90	c current bound: 47882
385.53/390.74	c current bound: 47882
386.55/391.58	c current bound: 47882
387.20/392.42	c current bound: 47882
388.04/393.25	c current bound: 47882
389.15/394.10	c current bound: 47882
389.94/394.94	c current bound: 47882
390.57/395.78	c current bound: 47882
391.40/396.62	c current bound: 47882
392.25/397.48	c current bound: 47882
393.33/398.34	c current bound: 47882
393.96/399.17	c current bound: 47882
394.79/400.01	c current bound: 47882
395.64/400.86	c current bound: 47882
396.74/401.70	c current bound: 47882
397.54/402.54	c current bound: 47882
398.16/403.38	c current bound: 47882
399.00/404.22	c current bound: 47882
399.85/405.05	c current bound: 47882
400.85/405.89	c current bound: 47882
401.50/406.73	c current bound: 47882
402.36/407.57	c current bound: 47882
403.20/408.41	c current bound: 47882
404.24/409.25	c current bound: 47882
404.87/410.08	c current bound: 47882
405.71/410.93	c current bound: 47882
406.56/411.77	c current bound: 47882
407.63/412.61	c current bound: 47882
408.24/413.45	c current bound: 47882
409.07/414.29	c current bound: 47882
409.92/415.12	c current bound: 47882
410.76/415.98	c current bound: 47882
411.86/416.81	c current bound: 47882
412.45/417.65	c current bound: 47882
413.29/418.49	c current bound: 47882
414.13/419.33	c current bound: 47882
415.17/420.18	c current bound: 47882
415.82/421.02	c current bound: 47882
416.66/421.86	c current bound: 47882
417.50/422.69	c current bound: 47882
418.55/423.53	c current bound: 47882
419.15/424.37	c current bound: 47882
420.00/425.20	c current bound: 47882
420.87/426.06	c current bound: 47882
421.95/426.93	c current bound: 47882
422.60/427.79	c current bound: 47882
423.43/428.64	c current bound: 47882
424.28/429.49	c current bound: 47882
425.14/430.34	c current bound: 47882
426.16/431.17	c current bound: 47882
426.82/432.02	c current bound: 47882
427.67/432.86	c current bound: 47882
428.50/433.71	c current bound: 47882
429.56/434.56	c current bound: 47882
430.20/435.41	c current bound: 47882
431.05/436.26	c current bound: 47882
431.90/437.09	c current bound: 47882
432.95/437.95	c current bound: 47882
433.59/438.78	c current bound: 47882
434.43/439.62	c current bound: 47882
435.26/440.45	c current bound: 47882
436.10/441.30	c current bound: 47882
437.18/442.15	c current bound: 47882
437.80/443.01	c current bound: 47882
438.66/443.86	c current bound: 47882
439.78/444.70	c current bound: 47882
440.57/445.56	c current bound: 47882
441.20/446.40	c current bound: 47882
442.05/447.25	c current bound: 47882
443.18/448.10	c current bound: 47882
443.97/448.95	c current bound: 47882
444.60/449.79	c current bound: 47882
445.44/450.62	c current bound: 47882
446.28/451.47	c current bound: 47882
447.13/452.32	c current bound: 47882
448.19/453.17	c current bound: 47882
448.83/454.02	c current bound: 47882
449.68/454.87	c current bound: 47882
450.52/455.72	c current bound: 47882
451.59/456.57	c current bound: 47882
452.22/457.41	c current bound: 47882
453.09/458.29	c current bound: 47882
453.95/459.15	c current bound: 47882
455.09/460.00	c current bound: 47882
455.90/460.85	c current bound: 47882
456.51/461.70	c current bound: 47882
457.35/462.53	c current bound: 47882
458.19/463.38	c current bound: 47882
459.30/464.24	c current bound: 47882
459.90/465.08	c current bound: 47882
460.74/465.93	c current bound: 47882
461.59/466.78	c current bound: 47882
462.68/467.62	c current bound: 47882
463.28/468.47	c current bound: 47882
464.12/469.32	c current bound: 47882
464.99/470.17	c current bound: 47882
465.83/471.02	c current bound: 47882
466.88/471.87	c current bound: 47882
467.54/472.72	c current bound: 47882
468.39/473.55	c current bound: 47882
469.22/474.39	c current bound: 47882
470.30/475.24	c current bound: 47882
470.91/476.09	c current bound: 47882
471.75/476.93	c current bound: 47882
472.60/477.78	c current bound: 47882
473.69/478.63	c current bound: 47882
474.30/479.48	c current bound: 47882
475.15/480.33	c current bound: 47882
476.01/481.19	c current bound: 47882
476.86/482.04	c current bound: 47882
477.90/482.89	c current bound: 47882
478.56/483.74	c current bound: 47882
479.42/484.59	c current bound: 47882
480.27/485.43	c current bound: 47882
481.30/486.28	c current bound: 47882
481.95/487.13	c current bound: 47882
482.81/487.98	c current bound: 47882
483.66/488.83	c current bound: 47882
484.69/489.69	c current bound: 47882
485.61/490.54	c current bound: 47882
486.23/491.39	c current bound: 47882
487.06/492.24	c current bound: 47882
487.92/493.09	c current bound: 47882
489.01/493.92	c current bound: 47882
489.61/494.75	c current bound: 47882
490.45/495.60	c current bound: 47882
491.29/496.44	c current bound: 47882
492.32/497.29	c current bound: 47882
492.98/498.13	c current bound: 47882
493.83/498.98	c current bound: 47882
494.66/499.83	c current bound: 47882
495.72/500.68	c current bound: 47882
496.62/501.52	c current bound: 47882
497.21/502.37	c current bound: 47882
498.07/503.22	c current bound: 47882
498.91/504.08	c current bound: 47882
500.03/504.93	c current bound: 47882
500.64/505.79	c current bound: 47882
501.50/506.64	c current bound: 47882
502.36/507.47	c current bound: 47882
503.43/508.33	c current bound: 47882
504.03/509.17	c current bound: 47882
504.89/510.02	c current bound: 47882
505.74/510.85	c current bound: 47882
506.57/511.70	c current bound: 47882
507.64/512.55	c current bound: 47882
508.26/513.40	c current bound: 47882
509.11/514.25	c current bound: 47882
510.24/515.10	c current bound: 47882
511.04/515.95	c current bound: 47882
511.94/516.80	c current bound: 47882
512.51/517.65	c current bound: 47882
513.37/518.50	c current bound: 47882
514.43/519.35	c current bound: 47882
515.06/520.19	c current bound: 47882
515.90/521.04	c current bound: 47882
516.75/521.90	c current bound: 47882
517.61/522.76	c current bound: 47882
518.74/523.62	c current bound: 47882
519.33/524.48	c current bound: 47882
520.19/525.33	c current bound: 47882
521.04/526.17	c current bound: 47882
522.13/527.01	c current bound: 47882
522.73/527.87	c current bound: 47882
523.58/528.76	c current bound: 47882
524.48/529.63	c current bound: 47882
525.34/530.47	c current bound: 47882
526.44/531.32	c current bound: 47882
527.04/532.16	c current bound: 47882
527.87/533.02	c current bound: 47882
528.73/533.87	c current bound: 47882
529.84/534.72	c current bound: 47882
530.43/535.57	c current bound: 47882
531.27/536.41	c current bound: 47882
532.12/537.25	c current bound: 47882
532.97/538.10	c current bound: 47882
534.05/538.96	c current bound: 47882
534.67/539.81	c current bound: 47882
535.53/540.66	c current bound: 47882
536.38/541.49	c current bound: 47882
537.43/542.34	c current bound: 47882
538.35/543.20	c current bound: 47882
538.92/544.04	c current bound: 47882
540.05/544.90	c current bound: 47882
540.85/545.75	c current bound: 47882
541.47/546.60	c current bound: 47882
542.32/547.45	c current bound: 47882
543.45/548.30	c current bound: 47882
544.01/549.15	c current bound: 47882
545.05/550.00	c current bound: 47882
545.71/550.85	c current bound: 47882
546.85/551.70	c current bound: 47882
547.42/552.55	c current bound: 47882
548.55/553.40	c current bound: 47882
549.12/554.24	c current bound: 47882
549.96/555.08	c current bound: 47882
550.80/555.93	c current bound: 47882
551.66/556.77	c current bound: 47882
552.48/557.60	c current bound: 47882
553.33/558.44	c current bound: 47882
554.16/559.28	c current bound: 47882
554.99/560.11	c current bound: 47882
556.04/560.95	c current bound: 47882
556.66/561.78	c current bound: 47882
557.51/562.63	c current bound: 47882
558.36/563.47	c current bound: 47882
559.35/564.29	c current bound: 47882
560.02/565.13	c current bound: 47882
560.86/565.98	c current bound: 47882
561.70/566.81	c current bound: 47882
562.74/567.66	c current bound: 47882
563.38/568.50	c current bound: 47882
564.23/569.35	c current bound: 47882
565.07/570.18	c current bound: 47882
566.15/571.03	c current bound: 47882
566.76/571.86	c current bound: 47882
567.60/572.70	c current bound: 47882
568.43/573.55	c current bound: 47882
569.57/574.40	c current bound: 47882
570.37/575.25	c current bound: 47882
570.98/576.12	c current bound: 47882
571.84/576.97	c current bound: 47882
572.69/577.82	c current bound: 47882
573.76/578.67	c current bound: 47882
574.40/579.52	c current bound: 47882
575.26/580.37	c current bound: 47882
576.38/581.20	c current bound: 47882
577.16/582.05	c current bound: 47882
577.78/582.89	c current bound: 47882
578.64/583.75	c current bound: 47882
579.77/584.60	c current bound: 47882
580.33/585.44	c current bound: 47882
581.37/586.30	c current bound: 47882
582.03/587.14	c current bound: 47882
582.89/587.98	c current bound: 47882
583.72/588.81	c current bound: 47882
584.76/589.66	c current bound: 47882
585.40/590.51	c current bound: 47882
586.25/591.35	c current bound: 47882
587.38/592.20	c current bound: 47882
588.15/593.03	c current bound: 47882
588.77/593.88	c current bound: 47882
589.61/594.71	c current bound: 47882
590.45/595.56	c current bound: 47882
591.29/596.41	c current bound: 47882
592.35/597.24	c current bound: 47882
592.98/598.07	c current bound: 47882
593.82/598.92	c current bound: 47882
594.66/599.77	c current bound: 47882
595.77/600.63	c current bound: 47882
596.37/601.48	c current bound: 47882
597.22/602.31	c current bound: 47882
598.06/603.16	c current bound: 47882
599.17/604.02	c current bound: 47882
599.75/604.86	c current bound: 47882
600.60/605.69	c current bound: 47882
601.44/606.55	c current bound: 47882
602.29/607.39	c current bound: 47882
603.37/608.25	c current bound: 47882
603.99/609.09	c current bound: 47882
604.83/609.94	c current bound: 47882
605.69/610.79	c current bound: 47882
606.77/611.64	c current bound: 47882
607.38/612.50	c current bound: 47882
608.25/613.36	c current bound: 47882
609.11/614.21	c current bound: 47882
610.17/615.06	c current bound: 47882
611.08/615.92	c current bound: 47882
611.67/616.77	c current bound: 47882
612.53/617.62	c current bound: 47882
613.37/618.47	c current bound: 47882
614.47/619.34	c current bound: 47882
615.38/620.20	c current bound: 47882
615.96/621.05	c current bound: 47882
616.81/621.90	c current bound: 47882
617.88/622.75	c current bound: 47882
618.50/623.60	c current bound: 47882
619.35/624.45	c current bound: 47882
620.51/625.30	c current bound: 47882
621.05/626.15	c current bound: 47882
622.20/627.00	c current bound: 47882
622.75/627.85	c current bound: 47882
623.61/628.72	c current bound: 47882
624.49/629.57	c current bound: 47882
625.59/630.42	c current bound: 47882
626.18/631.27	c current bound: 47882
627.03/632.12	c current bound: 47882
627.88/632.97	c current bound: 47882
628.73/633.82	c current bound: 47882
629.79/634.67	c current bound: 47882
630.44/635.53	c current bound: 47882
631.30/636.38	c current bound: 47882
632.15/637.24	c current bound: 47882
633.20/638.09	c current bound: 47882
633.86/638.93	c current bound: 47882
634.71/639.78	c current bound: 47882
635.56/640.63	c current bound: 47882
636.58/641.48	c current bound: 47882
637.50/642.33	c current bound: 47882
638.10/643.18	c current bound: 47882
638.95/644.03	c current bound: 47882
639.81/644.88	c current bound: 47882
640.90/645.73	c current bound: 47882
641.50/646.58	c current bound: 47882
642.35/647.43	c current bound: 47882
643.20/648.28	c current bound: 47882
644.30/649.13	c current bound: 47882
644.91/649.98	c current bound: 47882
645.75/650.83	c current bound: 47882
646.60/651.68	c current bound: 47882
647.46/652.53	c current bound: 47882
648.52/653.38	c current bound: 47882
649.15/654.23	c current bound: 47882
649.99/655.07	c current bound: 47882
650.84/655.89	c current bound: 47882
651.90/656.74	c current bound: 47882
652.52/657.59	c current bound: 47882
653.36/658.44	c current bound: 47882
654.22/659.29	c current bound: 47882
655.30/660.15	c current bound: 47882
655.92/660.99	c current bound: 47882
656.77/661.84	c current bound: 47882
657.63/662.69	c current bound: 47882
658.47/663.54	c current bound: 47882
659.51/664.39	c current bound: 47882
660.16/665.24	c current bound: 47882
661.02/666.08	c current bound: 47882
661.87/666.93	c current bound: 47882
662.91/667.79	c current bound: 47882
663.58/668.63	c current bound: 47882
664.42/669.48	c current bound: 47882
665.27/670.33	c current bound: 47882
666.31/671.18	c current bound: 47882
667.22/672.03	c current bound: 47882
667.82/672.88	c current bound: 47882
668.68/673.73	c current bound: 47882
669.53/674.58	c current bound: 47882
670.61/675.43	c current bound: 47882
671.22/676.28	c current bound: 47882
672.08/677.15	c current bound: 47882
672.95/678.00	c current bound: 47882
674.01/678.86	c current bound: 47882
674.92/679.71	c current bound: 47882
675.50/680.56	c current bound: 47882
676.35/681.41	c current bound: 47882
677.20/682.26	c current bound: 47882
678.33/683.11	c current bound: 47882
678.92/683.97	c current bound: 47882
679.77/684.82	c current bound: 47882
680.62/685.67	c current bound: 47882
681.72/686.52	c current bound: 47882
682.32/687.38	c current bound: 47882
683.18/688.23	c current bound: 47882
684.02/689.07	c current bound: 47882
684.88/689.92	c current bound: 47882
685.94/690.77	c current bound: 47882
686.57/691.61	c current bound: 47882
687.41/692.46	c current bound: 47882
688.26/693.31	c current bound: 47882
689.39/694.21	c current bound: 47882
689.96/695.05	c current bound: 47882
691.08/695.90	c current bound: 47882
691.65/696.75	c current bound: 47882
692.78/697.60	c current bound: 47882
693.57/698.45	c current bound: 47882
694.20/699.29	c current bound: 47882
695.05/700.14	c current bound: 47882
695.89/700.99	c current bound: 47882
696.99/701.84	c current bound: 47882
697.59/702.68	c current bound: 47882
698.44/703.53	c current bound: 47882
699.29/704.38	c current bound: 47882
700.37/705.22	c current bound: 47882
700.98/706.07	c current bound: 47882
701.84/706.92	c current bound: 47882
702.67/707.77	c current bound: 47882
703.52/708.62	c current bound: 47882
704.58/709.46	c current bound: 47882
705.23/710.31	c current bound: 47882
706.08/711.16	c current bound: 47882
706.93/712.01	c current bound: 47882
707.99/712.86	c current bound: 47882
708.62/713.72	c current bound: 47882
709.48/714.59	c current bound: 47882
710.36/715.44	c current bound: 47882
711.20/716.27	c current bound: 47882
712.30/717.12	c current bound: 47882
712.89/717.97	c current bound: 47882
713.74/718.82	c current bound: 47882
714.60/719.66	c current bound: 47882
715.71/720.51	c current bound: 47882
716.28/721.36	c current bound: 47882
717.14/722.19	c current bound: 47882
717.97/723.04	c current bound: 47882
719.01/723.89	c current bound: 47882
719.67/724.74	c current bound: 47882
720.53/725.59	c current bound: 47882
721.38/726.44	c current bound: 47882
722.23/727.27	c current bound: 47882
723.31/728.12	c current bound: 47882
723.91/728.98	c current bound: 47882
724.76/729.83	c current bound: 47882
725.62/730.69	c current bound: 47882
726.72/731.54	c current bound: 47882
727.34/732.39	c current bound: 47882
728.19/733.23	c current bound: 47882
729.02/734.09	c current bound: 47882
730.12/734.94	c current bound: 47882
730.74/735.79	c current bound: 47882
731.59/736.64	c current bound: 47882
732.45/737.49	c current bound: 47882
733.30/738.34	c current bound: 47882
734.33/739.19	c current bound: 47882
735.01/740.04	c current bound: 47882
736.14/740.90	c current bound: 47882
736.70/741.75	c current bound: 47882
737.84/742.60	c current bound: 47882
738.40/743.45	c current bound: 47882
739.54/744.30	c current bound: 47882
740.11/745.14	c current bound: 47882
740.93/745.96	c current bound: 47882
742.03/746.81	c current bound: 47882
742.62/747.66	c current bound: 47882
743.47/748.51	c current bound: 47882
744.32/749.36	c current bound: 47882
745.34/750.20	c current bound: 47882
746.00/751.05	c current bound: 47882
747.14/751.90	c current bound: 47882
747.70/752.76	c current bound: 47882
748.83/753.61	c current bound: 47882
749.42/754.45	c current bound: 47882
750.27/755.30	c current bound: 47882
751.12/756.15	c current bound: 47882
751.97/757.00	c current bound: 47882
753.03/757.86	c current bound: 47882
753.68/758.71	c current bound: 47882
754.52/759.56	c current bound: 47882
755.38/760.41	c current bound: 47882
756.45/761.27	c current bound: 47882
757.09/762.12	c current bound: 47882
757.94/762.97	c current bound: 47882
758.80/763.82	c current bound: 47882
759.84/764.65	c current bound: 47882
760.76/765.50	c current bound: 47882
761.33/766.35	c current bound: 47882
762.47/767.20	c current bound: 47882
763.02/768.05	c current bound: 47882
764.17/768.91	c current bound: 47882
764.73/769.75	c current bound: 47882
765.58/770.61	c current bound: 47882
766.44/771.46	c current bound: 47882
767.54/772.31	c current bound: 47882
768.14/773.16	c current bound: 47882
768.99/774.01	c current bound: 47882
769.85/774.86	c current bound: 47882
770.70/775.72	c current bound: 47882
771.75/776.56	c current bound: 47882
772.40/777.41	c current bound: 47882
773.24/778.26	c current bound: 47882
774.09/779.11	c current bound: 47882
775.16/779.96	c current bound: 47882
775.80/780.80	c current bound: 47882
776.65/781.64	c current bound: 47882
777.49/782.47	c current bound: 47882
778.57/783.30	c current bound: 47882
779.14/784.13	c current bound: 47882
779.97/784.96	c current bound: 47882
780.80/785.81	c current bound: 47882
781.85/786.64	c current bound: 47882
782.48/787.47	c current bound: 47882
783.31/788.31	c current bound: 47882
784.14/789.14	c current bound: 47882
784.97/789.97	c current bound: 47882
786.07/790.80	c current bound: 47882
786.65/791.63	c current bound: 47882
787.48/792.47	c current bound: 47882
788.30/793.31	c current bound: 47882
789.37/794.14	c current bound: 47882
789.98/794.97	c current bound: 47882
790.80/795.81	c current bound: 47882
791.65/796.64	c current bound: 47882
792.66/797.48	c current bound: 47882
793.31/798.32	c current bound: 47882
794.42/799.25	c current bound: 47882
794.98/800.08	c current bound: 47882
796.06/800.92	c current bound: 47882
796.66/801.75	c current bound: 47882
797.49/802.58	c current bound: 47882
798.31/803.42	c current bound: 47882
799.36/804.25	c current bound: 47882
799.99/805.08	c current bound: 47882
800.82/805.92	c current bound: 47882
801.64/806.75	c current bound: 47882
802.47/807.59	c current bound: 47882
803.54/808.42	c current bound: 47882
804.14/809.25	c current bound: 47882
804.97/810.08	c current bound: 47882
805.81/810.92	c current bound: 47882
806.84/811.75	c current bound: 47882
807.46/812.58	c current bound: 47882
808.29/813.43	c current bound: 47882
809.15/814.27	c current bound: 47882
810.15/815.10	c current bound: 47882
810.83/815.93	c current bound: 47882
811.65/816.77	c current bound: 47882
812.75/817.60	c current bound: 47882
813.55/818.44	c current bound: 47882
814.15/819.27	c current bound: 47882
814.98/820.10	c current bound: 47882
815.83/820.94	c current bound: 47882
816.84/821.78	c current bound: 47882
817.50/822.61	c current bound: 47882
818.33/823.45	c current bound: 47882
819.16/824.28	c current bound: 47882
820.23/825.11	c current bound: 47882
820.84/825.95	c current bound: 47882
821.67/826.78	c current bound: 47882
822.50/827.61	c current bound: 47882
823.54/828.44	c current bound: 47882
824.15/829.27	c current bound: 47882
825.25/830.10	c current bound: 47882
825.80/830.93	c current bound: 47882
826.83/831.76	c current bound: 47882
827.47/832.59	c current bound: 47882
828.30/833.43	c current bound: 47882
829.14/834.26	c current bound: 47882
830.24/835.10	c current bound: 47882
831.04/835.93	c current bound: 47882
831.63/836.76	c current bound: 47882
832.47/837.59	c current bound: 47882
833.30/838.42	c current bound: 47882
834.34/839.25	c current bound: 47882
834.94/840.09	c current bound: 47882
835.78/840.93	c current bound: 47882
836.63/841.76	c current bound: 47882
837.74/842.60	c current bound: 47882
838.30/843.44	c current bound: 47882
839.14/844.27	c current bound: 47882
839.98/845.12	c current bound: 47882
841.02/845.95	c current bound: 47882
841.64/846.79	c current bound: 47882
842.47/847.62	c current bound: 47882
843.30/848.45	c current bound: 47882
844.32/849.28	c current bound: 47882
844.98/850.11	c current bound: 47882
845.79/850.94	c current bound: 47882
846.62/851.78	c current bound: 47882
847.71/852.61	c current bound: 47882
848.29/853.46	c current bound: 47882
849.13/854.28	c current bound: 47882
849.97/855.11	c current bound: 47882
851.01/855.95	c current bound: 47882
851.64/856.78	c current bound: 47882
852.46/857.61	c current bound: 47882
853.29/858.45	c current bound: 47882
854.13/859.28	c current bound: 47882
855.20/860.11	c current bound: 47882
855.78/860.94	c current bound: 47882
856.61/861.77	c current bound: 47882
857.44/862.60	c current bound: 47882
858.50/863.43	c current bound: 47882
859.10/864.26	c current bound: 47882
860.20/865.10	c current bound: 47882
860.77/865.93	c current bound: 47882
861.79/866.76	c current bound: 47882
862.43/867.59	c current bound: 47882
863.26/868.42	c current bound: 47882
864.10/869.26	c current bound: 47882
865.09/870.08	c current bound: 47882
865.76/870.92	c current bound: 47882
866.59/871.75	c current bound: 47882
867.42/872.58	c current bound: 47882
868.50/873.40	c current bound: 47882
869.06/874.23	c current bound: 47882
869.89/875.06	c current bound: 47882
870.74/875.90	c current bound: 47882
871.77/876.73	c current bound: 47882
872.39/877.67	c current bound: 47882
873.49/878.50	c current bound: 47882
874.06/879.35	c current bound: 47882
874.90/880.19	c current bound: 47882
875.98/881.02	c current bound: 47882
876.56/881.85	c current bound: 47882
877.42/882.83	c current bound: 47882
878.27/883.68	c current bound: 47882
879.35/884.52	c current bound: 47882
879.94/885.35	c current bound: 47882
880.77/886.18	c current bound: 47882
881.61/887.01	c current bound: 47882
882.71/887.94	c current bound: 47882
883.45/888.77	c current bound: 47882
884.10/889.60	c current bound: 47882
884.96/890.45	c current bound: 47882
885.79/891.30	c current bound: 47882
886.85/892.13	c current bound: 47882
887.71/893.15	c current bound: 47882
888.29/893.98	c current bound: 47882
889.15/894.84	c current bound: 47882
889.97/895.68	c current bound: 47882
891.06/896.51	c current bound: 47882
891.64/897.34	c current bound: 47882
892.48/898.37	c current bound: 47882
893.34/899.22	c current bound: 47882
894.19/900.06	c current bound: 47882
895.19/900.89	c current bound: 47882
895.85/901.72	c current bound: 47882
896.68/902.56	c current bound: 47882
897.52/903.51	c current bound: 47882
898.56/904.34	c current bound: 47882
899.17/905.17	c current bound: 47882
900.27/906.00	c current bound: 47882
900.83/906.83	c current bound: 47882
901.68/907.66	c current bound: 47882
902.75/908.63	c current bound: 47882
903.34/909.47	c current bound: 47882
904.43/910.30	c current bound: 47882
905.01/911.14	c current bound: 47882
906.03/911.97	c current bound: 47882
906.69/912.80	c current bound: 47882
907.53/913.81	c current bound: 47882
908.37/914.65	c current bound: 47882
909.22/915.49	c current bound: 47882
910.28/916.32	c current bound: 47882
910.88/917.15	c current bound: 47882
911.98/918.00	c current bound: 47882
912.83/918.94	c current bound: 47882
913.40/919.77	c current bound: 47882
914.24/920.60	c current bound: 47882
915.05/921.43	c current bound: 47882
915.91/922.28	c current bound: 47882
916.74/923.11	c current bound: 47882
917.81/924.10	c current bound: 47882
918.40/924.92	c current bound: 47882
919.23/925.76	c current bound: 47882
920.34/926.60	c current bound: 47882
921.12/927.43	c current bound: 47882
921.73/928.26	c current bound: 47882
922.57/929.18	c current bound: 47882
923.42/930.03	c current bound: 47882
924.24/930.86	c current bound: 47882
925.24/931.69	c current bound: 47882
925.92/932.53	c current bound: 47882
926.76/933.38	c current bound: 47882
927.59/934.36	c current bound: 47882
928.43/935.19	c current bound: 47882
929.49/936.02	c current bound: 47882
930.08/936.85	c current bound: 47882
931.20/937.70	c current bound: 47882
931.77/938.54	c current bound: 47882
932.86/939.42	c current bound: 47882
933.44/940.25	c current bound: 47882
934.30/941.10	c current bound: 47882
935.13/941.94	c current bound: 47882
936.16/942.77	c current bound: 47882
936.80/943.60	c current bound: 47882
937.93/944.61	c current bound: 47882
938.52/945.46	c current bound: 47882
939.62/946.30	c current bound: 47882
940.42/947.13	c current bound: 47882
941.01/947.95	c current bound: 47882
941.87/948.81	c current bound: 47882
942.71/949.79	c current bound: 47882
943.54/950.62	c current bound: 47882
944.59/951.45	c current bound: 47882
945.21/952.28	c current bound: 47882
946.05/953.13	c current bound: 47882
946.88/953.97	c current bound: 47882
947.99/954.90	c current bound: 47882
948.55/955.73	c current bound: 47882
949.38/956.56	c current bound: 47882
950.21/957.40	c current bound: 47882
951.27/958.23	c current bound: 47882
951.89/959.06	c current bound: 47882
952.96/959.93	c current bound: 47882
953.55/960.78	c current bound: 47882
954.38/961.62	c current bound: 47882
955.43/962.45	c current bound: 47882
956.04/963.28	c current bound: 47882
956.87/964.11	c current bound: 47882
957.71/965.10	c current bound: 47882
958.77/965.93	c current bound: 47882
959.37/966.76	c current bound: 47882
960.20/967.59	c current bound: 47882
961.05/968.45	c current bound: 47882
961.89/969.31	c current bound: 47882
962.98/970.26	c current bound: 47882
963.57/971.09	c current bound: 47882
964.42/971.95	c current bound: 47882
965.25/972.78	c current bound: 47882
966.34/973.61	c current bound: 47882
966.91/974.44	c current bound: 47882
967.76/975.39	c current bound: 47882
968.61/976.24	c current bound: 47882
969.46/977.08	c current bound: 47882
970.53/977.91	c current bound: 47882
971.10/978.74	c current bound: 47882
971.95/979.60	c current bound: 47882
972.81/980.59	c current bound: 47882
973.63/981.43	c current bound: 47882
974.68/982.26	c current bound: 47882
975.32/983.09	c current bound: 47882
976.16/983.96	c current bound: 47882
977.01/984.79	c current bound: 47882
978.10/985.76	c current bound: 47882
978.67/986.60	c current bound: 47882
979.49/987.44	c current bound: 47882
980.36/988.31	c current bound: 47882
981.21/989.14	c current bound: 47882
982.23/989.97	c current bound: 47882
982.89/990.96	c current bound: 47882
983.70/991.79	c current bound: 47882
984.56/992.63	c current bound: 47882
985.56/993.46	c current bound: 47882
986.48/994.31	c current bound: 47882
987.07/995.15	c current bound: 47882
987.93/996.01	c current bound: 47882
988.75/996.84	c current bound: 47882
989.78/997.70	c current bound: 47882
990.46/998.53	c current bound: 47882
991.31/999.39	c current bound: 47882
992.15/1000.23	c current bound: 47882
993.25/1001.20	c current bound: 47882
994.03/1002.03	c current bound: 47882
994.64/1002.88	c current bound: 47882
995.52/1003.74	c current bound: 47882
996.35/1004.57	c current bound: 47882
997.45/1005.40	c current bound: 47882
998.26/1006.41	c current bound: 47882
998.83/1007.24	c current bound: 47882
999.69/1008.09	c current bound: 47882
1000.52/1008.92	c current bound: 47882
1001.56/1009.76	c current bound: 47882
1002.17/1010.59	c current bound: 47882
1003.03/1011.59	c current bound: 47882
1003.88/1012.44	c current bound: 47882
1004.72/1013.27	c current bound: 47882
1005.55/1014.10	c current bound: 47882
1006.38/1014.93	c current bound: 47882
1007.24/1015.78	c current bound: 47882
1008.07/1016.74	c current bound: 47882
1009.09/1017.57	c current bound: 47882
1009.73/1018.40	c current bound: 47882
1010.59/1019.26	c current bound: 47882
1011.43/1020.11	c current bound: 47882
1012.48/1020.94	c current bound: 47882
1013.36/1021.91	c current bound: 47882
1013.92/1022.74	c current bound: 47882
1015.05/1023.60	c current bound: 47882
1015.62/1024.44	c current bound: 47882
1016.64/1025.27	c current bound: 47882
1017.28/1026.10	c current bound: 47882
1018.15/1026.97	c current bound: 47882
1019.00/1027.82	c current bound: 47882
1020.02/1028.65	c current bound: 47882
1020.67/1029.48	c current bound: 47882
1021.49/1030.31	c current bound: 47882
1022.32/1031.14	c current bound: 47882
1023.16/1032.12	c current bound: 47882
1024.20/1032.95	c current bound: 47882
1024.82/1033.78	c current bound: 47882
1025.65/1034.61	c current bound: 47882
1026.48/1035.44	c current bound: 47882
1027.50/1036.27	c current bound: 47882
1028.40/1037.27	c current bound: 47882
1028.97/1038.11	c current bound: 47882
1029.81/1038.94	c current bound: 47882
1030.66/1039.79	c current bound: 47882
1031.73/1040.61	c current bound: 47882
1032.32/1041.44	c current bound: 47882
1033.13/1042.46	c current bound: 47882
1033.98/1043.31	c current bound: 47882
1035.07/1044.24	c current bound: 47882
1035.84/1045.07	c current bound: 47882
1036.74/1045.90	c current bound: 47882
1037.30/1046.73	c current bound: 47882
1038.11/1047.56	c current bound: 47882
1039.12/1048.39	c current bound: 47882
1039.79/1049.22	c current bound: 47882
1040.61/1050.05	c current bound: 47882
1041.46/1050.89	c current bound: 47882
1042.52/1051.72	c current bound: 47882
1043.11/1052.55	c current bound: 47882
1043.95/1053.38	c current bound: 47882
1044.79/1054.23	c current bound: 47882
1045.80/1055.06	c current bound: 47882
1046.73/1055.90	c current bound: 47882
1047.29/1056.73	c current bound: 47882
1048.14/1057.58	c current bound: 47882
1048.97/1058.42	c current bound: 47882
1050.01/1059.26	c current bound: 47882
1050.66/1060.09	c current bound: 47882
1051.51/1060.94	c current bound: 47882
1052.34/1061.78	c current bound: 47882
1053.43/1062.62	c current bound: 47882
1054.01/1063.46	c current bound: 47882
1054.88/1064.34	c current bound: 47882
1055.73/1065.19	c current bound: 47882
1056.80/1066.02	c current bound: 47882
1057.40/1066.85	c current bound: 47882
1058.24/1067.68	c current bound: 47882
1059.07/1068.53	c current bound: 47882
1060.09/1069.36	c current bound: 47882
1060.74/1070.19	c current bound: 47882
1061.57/1071.02	c current bound: 47882
1062.41/1071.87	c current bound: 47882
1063.24/1072.71	c current bound: 47882
1064.30/1073.54	c current bound: 47882
1064.91/1074.37	c current bound: 47882
1065.77/1075.22	c current bound: 47882
1066.60/1076.06	c current bound: 47882
1067.60/1076.90	c current bound: 47882
1068.28/1077.73	c current bound: 47882
1069.13/1078.59	c current bound: 47882
1069.96/1079.43	c current bound: 47882
1070.99/1080.27	c current bound: 47882
1071.63/1081.10	c current bound: 47882
1072.51/1081.97	c current bound: 47882
1073.35/1082.81	c current bound: 47882
1074.38/1083.65	c current bound: 47882
1075.02/1084.48	c current bound: 47882
1075.85/1085.31	c current bound: 47882
1076.71/1086.16	c current bound: 47882
1077.80/1087.00	c current bound: 47882
1078.58/1087.83	c current bound: 47882
1079.20/1088.67	c current bound: 47882
1080.05/1089.52	c current bound: 47882
1080.88/1090.36	c current bound: 47882
1081.87/1091.19	c current bound: 47882
1082.55/1092.02	c current bound: 47882
1083.41/1092.88	c current bound: 47882
1084.23/1093.72	c current bound: 47882
1085.28/1094.55	c current bound: 47882
1085.90/1095.38	c current bound: 47882
1086.75/1096.24	c current bound: 47882
1087.59/1097.08	c current bound: 47882
1088.66/1097.90	c current bound: 47882
1089.26/1098.73	c current bound: 47882
1090.09/1099.56	c current bound: 47882
1090.90/1100.39	c current bound: 47882
1091.96/1101.22	c current bound: 47882
1092.57/1102.05	c current bound: 47882
1093.40/1102.88	c current bound: 47882
1094.24/1103.72	c current bound: 47882
1095.25/1104.55	c current bound: 47882
1095.88/1105.38	c current bound: 47882
1096.72/1106.21	c current bound: 47882
1097.57/1107.06	c current bound: 47882
1098.39/1107.89	c current bound: 47882
1099.46/1108.72	c current bound: 47882
1100.06/1109.55	c current bound: 47882
1100.92/1110.42	c current bound: 47882
1101.75/1111.26	c current bound: 47882
1102.76/1112.09	c current bound: 47882
1103.42/1112.92	c current bound: 47882
1104.26/1113.77	c current bound: 47882
1105.09/1114.61	c current bound: 47882
1106.15/1115.44	c current bound: 47882
1106.76/1116.27	c current bound: 47882
1107.61/1117.13	c current bound: 47882
1108.45/1117.97	c current bound: 47882
1109.53/1118.80	c current bound: 47882
1110.11/1119.63	c current bound: 47882
1110.94/1120.46	c current bound: 47882
1111.79/1121.32	c current bound: 47882
1112.84/1122.15	c current bound: 47882
1113.45/1122.97	c current bound: 47882
1114.29/1123.80	c current bound: 47882
1115.11/1124.65	c current bound: 47882
1115.96/1125.48	c current bound: 47882
1117.03/1126.31	c current bound: 47882
1117.61/1127.14	c current bound: 47882
1118.45/1127.98	c current bound: 47882
1119.28/1128.81	c current bound: 47882
1120.32/1129.66	c current bound: 47882
1120.95/1130.49	c current bound: 47882
1121.78/1131.31	c current bound: 47882
1122.61/1132.15	c current bound: 47882
1123.62/1132.98	c current bound: 47882
1124.27/1133.81	c current bound: 47882
1125.12/1134.65	c current bound: 47882
1126.22/1135.50	c current bound: 47882
1127.02/1136.33	c current bound: 47882
1127.62/1137.16	c current bound: 47882
1128.47/1138.01	c current bound: 47882
1129.31/1138.85	c current bound: 47882
1130.33/1139.68	c current bound: 47882
1130.99/1140.52	c current bound: 47882
1131.84/1141.37	c current bound: 47882
1132.68/1142.21	c current bound: 47882
1133.71/1143.04	c current bound: 47882
1134.33/1143.87	c current bound: 47882
1135.16/1144.72	c current bound: 47882
1136.01/1145.56	c current bound: 47882
1136.85/1146.39	c current bound: 47882
1137.91/1147.22	c current bound: 47882
1138.51/1148.05	c current bound: 47882
1139.62/1148.90	c current bound: 47882
1140.19/1149.74	c current bound: 47882
1141.22/1150.57	c current bound: 47882
1141.86/1151.40	c current bound: 47882
1142.70/1152.25	c current bound: 47882
1143.54/1153.08	c current bound: 47882
1144.61/1153.91	c current bound: 47882
1145.18/1154.74	c current bound: 47882
1146.03/1155.58	c current bound: 47882
1146.87/1156.42	c current bound: 47882
1147.91/1157.25	c current bound: 47882
1148.52/1158.08	c current bound: 47882
1149.38/1158.93	c current bound: 47882
1150.21/1159.77	c current bound: 47882
1151.30/1160.60	c current bound: 47882
1151.86/1161.43	c current bound: 47882
1152.70/1162.26	c current bound: 47882
1153.52/1163.09	c current bound: 47882
1154.58/1163.91	c current bound: 47882
1155.19/1164.74	c current bound: 47882
1156.01/1165.57	c current bound: 47882
1156.84/1166.40	c current bound: 47882
1157.88/1167.23	c current bound: 47882
1158.50/1168.06	c current bound: 47882
1159.32/1168.89	c current bound: 47882
1160.15/1169.73	c current bound: 47882
1161.17/1170.57	c current bound: 47882
1162.09/1171.40	c current bound: 47882
1162.66/1172.24	c current bound: 47882
1163.49/1173.07	c current bound: 47882
1164.34/1173.91	c current bound: 47882
1165.37/1174.75	c current bound: 47882
1166.29/1175.60	c current bound: 47882
1166.86/1176.43	c current bound: 47882
1167.70/1177.28	c current bound: 47882
1168.79/1178.12	c current bound: 47882
1169.41/1178.96	c current bound: 47882
1170.23/1179.79	c current bound: 47882
1171.06/1180.63	c current bound: 47882
1172.10/1181.46	c current bound: 47882
1173.02/1182.30	c current bound: 47882
1173.59/1183.14	c current bound: 47882
1174.43/1183.98	c current bound: 47882
1175.51/1184.82	c current bound: 47882
1176.13/1185.65	c current bound: 47882
1176.95/1186.49	c current bound: 47882
1177.82/1187.34	c current bound: 47882
1178.65/1188.19	c current bound: 47882
1179.72/1189.02	c current bound: 47882
1180.32/1189.86	c current bound: 47882
1181.17/1190.69	c current bound: 47882
1182.01/1191.52	c current bound: 47882
1183.04/1192.36	c current bound: 47882
1183.94/1193.20	c current bound: 47882
1184.52/1194.04	c current bound: 47882
1185.34/1194.88	c current bound: 47882
1186.44/1195.72	c current bound: 47882
1187.04/1196.55	c current bound: 47882
1187.87/1197.39	c current bound: 47882
1188.70/1198.22	c current bound: 47882
1189.74/1199.06	c current bound: 47882
1190.37/1199.89	c current bound: 47882
1191.20/1200.72	c current bound: 47882
1192.03/1201.56	c current bound: 47882
1193.13/1202.40	c current bound: 47882
1193.72/1203.24	c current bound: 47882
1194.56/1204.08	c current bound: 47882
1195.40/1204.91	c current bound: 47882
1196.44/1205.75	c current bound: 47882
1197.07/1206.58	c current bound: 47882
1197.89/1207.41	c current bound: 47882
1198.73/1208.25	c current bound: 47882
1199.56/1209.09	c current bound: 47882
1200.65/1209.92	c current bound: 47882
1201.25/1210.76	c current bound: 47882
1202.07/1211.59	c current bound: 47882
1202.92/1212.42	c current bound: 47882
1203.94/1213.26	c current bound: 47882
1204.86/1214.10	c current bound: 47882
1205.42/1214.93	c current bound: 47882
1206.26/1215.77	c current bound: 47882
1207.37/1216.61	c current bound: 47882
1207.93/1217.44	c current bound: 47882
1208.77/1218.28	c current bound: 47882
1209.61/1219.11	c current bound: 47882
1210.65/1219.95	c current bound: 47882
1211.27/1220.78	c current bound: 47882
1212.12/1221.61	c current bound: 47882
1212.94/1222.45	c current bound: 47882
1213.96/1223.28	c current bound: 47882
1214.62/1224.12	c current bound: 47882
1215.45/1224.95	c current bound: 47882
1216.30/1225.79	c current bound: 47882
1217.36/1226.65	c current bound: 47882
1218.00/1227.49	c current bound: 47882
1218.84/1228.33	c current bound: 47882
1219.67/1229.16	c current bound: 47882
1220.50/1229.99	c current bound: 47882
1221.57/1230.83	c current bound: 47882
1222.18/1231.68	c current bound: 47882
1223.03/1232.52	c current bound: 47882
1223.87/1233.35	c current bound: 47882
1224.88/1234.19	c current bound: 47882
1225.53/1235.02	c current bound: 47882
1226.37/1235.85	c current bound: 47882
1227.21/1236.68	c current bound: 47882
1228.28/1237.52	c current bound: 47882
1228.88/1238.36	c current bound: 47882
1229.70/1239.19	c current bound: 47882
1230.53/1240.02	c current bound: 47882
1231.59/1240.85	c current bound: 47882
1232.22/1241.69	c current bound: 47882
1233.04/1242.53	c current bound: 47882
1233.89/1243.36	c current bound: 47882
1234.89/1244.19	c current bound: 47882
1235.56/1245.03	c current bound: 47882
1236.39/1245.87	c current bound: 47882
1237.50/1246.70	c current bound: 47882
1238.29/1247.54	c current bound: 47882
1238.92/1248.38	c current bound: 47882
1239.75/1249.21	c current bound: 47882
1240.58/1250.04	c current bound: 47882
1241.41/1250.88	c current bound: 47882
1242.49/1251.71	c current bound: 47882
1243.08/1252.54	c current bound: 47882
1243.92/1253.38	c current bound: 47882
1244.76/1254.21	c current bound: 47882
1245.79/1255.05	c current bound: 47882
1246.43/1255.89	c current bound: 47882
1247.27/1256.72	c current bound: 47882
1248.10/1257.56	c current bound: 47882
1249.11/1258.40	c current bound: 47882
1249.78/1259.23	c current bound: 47882
1250.61/1260.06	c current bound: 47882
1251.71/1260.90	c current bound: 47882
1252.51/1261.73	c current bound: 47882
1253.12/1262.56	c current bound: 47882
1254.22/1263.40	c current bound: 47882
1254.79/1264.24	c current bound: 47882
1255.82/1265.08	c current bound: 47882
1256.46/1265.91	c current bound: 47882
1257.29/1266.74	c current bound: 47882
1258.14/1267.59	c current bound: 47882
1259.20/1268.43	c current bound: 47882
1259.82/1269.30	c current bound: 47882
1260.67/1270.14	c current bound: 47882
1261.53/1270.98	c current bound: 47882
1262.36/1271.82	c current bound: 47882
1263.42/1272.66	c current bound: 47882
1264.05/1273.51	c current bound: 47882
1264.89/1274.35	c current bound: 47882
1265.74/1275.19	c current bound: 47882
1266.81/1276.04	c current bound: 47882
1267.44/1276.89	c current bound: 47882
1268.28/1277.73	c current bound: 47882
1269.13/1278.57	c current bound: 47882
1270.21/1279.43	c current bound: 47882
1270.82/1280.27	c current bound: 47882
1271.68/1281.12	c current bound: 47882
1272.51/1281.96	c current bound: 47882
1273.36/1282.80	c current bound: 47882
1274.44/1283.65	c current bound: 47882
1275.03/1284.49	c current bound: 47882
1275.89/1285.33	c current bound: 47882
1276.73/1286.17	c current bound: 47882
1277.82/1287.02	c current bound: 47882
1278.42/1287.86	c current bound: 47882
1279.27/1288.71	c current bound: 47882
1280.12/1289.55	c current bound: 47882
1281.21/1290.40	c current bound: 47882
1281.81/1291.25	c current bound: 47882
1282.95/1292.10	c current bound: 47882
1283.51/1292.94	c current bound: 47882
1284.35/1293.77	c current bound: 47882
1285.43/1294.61	c current bound: 47882
1286.02/1295.46	c current bound: 47882
1287.15/1296.30	c current bound: 47882
1287.69/1297.14	c current bound: 47882
1288.74/1297.99	c current bound: 47882
1289.39/1298.83	c current bound: 47882
1290.24/1299.68	c current bound: 47882
1291.09/1300.52	c current bound: 47882
1292.14/1301.37	c current bound: 47882
1292.78/1302.21	c current bound: 47882
1293.65/1303.08	c current bound: 47882
1294.49/1303.92	c current bound: 47882
1295.54/1304.77	c current bound: 47882
1296.45/1305.61	c current bound: 47882
1297.02/1306.45	c current bound: 47882
1297.86/1307.29	c current bound: 47882
1298.71/1308.13	c current bound: 47882
1299.76/1308.98	c current bound: 47882
1300.40/1309.82	c current bound: 47882
1301.23/1310.66	c current bound: 47882
1302.08/1311.51	c current bound: 47882
1303.16/1312.35	c current bound: 47882
1303.77/1313.19	c current bound: 47882
1304.61/1314.04	c current bound: 47882
1305.44/1314.88	c current bound: 47882
1306.54/1315.72	c current bound: 47882
1307.14/1316.57	c current bound: 47882
1307.98/1317.41	c current bound: 47882
1308.82/1318.26	c current bound: 47882
1309.67/1319.11	c current bound: 47882
1310.75/1319.95	c current bound: 47882
1311.37/1320.79	c current bound: 47882
1312.21/1321.64	c current bound: 47882
1313.05/1322.48	c current bound: 47882
1314.15/1323.32	c current bound: 47882
1314.74/1324.17	c current bound: 47882
1315.59/1325.02	c current bound: 47882
1316.44/1325.87	c current bound: 47882
1317.54/1326.71	c current bound: 47882
1318.11/1327.56	c current bound: 47882
1318.98/1328.41	c current bound: 47882
1319.82/1329.25	c current bound: 47882
1320.67/1330.09	c current bound: 47882
1321.74/1330.93	c current bound: 47882
1322.35/1331.77	c current bound: 47882
1323.20/1332.62	c current bound: 47882
1324.03/1333.46	c current bound: 47882
1325.15/1334.31	c current bound: 47882
1325.73/1335.15	c current bound: 47882
1326.57/1335.99	c current bound: 47882
1327.42/1336.84	c current bound: 47882
1328.45/1337.68	c current bound: 47882
1329.11/1338.52	c current bound: 47882
1329.95/1339.37	c current bound: 47882
1330.81/1340.21	c current bound: 47882
1331.84/1341.05	c current bound: 47882
1332.48/1341.90	c current bound: 47882
1333.33/1342.75	c current bound: 47882
1334.19/1343.61	c current bound: 47882
1335.04/1344.45	c current bound: 47882
1336.07/1345.29	c current bound: 47882
1336.72/1346.13	c current bound: 47882
1337.57/1346.98	c current bound: 47882
1338.42/1347.82	c current bound: 47882
1339.46/1348.66	c current bound: 47882
1340.10/1349.52	c current bound: 47882
1340.95/1350.37	c current bound: 47882
1341.81/1351.21	c current bound: 47882
1342.86/1352.05	c current bound: 47882
1343.49/1352.90	c current bound: 47882
1344.33/1353.74	c current bound: 47882
1345.17/1354.58	c current bound: 47882
1346.02/1355.42	c current bound: 47882
1347.06/1356.27	c current bound: 47882
1347.71/1357.12	c current bound: 47882
1348.55/1357.96	c current bound: 47882
1349.67/1358.80	c current bound: 47882
1350.46/1359.64	c current bound: 47882
1351.08/1360.49	c current bound: 47882
1351.92/1361.33	c current bound: 47882
1352.76/1362.17	c current bound: 47882
1353.86/1363.01	c current bound: 47882
1354.45/1363.85	c current bound: 47882
1355.28/1364.70	c current bound: 47882
1356.14/1365.55	c current bound: 47882
1356.99/1366.39	c current bound: 47882
1358.07/1367.24	c current bound: 47882
1358.66/1368.08	c current bound: 47882
1359.51/1368.91	c current bound: 47882
1360.35/1369.75	c current bound: 47882
1361.38/1370.59	c current bound: 47882
1362.04/1371.44	c current bound: 47882
1363.19/1372.30	c current bound: 47882
1363.74/1373.14	c current bound: 47882
1364.78/1373.99	c current bound: 47882
1365.43/1374.83	c current bound: 47882
1366.28/1375.67	c current bound: 47882
1367.12/1376.52	c current bound: 47882
1368.18/1377.37	c current bound: 47882
1369.08/1378.21	c current bound: 47882
1369.66/1379.06	c current bound: 47882
1370.79/1379.90	c current bound: 47882
1371.35/1380.74	c current bound: 47882
1372.39/1381.59	c current bound: 47882
1373.06/1382.43	c current bound: 47882
1373.89/1383.28	c current bound: 47882
1374.74/1384.12	c current bound: 47882
1375.78/1384.99	c current bound: 47882
1376.43/1385.83	c current bound: 47882
1377.28/1386.68	c current bound: 47882
1378.13/1387.52	c current bound: 47882
1379.17/1388.36	c current bound: 47882
1380.08/1389.21	c current bound: 47882
1380.66/1390.06	c current bound: 47882
1381.51/1390.88	c current bound: 47882
1382.33/1391.73	c current bound: 47882
1383.37/1392.57	c current bound: 47882
1384.02/1393.41	c current bound: 47882
1384.87/1394.26	c current bound: 47882
1386.00/1395.10	c current bound: 47882
1386.80/1395.95	c current bound: 47882
1387.40/1396.79	c current bound: 47882
1388.25/1397.63	c current bound: 47882
1389.10/1398.47	c current bound: 47882
1390.19/1399.32	c current bound: 47882
1390.78/1400.16	c current bound: 47882
1391.63/1401.01	c current bound: 47882
1392.47/1401.85	c current bound: 47882
1393.31/1402.70	c current bound: 47882
1394.39/1403.54	c current bound: 47882
1395.01/1404.39	c current bound: 47882
1395.86/1405.22	c current bound: 47882
1396.68/1406.06	c current bound: 47882
1397.81/1406.90	c current bound: 47882
1398.37/1407.75	c current bound: 47882
1399.24/1408.62	c current bound: 47882
1400.08/1409.47	c current bound: 47882
1401.19/1410.31	c current bound: 47882
1401.78/1411.17	c current bound: 47882
1402.65/1412.01	c current bound: 47882
1403.48/1412.86	c current bound: 47882
1404.60/1413.70	c current bound: 47882
1405.39/1414.56	c current bound: 47882
1406.02/1415.40	c current bound: 47882
1406.86/1416.23	c current bound: 47882
1407.69/1417.07	c current bound: 47882
1408.79/1417.91	c current bound: 47882
1409.39/1418.76	c current bound: 47882
1410.22/1419.60	c current bound: 47882
1411.08/1420.45	c current bound: 47882
1412.11/1421.29	c current bound: 47882
1412.76/1422.13	c current bound: 47882
1413.60/1422.97	c current bound: 47882
1414.44/1423.82	c current bound: 47882
1415.48/1424.66	c current bound: 47882
1416.41/1425.50	c current bound: 47882
1416.97/1426.35	c current bound: 47882
1417.82/1427.19	c current bound: 47882
1418.66/1428.03	c current bound: 47882
1419.70/1428.87	c current bound: 47882
1420.34/1429.72	c current bound: 47882
1421.19/1430.57	c current bound: 47882
1422.05/1431.42	c current bound: 47882
1423.09/1432.26	c current bound: 47882
1423.72/1433.10	c current bound: 47882
1424.58/1433.95	c current bound: 47882
1425.42/1434.79	c current bound: 47882
1426.51/1435.64	c current bound: 47882
1427.11/1436.48	c current bound: 47882
1427.94/1437.32	c current bound: 47882
1428.79/1438.16	c current bound: 47882
1429.64/1439.01	c current bound: 47882
1430.71/1439.85	c current bound: 47882
1431.32/1440.69	c current bound: 47882
1432.17/1441.53	c current bound: 47882
1433.01/1442.37	c current bound: 47882
1434.12/1443.21	c current bound: 47882
1434.69/1444.06	c current bound: 47882
1435.54/1444.91	c current bound: 47882
1436.38/1445.75	c current bound: 47882
1437.41/1446.59	c current bound: 47882
1438.07/1447.46	c current bound: 47882
1439.21/1448.30	c current bound: 47882
1439.77/1449.14	c current bound: 47882
1440.62/1449.97	c current bound: 47882
1441.72/1450.81	c current bound: 47882
1442.29/1451.65	c current bound: 47882
1443.41/1452.50	c current bound: 47882
1443.99/1453.34	c current bound: 47882
1445.02/1454.18	c current bound: 47882
1445.67/1455.05	c current bound: 47882
1446.54/1455.89	c current bound: 47882
1447.37/1456.73	c current bound: 47882
1448.42/1457.58	c current bound: 47882
1449.07/1458.42	c current bound: 47882
1449.91/1459.27	c current bound: 47882
1450.75/1460.11	c current bound: 47882
1451.81/1460.96	c current bound: 47882
1452.45/1461.80	c current bound: 47882
1453.29/1462.65	c current bound: 47882
1454.13/1463.49	c current bound: 47882
1454.97/1464.32	c current bound: 47882
1456.02/1465.16	c current bound: 47882
1456.91/1466.00	c current bound: 47882
1457.48/1466.85	c current bound: 47882
1458.33/1467.68	c current bound: 47882
1459.42/1468.52	c current bound: 47882
1460.00/1469.36	c current bound: 47882
1460.84/1470.20	c current bound: 47882
1461.69/1471.04	c current bound: 47882
1462.70/1471.89	c current bound: 47882
1463.37/1472.73	c current bound: 47882
1464.21/1473.57	c current bound: 47882
1465.05/1474.42	c current bound: 47882
1466.11/1475.26	c current bound: 47882
1467.02/1476.10	c current bound: 47882
1467.58/1476.95	c current bound: 47882
1468.44/1477.80	c current bound: 47882
1469.28/1478.64	c current bound: 47882
1470.31/1479.48	c current bound: 47882
1470.98/1480.33	c current bound: 47882
1471.80/1481.17	c current bound: 47882
1472.64/1482.01	c current bound: 47882
1473.71/1482.85	c current bound: 47882
1474.33/1483.69	c current bound: 47882
1475.21/1484.56	c current bound: 47882
1476.04/1485.41	c current bound: 47882
1477.11/1486.26	c current bound: 47882
1478.02/1487.11	c current bound: 47882
1478.61/1487.97	c current bound: 47882
1479.45/1488.82	c current bound: 47882
1480.30/1489.67	c current bound: 47882
1481.43/1490.51	c current bound: 47882
1482.00/1491.35	c current bound: 47882
1482.83/1492.19	c current bound: 47882
1483.68/1493.03	c current bound: 47882
1484.72/1493.88	c current bound: 47882
1485.38/1494.73	c current bound: 47882
1486.22/1495.57	c current bound: 47882
1487.05/1496.42	c current bound: 47882
1488.11/1497.27	c current bound: 47882
1489.04/1498.11	c current bound: 47882
1489.60/1498.95	c current bound: 47882
1490.44/1499.80	c current bound: 47882
1491.29/1500.65	c current bound: 47882
1492.33/1501.49	c current bound: 47882
1492.99/1502.35	c current bound: 47882
1493.85/1503.19	c current bound: 47882
1494.69/1504.04	c current bound: 47882
1495.72/1504.88	c current bound: 47882
1496.36/1505.72	c current bound: 47882
1497.22/1506.57	c current bound: 47882
1498.05/1507.41	c current bound: 47882
1499.10/1508.25	c current bound: 47882
1500.04/1509.11	c current bound: 47882
1500.59/1509.95	c current bound: 47882
1501.72/1510.80	c current bound: 47882
1502.28/1511.64	c current bound: 47882
1503.31/1512.48	c current bound: 47882
1503.96/1513.31	c current bound: 47882
1504.81/1514.16	c current bound: 47882
1505.65/1515.00	c current bound: 47882
1506.72/1515.86	c current bound: 47882
1507.35/1516.71	c current bound: 47882
1508.23/1517.58	c current bound: 47882
1509.08/1518.42	c current bound: 47882
1510.12/1519.27	c current bound: 47882
1511.02/1520.11	c current bound: 47882
1511.60/1520.96	c current bound: 47882
1512.44/1521.80	c current bound: 47882
1513.30/1522.65	c current bound: 47882
1514.32/1523.49	c current bound: 47882
1514.98/1524.31	c current bound: 47882
1515.82/1525.14	c current bound: 47882
1516.64/1525.98	c current bound: 47882
1517.73/1526.80	c current bound: 47882
1518.29/1527.63	c current bound: 47882
1519.13/1528.46	c current bound: 47882
1519.96/1529.29	c current bound: 47882
1521.01/1530.12	c current bound: 47882
1521.60/1530.95	c current bound: 47882
1522.72/1531.80	c current bound: 47882
1523.30/1532.64	c current bound: 47882
1524.31/1533.46	c current bound: 47882
1524.94/1534.29	c current bound: 47882
1525.77/1535.14	c current bound: 47882
1526.63/1535.97	c current bound: 47882
1527.70/1536.80	c current bound: 47882
1528.28/1537.63	c current bound: 47882
1529.10/1538.46	c current bound: 47882
1530.21/1539.30	c current bound: 47882
1531.00/1540.13	c current bound: 47882
1531.61/1540.96	c current bound: 47882
1532.44/1541.79	c current bound: 47882
1533.28/1542.64	c current bound: 47882
1534.11/1543.49	c current bound: 47882
1535.20/1544.32	c current bound: 47882
1535.79/1545.15	c current bound: 47882
1536.65/1546.01	c current bound: 47882
1537.50/1546.84	c current bound: 47882
1538.50/1547.67	c current bound: 47882
1539.15/1548.50	c current bound: 47882
1540.00/1549.36	c current bound: 47882
1540.85/1550.20	c current bound: 47882
1541.91/1551.03	c current bound: 47882
1542.50/1551.86	c current bound: 47882
1543.35/1552.71	c current bound: 47882
1544.21/1553.55	c current bound: 47882
1545.21/1554.38	c current bound: 47882
1545.85/1555.22	c current bound: 47882
1546.71/1556.08	c current bound: 47882
1547.57/1556.92	c current bound: 47882
1548.61/1557.76	c current bound: 47882
1549.23/1558.59	c current bound: 47882
1550.06/1559.42	c current bound: 47882
1550.90/1560.26	c current bound: 47882
1551.75/1561.09	c current bound: 47882
1552.80/1561.92	c current bound: 47882
1553.40/1562.75	c current bound: 47882
1554.25/1563.59	c current bound: 47882
1555.07/1564.43	c current bound: 47882
1556.10/1565.25	c current bound: 47882
1556.72/1566.09	c current bound: 47882
1557.56/1566.92	c current bound: 47882
1558.39/1567.75	c current bound: 47882
1559.41/1568.58	c current bound: 47882
1560.05/1569.42	c current bound: 47882
1560.91/1570.26	c current bound: 47882
1561.74/1571.09	c current bound: 47882
1562.80/1571.92	c current bound: 47882
1563.39/1572.76	c current bound: 47882
1564.25/1573.61	c current bound: 47882
1565.09/1574.45	c current bound: 47882
1566.10/1575.28	c current bound: 47882
1566.76/1576.11	c current bound: 47882
1567.59/1576.94	c current bound: 47882
1568.43/1577.80	c current bound: 47882
1569.50/1578.63	c current bound: 47882
1570.10/1579.46	c current bound: 47882
1570.93/1580.29	c current bound: 47882
1571.77/1581.13	c current bound: 47882
1572.81/1581.96	c current bound: 47882
1573.44/1582.79	c current bound: 47882
1574.28/1583.62	c current bound: 47882
1575.09/1584.45	c current bound: 47882
1575.92/1585.28	c current bound: 47882
1577.00/1586.11	c current bound: 47882
1577.58/1586.94	c current bound: 47882
1578.43/1587.78	c current bound: 47882
1579.26/1588.62	c current bound: 47882
1580.30/1589.44	c current bound: 47882
1580.92/1590.30	c current bound: 47882
1581.78/1591.15	c current bound: 47882
1582.62/1591.99	c current bound: 47882
1583.68/1592.82	c current bound: 47882
1584.27/1593.65	c current bound: 47882
1585.40/1594.50	c current bound: 47882
1585.97/1595.32	c current bound: 47882
1586.98/1596.15	c current bound: 47882
1587.60/1596.98	c current bound: 47882
1588.44/1597.81	c current bound: 47882
1589.27/1598.65	c current bound: 47882
1590.27/1599.47	c current bound: 47882
1590.92/1600.30	c current bound: 47882
1591.77/1601.15	c current bound: 47882
1592.62/1601.99	c current bound: 47882
1593.67/1602.82	c current bound: 47882
1594.27/1603.65	c current bound: 47882
1595.10/1604.48	c current bound: 47882
1595.94/1605.32	c current bound: 47882
1596.99/1606.15	c current bound: 47882
1597.60/1606.97	c current bound: 47882
1598.43/1607.80	c current bound: 47882
1599.27/1608.64	c current bound: 47882
1600.10/1609.47	c current bound: 47882
1600.93/1610.30	c current bound: 47882
1601.75/1611.13	c current bound: 47882
1602.59/1611.97	c current bound: 47882
1603.44/1612.80	c current bound: 47882
1604.48/1613.63	c current bound: 47882
1605.09/1614.46	c current bound: 47882
1605.92/1615.29	c current bound: 47882
1606.74/1616.12	c current bound: 47882
1607.78/1616.95	c current bound: 47882
1608.40/1617.79	c current bound: 47882
1609.24/1618.61	c current bound: 47882
1610.07/1619.44	c current bound: 47882
1611.08/1620.27	c current bound: 47882
1611.99/1621.10	c current bound: 47882
1612.55/1621.93	c current bound: 47882
1613.41/1622.83	c current bound: 47882
1614.43/1623.65	c current bound: 47882
1615.05/1624.48	c current bound: 47882
1615.90/1625.33	c current bound: 47882
1616.74/1626.18	c current bound: 47882
1617.84/1627.15	c current bound: 47882
1618.57/1627.97	c current bound: 47882
1619.23/1628.81	c current bound: 47882
1620.08/1629.65	c current bound: 47882
1621.20/1630.50	c current bound: 47882
1621.98/1631.33	c current bound: 47882
1622.58/1632.28	c current bound: 47882
1623.41/1633.10	c current bound: 47882
1624.25/1633.94	c current bound: 47882
1625.08/1634.77	c current bound: 47882
1625.92/1635.60	c current bound: 47882
1626.74/1636.43	c current bound: 47882
1627.57/1637.48	c current bound: 47882
1628.42/1638.32	c current bound: 47882
1629.52/1639.24	c current bound: 47882
1630.25/1640.07	c current bound: 47882
1630.91/1640.90	c current bound: 47882
1631.74/1641.72	c current bound: 47882
1632.57/1642.56	c current bound: 47882
1633.57/1643.39	c current bound: 47882
1634.22/1644.22	c current bound: 47882
1635.06/1645.06	c current bound: 47882
1635.90/1645.90	c current bound: 47882
1636.97/1646.73	c current bound: 47882
1637.57/1647.56	c current bound: 47882
1638.39/1648.39	c current bound: 47882
1639.23/1649.23	c current bound: 47882
1640.28/1650.05	c current bound: 47882
1640.88/1650.88	c current bound: 47882
1641.72/1651.72	c current bound: 47882
1642.55/1652.56	c current bound: 47882
1643.56/1653.38	c current bound: 47882
1644.21/1654.21	c current bound: 47882
1645.04/1655.04	c current bound: 47882
1645.88/1655.89	c current bound: 47882
1646.94/1656.71	c current bound: 47882
1647.54/1657.54	c current bound: 47882
1648.37/1658.37	c current bound: 47882
1649.21/1659.21	c current bound: 47882
1650.25/1660.04	c current bound: 47882
1650.87/1660.86	c current bound: 47882
1651.96/1661.70	c current bound: 47882
1652.52/1662.53	c current bound: 47882
1653.54/1663.36	c current bound: 47882
1654.18/1664.18	c current bound: 47882
1655.01/1665.01	c current bound: 47882
1655.85/1665.86	c current bound: 47882
1656.68/1666.69	c current bound: 47882
1657.75/1667.52	c current bound: 47882
1658.34/1668.41	c current bound: 47882
1659.20/1669.25	c current bound: 47882
1660.02/1670.09	c current bound: 47882
1661.09/1670.92	c current bound: 47882
1661.68/1671.75	c current bound: 47882
1662.52/1672.58	c current bound: 47882
1663.35/1673.46	c current bound: 47882
1664.36/1674.28	c current bound: 47882
1665.01/1675.12	c current bound: 47882
1665.84/1675.95	c current bound: 47882
1666.68/1676.79	c current bound: 47882
1667.76/1677.62	c current bound: 47882
1668.36/1678.48	c current bound: 47882
1669.17/1679.31	c current bound: 47882
1670.01/1680.15	c current bound: 47882
1670.84/1680.99	c current bound: 47882
1671.92/1681.82	c current bound: 47882
1672.51/1682.65	c current bound: 47882
1673.35/1683.54	c current bound: 47882
1674.18/1684.37	c current bound: 47882
1675.27/1685.21	c current bound: 47882
1675.85/1686.04	c current bound: 47882
1676.69/1686.89	c current bound: 47882
1677.52/1687.72	c current bound: 47882
1678.58/1688.55	c current bound: 47882
1679.18/1689.38	c current bound: 47882
1680.03/1690.23	c current bound: 47882
1680.86/1691.07	c current bound: 47882
1681.96/1691.90	c current bound: 47882
1682.80/1692.90	c current bound: 47882
1683.36/1693.73	c current bound: 47882
1684.21/1694.58	c current bound: 47882
1685.05/1695.42	c current bound: 47882
1686.09/1696.24	c current bound: 47882
1686.69/1697.08	c current bound: 47882
1687.82/1698.04	c current bound: 47882
1688.39/1698.87	c current bound: 47882
1689.50/1699.70	c current bound: 47882
1690.28/1700.53	c current bound: 47882
1690.88/1701.36	c current bound: 47882
1691.73/1702.20	c current bound: 47882
1692.57/1703.18	c current bound: 47882
1693.64/1704.01	c current bound: 47882
1694.22/1704.84	c current bound: 47882
1695.05/1705.67	c current bound: 47882
1695.90/1706.51	c current bound: 47882
1696.94/1707.34	c current bound: 47882
1697.81/1708.31	c current bound: 47882
1698.38/1709.13	c current bound: 47882
1699.52/1710.00	c current bound: 47882
1700.09/1710.83	c current bound: 47882
1701.10/1711.66	c current bound: 47882
1701.74/1712.49	c current bound: 47882
1702.58/1713.44	c current bound: 47882
1703.69/1714.30	c current bound: 47882
1704.26/1715.13	c current bound: 47882
1705.29/1715.96	c current bound: 47882
1705.94/1716.80	c current bound: 47882
1706.76/1717.64	c current bound: 47882
1707.61/1718.67	c current bound: 47882
1708.71/1719.50	c current bound: 47882
1709.50/1720.32	c current bound: 47882
1710.09/1721.16	c current bound: 47882
1710.95/1722.01	c current bound: 47882
1711.78/1722.84	c current bound: 47882
1712.88/1723.80	c current bound: 47882
1713.45/1724.63	c current bound: 47882
1714.28/1725.46	c current bound: 47882
1715.11/1726.30	c current bound: 47882
1716.16/1727.14	c current bound: 47882
1716.78/1727.97	c current bound: 47882
1717.60/1729.01	c current bound: 47882
1718.44/1729.84	c current bound: 47882
1719.26/1730.67	c current bound: 47882
1720.34/1731.51	c current bound: 47882
1720.93/1732.33	c current bound: 47882
1721.76/1733.16	c current bound: 47882
1722.86/1734.00	c current bound: 47882
1723.63/1734.83	c current bound: 47882
1724.25/1735.65	c current bound: 47882
1725.08/1736.48	c current bound: 47882
1725.92/1737.32	c current bound: 47882
1726.93/1738.15	c current bound: 47882
1727.57/1738.98	c current bound: 47882
1728.40/1739.84	c current bound: 47882
1729.24/1740.69	c current bound: 47882
1730.07/1741.54	c current bound: 47882
1731.10/1742.36	c current bound: 47882
1731.75/1743.19	c current bound: 47882
1732.59/1744.04	c current bound: 47882
1733.40/1744.92	c current bound: 47882
1734.44/1745.76	c current bound: 47882
1735.08/1746.58	c current bound: 47882
1735.90/1747.41	c current bound: 47882
1736.72/1748.24	c current bound: 47882
1737.74/1749.07	c current bound: 47882
1738.39/1749.96	c current bound: 47882
1739.21/1750.79	c current bound: 47882
1740.05/1751.63	c current bound: 47882
1741.07/1752.46	c current bound: 47882
1741.71/1753.28	c current bound: 47882
1742.52/1754.11	c current bound: 47882
1743.37/1755.02	c current bound: 47882
1744.20/1755.85	c current bound: 47882
1745.20/1756.68	c current bound: 47882
1745.85/1757.51	c current bound: 47882
1746.70/1758.35	c current bound: 47882
1747.53/1759.19	c current bound: 47882
1748.56/1760.05	c current bound: 47882
1749.19/1760.88	c current bound: 47882
1750.03/1761.74	c current bound: 47882
1750.90/1762.58	c current bound: 47882
1751.98/1763.41	c current bound: 47882
1752.54/1764.24	c current bound: 47882
1753.38/1765.13	c current bound: 47882
1754.23/1765.97	c current bound: 47882
1755.06/1766.80	c current bound: 47882
1756.10/1767.64	c current bound: 47882
1756.72/1768.47	c current bound: 47882
1757.56/1769.31	c current bound: 47882
1758.40/1770.19	c current bound: 47882
1759.47/1771.02	c current bound: 47882
1760.05/1771.84	c current bound: 47882
1760.90/1772.69	c current bound: 47882
1761.74/1773.53	c current bound: 47882
1762.76/1774.36	c current bound: 47882
1763.40/1775.22	c current bound: 47882
1764.23/1776.05	c current bound: 47882
1765.07/1776.89	c current bound: 47882
1766.12/1777.72	c current bound: 47882
1766.72/1778.55	c current bound: 47882
1767.55/1779.38	c current bound: 47882
1768.40/1780.28	c current bound: 47882
1769.22/1781.11	c current bound: 47882
1770.27/1781.94	c current bound: 47882
1770.88/1782.76	c current bound: 47882
1771.72/1783.61	c current bound: 47882
1772.56/1784.44	c current bound: 47882
1773.65/1785.31	c current bound: 47882
1774.22/1786.15	c current bound: 47882
1775.35/1787.00	c current bound: 47882
1775.91/1787.83	c current bound: 47882
1776.93/1788.66	c current bound: 47882
1777.57/1789.49	c current bound: 47882
1778.40/1790.38	c current bound: 47882
1779.24/1791.22	c current bound: 47882
1780.28/1792.05	c current bound: 47882
1780.90/1792.88	c current bound: 47882
1781.72/1793.70	c current bound: 47882
1782.57/1794.55	c current bound: 47882
1783.40/1795.43	c current bound: 47882
1784.42/1796.26	c current bound: 47882
1785.06/1797.09	c current bound: 47882
1785.89/1797.94	c current bound: 47882
1786.73/1798.77	c current bound: 47882
1787.72/1799.60	c current bound: 47882
1788.38/1800.46	c current bound: 47882
1789.24/1801.31	c current bound: 47882
1790.07/1802.15	c current bound: 47882
1791.08/1802.98	c current bound: 47882
1791.72/1803.80	c current bound: 47882
1792.56/1804.64	c current bound: 47882
1793.38/1805.51	c current bound: 47882
1794.42/1806.33	c current bound: 47882
1795.04/1807.16	c current bound: 47882
1795.87/1807.99	c current bound: 47882
1796.71/1808.83	c current bound: 47882
1797.73/1809.66	c current bound: 47882
1798.59/1810.53	c current bound: 47882
1799.19/1811.36	c current bound: 47882
1799.59/1811.50	./satsolver.sh: line 5:  9646 Terminated              ./glucose $1 > $2 2> /dev/null
1799.59/1811.50	c error: unexpected solver exit code
1799.59/1811.50	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752861-1339212595/watcher-3752861-1339212595 -o /tmp/evaluation-result-3752861-1339212595/solver-3752861-1339212595 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752861-1339212595.wbo 1994210699 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: 3.14 3.48 2.88 3/179 26989
/proc/meminfo: memFree=25483076/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0

[startup+0.053004 s]
/proc/loadavg: 3.14 3.48 2.88 3/179 26989
/proc/meminfo: memFree=25483076/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100215 s]
/proc/loadavg: 3.14 3.48 2.88 3/179 26989
/proc/meminfo: memFree=25483076/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300237 s]
/proc/loadavg: 3.14 3.48 2.88 3/179 26989
/proc/meminfo: memFree=25483076/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700116 s]
/proc/loadavg: 3.14 3.48 2.88 3/179 26989
/proc/meminfo: memFree=25483076/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 3.14 3.48 2.88 3/183 27006
/proc/meminfo: memFree=25448048/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1.17 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 7341 22997 0 0 22 6 75 14 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 33608

[startup+3.1002 s]
/proc/loadavg: 3.14 3.48 2.88 3/183 27017
/proc/meminfo: memFree=25419000/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=2.84 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 11821 55222 0 0 37 7 196 44 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 33608

[startup+6.30018 s]
/proc/loadavg: 3.05 3.45 2.88 3/183 27045
/proc/meminfo: memFree=25435888/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=6.16 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 20781 119140 0 0 68 11 436 101 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 33608

[startup+12.7003 s]
/proc/loadavg: 2.96 3.43 2.87 3/182 27102
/proc/meminfo: memFree=25453952/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=12.49 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 36469 240518 0 0 123 17 908 201 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965584720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 33608

[startup+25.5002 s]
/proc/loadavg: 2.75 3.36 2.86 3/184 27212
/proc/meminfo: memFree=25421520/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=25.32 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 72301 482289 0 0 246 32 1833 421 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 33608

[startup+51.1002 s]
/proc/loadavg: 2.49 3.25 2.83 3/184 27415
/proc/meminfo: memFree=25400160/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=49.51 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 137261 942850 0 0 472 58 3595 826 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 49.51
Current children cumulated vsize (KiB) 33608

[startup+102.307 s]
/proc/loadavg: 2.14 3.04 2.78 3/183 27840
/proc/meminfo: memFree=25460940/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=99.62 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 271661 1890625 0 0 934 116 7269 1643 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
[pid=27839] ppid=26990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27839/stat : 27839 (satsolver.sh) S 26990 26989 21931 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 387394206 9367552 267 33554432000 4194304 5064252 140736067736704 140736067735616 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27839/statm: 2287 267 226 213 0 72 0
[pid=27840] ppid=27839 vsize=48068 CPUtime=0.12 cores=0,2,4,6
/proc/27840/stat : 27840 (glucose) R 27839 26989 21931 0 -1 4202496 10869 0 0 0 11 1 0 0 20 0 1 0 387394206 49221632 11082 33554432000 4194304 5208918 140735723849568 140735722799208 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27840/statm: 12017 11082 95 248 0 11766 0
Current children cumulated CPU time (s) 99.74
Current children cumulated vsize (KiB) 90824

[startup+162.3 s]
/proc/loadavg: 2.06 2.85 2.73 3/183 28323
/proc/meminfo: memFree=25378116/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=158.21 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) R 26989 26989 21931 0 -1 4202496 428456 3001021 0 0 1475 179 11542 2625 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585808 4582240 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 158.21
Current children cumulated vsize (KiB) 33608

[startup+222.3 s]
/proc/loadavg: 2.27 2.75 2.70 3/183 28820
/proc/meminfo: memFree=25436508/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=217.37 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 585269 4129210 0 0 2019 245 15868 3605 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965584720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 217.37
Current children cumulated vsize (KiB) 33608

[startup+282.3 s]
/proc/loadavg: 2.50 2.75 2.70 3/183 29317
/proc/meminfo: memFree=25409552/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=277.14 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 746541 5254316 0 0 2575 314 20210 4615 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 277.14
Current children cumulated vsize (KiB) 33608

[startup+342.3 s]
/proc/loadavg: 2.26 2.62 2.66 3/183 29824
/proc/meminfo: memFree=25373436/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=337.21 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 907821 6397735 0 0 3133 380 24586 5622 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 337.21

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

/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1233.04
Current children cumulated vsize (KiB) 33608

[startup+1302.3 s]
/proc/loadavg: 1.01 1.51 2.01 2/172 5411
/proc/meminfo: memFree=28727020/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1293.15 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3308359 24393632 0 0 12040 1416 93767 22092 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1293.15
Current children cumulated vsize (KiB) 33608

[startup+1362.3 s]
/proc/loadavg: 1.00 1.41 1.94 2/174 5903
/proc/meminfo: memFree=28683832/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1353.13 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3358556 25519100 0 0 12591 1474 98118 23130 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1353.13
Current children cumulated vsize (KiB) 33608

[startup+1422.31 s]
/proc/loadavg: 1.16 1.38 1.89 2/172 6405
/proc/meminfo: memFree=28730760/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1413.12 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3408753 26643462 0 0 13141 1530 102451 24190 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1413.12
Current children cumulated vsize (KiB) 33608

[startup+1482.3 s]
/proc/loadavg: 1.06 1.31 1.84 2/174 6897
/proc/meminfo: memFree=28682028/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1473.02 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3458950 27769624 0 0 13693 1585 106796 25228 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1473.02
Current children cumulated vsize (KiB) 33608

[startup+1542.3 s]
/proc/loadavg: 1.02 1.25 1.78 2/173 7401
/proc/meminfo: memFree=28683672/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1532.8 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3509147 28897495 0 0 14244 1642 111142 26252 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
[pid=7400] ppid=26990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7400/stat : 7400 (satsolver.sh) S 26990 26989 21931 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387538176 9367552 267 33554432000 4194304 5064252 140733975918256 140733975917168 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7400/statm: 2287 267 226 213 0 72 0
[pid=7401] ppid=7400 vsize=49480 CPUtime=0.4 cores=0,2,4,6
/proc/7401/stat : 7401 (glucose) R 7400 26989 21931 0 -1 4202496 11114 0 0 0 39 1 0 0 20 0 1 0 387538177 50667520 11319 33554432000 4194304 5208918 140733789833824 140733789831768 4228992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7401/statm: 12370 11319 95 248 0 12119 0
Current children cumulated CPU time (s) 1533.2
Current children cumulated vsize (KiB) 92236

[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 1.73 2/174 7900
/proc/meminfo: memFree=28683876/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1592.97 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3560051 30040703 0 0 14802 1700 115518 27277 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1592.97
Current children cumulated vsize (KiB) 33608

[startup+1662.3 s]
/proc/loadavg: 0.84 1.12 1.67 2/174 8404
/proc/meminfo: memFree=28682960/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1652.52 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3610256 31180139 0 0 15353 1757 119862 28280 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965584720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1652.52
Current children cumulated vsize (KiB) 33608

[startup+1722.3 s]
/proc/loadavg: 0.94 1.09 1.62 2/174 8894
/proc/meminfo: memFree=28683632/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1711.31 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3660445 32298280 0 0 15903 1814 124132 29282 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 9 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1711.31
Current children cumulated vsize (KiB) 33608

[startup+1782.3 s]
/proc/loadavg: 0.98 1.07 1.58 2/174 9394
/proc/meminfo: memFree=28717260/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1770.41 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3710642 33429721 0 0 16452 1872 128432 30285 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 26 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
Current children cumulated CPU time (s) 1770.41
Current children cumulated vsize (KiB) 33608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.5 s]
/proc/loadavg: 0.98 1.06 1.56 2/175 9646
/proc/meminfo: memFree=28696328/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1799.55 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3735387 33980010 0 0 16723 1901 130546 30785 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 37 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
[pid=9645] ppid=26990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9645/stat : 9645 (satsolver.sh) S 26990 26989 21931 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387565133 9367552 267 33554432000 4194304 5064252 140736958852640 140736958851552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9645/statm: 2287 267 226 213 0 72 0
[pid=9646] ppid=9645 vsize=38068 CPUtime=0.04 cores=0,2,4,6
/proc/9646/stat : 9646 (glucose) R 9645 26989 21931 0 -1 4202496 7999 0 0 0 3 1 0 0 20 0 1 0 387565133 38981632 8119 33554432000 4194304 5208918 140734846962704 140734845912200 4465602 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9646/statm: 9517 8122 70 248 0 9266 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 80824

Sending SIGTERM to process tree (bottom up)

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

[startup+1811.5 s]
/proc/loadavg: 0.98 1.06 1.56 2/175 9646
/proc/meminfo: memFree=28696328/32873844 swapFree=7900/7900
[pid=26989] ppid=26987 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26989/stat : 26989 (npSolver-wbo-It) S 26987 26989 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387383988 9367552 274 33554432000 4194304 5064252 140737392947312 140737392946224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26989/statm: 2287 274 233 213 0 72 0
[pid=26990] ppid=26989 vsize=24460 CPUtime=1799.55 cores=0,2,4,6
/proc/26990/stat : 26990 (npSolver-wbo) S 26989 26989 21931 0 -1 4202496 3735387 33980010 0 0 16723 1901 130546 30785 20 0 1 0 387383989 25047040 5335 33554432000 4194304 6006132 140735965593872 140735965585232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 37 0 0
/proc/26990/statm: 6115 5335 176 443 0 5668 0
[pid=9645] ppid=26990 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9645/stat : 9645 (satsolver.sh) S 26990 26989 21931 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387565133 9367552 267 33554432000 4194304 5064252 140736958852640 140736958851552 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9645/statm: 2287 267 226 213 0 72 0
[pid=9646] ppid=9645 vsize=38068 CPUtime=0.04 cores=0,2,4,6
/proc/9646/stat : 9646 (glucose) R 9645 26989 21931 0 -1 4202496 7999 0 0 0 3 1 0 0 20 0 1 0 387565133 38981632 8119 33554432000 4194304 5208918 140734846962704 140734845912200 4465602 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9646/statm: 9517 8122 70 248 0 9266 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 80824

Child status: 0

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

Real time (s): 1811.51
CPU time (s): 1800.08
CPU user time (s): 1473.18
CPU system time (s): 326.908
CPU usage (%): 99.3692
Max. virtual memory (cumulated for all children) (KiB): 92244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1472.74
system time used= 326.888
maximum resident set size= 45476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37724443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29551928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 600377
involuntary context switches= 30182

runsolver used 3.17152 second user time and 8.44472 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-09 05:29:55
IDJOB=3752861
IDBENCH=79584
IDSOLVER=2336
FILE ID=node137/3752861-1339212595
RUNJOBID= node137-1339208273-23917
PBS_JOBID= 14643866
Free space on /tmp= 70212 MiB

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

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

MD5SUM BENCH= f7fbceb2db366adfa00d3571e2c07795
RANDOM SEED=1994210699

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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:        25483224 kB
Buffers:          536408 kB
Cached:          3405000 kB
SwapCached:         4640 kB
Active:          4685416 kB
Inactive:        1788236 kB
Active(anon):    2521864 kB
Inactive(anon):     5860 kB
Active(file):    2163552 kB
Inactive(file):  1782376 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097908 kB
Dirty:             11980 kB
Writeback:             0 kB
AnonPages:       2529972 kB
Mapped:            10536 kB
Shmem:                 0 kB
Slab:             769640 kB
SReclaimable:     209964 kB
SUnreclaim:       559676 kB
KernelStack:        1456 kB
PageTables:         9000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3282816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1363968 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= 70928 MiB
End job on node137 at 2012-06-09 06:00:06