Trace number 3715603

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.07 1864.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
MD5SUM42cd11e454ef36c6d0d0a1a4a75ff12f
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark110.214
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1857
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.02	c run usual solver
0.00/0.14	o 1027
0.00/0.14	c starting approximation
0.00/0.14	c factor = 2
0.00/0.14	c factor still to low - shrinking to 5.81077
0.00/0.14	c approx number of clauses: 1e+06
0.00/0.14	c current bound: 513
0.00/0.96	c current bound: 513
1.47/1.77	c current bound: 513
2.29/2.59	c current bound: 513
2.67/3.40	c current bound: 513
3.93/4.21	c current bound: 513
4.75/5.03	c current bound: 513
5.76/5.85	c current bound: 513
6.37/6.66	c current bound: 513
7.19/7.49	c current bound: 513
8.02/8.30	c current bound: 513
9.08/9.12	c current bound: 513
9.65/9.94	c current bound: 513
10.47/10.75	c current bound: 513
11.29/11.57	c current bound: 513
12.29/12.38	c current bound: 513
13.19/13.20	c current bound: 513
13.74/14.01	c current bound: 513
14.55/14.83	c current bound: 513
15.59/15.65	c current bound: 513
16.18/16.46	c current bound: 513
17.02/17.27	c current bound: 513
17.82/18.09	c current bound: 513
18.88/18.93	c current bound: 513
19.48/19.75	c current bound: 513
20.30/20.58	c current bound: 513
21.40/21.40	c current bound: 513
22.20/22.22	c current bound: 513
22.77/23.03	c current bound: 513
23.59/24.08	c current bound: 513
24.68/24.90	c current bound: 513
25.46/25.71	c current bound: 513
26.04/26.53	c current bound: 513
26.85/27.34	c current bound: 513
27.67/28.16	c current bound: 513
28.73/29.12	c current bound: 513
29.50/29.95	c current bound: 513
30.11/30.76	c current bound: 513
30.93/31.58	c current bound: 513
32.02/32.40	c current bound: 513
32.82/33.21	c current bound: 513
33.38/34.14	c current bound: 513
34.20/34.96	c current bound: 513
35.03/35.78	c current bound: 513
36.00/36.60	c current bound: 513
36.65/37.41	c current bound: 513
37.47/38.23	c current bound: 513
38.28/39.31	c current bound: 513
39.10/40.12	c current bound: 513
40.14/40.94	c current bound: 513
40.73/41.75	c current bound: 513
41.55/42.57	c current bound: 513
42.37/43.38	c current bound: 513
43.45/44.42	c current bound: 513
44.00/45.23	c current bound: 513
44.81/46.05	c current bound: 513
45.62/46.86	c current bound: 513
46.64/47.68	c current bound: 513
47.26/48.49	c current bound: 513
48.08/49.44	c current bound: 513
48.90/50.35	c current bound: 513
49.71/51.17	c current bound: 513
50.70/51.98	c current bound: 513
51.34/52.80	c current bound: 513
52.16/53.61	c current bound: 513
52.98/54.74	c current bound: 513
53.80/55.56	c current bound: 513
54.81/56.37	c current bound: 513
55.45/57.19	c current bound: 513
56.25/58.01	c current bound: 513
57.08/58.86	c current bound: 513
58.19/59.95	c current bound: 513
58.95/60.77	c current bound: 513
59.84/61.60	c current bound: 513
60.41/62.41	c current bound: 513
61.22/63.23	c current bound: 513
62.26/64.05	c current bound: 513
62.85/65.04	c current bound: 513
63.68/65.86	c current bound: 513
64.50/66.67	c current bound: 513
65.59/67.50	c current bound: 513
66.14/68.31	c current bound: 513
66.94/69.13	c current bound: 513
67.75/70.26	c current bound: 513
68.58/71.07	c current bound: 513
69.57/71.89	c current bound: 513
70.22/72.70	c current bound: 513
71.03/73.52	c current bound: 513
71.85/74.34	c current bound: 513
72.92/75.41	c current bound: 513
73.74/76.22	c current bound: 513
74.30/77.04	c current bound: 513
75.12/77.85	c current bound: 513
75.94/78.67	c current bound: 513
76.93/79.49	c current bound: 513
77.83/80.54	c current bound: 513
78.39/81.36	c current bound: 513
79.20/82.19	c current bound: 513
80.03/83.00	c current bound: 513
81.08/83.82	c current bound: 513
81.67/84.63	c current bound: 513
82.49/85.69	c current bound: 513
83.31/86.51	c current bound: 513
84.36/87.33	c current bound: 513
84.95/88.14	c current bound: 513
85.80/88.98	c current bound: 513
86.62/89.80	c current bound: 513
87.67/90.86	c current bound: 513
88.42/91.68	c current bound: 513
89.04/92.49	c current bound: 513
89.87/93.31	c current bound: 513
90.68/94.12	c current bound: 513
91.72/94.94	c current bound: 513
92.56/95.92	c current bound: 513
93.13/96.74	c current bound: 513
93.94/97.55	c current bound: 513
94.76/98.37	c current bound: 513
95.59/99.19	c current bound: 513
96.39/100.00	c current bound: 513
97.20/101.05	c current bound: 513
98.04/101.87	c current bound: 513
99.03/102.68	c current bound: 513
99.94/103.50	c current bound: 513
100.48/104.32	c current bound: 513
101.30/105.14	c current bound: 513
102.37/106.07	c current bound: 513
102.93/106.89	c current bound: 513
103.76/107.70	c current bound: 513
104.57/108.52	c current bound: 513
105.61/109.33	c current bound: 513
106.21/110.15	c current bound: 513
107.02/111.11	c current bound: 513
107.84/111.93	c current bound: 513
108.65/112.74	c current bound: 513
109.68/113.56	c current bound: 513
110.29/114.37	c current bound: 513
111.10/115.19	c current bound: 513
111.92/116.35	c current bound: 513
112.74/117.16	c current bound: 513
113.75/117.98	c current bound: 513
114.37/118.79	c current bound: 513
115.18/119.62	c current bound: 513
116.01/120.43	c current bound: 513
117.07/121.52	c current bound: 513
117.86/122.34	c current bound: 513
118.46/123.16	c current bound: 513
119.28/123.98	c current bound: 513
120.09/124.79	c current bound: 513
121.18/125.61	c current bound: 513
121.73/126.54	c current bound: 513
122.54/127.36	c current bound: 513
123.36/128.17	c current bound: 513
124.34/128.99	c current bound: 513
124.98/129.81	c current bound: 513
125.81/130.63	c current bound: 513
126.63/131.56	c current bound: 513
127.64/132.38	c current bound: 513
128.27/133.19	c current bound: 513
129.08/134.01	c current bound: 513
129.90/134.83	c current bound: 513
130.93/135.64	c current bound: 513
131.54/136.58	c current bound: 513
132.36/137.40	c current bound: 513
133.18/138.22	c current bound: 513
134.22/139.03	c current bound: 513
134.81/139.85	c current bound: 513
135.61/140.65	c current bound: 513
136.42/141.71	c current bound: 513
137.23/142.53	c current bound: 513
138.28/143.34	c current bound: 513
138.87/144.16	c current bound: 513
139.68/144.98	c current bound: 513
140.77/145.80	c current bound: 513
141.59/146.90	c current bound: 513
142.38/147.71	c current bound: 513
142.95/148.53	c current bound: 513
143.77/149.35	c current bound: 513
144.59/150.17	c current bound: 513
145.59/150.99	c current bound: 513
146.49/152.01	c current bound: 513
147.06/152.83	c current bound: 513
147.87/153.64	c current bound: 513
148.87/154.46	c current bound: 513
149.50/155.27	c current bound: 513
150.31/156.09	c current bound: 513
151.13/157.03	c current bound: 513
151.95/157.84	c current bound: 513
152.97/158.66	c current bound: 513
153.58/159.47	c current bound: 513
154.40/160.29	c current bound: 513
155.22/161.11	c current bound: 513
156.28/162.05	c current bound: 513
156.84/162.86	c current bound: 513
157.66/163.68	c current bound: 513
158.48/164.50	c current bound: 513
159.55/165.31	c current bound: 513
160.10/166.12	c current bound: 513
160.92/167.22	c current bound: 513
161.74/168.03	c current bound: 513
162.56/168.86	c current bound: 513
163.57/169.67	c current bound: 513
164.19/170.49	c current bound: 513
165.01/171.31	c current bound: 513
166.10/172.35	c current bound: 513
166.86/173.16	c current bound: 513
167.47/173.97	c current bound: 513
168.29/174.79	c current bound: 513
169.10/175.60	c current bound: 513
170.15/176.42	c current bound: 513
170.98/177.50	c current bound: 513
171.55/178.31	c current bound: 513
172.36/179.13	c current bound: 513
173.18/179.96	c current bound: 513
174.19/180.75	c current bound: 513
174.81/181.57	c current bound: 513
175.61/182.57	c current bound: 513
176.44/183.39	c current bound: 513
177.26/184.21	c current bound: 513
178.30/185.03	c current bound: 513
178.90/185.85	c current bound: 513
179.72/186.67	c current bound: 513
180.53/187.75	c current bound: 513
181.35/188.57	c current bound: 513
182.18/189.38	c current bound: 513
183.25/190.20	c current bound: 513
183.81/191.02	c current bound: 513
184.83/191.83	c current bound: 513
185.69/192.87	c current bound: 513
186.26/193.69	c current bound: 513
187.08/194.50	c current bound: 513
187.88/195.32	c current bound: 513
188.98/196.22	c current bound: 513
189.52/197.03	c current bound: 513
190.35/198.06	c current bound: 513
191.17/198.88	c current bound: 513
191.98/199.69	c current bound: 513
193.04/200.51	c current bound: 513
193.61/201.34	c current bound: 513
194.44/202.15	c current bound: 513
195.25/203.21	c current bound: 513
196.07/204.02	c current bound: 513
197.10/204.85	c current bound: 513
197.70/205.66	c current bound: 513
198.53/206.48	c current bound: 513
199.62/207.30	c current bound: 513
200.40/208.35	c current bound: 513
200.97/209.16	c current bound: 513
201.78/209.98	c current bound: 513
202.87/210.80	c current bound: 513
203.66/211.61	c current bound: 513
204.26/212.45	c current bound: 513
205.08/213.44	c current bound: 513
205.89/214.25	c current bound: 513
206.71/215.07	c current bound: 513
207.71/215.88	c current bound: 513
208.61/216.70	c current bound: 513
209.16/217.52	c current bound: 513
210.25/218.60	c current bound: 513
210.79/219.41	c current bound: 513
211.83/220.23	c current bound: 513
212.42/221.04	c current bound: 513
213.23/221.86	c current bound: 513
214.06/222.68	c current bound: 513
215.14/223.78	c current bound: 513
215.70/224.60	c current bound: 513
216.51/225.42	c current bound: 513
217.34/226.23	c current bound: 513
218.36/227.05	c current bound: 513
218.97/227.87	c current bound: 513
219.79/228.88	c current bound: 513
220.61/229.72	c current bound: 513
221.44/230.54	c current bound: 513
222.47/231.35	c current bound: 513
223.07/232.17	c current bound: 513
223.90/232.98	c current bound: 513
224.71/234.01	c current bound: 513
225.52/234.82	c current bound: 513
226.56/235.64	c current bound: 513
227.17/236.46	c current bound: 513
227.96/237.27	c current bound: 513
228.80/238.09	c current bound: 513
229.86/239.04	c current bound: 513
230.41/239.85	c current bound: 513
231.25/240.67	c current bound: 513
232.05/241.48	c current bound: 513
233.04/242.30	c current bound: 513
233.69/243.11	c current bound: 513
234.79/244.20	c current bound: 513
235.33/245.02	c current bound: 513
236.15/245.83	c current bound: 513
237.17/246.65	c current bound: 513
237.78/247.46	c current bound: 513
238.59/248.28	c current bound: 513
239.41/249.38	c current bound: 513
240.23/250.19	c current bound: 513
241.32/251.01	c current bound: 513
241.86/251.82	c current bound: 513
242.66/252.64	c current bound: 513
243.69/253.45	c current bound: 513
244.57/254.50	c current bound: 513
245.12/255.32	c current bound: 513
245.93/256.13	c current bound: 513
246.76/256.94	c current bound: 513
247.78/257.76	c current bound: 513
248.38/258.57	c current bound: 513
249.20/259.54	c current bound: 513
250.02/260.36	c current bound: 513
250.83/261.17	c current bound: 513
251.64/261.99	c current bound: 513
252.72/262.80	c current bound: 513
253.28/263.62	c current bound: 513
254.33/264.55	c current bound: 513
255.09/265.36	c current bound: 513
255.72/266.18	c current bound: 513
256.53/267.01	c current bound: 513
257.37/267.82	c current bound: 513
258.41/268.63	c current bound: 513
259.00/269.67	c current bound: 513
259.81/270.48	c current bound: 513
260.91/271.30	c current bound: 513
261.69/272.11	c current bound: 513
262.27/272.93	c current bound: 513
263.08/273.74	c current bound: 513
263.89/274.79	c current bound: 513
264.71/275.61	c current bound: 513
265.75/276.43	c current bound: 513
266.33/277.25	c current bound: 513
267.16/278.07	c current bound: 513
267.98/278.90	c current bound: 513
269.07/279.94	c current bound: 513
269.83/280.76	c current bound: 513
270.44/281.57	c current bound: 513
271.27/282.39	c current bound: 513
272.09/283.20	c current bound: 513
273.15/284.02	c current bound: 513
273.72/285.02	c current bound: 513
274.53/285.84	c current bound: 513
275.35/286.65	c current bound: 513
276.35/287.47	c current bound: 513
276.99/288.28	c current bound: 513
277.80/289.10	c current bound: 513
278.62/290.03	c current bound: 513
279.64/290.84	c current bound: 513
280.25/291.66	c current bound: 513
281.07/292.47	c current bound: 513
281.89/293.29	c current bound: 513
282.96/294.10	c current bound: 513
283.51/294.91	c current bound: 513
284.32/295.93	c current bound: 513
285.13/296.75	c current bound: 513
285.95/297.57	c current bound: 513
286.94/298.39	c current bound: 513
287.60/299.20	c current bound: 513
288.41/300.31	c current bound: 513
289.23/301.13	c current bound: 513
290.05/301.95	c current bound: 513
291.06/302.77	c current bound: 513
291.70/303.60	c current bound: 513
292.52/304.42	c current bound: 513
293.35/305.56	c current bound: 513
294.17/306.37	c current bound: 513
295.17/307.19	c current bound: 513
295.80/308.00	c current bound: 513
296.62/308.82	c current bound: 513
297.43/309.64	c current bound: 513
298.50/310.54	c current bound: 513
299.06/311.36	c current bound: 513
299.87/312.18	c current bound: 513
300.70/312.99	c current bound: 513
301.78/313.81	c current bound: 513
302.33/314.62	c current bound: 513
303.15/315.66	c current bound: 513
303.96/316.48	c current bound: 513
305.05/317.30	c current bound: 513
305.86/318.11	c current bound: 513
306.42/318.93	c current bound: 513
307.22/319.75	c current bound: 513
308.30/320.79	c current bound: 513
309.12/321.61	c current bound: 513
309.67/322.42	c current bound: 513
310.50/323.24	c current bound: 513
311.32/324.05	c current bound: 513
312.32/324.87	c current bound: 513
313.22/325.98	c current bound: 513
313.78/326.79	c current bound: 513
314.60/327.62	c current bound: 513
315.42/328.44	c current bound: 513
316.43/329.26	c current bound: 513
317.05/330.07	c current bound: 513
317.87/331.07	c current bound: 513
318.69/331.89	c current bound: 513
319.52/332.70	c current bound: 513
320.56/333.52	c current bound: 513
321.14/334.33	c current bound: 513
321.96/335.15	c current bound: 513
322.78/336.21	c current bound: 513
323.83/337.03	c current bound: 513
324.42/337.84	c current bound: 513
325.23/338.66	c current bound: 513
326.04/339.47	c current bound: 513
327.04/340.29	c current bound: 513
327.93/341.33	c current bound: 513
328.49/342.14	c current bound: 513
329.30/342.96	c current bound: 513
330.12/343.78	c current bound: 513
331.11/344.59	c current bound: 513
331.76/345.41	c current bound: 513
332.58/346.44	c current bound: 513
333.40/347.26	c current bound: 513
334.21/348.08	c current bound: 513
335.03/348.89	c current bound: 513
335.85/349.71	c current bound: 513
336.66/350.53	c current bound: 513
337.72/351.45	c current bound: 513
338.48/352.27	c current bound: 513
339.11/353.08	c current bound: 513
339.93/353.90	c current bound: 513
340.75/354.72	c current bound: 513
341.80/355.54	c current bound: 513
342.38/356.47	c current bound: 513
343.19/357.28	c current bound: 513
344.00/358.10	c current bound: 513
345.07/358.92	c current bound: 513
345.65/359.73	c current bound: 513
346.45/360.55	c current bound: 513
347.27/361.61	c current bound: 513
348.09/362.43	c current bound: 513
349.12/363.25	c current bound: 513
349.72/364.06	c current bound: 513
350.54/364.88	c current bound: 513
351.36/365.69	c current bound: 513
352.43/366.78	c current bound: 513
353.00/367.60	c current bound: 513
353.80/368.41	c current bound: 513
354.63/369.24	c current bound: 513
355.65/370.05	c current bound: 513
356.27/370.86	c current bound: 513
357.07/371.92	c current bound: 513
357.90/372.73	c current bound: 513
358.71/373.55	c current bound: 513
359.72/374.37	c current bound: 513
360.35/375.19	c current bound: 513
361.16/376.00	c current bound: 513
361.97/377.04	c current bound: 513
362.80/377.86	c current bound: 513
363.79/378.68	c current bound: 513
364.44/379.49	c current bound: 513
365.25/380.31	c current bound: 513
366.07/381.13	c current bound: 513
367.14/382.05	c current bound: 513
367.70/382.86	c current bound: 513
368.52/383.68	c current bound: 513
369.61/384.50	c current bound: 513
370.40/385.31	c current bound: 513
370.98/386.13	c current bound: 513
371.78/387.19	c current bound: 513
372.62/388.01	c current bound: 513
373.43/388.82	c current bound: 513
374.48/389.64	c current bound: 513
375.07/390.46	c current bound: 513
375.89/391.28	c current bound: 513
376.70/392.40	c current bound: 513
377.52/393.21	c current bound: 513
378.56/394.03	c current bound: 513
379.16/394.85	c current bound: 513
379.98/395.67	c current bound: 513
380.80/396.49	c current bound: 513
381.88/397.56	c current bound: 513
382.44/398.38	c current bound: 513
383.26/399.19	c current bound: 513
384.08/400.01	c current bound: 513
385.12/400.83	c current bound: 513
385.71/401.64	c current bound: 513
386.79/402.70	c current bound: 513
387.33/403.52	c current bound: 513
388.16/404.34	c current bound: 513
389.18/405.15	c current bound: 513
389.80/405.97	c current bound: 513
390.61/406.80	c current bound: 513
391.43/407.69	c current bound: 513
392.50/408.50	c current bound: 513
393.07/409.32	c current bound: 513
393.88/410.14	c current bound: 513
394.70/410.95	c current bound: 513
395.70/411.77	c current bound: 513
396.59/412.82	c current bound: 513
397.15/413.63	c current bound: 513
397.96/414.45	c current bound: 513
398.78/415.27	c current bound: 513
399.77/416.09	c current bound: 513
400.41/416.92	c current bound: 513
401.24/417.96	c current bound: 513
402.06/418.77	c current bound: 513
402.88/419.59	c current bound: 513
403.95/420.41	c current bound: 513
404.52/421.23	c current bound: 513
405.34/422.04	c current bound: 513
406.41/423.04	c current bound: 513
407.17/423.86	c current bound: 513
407.78/424.67	c current bound: 513
408.61/425.49	c current bound: 513
409.41/426.31	c current bound: 513
410.47/427.13	c current bound: 513
411.05/428.08	c current bound: 513
411.86/428.89	c current bound: 513
412.69/429.71	c current bound: 513
413.73/430.52	c current bound: 513
414.32/431.35	c current bound: 513
415.13/432.16	c current bound: 513
415.96/433.22	c current bound: 513
416.78/434.04	c current bound: 513
417.81/434.85	c current bound: 513
418.41/435.67	c current bound: 513
419.22/436.49	c current bound: 513
420.05/437.30	c current bound: 513
421.12/438.31	c current bound: 513
421.90/439.13	c current bound: 513
422.49/439.94	c current bound: 513
423.32/440.76	c current bound: 513
424.13/441.59	c current bound: 513
424.95/442.40	c current bound: 513
426.04/443.44	c current bound: 513
426.58/444.25	c current bound: 513
427.41/445.07	c current bound: 513
428.40/445.88	c current bound: 513
429.31/446.70	c current bound: 513
429.85/447.51	c current bound: 513
430.67/448.54	c current bound: 513
431.48/449.35	c current bound: 513
432.49/450.17	c current bound: 513
433.11/450.98	c current bound: 513
433.94/451.81	c current bound: 513
434.75/452.62	c current bound: 513
435.83/453.57	c current bound: 513
436.39/454.39	c current bound: 513
437.22/455.21	c current bound: 513
438.02/456.03	c current bound: 513
439.06/456.85	c current bound: 513
439.67/457.67	c current bound: 513
440.48/458.73	c current bound: 513
441.31/459.55	c current bound: 513
442.12/460.36	c current bound: 513
443.13/461.18	c current bound: 513
443.76/461.99	c current bound: 513
444.57/462.81	c current bound: 513
445.38/463.75	c current bound: 513
446.39/464.57	c current bound: 513
447.01/465.38	c current bound: 513
447.83/466.20	c current bound: 513
448.65/467.02	c current bound: 513
449.68/467.84	c current bound: 513
450.54/468.92	c current bound: 513
451.10/469.74	c current bound: 513
451.91/470.55	c current bound: 513
452.73/471.37	c current bound: 513
453.73/472.19	c current bound: 513
454.37/473.01	c current bound: 513
455.18/474.10	c current bound: 513
456.02/474.93	c current bound: 513
456.83/475.74	c current bound: 513
457.84/476.56	c current bound: 513
458.46/477.37	c current bound: 513
459.28/478.19	c current bound: 513
460.09/479.24	c current bound: 513
461.12/480.06	c current bound: 513
461.71/480.86	c current bound: 513
462.52/481.68	c current bound: 513
463.34/482.50	c current bound: 513
464.41/483.32	c current bound: 513
465.23/484.26	c current bound: 513
465.81/485.08	c current bound: 513
466.90/485.90	c current bound: 513
467.45/486.72	c current bound: 513
468.49/487.54	c current bound: 513
469.08/488.36	c current bound: 513
469.90/489.42	c current bound: 513
470.73/490.24	c current bound: 513
471.74/491.05	c current bound: 513
472.36/491.87	c current bound: 513
473.18/492.68	c current bound: 513
473.99/493.50	c current bound: 513
475.05/494.47	c current bound: 513
475.81/495.28	c current bound: 513
476.71/496.10	c current bound: 513
477.25/496.91	c current bound: 513
478.06/497.73	c current bound: 513
479.11/498.55	c current bound: 513
479.96/499.62	c current bound: 513
480.54/500.44	c current bound: 513
481.34/501.26	c current bound: 513
482.17/502.08	c current bound: 513
482.98/502.89	c current bound: 513
483.80/503.71	c current bound: 513
484.62/504.76	c current bound: 513
485.43/505.58	c current bound: 513
486.42/506.39	c current bound: 513
487.09/507.21	c current bound: 513
487.88/508.02	c current bound: 513
488.71/508.84	c current bound: 513
489.79/509.93	c current bound: 513
490.56/510.75	c current bound: 513
491.16/511.56	c current bound: 513
491.98/512.38	c current bound: 513
493.07/513.20	c current bound: 513
493.85/514.02	c current bound: 513
494.44/514.94	c current bound: 513
495.25/515.76	c current bound: 513
496.05/516.59	c current bound: 513
497.13/517.41	c current bound: 513
497.71/518.22	c current bound: 513
498.52/519.04	c current bound: 513
499.34/520.07	c current bound: 513
500.13/520.88	c current bound: 513
501.13/521.69	c current bound: 513
501.77/522.51	c current bound: 513
502.59/523.33	c current bound: 513
503.41/524.15	c current bound: 513
504.48/525.21	c current bound: 513
505.28/526.03	c current bound: 513
505.85/526.84	c current bound: 513
506.67/527.66	c current bound: 513
507.48/528.48	c current bound: 513
508.30/529.29	c current bound: 513
509.13/530.17	c current bound: 513
509.94/530.99	c current bound: 513
510.77/531.80	c current bound: 513
511.82/532.64	c current bound: 513
512.42/533.45	c current bound: 513
513.23/534.27	c current bound: 513
514.32/535.32	c current bound: 513
515.07/536.15	c current bound: 513
515.71/536.97	c current bound: 513
516.52/537.78	c current bound: 513
517.34/538.61	c current bound: 513
518.38/539.42	c current bound: 513
519.22/540.36	c current bound: 513
519.79/541.18	c current bound: 513
520.89/542.00	c current bound: 513
521.43/542.81	c current bound: 513
522.48/543.63	c current bound: 513
523.07/544.45	c current bound: 513
523.88/545.59	c current bound: 513
524.70/546.41	c current bound: 513
525.52/547.22	c current bound: 513
526.55/548.04	c current bound: 513
527.15/548.85	c current bound: 513
527.96/549.67	c current bound: 513
528.79/550.76	c current bound: 513
529.60/551.57	c current bound: 513
530.41/552.39	c current bound: 513
531.23/553.20	c current bound: 513
532.04/554.02	c current bound: 513
533.07/554.84	c current bound: 513
533.94/555.97	c current bound: 513
534.50/556.79	c current bound: 513
535.32/557.60	c current bound: 513
536.13/558.42	c current bound: 513
537.17/559.23	c current bound: 513
537.76/560.04	c current bound: 513
538.57/560.85	c current bound: 513
539.40/561.67	c current bound: 513
540.37/562.48	c current bound: 513
541.02/563.30	c current bound: 513
541.84/564.11	c current bound: 513
542.64/564.92	c current bound: 513
543.72/565.99	c current bound: 513
544.44/566.80	c current bound: 513
545.10/567.61	c current bound: 513
545.92/568.43	c current bound: 513
546.74/569.25	c current bound: 513
547.74/570.06	c current bound: 513
548.36/571.09	c current bound: 513
549.18/571.91	c current bound: 513
549.99/572.72	c current bound: 513
551.02/573.54	c current bound: 513
551.63/574.36	c current bound: 513
552.44/575.17	c current bound: 513
553.26/576.21	c current bound: 513
554.09/577.03	c current bound: 513
555.12/577.84	c current bound: 513
555.72/578.66	c current bound: 513
556.54/579.47	c current bound: 513
557.37/580.29	c current bound: 513
558.43/581.40	c current bound: 513
559.24/582.22	c current bound: 513
559.82/583.03	c current bound: 513
560.63/583.85	c current bound: 513
561.45/584.66	c current bound: 513
562.45/585.48	c current bound: 513
563.33/586.51	c current bound: 513
563.89/587.32	c current bound: 513
564.70/588.14	c current bound: 513
565.72/588.95	c current bound: 513
566.34/589.77	c current bound: 513
567.15/590.58	c current bound: 513
567.98/591.53	c current bound: 513
568.80/592.34	c current bound: 513
569.80/593.16	c current bound: 513
570.42/593.97	c current bound: 513
571.25/594.79	c current bound: 513
572.06/595.60	c current bound: 513
573.12/596.64	c current bound: 513
573.69/597.45	c current bound: 513
574.50/598.27	c current bound: 513
575.32/599.08	c current bound: 513
576.41/599.90	c current bound: 513
576.95/600.71	c current bound: 513
577.77/601.79	c current bound: 513
578.86/602.60	c current bound: 513
579.40/603.41	c current bound: 513
580.44/604.23	c current bound: 513
581.04/605.04	c current bound: 513
581.85/605.86	c current bound: 513
582.68/606.97	c current bound: 513
583.48/607.79	c current bound: 513
584.58/608.60	c current bound: 513
585.12/609.42	c current bound: 513
585.93/610.23	c current bound: 513
586.75/611.05	c current bound: 513
587.83/612.09	c current bound: 513
588.67/612.91	c current bound: 513
589.22/613.72	c current bound: 513
590.03/614.54	c current bound: 513
591.05/615.35	c current bound: 513
591.67/616.17	c current bound: 513
592.48/617.10	c current bound: 513
593.32/617.92	c current bound: 513
594.12/618.73	c current bound: 513
595.15/619.55	c current bound: 513
595.75/620.36	c current bound: 513
596.56/621.18	c current bound: 513
597.39/622.30	c current bound: 513
598.20/623.12	c current bound: 513
599.25/623.93	c current bound: 513
599.82/624.75	c current bound: 513
600.65/625.56	c current bound: 513
601.45/626.38	c current bound: 513
602.56/627.40	c current bound: 513
603.10/628.21	c current bound: 513
603.91/629.03	c current bound: 513
604.73/629.84	c current bound: 513
605.74/630.66	c current bound: 513
606.35/631.47	c current bound: 513
607.19/632.57	c current bound: 513
607.99/633.38	c current bound: 513
608.82/634.20	c current bound: 513
609.88/635.01	c current bound: 513
610.45/635.83	c current bound: 513
611.25/636.64	c current bound: 513
612.06/637.70	c current bound: 513
612.91/638.52	c current bound: 513
613.94/639.33	c current bound: 513
614.53/640.15	c current bound: 513
615.33/640.96	c current bound: 513
616.16/641.77	c current bound: 513
617.22/642.82	c current bound: 513
617.78/643.63	c current bound: 513
618.59/644.45	c current bound: 513
619.42/645.26	c current bound: 513
620.42/646.08	c current bound: 513
621.04/646.90	c current bound: 513
621.87/647.93	c current bound: 513
622.68/648.75	c current bound: 513
623.50/649.57	c current bound: 513
624.50/650.38	c current bound: 513
625.14/651.19	c current bound: 513
625.95/652.07	c current bound: 513
626.76/652.92	c current bound: 513
627.82/653.73	c current bound: 513
628.41/654.55	c current bound: 513
629.22/655.36	c current bound: 513
630.04/656.17	c current bound: 513
631.03/656.99	c current bound: 513
631.67/657.81	c current bound: 513
632.51/658.64	c current bound: 513
633.32/659.46	c current bound: 513
634.32/660.28	c current bound: 513
634.95/661.09	c current bound: 513
635.77/661.91	c current bound: 513
636.58/662.72	c current bound: 513
637.62/663.54	c current bound: 513
638.20/664.36	c current bound: 513
639.03/665.17	c current bound: 513
639.84/665.99	c current bound: 513
640.92/666.81	c current bound: 513
641.48/667.63	c current bound: 513
642.29/668.45	c current bound: 513
643.30/669.27	c current bound: 513
643.94/670.09	c current bound: 513
644.75/670.90	c current bound: 513
645.56/671.72	c current bound: 513
646.60/672.54	c current bound: 513
647.44/673.65	c current bound: 513
648.02/674.46	c current bound: 513
648.82/675.28	c current bound: 513
649.64/676.09	c current bound: 513
650.71/676.92	c current bound: 513
651.29/677.73	c current bound: 513
652.10/678.86	c current bound: 513
652.92/679.67	c current bound: 513
654.01/680.50	c current bound: 513
654.80/681.32	c current bound: 513
655.39/682.13	c current bound: 513
656.20/682.95	c current bound: 513
657.01/684.02	c current bound: 513
657.84/684.83	c current bound: 513
658.86/685.65	c current bound: 513
659.47/686.46	c current bound: 513
660.29/687.27	c current bound: 513
661.10/688.09	c current bound: 513
662.16/689.05	c current bound: 513
662.72/689.86	c current bound: 513
663.54/690.68	c current bound: 513
664.62/691.50	c current bound: 513
665.41/692.31	c current bound: 513
665.99/693.13	c current bound: 513
666.81/694.07	c current bound: 513
667.63/694.89	c current bound: 513
668.44/695.70	c current bound: 513
669.50/696.52	c current bound: 513
670.07/697.34	c current bound: 513
670.88/698.15	c current bound: 513
671.96/699.25	c current bound: 513
672.71/700.07	c current bound: 513
673.35/700.89	c current bound: 513
674.17/701.70	c current bound: 513
674.99/702.52	c current bound: 513
676.02/703.34	c current bound: 513
676.88/704.40	c current bound: 513
677.44/705.22	c current bound: 513
678.25/706.03	c current bound: 513
679.06/706.85	c current bound: 513
680.07/707.67	c current bound: 513
680.70/708.48	c current bound: 513
681.52/709.57	c current bound: 513
682.33/710.38	c current bound: 513
683.15/711.20	c current bound: 513
684.20/712.02	c current bound: 513
684.78/712.83	c current bound: 513
685.59/713.65	c current bound: 513
686.40/714.77	c current bound: 513
687.22/715.58	c current bound: 513
688.20/716.40	c current bound: 513
688.85/717.21	c current bound: 513
689.66/718.03	c current bound: 513
690.49/718.85	c current bound: 513
691.56/719.87	c current bound: 513
692.11/720.68	c current bound: 513
693.21/721.50	c current bound: 513
693.75/722.31	c current bound: 513
694.80/723.13	c current bound: 513
695.40/723.95	c current bound: 513
696.22/724.93	c current bound: 513
697.03/725.75	c current bound: 513
697.86/726.57	c current bound: 513
698.84/727.38	c current bound: 513
699.49/728.20	c current bound: 513
700.31/729.02	c current bound: 513
701.13/730.08	c current bound: 513
701.95/730.91	c current bound: 513
703.01/731.72	c current bound: 513
703.59/732.54	c current bound: 513
704.40/733.35	c current bound: 513
705.21/734.17	c current bound: 513
706.29/735.20	c current bound: 513
706.86/736.02	c current bound: 513
707.67/736.83	c current bound: 513
708.49/737.67	c current bound: 513
709.50/738.48	c current bound: 513
710.12/739.29	c current bound: 513
710.96/740.42	c current bound: 513
711.77/741.23	c current bound: 513
712.58/742.05	c current bound: 513
713.61/742.86	c current bound: 513
714.22/743.68	c current bound: 513
715.30/744.50	c current bound: 513
715.84/745.32	c current bound: 513
716.90/746.13	c current bound: 513
717.49/746.94	c current bound: 513
718.29/747.76	c current bound: 513
719.11/748.57	c current bound: 513
720.09/749.39	c current bound: 513
720.74/750.20	c current bound: 513
721.56/751.03	c current bound: 513
722.39/751.85	c current bound: 513
723.40/752.66	c current bound: 513
724.02/753.48	c current bound: 513
725.10/754.30	c current bound: 513
725.65/755.11	c current bound: 513
726.70/755.93	c current bound: 513
727.28/756.74	c current bound: 513
728.10/757.57	c current bound: 513
728.92/758.38	c current bound: 513
729.75/759.20	c current bound: 513
730.55/760.01	c current bound: 513
731.37/760.88	c current bound: 513
732.45/761.70	c current bound: 513
733.26/762.51	c current bound: 513
733.82/763.33	c current bound: 513
734.63/764.15	c current bound: 513
735.65/764.96	c current bound: 513
736.29/765.78	c current bound: 513
737.10/766.69	c current bound: 513
737.92/767.50	c current bound: 513
738.73/768.32	c current bound: 513
739.78/769.13	c current bound: 513
740.37/769.95	c current bound: 513
741.19/770.77	c current bound: 513
742.00/771.66	c current bound: 513
743.01/772.47	c current bound: 513
743.63/773.28	c current bound: 513
744.46/774.10	c current bound: 513
745.28/774.92	c current bound: 513
746.31/775.74	c current bound: 513
746.90/776.55	c current bound: 513
747.72/777.37	c current bound: 513
748.54/778.19	c current bound: 513
749.62/779.00	c current bound: 513
750.16/779.82	c current bound: 513
750.99/780.64	c current bound: 513
752.07/781.70	c current bound: 513
752.87/782.52	c current bound: 513
753.45/783.33	c current bound: 513
754.27/784.16	c current bound: 513
755.08/784.97	c current bound: 513
756.19/785.80	c current bound: 513
756.99/786.84	c current bound: 513
757.55/787.66	c current bound: 513
758.36/788.47	c current bound: 513
759.18/789.29	c current bound: 513
760.27/790.10	c current bound: 513
760.80/790.91	c current bound: 513
761.63/791.84	c current bound: 513
762.44/792.66	c current bound: 513
763.44/793.48	c current bound: 513
764.07/794.29	c current bound: 513
764.88/795.11	c current bound: 513
765.70/795.93	c current bound: 513
766.76/797.10	c current bound: 513
767.57/797.92	c current bound: 513
768.14/798.73	c current bound: 513
768.97/799.55	c current bound: 513
769.77/800.37	c current bound: 513
770.78/801.18	c current bound: 513
771.41/802.10	c current bound: 513
772.24/802.92	c current bound: 513
773.05/803.73	c current bound: 513
774.09/804.55	c current bound: 513
774.68/805.36	c current bound: 513
775.51/806.18	c current bound: 513
776.58/807.23	c current bound: 513
777.14/808.05	c current bound: 513
778.15/808.86	c current bound: 513
778.79/809.68	c current bound: 513
779.60/810.49	c current bound: 513
780.41/811.31	c current bound: 513
781.49/812.25	c current bound: 513
782.05/813.07	c current bound: 513
782.87/813.88	c current bound: 513
783.68/814.70	c current bound: 513
784.76/815.52	c current bound: 513
785.32/816.33	c current bound: 513
786.15/817.49	c current bound: 513
786.96/818.31	c current bound: 513
787.78/819.13	c current bound: 513
788.81/819.94	c current bound: 513
789.42/820.76	c current bound: 513
790.24/821.57	c current bound: 513
791.06/822.59	c current bound: 513
791.87/823.40	c current bound: 513
792.93/824.22	c current bound: 513
793.49/825.03	c current bound: 513
794.32/825.85	c current bound: 513
795.13/826.67	c current bound: 513
796.23/827.74	c current bound: 513
796.99/828.56	c current bound: 513
797.60/829.37	c current bound: 513
798.41/830.19	c current bound: 513
799.24/831.01	c current bound: 513
800.30/831.82	c current bound: 513
800.88/832.88	c current bound: 513
801.69/833.70	c current bound: 513
802.50/834.51	c current bound: 513
803.55/835.33	c current bound: 513
804.13/836.15	c current bound: 513
804.97/836.97	c current bound: 513
806.04/838.14	c current bound: 513
806.59/838.95	c current bound: 513
807.42/839.77	c current bound: 513
808.22/840.58	c current bound: 513
809.32/841.40	c current bound: 513
809.87/842.22	c current bound: 513
810.90/843.04	c current bound: 513
811.49/843.85	c current bound: 513
812.32/844.67	c current bound: 513
813.13/845.48	c current bound: 513
814.20/846.31	c current bound: 513
814.79/847.12	c current bound: 513
815.60/847.94	c current bound: 513
816.42/848.76	c current bound: 513
817.41/849.58	c current bound: 513
818.06/850.39	c current bound: 513
818.87/851.21	c current bound: 513
819.70/852.03	c current bound: 513
820.73/852.85	c current bound: 513
821.32/853.66	c current bound: 513
822.15/854.48	c current bound: 513
822.96/855.30	c current bound: 513
824.02/856.11	c current bound: 513
824.59/856.92	c current bound: 513
825.40/857.74	c current bound: 513
826.22/858.78	c current bound: 513
827.04/859.60	c current bound: 513
828.11/860.42	c current bound: 513
828.68/861.23	c current bound: 513
829.49/862.05	c current bound: 513
830.50/862.86	c current bound: 513
831.37/863.97	c current bound: 513
831.93/864.78	c current bound: 513
833.02/865.60	c current bound: 513
833.56/866.42	c current bound: 513
834.60/867.24	c current bound: 513
835.21/868.05	c current bound: 513
836.29/869.09	c current bound: 513
836.84/869.91	c current bound: 513
837.65/870.73	c current bound: 513
838.69/871.54	c current bound: 513
839.28/872.36	c current bound: 513
840.10/873.18	c current bound: 513
840.91/874.28	c current bound: 513
842.01/875.10	c current bound: 513
842.79/875.91	c current bound: 513
843.36/876.73	c current bound: 513
844.16/877.54	c current bound: 513
844.99/878.36	c current bound: 513
846.08/879.46	c current bound: 513
846.81/880.28	c current bound: 513
847.45/881.09	c current bound: 513
848.27/881.92	c current bound: 513
849.09/882.74	c current bound: 513
850.12/883.55	c current bound: 513
850.98/884.66	c current bound: 513
851.55/885.48	c current bound: 513
852.64/886.30	c current bound: 513
853.18/887.11	c current bound: 513
854.22/887.93	c current bound: 513
854.82/888.75	c current bound: 513
855.63/889.63	c current bound: 513
856.46/890.45	c current bound: 513
857.47/891.26	c current bound: 513
858.09/892.08	c current bound: 513
859.18/892.90	c current bound: 513
859.72/893.71	c current bound: 513
860.79/894.80	c current bound: 513
861.59/895.62	c current bound: 513
862.16/896.44	c current bound: 513
862.98/897.25	c current bound: 513
863.80/898.07	c current bound: 513
864.62/898.88	c current bound: 513
865.43/899.88	c current bound: 513
866.53/900.70	c current bound: 513
867.08/901.51	c current bound: 513
868.14/902.33	c current bound: 513
868.71/903.15	c current bound: 513
869.53/903.96	c current bound: 513
870.35/904.94	c current bound: 513
871.35/905.76	c current bound: 513
871.98/906.57	c current bound: 513
872.79/907.39	c current bound: 513
873.62/908.22	c current bound: 513
874.68/909.03	c current bound: 513
875.53/910.02	c current bound: 513
876.09/910.83	c current bound: 513
876.90/911.64	c current bound: 513
877.71/912.47	c current bound: 513
878.72/913.28	c current bound: 513
879.63/914.10	c current bound: 513
880.18/915.17	c current bound: 513
880.99/915.99	c current bound: 513
881.80/916.80	c current bound: 513
882.86/917.62	c current bound: 513
883.43/918.43	c current bound: 513
884.25/919.26	c current bound: 513
885.09/920.23	c current bound: 513
886.12/921.06	c current bound: 513
886.73/921.87	c current bound: 513
887.55/922.68	c current bound: 513
888.63/923.50	c current bound: 513
889.41/924.31	c current bound: 513
890.25/925.35	c current bound: 513
890.81/926.16	c current bound: 513
891.62/926.98	c current bound: 513
892.44/927.79	c current bound: 513
893.78/928.61	c current bound: 513
894.08/929.42	c current bound: 513
894.89/930.38	c current bound: 513
895.71/931.20	c current bound: 513
896.77/932.02	c current bound: 513
897.34/932.83	c current bound: 513
898.17/933.65	c current bound: 513
898.98/934.47	c current bound: 513
900.05/935.60	c current bound: 513
900.86/936.42	c current bound: 513
901.43/937.24	c current bound: 513
902.25/938.05	c current bound: 513
903.07/938.87	c current bound: 513
904.06/939.69	c current bound: 513
904.95/940.73	c current bound: 513
905.51/941.55	c current bound: 513
906.33/942.36	c current bound: 513
907.15/943.18	c current bound: 513
908.26/944.00	c current bound: 513
908.80/944.82	c current bound: 513
909.61/945.89	c current bound: 513
910.43/946.71	c current bound: 513
911.49/947.52	c current bound: 513
912.07/948.34	c current bound: 513
912.87/949.15	c current bound: 513
913.70/949.97	c current bound: 513
914.79/951.03	c current bound: 513
915.55/951.84	c current bound: 513
916.15/952.66	c current bound: 513
916.97/953.48	c current bound: 513
917.78/954.29	c current bound: 513
918.85/955.11	c current bound: 513
919.42/956.04	c current bound: 513
920.24/956.86	c current bound: 513
921.06/957.68	c current bound: 513
922.16/958.50	c current bound: 513
922.70/959.31	c current bound: 513
923.52/960.13	c current bound: 513
924.33/961.05	c current bound: 513
925.33/961.86	c current bound: 513
925.96/962.68	c current bound: 513
927.05/963.50	c current bound: 513
927.59/964.31	c current bound: 513
928.63/965.13	c current bound: 513
929.22/966.20	c current bound: 513
930.04/967.01	c current bound: 513
930.86/967.83	c current bound: 513
931.68/968.65	c current bound: 513
932.69/969.47	c current bound: 513
933.30/970.28	c current bound: 513
934.12/971.32	c current bound: 513
934.93/972.14	c current bound: 513
935.76/972.95	c current bound: 513
936.78/973.77	c current bound: 513
937.40/974.58	c current bound: 513
938.22/975.40	c current bound: 513
939.04/976.51	c current bound: 513
939.85/977.33	c current bound: 513
940.90/978.14	c current bound: 513
941.48/978.96	c current bound: 513
942.30/979.78	c current bound: 513
943.11/980.60	c current bound: 513
944.17/981.63	c current bound: 513
944.76/982.45	c current bound: 513
945.58/983.27	c current bound: 513
946.38/984.09	c current bound: 513
947.47/984.90	c current bound: 513
948.02/985.71	c current bound: 513
948.84/986.74	c current bound: 513
949.64/987.56	c current bound: 513
950.46/988.38	c current bound: 513
951.45/989.19	c current bound: 513
952.10/990.00	c current bound: 513
952.92/990.82	c current bound: 513
953.74/991.93	c current bound: 513
954.56/992.74	c current bound: 513
955.58/993.56	c current bound: 513
956.20/994.37	c current bound: 513
957.01/995.19	c current bound: 513
957.83/996.01	c current bound: 513
958.90/997.09	c current bound: 513
959.72/997.91	c current bound: 513
960.28/998.73	c current bound: 513
961.10/999.55	c current bound: 513
962.11/1000.36	c current bound: 513
962.73/1001.18	c current bound: 513
963.56/1002.11	c current bound: 513
964.37/1002.93	c current bound: 513
965.19/1003.74	c current bound: 513
966.22/1004.56	c current bound: 513
966.82/1005.37	c current bound: 513
967.63/1006.19	c current bound: 513
968.46/1007.28	c current bound: 513
969.54/1008.10	c current bound: 513
970.34/1008.92	c current bound: 513
970.90/1009.73	c current bound: 513
971.72/1010.55	c current bound: 513
972.82/1011.44	c current bound: 513
973.62/1012.44	c current bound: 513
974.17/1013.26	c current bound: 513
974.99/1014.07	c current bound: 513
975.80/1014.89	c current bound: 513
976.86/1015.71	c current bound: 513
977.44/1016.53	c current bound: 513
978.27/1017.56	c current bound: 513
979.08/1018.38	c current bound: 513
979.90/1019.20	c current bound: 513
980.98/1020.02	c current bound: 513
981.54/1020.83	c current bound: 513
982.36/1021.65	c current bound: 513
983.17/1022.76	c current bound: 513
984.00/1023.58	c current bound: 513
984.98/1024.39	c current bound: 513
985.63/1025.21	c current bound: 513
986.44/1026.02	c current bound: 513
987.26/1026.84	c current bound: 513
988.36/1027.82	c current bound: 513
988.90/1028.64	c current bound: 513
989.73/1029.45	c current bound: 513
990.55/1030.27	c current bound: 513
991.53/1031.09	c current bound: 513
992.19/1031.91	c current bound: 513
993.00/1032.99	c current bound: 513
993.83/1033.80	c current bound: 513
994.63/1034.62	c current bound: 513
995.68/1035.44	c current bound: 513
996.27/1036.25	c current bound: 513
997.09/1037.07	c current bound: 513
997.91/1038.04	c current bound: 513
998.92/1038.86	c current bound: 513
999.54/1039.67	c current bound: 513
1000.35/1040.49	c current bound: 513
1001.17/1041.32	c current bound: 513
1002.21/1042.14	c current bound: 513
1003.07/1043.07	c current bound: 513
1003.92/1043.90	c current bound: 513
1004.48/1044.72	c current bound: 513
1005.29/1045.54	c current bound: 513
1006.32/1046.35	c current bound: 513
1006.93/1047.17	c current bound: 513
1007.74/1048.14	c current bound: 513
1008.56/1048.96	c current bound: 513
1009.57/1049.77	c current bound: 513
1010.20/1050.59	c current bound: 513
1011.01/1051.40	c current bound: 513
1011.84/1052.22	c current bound: 513
1012.91/1053.25	c current bound: 513
1013.66/1054.07	c current bound: 513
1014.28/1054.88	c current bound: 513
1015.38/1055.70	c current bound: 513
1015.92/1056.52	c current bound: 513
1016.96/1057.33	c current bound: 513
1017.55/1058.38	c current bound: 513
1018.64/1059.20	c current bound: 513
1019.18/1060.02	c current bound: 513
1020.23/1060.83	c current bound: 513
1020.83/1061.65	c current bound: 513
1021.64/1062.46	c current bound: 513
1022.47/1063.56	c current bound: 513
1023.27/1064.37	c current bound: 513
1024.38/1065.20	c current bound: 513
1024.92/1066.01	c current bound: 513
1025.74/1066.83	c current bound: 513
1026.56/1067.65	c current bound: 513
1027.63/1068.62	c current bound: 513
1028.43/1069.43	c current bound: 513
1029.01/1070.26	c current bound: 513
1029.84/1071.08	c current bound: 513
1030.65/1071.89	c current bound: 513
1031.73/1072.71	c current bound: 513
1032.29/1073.75	c current bound: 513
1033.10/1074.56	c current bound: 513
1033.93/1075.38	c current bound: 513
1034.91/1076.19	c current bound: 513
1035.57/1077.01	c current bound: 513
1036.38/1077.82	c current bound: 513
1037.20/1078.97	c current bound: 513
1038.01/1079.79	c current bound: 513
1039.08/1080.61	c current bound: 513
1039.66/1081.45	c current bound: 513
1040.48/1082.26	c current bound: 513
1041.28/1083.08	c current bound: 513
1042.36/1083.95	c current bound: 513
1042.92/1084.76	c current bound: 513
1043.74/1085.58	c current bound: 513
1044.56/1086.39	c current bound: 513
1045.61/1087.21	c current bound: 513
1046.19/1088.02	c current bound: 513
1047.00/1088.84	c current bound: 513
1047.82/1089.77	c current bound: 513
1048.64/1090.58	c current bound: 513
1049.46/1091.40	c current bound: 513
1050.28/1092.21	c current bound: 513
1051.09/1093.03	c current bound: 513
1052.13/1093.85	c current bound: 513
1052.91/1094.76	c current bound: 513
1053.53/1095.58	c current bound: 513
1054.36/1096.39	c current bound: 513
1055.18/1097.21	c current bound: 513
1056.22/1098.03	c current bound: 513
1056.81/1098.84	c current bound: 513
1057.63/1099.73	c current bound: 513
1058.44/1100.54	c current bound: 513
1059.46/1101.36	c current bound: 513
1060.08/1102.17	c current bound: 513
1060.90/1102.99	c current bound: 513
1061.70/1103.81	c current bound: 513
1062.76/1104.63	c current bound: 513
1063.35/1105.45	c current bound: 513
1064.16/1106.27	c current bound: 513
1064.98/1107.09	c current bound: 513
1066.08/1107.91	c current bound: 513
1066.62/1108.72	c current bound: 513
1067.44/1109.54	c current bound: 513
1068.46/1110.36	c current bound: 513
1069.09/1111.18	c current bound: 513
1070.17/1112.00	c current bound: 513
1070.72/1112.81	c current bound: 513
1071.77/1113.63	c current bound: 513
1072.59/1114.67	c current bound: 513
1073.17/1115.48	c current bound: 513
1073.97/1116.30	c current bound: 513
1074.80/1117.12	c current bound: 513
1075.84/1117.94	c current bound: 513
1076.45/1118.76	c current bound: 513
1077.52/1119.80	c current bound: 513
1078.06/1120.61	c current bound: 513
1078.88/1121.43	c current bound: 513
1079.91/1122.24	c current bound: 513
1080.51/1123.06	c current bound: 513
1081.32/1123.87	c current bound: 513
1082.40/1125.00	c current bound: 513
1082.97/1125.81	c current bound: 513
1084.01/1126.63	c current bound: 513
1084.59/1127.44	c current bound: 513
1085.40/1128.26	c current bound: 513
1086.23/1129.08	c current bound: 513
1087.30/1130.09	c current bound: 513
1087.87/1130.90	c current bound: 513
1088.68/1131.72	c current bound: 513
1089.50/1132.54	c current bound: 513
1090.54/1133.35	c current bound: 513
1091.13/1134.16	c current bound: 513
1092.22/1135.04	c current bound: 513
1092.77/1135.85	c current bound: 513
1093.79/1136.67	c current bound: 513
1094.41/1137.48	c current bound: 513
1095.50/1138.30	c current bound: 513
1096.03/1139.11	c current bound: 513
1097.09/1139.93	c current bound: 513
1097.67/1140.82	c current bound: 513
1098.48/1141.63	c current bound: 513
1099.32/1142.45	c current bound: 513
1100.33/1143.27	c current bound: 513
1100.95/1144.08	c current bound: 513
1101.76/1144.90	c current bound: 513
1102.57/1145.72	c current bound: 513
1103.62/1146.53	c current bound: 513
1104.21/1147.35	c current bound: 513
1105.02/1148.16	c current bound: 513
1105.84/1148.98	c current bound: 513
1106.81/1149.80	c current bound: 513
1107.48/1150.62	c current bound: 513
1108.29/1151.46	c current bound: 513
1109.11/1152.27	c current bound: 513
1110.11/1153.08	c current bound: 513
1110.75/1153.90	c current bound: 513
1111.57/1154.72	c current bound: 513
1112.39/1155.78	c current bound: 513
1113.48/1156.60	c current bound: 513
1114.27/1157.41	c current bound: 513
1114.84/1158.23	c current bound: 513
1115.66/1159.05	c current bound: 513
1116.66/1159.86	c current bound: 513
1117.55/1160.92	c current bound: 513
1118.10/1161.74	c current bound: 513
1118.93/1162.56	c current bound: 513
1119.74/1163.37	c current bound: 513
1120.73/1164.19	c current bound: 513
1121.37/1165.01	c current bound: 513
1122.19/1165.92	c current bound: 513
1123.01/1166.73	c current bound: 513
1124.02/1167.55	c current bound: 513
1124.64/1168.36	c current bound: 513
1125.47/1169.18	c current bound: 513
1126.55/1170.00	c current bound: 513
1127.33/1170.81	c current bound: 513
1127.91/1171.65	c current bound: 513
1128.73/1172.47	c current bound: 513
1129.54/1173.28	c current bound: 513
1130.63/1174.10	c current bound: 513
1131.18/1174.91	c current bound: 513
1132.00/1175.73	c current bound: 513
1132.81/1176.55	c current bound: 513
1133.84/1177.36	c current bound: 513
1134.45/1178.18	c current bound: 513
1135.26/1178.99	c current bound: 513
1136.08/1179.81	c current bound: 513
1137.13/1180.63	c current bound: 513
1137.98/1181.69	c current bound: 513
1138.53/1182.51	c current bound: 513
1139.36/1183.33	c current bound: 513
1140.17/1184.15	c current bound: 513
1141.19/1184.96	c current bound: 513
1141.81/1185.78	c current bound: 513
1142.89/1186.70	c current bound: 513
1143.44/1187.52	c current bound: 513
1144.49/1188.33	c current bound: 513
1145.09/1189.15	c current bound: 513
1145.91/1189.97	c current bound: 513
1146.73/1190.78	c current bound: 513
1147.81/1191.77	c current bound: 513
1148.37/1192.59	c current bound: 513
1149.18/1193.40	c current bound: 513
1150.00/1194.22	c current bound: 513
1151.02/1195.03	c current bound: 513
1151.63/1195.84	c current bound: 513
1152.44/1196.95	c current bound: 513
1153.25/1197.77	c current bound: 513
1154.07/1198.58	c current bound: 513
1155.15/1199.40	c current bound: 513
1155.70/1200.22	c current bound: 513
1156.52/1201.03	c current bound: 513
1157.33/1202.05	c current bound: 513
1158.16/1202.87	c current bound: 513
1159.15/1203.68	c current bound: 513
1160.06/1204.50	c current bound: 513
1160.60/1205.31	c current bound: 513
1161.41/1206.13	c current bound: 513
1162.50/1207.20	c current bound: 513
1163.29/1208.01	c current bound: 513
1163.86/1208.82	c current bound: 513
1164.68/1209.64	c current bound: 513
1165.69/1210.46	c current bound: 513
1166.29/1211.27	c current bound: 513
1167.13/1212.09	c current bound: 513
1167.95/1212.92	c current bound: 513
1168.99/1213.73	c current bound: 513
1169.58/1214.54	c current bound: 513
1170.39/1215.36	c current bound: 513
1171.22/1216.17	c current bound: 513
1172.28/1217.21	c current bound: 513
1173.08/1218.03	c current bound: 513
1173.67/1218.84	c current bound: 513
1174.48/1219.66	c current bound: 513
1175.30/1220.47	c current bound: 513
1176.28/1221.29	c current bound: 513
1177.18/1222.34	c current bound: 513
1177.75/1223.16	c current bound: 513
1178.57/1223.97	c current bound: 513
1179.41/1224.81	c current bound: 513
1180.46/1225.63	c current bound: 513
1181.04/1226.44	c current bound: 513
1181.86/1227.55	c current bound: 513
1182.67/1228.37	c current bound: 513
1183.49/1229.18	c current bound: 513
1184.30/1229.99	c current bound: 513
1185.11/1230.81	c current bound: 513
1185.94/1231.63	c current bound: 513
1187.00/1232.74	c current bound: 513
1187.76/1233.55	c current bound: 513
1188.39/1234.36	c current bound: 513
1189.20/1235.18	c current bound: 513
1190.03/1235.99	c current bound: 513
1191.09/1236.81	c current bound: 513
1191.90/1237.86	c current bound: 513
1192.47/1238.68	c current bound: 513
1193.29/1239.49	c current bound: 513
1194.08/1240.31	c current bound: 513
1195.15/1241.12	c current bound: 513
1195.74/1241.94	c current bound: 513
1196.55/1243.03	c current bound: 513
1197.37/1243.84	c current bound: 513
1198.19/1244.65	c current bound: 513
1199.20/1245.47	c current bound: 513
1199.81/1246.29	c current bound: 513
1200.90/1247.10	c current bound: 513
1201.44/1248.05	c current bound: 513
1202.47/1248.86	c current bound: 513
1203.09/1249.67	c current bound: 513
1203.91/1250.49	c current bound: 513
1204.72/1251.30	c current bound: 513
1205.79/1252.12	c current bound: 513
1206.62/1253.20	c current bound: 513
1207.17/1254.01	c current bound: 513
1207.99/1254.83	c current bound: 513
1208.80/1255.64	c current bound: 513
1209.81/1256.46	c current bound: 513
1210.44/1257.27	c current bound: 513
1211.26/1258.34	c current bound: 513
1212.07/1259.15	c current bound: 513
1212.89/1259.97	c current bound: 513
1213.70/1260.79	c current bound: 513
1214.53/1261.61	c current bound: 513
1215.34/1262.42	c current bound: 513
1216.42/1263.49	c current bound: 513
1217.24/1264.30	c current bound: 513
1217.81/1265.12	c current bound: 513
1218.61/1265.93	c current bound: 513
1219.44/1266.75	c current bound: 513
1220.44/1267.56	c current bound: 513
1221.06/1268.50	c current bound: 513
1221.88/1269.31	c current bound: 513
1222.69/1270.13	c current bound: 513
1223.72/1270.95	c current bound: 513
1224.33/1271.76	c current bound: 513
1225.15/1272.57	c current bound: 513
1225.95/1273.69	c current bound: 513
1226.77/1274.50	c current bound: 513
1227.83/1275.32	c current bound: 513
1228.41/1276.13	c current bound: 513
1229.22/1276.95	c current bound: 513
1230.05/1277.76	c current bound: 513
1231.11/1278.85	c current bound: 513
1231.88/1279.66	c current bound: 513
1232.49/1280.48	c current bound: 513
1233.30/1281.29	c current bound: 513
1234.13/1282.11	c current bound: 513
1235.18/1282.92	c current bound: 513
1236.02/1283.99	c current bound: 513
1236.57/1284.81	c current bound: 513
1237.41/1285.63	c current bound: 513
1238.21/1286.47	c current bound: 513
1239.22/1287.28	c current bound: 513
1239.85/1288.10	c current bound: 513
1240.67/1288.92	c current bound: 513
1241.49/1289.74	c current bound: 513
1242.52/1290.55	c current bound: 513
1243.14/1291.37	c current bound: 513
1243.94/1292.18	c current bound: 513
1245.03/1293.00	c current bound: 513
1245.83/1293.81	c current bound: 513
1246.40/1294.63	c current bound: 513
1247.22/1295.44	c current bound: 513
1248.23/1296.26	c current bound: 513
1248.84/1297.07	c current bound: 513
1249.65/1297.88	c current bound: 513
1250.74/1298.70	c current bound: 513
1251.53/1299.52	c current bound: 513
1252.11/1300.34	c current bound: 513
1252.92/1301.15	c current bound: 513
1253.74/1301.97	c current bound: 513
1254.73/1302.78	c current bound: 513
1255.64/1303.60	c current bound: 513
1256.18/1304.63	c current bound: 513
1256.99/1305.44	c current bound: 513
1257.81/1306.26	c current bound: 513
1258.82/1307.07	c current bound: 513
1259.44/1307.88	c current bound: 513
1260.52/1308.70	c current bound: 513
1261.07/1309.65	c current bound: 513
1262.09/1310.47	c current bound: 513
1262.69/1311.26	c current bound: 513
1263.50/1312.08	c current bound: 513
1264.32/1312.90	c current bound: 513
1265.40/1313.71	c current bound: 513
1266.21/1314.78	c current bound: 513
1266.77/1315.59	c current bound: 513
1267.58/1316.41	c current bound: 513
1268.40/1317.23	c current bound: 513
1269.44/1318.05	c current bound: 513
1270.04/1318.86	c current bound: 513
1271.13/1319.90	c current bound: 513
1271.69/1320.72	c current bound: 513
1272.73/1321.53	c current bound: 513
1273.32/1322.35	c current bound: 513
1274.15/1323.17	c current bound: 513
1274.96/1323.99	c current bound: 513
1276.04/1325.04	c current bound: 513
1276.79/1325.86	c current bound: 513
1277.41/1326.67	c current bound: 513
1278.22/1327.49	c current bound: 513
1279.04/1328.31	c current bound: 513
1280.11/1329.13	c current bound: 513
1280.95/1330.24	c current bound: 513
1281.50/1331.06	c current bound: 513
1282.33/1331.88	c current bound: 513
1283.43/1332.70	c current bound: 513
1284.22/1333.52	c current bound: 513
1284.78/1334.33	c current bound: 513
1285.60/1335.39	c current bound: 513
1286.42/1336.21	c current bound: 513
1287.23/1337.02	c current bound: 513
1288.28/1337.84	c current bound: 513
1288.87/1338.66	c current bound: 513
1289.69/1339.47	c current bound: 513
1290.52/1340.51	c current bound: 513
1291.55/1341.33	c current bound: 513
1292.14/1342.15	c current bound: 513
1292.96/1342.96	c current bound: 513
1293.78/1343.78	c current bound: 513
1294.87/1344.60	c current bound: 513
1295.65/1345.71	c current bound: 513
1296.22/1346.53	c current bound: 513
1297.05/1347.35	c current bound: 513
1297.86/1348.17	c current bound: 513
1298.86/1348.99	c current bound: 513
1299.50/1349.80	c current bound: 513
1300.32/1350.90	c current bound: 513
1301.14/1351.71	c current bound: 513
1301.96/1352.53	c current bound: 513
1302.98/1353.34	c current bound: 513
1303.60/1354.16	c current bound: 513
1304.41/1354.98	c current bound: 513
1305.23/1355.82	c current bound: 513
1306.26/1356.64	c current bound: 513
1306.86/1357.46	c current bound: 513
1307.67/1358.27	c current bound: 513
1308.50/1359.09	c current bound: 513
1309.57/1359.91	c current bound: 513
1310.39/1360.97	c current bound: 513
1310.95/1361.78	c current bound: 513
1311.76/1362.60	c current bound: 513
1312.58/1363.41	c current bound: 513
1313.63/1364.23	c current bound: 513
1314.22/1365.05	c current bound: 513
1315.03/1365.90	c current bound: 513
1315.86/1366.72	c current bound: 513
1316.89/1367.54	c current bound: 513
1317.50/1368.35	c current bound: 513
1318.30/1369.17	c current bound: 513
1319.13/1369.98	c current bound: 513
1319.94/1370.80	c current bound: 513
1321.03/1371.70	c current bound: 513
1321.57/1372.51	c current bound: 513
1322.38/1373.33	c current bound: 513
1323.41/1374.14	c current bound: 513
1324.00/1374.96	c current bound: 513
1324.83/1375.77	c current bound: 513
1325.65/1376.59	c current bound: 513
1326.47/1377.40	c current bound: 513
1327.29/1378.21	c current bound: 513
1328.10/1379.03	c current bound: 513
1329.12/1379.85	c current bound: 513
1329.73/1380.66	c current bound: 513
1330.55/1381.48	c current bound: 513
1331.65/1382.30	c current bound: 513
1332.43/1383.11	c current bound: 513
1333.00/1383.93	c current bound: 513
1333.82/1384.75	c current bound: 513
1334.63/1385.56	c current bound: 513
1335.70/1386.62	c current bound: 513
1336.51/1387.43	c current bound: 513
1337.09/1388.24	c current bound: 513
1337.90/1389.06	c current bound: 513
1338.72/1389.87	c current bound: 513
1339.71/1390.70	c current bound: 513
1340.36/1391.70	c current bound: 513
1341.18/1392.51	c current bound: 513
1341.98/1393.33	c current bound: 513
1343.01/1394.14	c current bound: 513
1343.62/1394.96	c current bound: 513
1344.44/1395.77	c current bound: 513
1345.52/1396.81	c current bound: 513
1346.08/1397.64	c current bound: 513
1347.11/1398.45	c current bound: 513
1347.72/1399.27	c current bound: 513
1348.54/1400.08	c current bound: 513
1349.61/1400.90	c current bound: 513
1350.42/1401.95	c current bound: 513
1351.18/1402.76	c current bound: 513
1351.80/1403.57	c current bound: 513
1352.62/1404.39	c current bound: 513
1353.69/1405.20	c current bound: 513
1354.49/1406.01	c current bound: 513
1355.05/1407.06	c current bound: 513
1355.88/1407.87	c current bound: 513
1356.70/1408.69	c current bound: 513
1357.51/1409.50	c current bound: 513
1358.32/1410.31	c current bound: 513
1359.14/1411.13	c current bound: 513
1359.94/1412.10	c current bound: 513
1360.77/1412.92	c current bound: 513
1361.82/1413.73	c current bound: 513
1362.40/1414.54	c current bound: 513
1363.21/1415.36	c current bound: 513
1364.04/1416.18	c current bound: 513
1365.09/1417.31	c current bound: 513
1365.89/1418.13	c current bound: 513
1366.48/1418.94	c current bound: 513
1367.30/1419.76	c current bound: 513
1368.12/1420.57	c current bound: 513
1368.93/1421.39	c current bound: 513
1369.75/1422.32	c current bound: 513
1370.57/1423.14	c current bound: 513
1371.39/1423.95	c current bound: 513
1372.40/1424.77	c current bound: 513
1373.03/1425.59	c current bound: 513
1373.84/1426.40	c current bound: 513
1374.92/1427.30	c current bound: 513
1375.71/1428.12	c current bound: 513
1376.28/1428.93	c current bound: 513
1377.10/1429.75	c current bound: 513
1377.92/1430.56	c current bound: 513
1378.91/1431.38	c current bound: 513
1379.54/1432.19	c current bound: 513
1380.37/1433.07	c current bound: 513
1381.18/1433.88	c current bound: 513
1382.17/1434.69	c current bound: 513
1382.80/1435.51	c current bound: 513
1383.62/1436.32	c current bound: 513
1384.44/1437.15	c current bound: 513
1385.48/1438.04	c current bound: 513
1386.07/1438.86	c current bound: 513
1386.90/1439.67	c current bound: 513
1387.72/1440.49	c current bound: 513
1388.78/1441.32	c current bound: 513
1389.36/1442.13	c current bound: 513
1390.17/1442.95	c current bound: 513
1391.00/1443.77	c current bound: 513
1392.00/1444.59	c current bound: 513
1392.88/1445.40	c current bound: 513
1393.44/1446.21	c current bound: 513
1394.26/1447.03	c current bound: 513
1395.32/1447.92	c current bound: 513
1395.89/1448.74	c current bound: 513
1396.71/1449.57	c current bound: 513
1397.54/1450.38	c current bound: 513
1398.50/1451.20	c current bound: 513
1399.16/1452.01	c current bound: 513
1399.99/1452.83	c current bound: 513
1400.80/1453.72	c current bound: 513
1401.85/1454.54	c current bound: 513
1402.43/1455.35	c current bound: 513
1403.25/1456.17	c current bound: 513
1404.07/1456.99	c current bound: 513
1405.17/1457.81	c current bound: 513
1405.71/1458.68	c current bound: 513
1406.79/1459.50	c current bound: 513
1407.35/1460.31	c current bound: 513
1408.37/1461.14	c current bound: 513
1408.98/1461.95	c current bound: 513
1409.80/1462.77	c current bound: 513
1410.61/1463.58	c current bound: 513
1411.70/1464.40	c current bound: 513
1412.25/1465.22	c current bound: 513
1413.07/1466.03	c current bound: 513
1413.89/1466.85	c current bound: 513
1414.88/1467.67	c current bound: 513
1415.52/1468.64	c current bound: 513
1416.32/1469.46	c current bound: 513
1417.15/1470.27	c current bound: 513
1418.14/1471.09	c current bound: 513
1418.79/1471.91	c current bound: 513
1419.60/1472.72	c current bound: 513
1420.41/1473.69	c current bound: 513
1421.24/1474.50	c current bound: 513
1422.30/1475.32	c current bound: 513
1422.87/1476.14	c current bound: 513
1423.67/1476.95	c current bound: 513
1424.49/1477.77	c current bound: 513
1425.57/1478.85	c current bound: 513
1426.14/1479.67	c current bound: 513
1426.96/1480.49	c current bound: 513
1427.77/1481.29	c current bound: 513
1428.83/1482.11	c current bound: 513
1429.39/1482.93	c current bound: 513
1430.21/1483.99	c current bound: 513
1431.04/1484.83	c current bound: 513
1431.88/1485.65	c current bound: 513
1432.89/1486.46	c current bound: 513
1433.51/1487.27	c current bound: 513
1434.32/1488.09	c current bound: 513
1435.14/1489.10	c current bound: 513
1435.97/1489.91	c current bound: 513
1437.02/1490.73	c current bound: 513
1437.60/1491.55	c current bound: 513
1438.42/1492.36	c current bound: 513
1439.23/1493.18	c current bound: 513
1440.31/1494.14	c current bound: 513
1440.87/1494.95	c current bound: 513
1441.69/1495.77	c current bound: 513
1442.51/1496.59	c current bound: 513
1443.60/1497.40	c current bound: 513
1444.15/1498.22	c current bound: 513
1444.96/1499.24	c current bound: 513
1445.78/1500.05	c current bound: 513
1446.59/1500.87	c current bound: 513
1447.42/1501.68	c current bound: 513
1448.49/1502.50	c current bound: 513
1449.04/1503.31	c current bound: 513
1450.10/1504.35	c current bound: 513
1450.88/1505.16	c current bound: 513
1451.49/1505.98	c current bound: 513
1452.31/1506.79	c current bound: 513
1453.12/1507.61	c current bound: 513
1454.18/1508.43	c current bound: 513
1454.76/1509.37	c current bound: 513
1455.86/1510.20	c current bound: 513
1456.41/1511.02	c current bound: 513
1457.44/1511.83	c current bound: 513
1458.05/1512.65	c current bound: 513
1458.86/1513.46	c current bound: 513
1459.67/1514.45	c current bound: 513
1460.50/1515.27	c current bound: 513
1461.49/1516.08	c current bound: 513
1462.14/1516.90	c current bound: 513
1462.94/1517.71	c current bound: 513
1463.76/1518.53	c current bound: 513
1464.85/1519.50	c current bound: 513
1465.40/1520.32	c current bound: 513
1466.22/1521.13	c current bound: 513
1467.04/1521.95	c current bound: 513
1468.05/1522.76	c current bound: 513
1468.66/1523.58	c current bound: 513
1469.48/1524.67	c current bound: 513
1470.31/1525.49	c current bound: 513
1471.13/1526.31	c current bound: 513
1472.18/1527.12	c current bound: 513
1472.75/1527.94	c current bound: 513
1473.57/1528.75	c current bound: 513
1474.66/1529.70	c current bound: 513
1475.44/1530.52	c current bound: 513
1476.01/1531.32	c current bound: 513
1476.83/1532.14	c current bound: 513
1477.65/1532.96	c current bound: 513
1478.65/1533.78	c current bound: 513
1479.54/1534.72	c current bound: 513
1480.11/1535.54	c current bound: 513
1480.92/1536.37	c current bound: 513
1481.74/1537.18	c current bound: 513
1482.57/1538.00	c current bound: 513
1483.38/1538.82	c current bound: 513
1484.20/1539.87	c current bound: 513
1485.01/1540.68	c current bound: 513
1486.10/1541.50	c current bound: 513
1486.65/1542.31	c current bound: 513
1487.46/1543.13	c current bound: 513
1488.28/1543.95	c current bound: 513
1489.36/1545.01	c current bound: 513
1490.15/1545.83	c current bound: 513
1490.74/1546.65	c current bound: 513
1491.55/1547.47	c current bound: 513
1492.38/1548.28	c current bound: 513
1493.35/1549.10	c current bound: 513
1494.02/1549.98	c current bound: 513
1494.83/1550.79	c current bound: 513
1495.65/1551.62	c current bound: 513
1496.71/1552.43	c current bound: 513
1497.29/1553.25	c current bound: 513
1498.12/1554.06	c current bound: 513
1498.93/1554.88	c current bound: 513
1499.97/1555.83	c current bound: 513
1500.55/1556.65	c current bound: 513
1501.37/1557.46	c current bound: 513
1502.18/1558.28	c current bound: 513
1503.17/1559.09	c current bound: 513
1503.81/1559.90	c current bound: 513
1504.63/1560.83	c current bound: 513
1505.45/1561.65	c current bound: 513
1506.46/1562.46	c current bound: 513
1507.09/1563.28	c current bound: 513
1507.89/1564.09	c current bound: 513
1508.72/1564.91	c current bound: 513
1509.81/1565.80	c current bound: 513
1510.60/1566.61	c current bound: 513
1511.18/1567.43	c current bound: 513
1511.99/1568.25	c current bound: 513
1513.01/1569.07	c current bound: 513
1513.62/1569.88	c current bound: 513
1514.44/1570.75	c current bound: 513
1515.26/1571.57	c current bound: 513
1516.07/1572.39	c current bound: 513
1517.16/1573.21	c current bound: 513
1517.72/1574.02	c current bound: 513
1518.54/1574.84	c current bound: 513
1519.55/1575.65	c current bound: 513
1520.15/1576.47	c current bound: 513
1520.98/1577.29	c current bound: 513
1521.79/1578.10	c current bound: 513
1522.84/1578.92	c current bound: 513
1523.42/1579.73	c current bound: 513
1524.24/1580.80	c current bound: 513
1525.06/1581.62	c current bound: 513
1525.88/1582.44	c current bound: 513
1526.91/1583.25	c current bound: 513
1527.50/1584.07	c current bound: 513
1528.33/1584.89	c current bound: 513
1529.14/1585.94	c current bound: 513
1529.97/1586.76	c current bound: 513
1530.97/1587.57	c current bound: 513
1531.60/1588.39	c current bound: 513
1532.42/1589.21	c current bound: 513
1533.24/1590.03	c current bound: 513
1534.32/1590.92	c current bound: 513
1534.88/1591.73	c current bound: 513
1535.69/1592.55	c current bound: 513
1536.51/1593.37	c current bound: 513
1537.50/1594.19	c current bound: 513
1538.14/1595.00	c current bound: 513
1538.97/1596.09	c current bound: 513
1539.78/1596.91	c current bound: 513
1540.61/1597.73	c current bound: 513
1541.64/1598.54	c current bound: 513
1542.24/1599.36	c current bound: 513
1543.06/1600.17	c current bound: 513
1544.15/1601.30	c current bound: 513
1544.69/1602.12	c current bound: 513
1545.74/1602.94	c current bound: 513
1546.33/1603.75	c current bound: 513
1547.14/1604.57	c current bound: 513
1547.97/1605.39	c current bound: 513
1549.04/1606.46	c current bound: 513
1549.60/1607.27	c current bound: 513
1550.41/1608.09	c current bound: 513
1551.24/1608.91	c current bound: 513
1552.29/1609.72	c current bound: 513
1552.88/1610.53	c current bound: 513
1553.69/1611.64	c current bound: 513
1554.51/1612.45	c current bound: 513
1555.32/1613.27	c current bound: 513
1556.31/1614.09	c current bound: 513
1556.96/1614.90	c current bound: 513
1557.78/1615.72	c current bound: 513
1558.88/1616.80	c current bound: 513
1559.41/1617.61	c current bound: 513
1560.47/1618.43	c current bound: 513
1561.04/1619.24	c current bound: 513
1561.87/1620.06	c current bound: 513
1562.68/1620.87	c current bound: 513
1563.76/1621.97	c current bound: 513
1564.50/1622.78	c current bound: 513
1565.40/1623.60	c current bound: 513
1565.94/1624.41	c current bound: 513
1566.77/1625.23	c current bound: 513
1567.79/1626.04	c current bound: 513
1568.40/1626.90	c current bound: 513
1569.22/1627.72	c current bound: 513
1570.04/1628.53	c current bound: 513
1571.07/1629.35	c current bound: 513
1571.69/1630.16	c current bound: 513
1572.49/1630.97	c current bound: 513
1573.31/1631.79	c current bound: 513
1574.38/1632.61	c current bound: 513
1574.95/1633.43	c current bound: 513
1575.76/1634.25	c current bound: 513
1576.76/1635.06	c current bound: 513
1577.39/1635.87	c current bound: 513
1578.22/1636.69	c current bound: 513
1579.02/1637.51	c current bound: 513
1580.08/1638.32	c current bound: 513
1580.67/1639.14	c current bound: 513
1581.48/1639.96	c current bound: 513
1582.31/1640.77	c current bound: 513
1583.28/1641.59	c current bound: 513
1584.18/1642.63	c current bound: 513
1584.76/1643.45	c current bound: 513
1585.57/1644.26	c current bound: 513
1586.39/1645.08	c current bound: 513
1587.37/1645.90	c current bound: 513
1588.03/1646.71	c current bound: 513
1588.85/1647.64	c current bound: 513
1589.66/1648.46	c current bound: 513
1590.68/1649.27	c current bound: 513
1591.31/1650.09	c current bound: 513
1592.12/1650.91	c current bound: 513
1592.94/1651.73	c current bound: 513
1594.01/1652.67	c current bound: 513
1594.57/1653.48	c current bound: 513
1595.66/1654.30	c current bound: 513
1596.20/1655.11	c current bound: 513
1597.26/1655.93	c current bound: 513
1597.84/1656.74	c current bound: 513
1598.66/1657.81	c current bound: 513
1599.47/1658.63	c current bound: 513
1600.29/1659.45	c current bound: 513
1601.30/1660.27	c current bound: 513
1601.92/1661.08	c current bound: 513
1603.02/1661.90	c current bound: 513
1603.84/1662.95	c current bound: 513
1604.37/1663.76	c current bound: 513
1605.37/1664.58	c current bound: 513
1606.01/1665.39	c current bound: 513
1606.83/1666.21	c current bound: 513
1607.64/1667.03	c current bound: 513
1608.70/1667.91	c current bound: 513
1609.28/1668.72	c current bound: 513
1610.09/1669.54	c current bound: 513
1610.91/1670.36	c current bound: 513
1611.93/1671.17	c current bound: 513
1612.55/1671.99	c current bound: 513
1613.37/1672.80	c current bound: 513
1614.18/1673.75	c current bound: 513
1615.18/1674.57	c current bound: 513
1615.81/1675.38	c current bound: 513
1616.90/1676.20	c current bound: 513
1617.45/1677.02	c current bound: 513
1618.49/1677.83	c current bound: 513
1619.08/1678.73	c current bound: 513
1619.89/1679.55	c current bound: 513
1620.71/1680.37	c current bound: 513
1621.69/1681.18	c current bound: 513
1622.62/1682.00	c current bound: 513
1623.16/1682.81	c current bound: 513
1623.97/1683.63	c current bound: 513
1625.00/1684.45	c current bound: 513
1625.60/1685.26	c current bound: 513
1626.43/1686.08	c current bound: 513
1627.24/1686.90	c current bound: 513
1628.31/1687.72	c current bound: 513
1629.13/1688.80	c current bound: 513
1629.70/1689.61	c current bound: 513
1630.52/1690.43	c current bound: 513
1631.33/1691.25	c current bound: 513
1632.35/1692.07	c current bound: 513
1632.98/1692.88	c current bound: 513
1633.79/1693.74	c current bound: 513
1634.61/1694.56	c current bound: 513
1635.62/1695.37	c current bound: 513
1636.24/1696.19	c current bound: 513
1637.07/1697.01	c current bound: 513
1637.89/1697.83	c current bound: 513
1638.96/1698.89	c current bound: 513
1639.81/1699.70	c current bound: 513
1640.33/1700.52	c current bound: 513
1641.15/1701.33	c current bound: 513
1642.19/1702.15	c current bound: 513
1642.80/1702.96	c current bound: 513
1643.60/1704.10	c current bound: 513
1644.42/1704.91	c current bound: 513
1645.24/1705.73	c current bound: 513
1646.26/1706.54	c current bound: 513
1646.87/1707.36	c current bound: 513
1647.69/1708.17	c current bound: 513
1648.51/1709.09	c current bound: 513
1649.33/1709.91	c current bound: 513
1650.38/1710.72	c current bound: 513
1650.96/1711.54	c current bound: 513
1651.77/1712.36	c current bound: 513
1652.59/1713.18	c current bound: 513
1653.67/1714.23	c current bound: 513
1654.24/1715.04	c current bound: 513
1655.04/1715.86	c current bound: 513
1655.86/1716.68	c current bound: 513
1656.86/1717.49	c current bound: 513
1657.50/1718.31	c current bound: 513
1658.33/1719.34	c current bound: 513
1659.15/1720.16	c current bound: 513
1659.96/1720.97	c current bound: 513
1660.95/1721.79	c current bound: 513
1661.59/1722.60	c current bound: 513
1662.41/1723.42	c current bound: 513
1663.24/1724.37	c current bound: 513
1664.24/1725.19	c current bound: 513
1664.88/1726.00	c current bound: 513
1665.68/1726.81	c current bound: 513
1666.51/1727.63	c current bound: 513
1667.54/1728.45	c current bound: 513
1668.37/1729.43	c current bound: 513
1668.94/1730.25	c current bound: 513
1669.76/1731.06	c current bound: 513
1670.58/1731.88	c current bound: 513
1671.39/1732.69	c current bound: 513
1672.21/1733.51	c current bound: 513
1673.04/1734.57	c current bound: 513
1673.85/1735.38	c current bound: 513
1674.92/1736.20	c current bound: 513
1675.48/1737.02	c current bound: 513
1676.29/1737.83	c current bound: 513
1677.12/1738.65	c current bound: 513
1678.19/1739.76	c current bound: 513
1678.93/1740.57	c current bound: 513
1679.57/1741.39	c current bound: 513
1680.38/1742.20	c current bound: 513
1681.20/1743.02	c current bound: 513
1682.24/1743.83	c current bound: 513
1683.10/1744.92	c current bound: 513
1683.66/1745.73	c current bound: 513
1684.50/1746.58	c current bound: 513
1685.59/1747.40	c current bound: 513
1686.39/1748.21	c current bound: 513
1686.95/1749.03	c current bound: 513
1687.76/1749.85	c current bound: 513
1688.60/1750.67	c current bound: 513
1689.58/1751.48	c current bound: 513
1690.23/1752.30	c current bound: 513
1691.03/1753.12	c current bound: 513
1691.86/1753.95	c current bound: 513
1692.94/1754.99	c current bound: 513
1693.77/1755.80	c current bound: 513
1694.33/1756.62	c current bound: 513
1695.13/1757.44	c current bound: 513
1696.17/1758.25	c current bound: 513
1696.78/1759.07	c current bound: 513
1697.87/1760.01	c current bound: 513
1698.43/1760.82	c current bound: 513
1699.23/1761.64	c current bound: 513
1700.25/1762.46	c current bound: 513
1700.87/1763.27	c current bound: 513
1701.68/1764.09	c current bound: 513
1702.52/1765.09	c current bound: 513
1703.58/1765.90	c current bound: 513
1704.15/1766.72	c current bound: 513
1704.95/1767.53	c current bound: 513
1705.78/1768.36	c current bound: 513
1706.78/1769.17	c current bound: 513
1707.68/1770.17	c current bound: 513
1708.22/1770.98	c current bound: 513
1709.05/1771.83	c current bound: 513
1709.86/1772.65	c current bound: 513
1710.88/1773.46	c current bound: 513
1711.50/1774.29	c current bound: 513
1712.33/1775.34	c current bound: 513
1713.15/1776.16	c current bound: 513
1713.97/1776.97	c current bound: 513
1714.79/1777.79	c current bound: 513
1715.60/1778.60	c current bound: 513
1716.42/1779.42	c current bound: 513
1717.49/1780.37	c current bound: 513
1718.23/1781.19	c current bound: 513
1718.88/1782.00	c current bound: 513
1719.70/1782.82	c current bound: 513
1720.52/1783.64	c current bound: 513
1721.55/1784.45	c current bound: 513
1722.15/1785.43	c current bound: 513
1722.96/1786.25	c current bound: 513
1723.78/1787.06	c current bound: 513
1724.77/1787.88	c current bound: 513
1725.41/1788.69	c current bound: 513
1726.24/1789.51	c current bound: 513
1727.04/1790.61	c current bound: 513
1727.87/1791.42	c current bound: 513
1728.90/1792.24	c current bound: 513
1729.50/1793.05	c current bound: 513
1730.31/1793.87	c current bound: 513
1731.16/1794.72	c current bound: 513
1732.23/1795.74	c current bound: 513
1732.99/1796.55	c current bound: 513
1733.60/1797.37	c current bound: 513
1734.43/1798.19	c current bound: 513
1735.24/1799.00	c current bound: 513
1736.32/1799.82	c current bound: 513
1736.87/1800.71	c current bound: 513
1737.70/1801.52	c current bound: 513
1738.52/1802.34	c current bound: 513
1739.55/1803.16	c current bound: 513
1740.15/1803.97	c current bound: 513
1740.95/1804.79	c current bound: 513
1741.79/1805.73	c current bound: 513
1742.81/1806.55	c current bound: 513
1743.42/1807.37	c current bound: 513
1744.23/1808.19	c current bound: 513
1745.05/1809.01	c current bound: 513
1746.13/1809.82	c current bound: 513
1746.94/1810.93	c current bound: 513
1747.50/1811.75	c current bound: 513
1748.32/1812.57	c current bound: 513
1749.15/1813.39	c current bound: 513
1750.22/1814.21	c current bound: 513
1750.78/1815.02	c current bound: 513
1751.60/1816.08	c current bound: 513
1752.41/1816.91	c current bound: 513
1753.24/1817.72	c current bound: 513
1754.28/1818.54	c current bound: 513
1754.87/1819.35	c current bound: 513
1755.69/1820.17	c current bound: 513
1756.50/1821.21	c current bound: 513
1757.55/1822.03	c current bound: 513
1758.13/1822.84	c current bound: 513
1758.96/1823.66	c current bound: 513
1759.78/1824.48	c current bound: 513
1760.87/1825.30	c current bound: 513
1761.67/1826.34	c current bound: 513
1762.22/1827.15	c current bound: 513
1763.04/1827.97	c current bound: 513
1763.87/1828.79	c current bound: 513
1764.94/1829.60	c current bound: 513
1765.50/1830.42	c current bound: 513
1766.31/1831.47	c current bound: 513
1767.13/1832.28	c current bound: 513
1768.24/1833.10	c current bound: 513
1769.02/1833.92	c current bound: 513
1769.60/1834.73	c current bound: 513
1770.41/1835.55	c current bound: 513
1771.49/1836.65	c current bound: 513
1772.23/1837.46	c current bound: 513
1772.86/1838.28	c current bound: 513
1773.96/1839.10	c current bound: 513
1774.51/1839.92	c current bound: 513
1775.53/1840.73	c current bound: 513
1776.40/1841.82	c current bound: 513
1776.94/1842.64	c current bound: 513
1777.76/1843.46	c current bound: 513
1778.59/1844.28	c current bound: 513
1779.57/1845.09	c current bound: 513
1780.22/1845.91	c current bound: 513
1781.04/1846.72	c current bound: 513
1781.85/1847.54	c current bound: 513
1782.88/1848.36	c current bound: 513
1783.49/1849.17	c current bound: 513
1784.30/1849.99	c current bound: 513
1785.13/1850.81	c current bound: 513
1786.19/1851.87	c current bound: 513
1786.94/1852.69	c current bound: 513
1787.58/1853.50	c current bound: 513
1788.40/1854.32	c current bound: 513
1789.22/1855.14	c current bound: 513
1790.24/1855.96	c current bound: 513
1791.10/1857.02	c current bound: 513
1791.67/1857.84	c current bound: 513
1792.49/1858.65	c current bound: 513
1793.31/1859.47	c current bound: 513
1794.12/1860.29	c current bound: 513
1794.94/1861.10	c current bound: 513
1795.75/1862.04	c current bound: 513
1796.57/1862.87	c current bound: 513
1797.58/1863.68	c current bound: 513
1798.47/1864.50	c current bound: 513
1798.68/1864.71	./satsolver.sh: line 5: 18744 Terminated              ./glucose $1 > $2 2> /dev/null
1798.68/1864.71	c error: unexpected solver exit code
1798.68/1864.71	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-3715603-1338195325/watcher-3715603-1338195325 -o /tmp/evaluation-result-3715603-1338195325/solver-3715603-1338195325 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715603-1338195325.wbo 1347473200 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.77 1.86 1.82 2/177 28696
/proc/meminfo: memFree=29721860/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0

[startup+0.08891 s]
/proc/loadavg: 1.77 1.86 1.82 2/177 28696
/proc/meminfo: memFree=29721860/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10019 s]
/proc/loadavg: 1.77 1.86 1.82 2/177 28696
/proc/meminfo: memFree=29721860/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300269 s]
/proc/loadavg: 1.77 1.86 1.82 2/177 28696
/proc/meminfo: memFree=29721860/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700126 s]
/proc/loadavg: 1.77 1.86 1.82 2/177 28696
/proc/meminfo: memFree=29721860/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 1.77 1.86 1.82 3/179 28722
/proc/meminfo: memFree=29711188/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1.02 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 4959 22490 0 0 18 4 66 14 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 29048

[startup+3.10028 s]
/proc/loadavg: 1.79 1.86 1.82 3/181 28731
/proc/meminfo: memFree=29653888/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=2.67 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 8959 53038 0 0 35 7 182 43 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 29048

[startup+6.30027 s]
/proc/loadavg: 1.79 1.86 1.82 3/181 28776
/proc/meminfo: memFree=29689964/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=5.93 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 16959 114534 0 0 67 13 416 97 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 29048

[startup+12.7004 s]
/proc/loadavg: 1.82 1.86 1.82 3/181 28860
/proc/meminfo: memFree=29691196/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=12.47 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 32959 239865 0 0 132 24 880 211 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 29048

[startup+25.5002 s]
/proc/loadavg: 1.85 1.87 1.82 3/181 29021
/proc/meminfo: memFree=29689752/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=25.22 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 62967 484280 0 0 254 46 1792 430 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308856800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
[pid=29019] ppid=28697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29019/stat : 29019 (cp2_post.sh) S 28697 28696 20162 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 285660534 9367552 266 33554432000 4194304 5064252 140737045157904 140737045156192 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29019/statm: 2287 266 225 213 0 72 0
[pid=29021] ppid=29019 vsize=10384 CPUtime=0.05 cores=1,3,5,7
/proc/29021/stat : 29021 (coprocessor) R 29019 28696 20162 0 -1 4202496 2126 0 0 0 5 0 0 0 20 0 1 0 285660534 10633216 1757 33554432000 4194304 6586260 140734564539088 140734564536296 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/29021/statm: 2596 1757 148 584 0 2008 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 48580

[startup+51.1002 s]
/proc/loadavg: 1.84 1.86 1.82 3/181 29326
/proc/meminfo: memFree=29692512/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=49.71 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 122967 948173 0 0 495 92 3516 868 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308856800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 49.71
Current children cumulated vsize (KiB) 29048

[startup+102.3 s]
/proc/loadavg: 1.89 1.87 1.82 3/179 29927
/proc/meminfo: memFree=29710124/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=98.4 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 242959 1867897 0 0 981 179 6970 1710 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 98.4
Current children cumulated vsize (KiB) 29048

[startup+162.3 s]
/proc/loadavg: 2.01 1.91 1.84 3/181 30653
/proc/meminfo: memFree=29687904/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=156.39 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 384959 2970584 0 0 1555 284 11080 2720 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 156.39
Current children cumulated vsize (KiB) 29048

[startup+222.3 s]
/proc/loadavg: 1.93 1.91 1.84 3/181 31357
/proc/meminfo: memFree=29653672/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=213.61 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 524959 4057471 0 0 2123 386 15086 3766 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 213.61
Current children cumulated vsize (KiB) 29048

[startup+282.3 s]
/proc/loadavg: 1.94 1.91 1.84 3/181 32079
/proc/meminfo: memFree=29693716/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=271.27 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 664967 5156574 0 0 2688 491 19181 4767 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308856800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 271.27
Current children cumulated vsize (KiB) 29048

[startup+342.3 s]
/proc/loadavg: 2.16 1.96 1.85 3/182 350
/proc/meminfo: memFree=29660916/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=328.86 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 806959 6247236 0 0 3264 594 23228 5800 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 9 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
[pid=349] ppid=28697 vsize=9148 CPUtime=0 cores=1,3,5,7

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

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

[startup+1455.9 s]
/proc/loadavg: 2.06 2.00 1.92 3/181 13745
/proc/meminfo: memFree=29661288/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1402.81 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 3434959 26646913 0 0 13924 2503 99031 24823 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 83 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
[pid=13744] ppid=28697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13744/stat : 13744 (satsolver.sh) S 28697 28696 20162 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 285803534 9367552 266 33554432000 4194304 5064252 140734906923856 140734906922768 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13744/statm: 2287 266 226 213 0 72 0
[pid=13745] ppid=13744 vsize=0 CPUtime=0.44 cores=1,3,5,7
/proc/13745/stat : 13745 (glucose) R 13744 28696 20162 0 -1 4202500 10648 0 0 0 42 2 0 0 20 0 1 0 285803535 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/13745/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1403.25
Current children cumulated vsize (KiB) 38196

[startup+1456 s]
/proc/loadavg: 2.06 2.00 1.92 3/181 13745
/proc/meminfo: memFree=29661288/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1403.25 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 3434967 26658164 0 0 13924 2503 99073 24825 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308856800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 83 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1403.25
Current children cumulated vsize (KiB) 29048
#
############


[startup+1482.3 s]
/proc/loadavg: 2.09 2.01 1.93 3/182 14066
/proc/meminfo: memFree=29680388/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1428.94 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 3498959 27139755 0 0 14185 2549 100874 25286 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 83 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1428.94
Current children cumulated vsize (KiB) 29048

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/181 14780
/proc/meminfo: memFree=29679156/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1486.65 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 3638967 28236794 0 0 14751 2653 104959 26302 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308856800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1486.65
Current children cumulated vsize (KiB) 29048

[startup+1602.3 s]
/proc/loadavg: 1.87 1.96 1.91 3/181 15506
/proc/meminfo: memFree=29641300/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1545.06 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 3782959 29338895 0 0 15335 2757 109066 27348 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 114 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1545.06
Current children cumulated vsize (KiB) 29048

[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.92 3/181 16241
/proc/meminfo: memFree=29645796/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1603.12 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 3924959 30439460 0 0 15913 2860 113187 28352 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 115 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
[pid=16240] ppid=28697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16240/stat : 16240 (satsolver.sh) S 28697 28696 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285824189 9367552 266 33554432000 4194304 5064252 140736654892208 140736654891120 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16240/statm: 2287 266 226 213 0 72 0
[pid=16241] ppid=16240 vsize=48568 CPUtime=0.3 cores=1,3,5,7
/proc/16241/stat : 16241 (glucose) R 16240 28696 20162 0 -1 4202496 10042 0 0 0 28 2 0 0 20 0 1 0 285824189 49733632 10733 33554432000 4194304 5208918 140733464961744 140733464960152 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16241/statm: 12142 10733 95 248 0 11891 0
Current children cumulated CPU time (s) 1603.42
Current children cumulated vsize (KiB) 86764

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.92 3/179 16956
/proc/meminfo: memFree=29740300/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1661.14 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 4066959 31540216 0 0 16489 2962 117313 29350 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 136 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1661.14
Current children cumulated vsize (KiB) 29048

[startup+1782.31 s]
/proc/loadavg: 1.99 1.98 1.92 3/181 17683
/proc/meminfo: memFree=29645572/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1719.25 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 4208959 32640398 0 0 17066 3066 121424 30369 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 136 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
[pid=17682] ppid=28697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17682/stat : 17682 (satsolver.sh) S 28697 28696 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285836199 9367552 266 33554432000 4194304 5064252 140736416579088 140736416578000 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17682/statm: 2287 266 226 213 0 72 0
[pid=17683] ppid=17682 vsize=48564 CPUtime=0.19 cores=1,3,5,7
/proc/17683/stat : 17683 (glucose) R 17682 28696 20162 0 -1 4202496 10590 0 0 0 17 2 0 0 20 0 1 0 285836200 49729536 10725 33554432000 4194304 5208918 140733717484080 140733717482472 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17683/statm: 12141 10725 95 248 0 11890 0
Current children cumulated CPU time (s) 1719.44
Current children cumulated vsize (KiB) 86760

[startup+1842.3 s]
/proc/loadavg: 2.07 1.99 1.92 2/181 18456
/proc/meminfo: memFree=29721296/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1776.49 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 4348959 33729455 0 0 17634 3167 125496 31352 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 136 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
Current children cumulated CPU time (s) 1776.49
Current children cumulated vsize (KiB) 29048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1864.7 s]
/proc/loadavg: 2.24 2.04 1.94 3/182 18744
/proc/meminfo: memFree=29647776/32873852 swapFree=7624/7624
[pid=28696] ppid=28694 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28696/stat : 28696 (npSolver-wbo-It) S 28694 28696 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285657989 9367552 274 33554432000 4194304 5064252 140733446831584 140733446830496 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28696/statm: 2287 274 233 213 0 72 0
[pid=28697] ppid=28696 vsize=19900 CPUtime=1798.58 cores=1,3,5,7
/proc/28697/stat : 28697 (npSolver-wbo) S 28696 28696 20162 0 -1 4202496 4402959 34149481 0 0 17853 3206 127060 31739 20 0 1 0 285657989 20377600 4279 33554432000 4194304 5990268 140737308865904 140737308857312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 136 0 0
/proc/28697/statm: 4975 4279 177 439 0 4532 0
[pid=18743] ppid=28697 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18743/stat : 18743 (satsolver.sh) S 28697 28696 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285844449 9367552 266 33554432000 4194304 5064252 140733933691536 140733933690448 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18743/statm: 2287 266 226 213 0 72 0
[pid=18744] ppid=18743 vsize=48568 CPUtime=0.1 cores=1,3,5,7
/proc/18744/stat : 18744 (glucose) R 18743 28696 20162 0 -1 4202496 10238 0 0 0 8 2 0 0 20 0 1 0 285844449 49733632 10911 33554432000 4194304 5208918 140735228362896 140735228361208 4229228 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18744/statm: 12142 10911 95 248 0 11891 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 86764

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1864.72
CPU time (s): 1800.07
CPU user time (s): 1450.29
CPU system time (s): 349.786
CPU usage (%): 96.5331
Max. virtual memory (cumulated for all children) (KiB): 88252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1449.23
system time used= 349.496
maximum resident set size= 45608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38563668
page faults= 0
swaps= 0
block input operations= 8
block output operations= 31411512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 630961
involuntary context switches= 31387

runsolver used 3.38049 second user time and 8.70768 second system time

The end

Launcher Data

Begin job on node131 at 2012-05-28 10:55:25
IDJOB=3715603
IDBENCH=78922
IDSOLVER=2297
FILE ID=node131/3715603-1338195325
RUNJOBID= node131-1338189901-20180
PBS_JOBID= 14624570
Free space on /tmp= 71716 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715603-1338195325/watcher-3715603-1338195325 -o /tmp/evaluation-result-3715603-1338195325/solver-3715603-1338195325 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715603-1338195325.wbo 1347473200 HOME HOME

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

MD5SUM BENCH= 42cd11e454ef36c6d0d0a1a4a75ff12f
RANDOM SEED=1347473200

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29722388 kB
Buffers:          372968 kB
Cached:          1877276 kB
SwapCached:         2172 kB
Active:           669652 kB
Inactive:        1646000 kB
Active(anon):      66580 kB
Inactive(anon):      816 kB
Active(file):     603072 kB
Inactive(file):  1645184 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099044 kB
Dirty:             23028 kB
Writeback:             0 kB
AnonPages:         74916 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             695968 kB
SReclaimable:     137112 kB
SUnreclaim:       558856 kB
KernelStack:        1472 kB
PageTables:         4304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     193776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 71704 MiB
End job on node131 at 2012-05-28 11:26:30