Trace number 3752923

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.15 1799.21

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo
MD5SUMed627c94e924dd829be1b38440fce2ad
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 benchmark26.273
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 constraints911
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 45526
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45525
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 695
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.04	c run usual solver
0.00/0.16	o 1088
0.00/0.16	c starting approximation
0.00/0.16	c factor = 2
0.00/0.16	c factor still to low - shrinking to 5.94701
0.00/0.16	c approx number of clauses: 1e+06
0.00/0.16	c current bound: 544
1.14/1.26	c current bound: 544
2.25/2.33	c current bound: 544
3.34/3.42	c current bound: 544
4.44/4.51	c current bound: 544
5.44/5.58	c current bound: 544
6.55/6.66	c current bound: 544
7.66/7.73	c current bound: 544
8.74/8.81	c current bound: 544
9.58/9.90	c current bound: 544
10.68/10.99	c current bound: 544
11.75/12.06	c current bound: 544
12.82/13.14	c current bound: 544
13.92/14.23	c current bound: 544
14.99/15.31	c current bound: 544
16.07/16.38	c current bound: 544
17.14/17.45	c current bound: 544
18.24/18.54	c current bound: 544
19.32/19.63	c current bound: 544
20.42/20.73	c current bound: 544
21.51/21.82	c current bound: 544
22.86/22.90	c current bound: 544
23.68/23.97	c current bound: 544
24.75/25.04	c current bound: 544
25.82/26.13	c current bound: 544
26.91/27.20	c current bound: 544
27.99/28.28	c current bound: 544
29.06/29.36	c current bound: 544
30.14/30.44	c current bound: 544
31.21/31.51	c current bound: 544
32.29/32.59	c current bound: 544
33.37/33.67	c current bound: 544
34.46/34.75	c current bound: 544
35.54/35.84	c current bound: 544
36.64/36.93	c current bound: 544
37.71/38.00	c current bound: 544
38.79/39.08	c current bound: 544
39.86/40.15	c current bound: 544
40.96/41.25	c current bound: 544
42.05/42.34	c current bound: 544
43.13/43.42	c current bound: 544
44.22/44.51	c current bound: 544
45.29/45.58	c current bound: 544
46.37/46.67	c current bound: 544
47.46/47.75	c current bound: 544
48.54/48.83	c current bound: 544
49.62/49.91	c current bound: 544
50.71/50.98	c current bound: 544
51.77/52.06	c current bound: 544
52.86/53.14	c current bound: 544
53.95/54.23	c current bound: 544
55.02/55.30	c current bound: 544
56.37/56.40	c current bound: 544
57.20/57.48	c current bound: 544
58.48/58.55	c current bound: 544
59.56/59.63	c current bound: 544
60.66/60.71	c current bound: 544
61.78/61.81	c current bound: 544
62.78/62.89	c current bound: 544
63.88/63.96	c current bound: 544
64.98/65.05	c current bound: 544
66.09/66.13	c current bound: 544
67.20/67.22	c current bound: 544
68.18/68.29	c current bound: 544
69.28/69.39	c current bound: 544
70.38/70.48	c current bound: 544
71.48/71.55	c current bound: 544
72.58/72.63	c current bound: 544
73.69/73.70	c current bound: 544
74.51/74.79	c current bound: 544
75.60/75.87	c current bound: 544
76.66/76.94	c current bound: 544
77.74/78.03	c current bound: 544
78.83/79.10	c current bound: 544
79.90/80.18	c current bound: 544
80.98/81.27	c current bound: 544
82.08/82.36	c current bound: 544
83.15/83.43	c current bound: 544
84.25/84.52	c current bound: 544
85.32/85.60	c current bound: 544
86.40/86.67	c current bound: 544
87.48/87.75	c current bound: 544
88.56/88.83	c current bound: 544
89.66/89.93	c current bound: 544
90.75/91.02	c current bound: 544
91.84/92.12	c current bound: 544
92.91/93.19	c current bound: 544
94.00/94.28	c current bound: 544
95.10/95.36	c current bound: 544
96.20/96.47	c current bound: 544
97.28/97.55	c current bound: 544
98.35/98.63	c current bound: 544
99.44/99.71	c current bound: 544
100.51/100.78	c current bound: 544
101.58/101.86	c current bound: 544
102.66/102.93	c current bound: 544
103.72/104.01	c current bound: 544
105.09/105.10	c current bound: 544
105.89/106.17	c current bound: 544
106.99/107.26	c current bound: 544
108.06/108.34	c current bound: 544
109.14/109.41	c current bound: 544
110.23/110.49	c current bound: 544
111.32/111.58	c current bound: 544
112.39/112.65	c current bound: 544
113.47/113.73	c current bound: 544
114.57/114.83	c current bound: 544
115.90/115.90	c current bound: 544
116.71/116.98	c current bound: 544
117.80/118.05	c current bound: 544
118.86/119.11	c current bound: 544
119.92/120.18	c current bound: 544
121.20/121.25	c current bound: 544
122.32/122.33	c current bound: 544
123.41/123.40	c current bound: 544
124.40/124.48	c current bound: 544
125.53/125.54	c current bound: 544
126.62/126.63	c current bound: 544
127.73/127.71	c current bound: 544
128.72/128.80	c current bound: 544
129.81/129.86	c current bound: 544
130.91/130.95	c current bound: 544
132.03/132.04	c current bound: 544
133.13/133.11	c current bound: 544
133.94/134.17	c current bound: 544
135.01/135.24	c current bound: 544
136.08/136.31	c current bound: 544
137.17/137.39	c current bound: 544
138.23/138.45	c current bound: 544
139.31/139.54	c current bound: 544
140.41/140.63	c current bound: 544
141.49/141.70	c current bound: 544
142.57/142.77	c current bound: 544
143.64/143.85	c current bound: 544
144.71/144.91	c current bound: 544
145.78/145.99	c current bound: 544
146.85/147.06	c current bound: 544
147.93/148.14	c current bound: 544
149.01/149.22	c current bound: 544
150.09/150.29	c current bound: 544
151.16/151.36	c current bound: 544
152.24/152.44	c current bound: 544
153.31/153.51	c current bound: 544
154.66/154.60	c current bound: 544
155.47/155.67	c current bound: 544
156.52/156.73	c current bound: 544
157.60/157.81	c current bound: 544
158.67/158.87	c current bound: 544
159.74/159.94	c current bound: 544
160.83/161.03	c current bound: 544
161.91/162.11	c current bound: 544
162.98/163.18	c current bound: 544
164.05/164.25	c current bound: 544
165.14/165.33	c current bound: 544
166.21/166.40	c current bound: 544
167.28/167.47	c current bound: 544
168.56/168.54	c current bound: 544
169.66/169.62	c current bound: 544
170.66/170.68	c current bound: 544
171.77/171.75	c current bound: 544
172.87/172.83	c current bound: 544
173.88/173.89	c current bound: 544
175.07/175.06	c current bound: 544
176.10/176.14	c current bound: 544
177.20/177.21	c current bound: 544
178.20/178.29	c current bound: 544
179.31/179.36	c current bound: 544
180.41/180.43	c current bound: 544
181.26/181.50	c current bound: 544
182.35/182.58	c current bound: 544
183.41/183.65	c current bound: 544
184.49/184.73	c current bound: 544
185.58/185.82	c current bound: 544
186.66/186.89	c current bound: 544
187.73/187.97	c current bound: 544
188.80/189.04	c current bound: 544
189.89/190.12	c current bound: 544
190.97/191.20	c current bound: 544
192.06/192.27	c current bound: 544
193.12/193.34	c current bound: 544
194.22/194.42	c current bound: 544
195.57/195.50	c current bound: 544
196.36/196.56	c current bound: 544
197.47/197.65	c current bound: 544
198.54/198.72	c current bound: 544
199.62/199.80	c current bound: 544
200.71/200.89	c current bound: 544
201.79/201.96	c current bound: 544
202.86/203.04	c current bound: 544
203.94/204.12	c current bound: 544
205.04/205.21	c current bound: 544
206.13/206.29	c current bound: 544
207.20/207.35	c current bound: 544
208.27/208.42	c current bound: 544
209.34/209.49	c current bound: 544
210.41/210.55	c current bound: 544
211.50/211.63	c current bound: 544
212.61/212.74	c current bound: 544
213.69/213.83	c current bound: 544
214.77/214.89	c current bound: 544
215.83/215.95	c current bound: 544
216.93/217.04	c current bound: 544
217.99/218.11	c current bound: 544
219.06/219.18	c current bound: 544
220.36/220.25	c current bound: 544
221.46/221.32	c current bound: 544
222.47/222.39	c current bound: 544
223.56/223.46	c current bound: 544
224.68/224.52	c current bound: 544
225.68/225.59	c current bound: 544
226.77/226.66	c current bound: 544
227.88/227.73	c current bound: 544
228.71/228.79	c current bound: 544
229.78/229.86	c current bound: 544
230.86/230.94	c current bound: 544
231.95/232.02	c current bound: 544
233.29/233.10	c current bound: 544
234.12/234.19	c current bound: 544
235.19/235.27	c current bound: 544
236.26/236.34	c current bound: 544
237.34/237.43	c current bound: 544
238.41/238.49	c current bound: 544
239.49/239.58	c current bound: 544
240.57/240.65	c current bound: 544
241.64/241.71	c current bound: 544
242.71/242.79	c current bound: 544
243.79/243.86	c current bound: 544
244.86/244.93	c current bound: 544
245.94/246.02	c current bound: 544
247.02/247.08	c current bound: 544
248.10/248.16	c current bound: 544
249.19/249.26	c current bound: 544
250.26/250.33	c current bound: 544
251.34/251.41	c current bound: 544
252.41/252.48	c current bound: 544
253.49/253.56	c current bound: 544
254.57/254.63	c current bound: 544
255.64/255.71	c current bound: 544
256.72/256.78	c current bound: 544
257.80/257.86	c current bound: 544
258.86/258.93	c current bound: 544
259.94/260.01	c current bound: 544
261.03/261.09	c current bound: 544
262.11/262.17	c current bound: 544
263.19/263.24	c current bound: 544
264.27/264.33	c current bound: 544
265.62/265.40	c current bound: 544
266.60/266.44	c current bound: 544
267.69/267.50	c current bound: 544
268.69/268.58	c current bound: 544
269.78/269.65	c current bound: 544
270.88/270.72	c current bound: 544
271.98/271.81	c current bound: 544
272.96/272.89	c current bound: 544
274.07/273.97	c current bound: 544
275.17/275.04	c current bound: 544
275.98/276.09	c current bound: 544
277.06/277.16	c current bound: 544
278.14/278.23	c current bound: 544
279.22/279.32	c current bound: 544
280.28/280.38	c current bound: 544
281.38/281.53	c current bound: 544
282.45/282.61	c current bound: 544
283.54/283.69	c current bound: 544
284.61/284.75	c current bound: 544
285.69/285.82	c current bound: 544
286.76/286.89	c current bound: 544
287.81/287.95	c current bound: 544
288.88/289.02	c current bound: 544
289.95/290.09	c current bound: 544
291.02/291.16	c current bound: 544
292.09/292.22	c current bound: 544
293.18/293.31	c current bound: 544
294.24/294.38	c current bound: 544
295.33/295.46	c current bound: 544
296.40/296.54	c current bound: 544
297.47/297.60	c current bound: 544
298.56/298.68	c current bound: 544
299.61/299.75	c current bound: 544
300.70/300.82	c current bound: 544
301.76/301.88	c current bound: 544
302.83/302.95	c current bound: 544
303.90/304.02	c current bound: 544
304.98/305.09	c current bound: 544
306.03/306.16	c current bound: 544
307.11/307.23	c current bound: 544
308.46/308.30	c current bound: 544
309.26/309.37	c current bound: 544
310.54/310.44	c current bound: 544
311.64/311.52	c current bound: 544
312.64/312.58	c current bound: 544
313.73/313.65	c current bound: 544
314.84/314.73	c current bound: 544
315.97/315.81	c current bound: 544
316.95/316.89	c current bound: 544
318.05/317.97	c current bound: 544
319.15/319.05	c current bound: 544
320.25/320.12	c current bound: 544
321.07/321.18	c current bound: 544
322.14/322.25	c current bound: 544
323.21/323.32	c current bound: 544
324.27/324.38	c current bound: 544
325.35/325.46	c current bound: 544
326.43/326.53	c current bound: 544
327.48/327.59	c current bound: 544
328.55/328.66	c current bound: 544
329.63/329.73	c current bound: 544
330.71/330.82	c current bound: 544
331.79/331.88	c current bound: 544
332.86/332.95	c current bound: 544
333.93/334.03	c current bound: 544
335.01/335.10	c current bound: 544
336.08/336.17	c current bound: 544
337.14/337.24	c current bound: 544
338.22/338.31	c current bound: 544
339.29/339.39	c current bound: 544
340.37/340.46	c current bound: 544
341.44/341.52	c current bound: 544
342.51/342.59	c current bound: 544
343.58/343.67	c current bound: 544
344.66/344.75	c current bound: 544
345.73/345.81	c current bound: 544
346.80/346.88	c current bound: 544
347.87/347.95	c current bound: 544
348.93/349.02	c current bound: 544
350.28/350.12	c current bound: 544
351.10/351.20	c current bound: 544
352.18/352.28	c current bound: 544
353.45/353.36	c current bound: 544
354.55/354.42	c current bound: 544
355.65/355.51	c current bound: 544
356.65/356.58	c current bound: 544
357.75/357.66	c current bound: 544
358.85/358.72	c current bound: 544
359.84/359.80	c current bound: 544
360.95/360.87	c current bound: 544
362.05/361.94	c current bound: 544
363.14/363.02	c current bound: 544
363.98/364.08	c current bound: 544
365.05/365.16	c current bound: 544
366.12/366.23	c current bound: 544
367.47/367.30	c current bound: 544
368.28/368.39	c current bound: 544
369.36/369.47	c current bound: 544
370.43/370.54	c current bound: 544
371.52/371.62	c current bound: 544
372.58/372.69	c current bound: 544
373.65/373.77	c current bound: 544
374.73/374.84	c current bound: 544
375.81/375.92	c current bound: 544
376.89/377.00	c current bound: 544
377.98/378.08	c current bound: 544
379.04/379.15	c current bound: 544
380.12/380.23	c current bound: 544
381.22/381.32	c current bound: 544
382.29/382.38	c current bound: 544
383.36/383.45	c current bound: 544
384.44/384.54	c current bound: 544
385.50/385.60	c current bound: 544
386.58/386.67	c current bound: 544
387.66/387.75	c current bound: 544
388.74/388.83	c current bound: 544
389.80/389.89	c current bound: 544
390.87/390.97	c current bound: 544
391.96/392.05	c current bound: 544
393.04/393.12	c current bound: 544
394.11/394.19	c current bound: 544
395.18/395.27	c current bound: 544
396.27/396.35	c current bound: 544
397.35/397.44	c current bound: 544
398.44/398.52	c current bound: 544
399.51/399.60	c current bound: 544
400.60/400.68	c current bound: 544
401.69/401.77	c current bound: 544
402.98/402.84	c current bound: 544
404.08/403.90	c current bound: 544
405.08/404.98	c current bound: 544
406.20/406.07	c current bound: 544
407.28/407.14	c current bound: 544
408.37/408.23	c current bound: 544
409.47/409.31	c current bound: 544
410.47/410.38	c current bound: 544
411.58/411.46	c current bound: 544
412.68/412.55	c current bound: 544
413.78/413.62	c current bound: 544
415.16/414.71	c current bound: 544
415.71/415.79	c current bound: 544
416.80/416.87	c current bound: 544
417.89/417.96	c current bound: 544
418.95/419.02	c current bound: 544
420.30/420.10	c current bound: 544
421.09/421.16	c current bound: 544
422.17/422.24	c current bound: 544
423.24/423.31	c current bound: 544
424.32/424.39	c current bound: 544
425.38/425.45	c current bound: 544
426.47/426.53	c current bound: 544
427.55/427.60	c current bound: 544
428.63/428.68	c current bound: 544
429.68/429.75	c current bound: 544
430.76/430.82	c current bound: 544
431.85/431.90	c current bound: 544
432.93/432.99	c current bound: 544
434.01/434.06	c current bound: 544
435.08/435.13	c current bound: 544
436.16/436.21	c current bound: 544
437.23/437.28	c current bound: 544
438.32/438.37	c current bound: 544
439.41/439.46	c current bound: 544
440.48/440.53	c current bound: 544
441.56/441.60	c current bound: 544
442.64/442.67	c current bound: 544
443.70/443.75	c current bound: 544
444.78/444.81	c current bound: 544
445.85/445.89	c current bound: 544
446.93/446.96	c current bound: 544
448.01/448.04	c current bound: 544
449.10/449.12	c current bound: 544
450.17/450.19	c current bound: 544
451.43/451.26	c current bound: 544
452.52/452.35	c current bound: 544
453.62/453.42	c current bound: 544
454.73/454.50	c current bound: 544
455.73/455.57	c current bound: 544
456.83/456.65	c current bound: 544
457.93/457.71	c current bound: 544
458.93/458.80	c current bound: 544
460.01/459.88	c current bound: 544
461.13/460.96	c current bound: 544
462.22/462.04	c current bound: 544
463.33/463.11	c current bound: 544
464.14/464.18	c current bound: 544
465.22/465.24	c current bound: 544
466.28/466.31	c current bound: 544
467.35/467.38	c current bound: 544
468.47/468.48	c current bound: 544
469.54/469.56	c current bound: 544
470.62/470.63	c current bound: 544
471.69/471.70	c current bound: 544
472.77/472.79	c current bound: 544
473.84/473.86	c current bound: 544
474.93/474.94	c current bound: 544
475.99/476.01	c current bound: 544
477.12/477.12	c current bound: 544
478.19/478.19	c current bound: 544
479.26/479.26	c current bound: 544
480.33/480.33	c current bound: 544
481.41/481.41	c current bound: 544
482.48/482.48	c current bound: 544
483.56/483.57	c current bound: 544
484.64/484.65	c current bound: 544
485.73/485.72	c current bound: 544
486.78/486.79	c current bound: 544
487.87/487.87	c current bound: 544
488.94/488.94	c current bound: 544
490.29/490.11	c current bound: 544
491.08/491.17	c current bound: 544
492.16/492.25	c current bound: 544
493.24/493.31	c current bound: 544
494.29/494.38	c current bound: 544
495.38/495.46	c current bound: 544
496.45/496.52	c current bound: 544
497.52/497.59	c current bound: 544
498.59/498.68	c current bound: 544
499.67/499.75	c current bound: 544
500.76/500.83	c current bound: 544
501.84/501.91	c current bound: 544
503.20/503.00	c current bound: 544
504.01/504.07	c current bound: 544
505.28/505.15	c current bound: 544
506.40/506.21	c current bound: 544
507.39/507.29	c current bound: 544
508.50/508.36	c current bound: 544
509.60/509.45	c current bound: 544
510.70/510.52	c current bound: 544
511.70/511.58	c current bound: 544
512.79/512.66	c current bound: 544
513.89/513.74	c current bound: 544
515.00/514.81	c current bound: 544
515.82/515.89	c current bound: 544
516.89/516.95	c current bound: 544
517.96/518.02	c current bound: 544
519.03/519.09	c current bound: 544
520.12/520.18	c current bound: 544
521.19/521.25	c current bound: 544
522.25/522.32	c current bound: 544
523.35/523.39	c current bound: 544
524.40/524.45	c current bound: 544
525.47/525.52	c current bound: 544
526.56/526.60	c current bound: 544
527.63/527.68	c current bound: 544
528.71/528.75	c current bound: 544
529.77/529.82	c current bound: 544
530.86/530.90	c current bound: 544
531.93/531.98	c current bound: 544
533.01/533.05	c current bound: 544
534.08/534.12	c current bound: 544
535.15/535.19	c current bound: 544
536.22/536.26	c current bound: 544
537.30/537.32	c current bound: 544
538.64/538.40	c current bound: 544
539.44/539.47	c current bound: 544
540.50/540.53	c current bound: 544
541.56/541.60	c current bound: 544
542.66/542.69	c current bound: 544
543.72/543.76	c current bound: 544
544.81/544.84	c current bound: 544
545.87/545.91	c current bound: 544
546.96/546.99	c current bound: 544
548.23/548.07	c current bound: 544
549.33/549.14	c current bound: 544
550.43/550.23	c current bound: 544
551.53/551.30	c current bound: 544
552.53/552.37	c current bound: 544
553.63/553.46	c current bound: 544
554.72/554.52	c current bound: 544
555.72/555.60	c current bound: 544
556.82/556.67	c current bound: 544
557.92/557.75	c current bound: 544
559.01/558.83	c current bound: 544
559.84/559.89	c current bound: 544
560.94/560.96	c current bound: 544
562.00/562.03	c current bound: 544
563.09/563.12	c current bound: 544
564.16/564.19	c current bound: 544
565.25/565.27	c current bound: 544
566.32/566.34	c current bound: 544
567.40/567.42	c current bound: 544
568.74/568.50	c current bound: 544
569.54/569.56	c current bound: 544
570.62/570.64	c current bound: 544
571.69/571.72	c current bound: 544
572.77/572.78	c current bound: 544
573.83/573.85	c current bound: 544
574.90/574.93	c current bound: 544
575.99/576.00	c current bound: 544
577.06/577.07	c current bound: 544
578.12/578.14	c current bound: 544
579.21/579.21	c current bound: 544
580.28/580.28	c current bound: 544
581.35/581.35	c current bound: 544
582.41/582.42	c current bound: 544
583.49/583.49	c current bound: 544
584.56/584.57	c current bound: 544
585.68/585.69	c current bound: 544
586.74/586.75	c current bound: 544
587.80/587.81	c current bound: 544
588.87/588.89	c current bound: 544
589.95/589.97	c current bound: 544
591.03/591.04	c current bound: 544
592.10/592.11	c current bound: 544
593.16/593.19	c current bound: 544
594.25/594.27	c current bound: 544
595.52/595.34	c current bound: 544
596.63/596.42	c current bound: 544
597.64/597.49	c current bound: 544
598.73/598.57	c current bound: 544
599.83/599.63	c current bound: 544
600.82/600.70	c current bound: 544
601.94/601.78	c current bound: 544
603.03/602.86	c current bound: 544
604.12/603.94	c current bound: 544
604.96/605.00	c current bound: 544
606.02/606.06	c current bound: 544
607.11/607.15	c current bound: 544
608.18/608.21	c current bound: 544
609.25/609.28	c current bound: 544
610.32/610.36	c current bound: 544
611.38/611.42	c current bound: 544
612.46/612.50	c current bound: 544
613.53/613.57	c current bound: 544
614.59/614.63	c current bound: 544
615.67/615.71	c current bound: 544
616.74/616.78	c current bound: 544
617.81/617.85	c current bound: 544
618.88/618.92	c current bound: 544
619.94/619.98	c current bound: 544
621.03/621.06	c current bound: 544
622.08/622.12	c current bound: 544
623.43/623.20	c current bound: 544
624.24/624.27	c current bound: 544
625.32/625.35	c current bound: 544
626.39/626.43	c current bound: 544
627.48/627.52	c current bound: 544
628.56/628.60	c current bound: 544
629.63/629.67	c current bound: 544
630.70/630.75	c current bound: 544
631.79/631.82	c current bound: 544
632.85/632.89	c current bound: 544
633.90/633.95	c current bound: 544
634.98/635.03	c current bound: 544
636.06/636.10	c current bound: 544
637.13/637.17	c current bound: 544
638.41/638.24	c current bound: 544
639.52/639.31	c current bound: 544
640.52/640.38	c current bound: 544
641.62/641.44	c current bound: 544
642.71/642.52	c current bound: 544
643.81/643.60	c current bound: 544
644.80/644.67	c current bound: 544
645.90/645.73	c current bound: 544
646.75/646.80	c current bound: 544
647.82/647.87	c current bound: 544
648.90/648.95	c current bound: 544
649.98/650.02	c current bound: 544
651.05/651.10	c current bound: 544
652.11/652.16	c current bound: 544
653.17/653.22	c current bound: 544
654.23/654.29	c current bound: 544
655.31/655.36	c current bound: 544
656.37/656.43	c current bound: 544
657.46/657.51	c current bound: 544
658.53/658.58	c current bound: 544
659.62/659.68	c current bound: 544
660.68/660.75	c current bound: 544
661.75/661.81	c current bound: 544
662.83/662.89	c current bound: 544
663.92/663.97	c current bound: 544
665.25/665.17	c current bound: 544
666.06/666.24	c current bound: 544
667.14/667.32	c current bound: 544
668.49/668.40	c current bound: 544
669.28/669.47	c current bound: 544
670.37/670.55	c current bound: 544
671.43/671.61	c current bound: 544
672.52/672.70	c current bound: 544
673.59/673.77	c current bound: 544
674.65/674.83	c current bound: 544
675.73/675.91	c current bound: 544
676.80/676.98	c current bound: 544
677.86/678.05	c current bound: 544
678.93/679.11	c current bound: 544
679.99/680.17	c current bound: 544
681.06/681.24	c current bound: 544
682.13/682.31	c current bound: 544
683.21/683.37	c current bound: 544
684.46/684.46	c current bound: 544
685.58/685.53	c current bound: 544
686.57/686.59	c current bound: 544
687.67/687.67	c current bound: 544
688.76/688.74	c current bound: 544
689.87/689.83	c current bound: 544
690.98/690.91	c current bound: 544
691.98/691.98	c current bound: 544
693.07/693.06	c current bound: 544
694.17/694.14	c current bound: 544
695.29/695.20	c current bound: 544
696.09/696.29	c current bound: 544
697.16/697.35	c current bound: 544
698.23/698.43	c current bound: 544
699.31/699.52	c current bound: 544
700.39/700.59	c current bound: 544
701.48/701.66	c current bound: 544
702.55/702.75	c current bound: 544
703.63/703.81	c current bound: 544
704.70/704.88	c current bound: 544
705.76/705.95	c current bound: 544
706.84/707.02	c current bound: 544
707.91/708.09	c current bound: 544
708.97/709.16	c current bound: 544
710.04/710.23	c current bound: 544
711.12/711.31	c current bound: 544
712.19/712.39	c current bound: 544
713.28/713.46	c current bound: 544
714.34/714.52	c current bound: 544
715.41/715.59	c current bound: 544
716.50/716.69	c current bound: 544
717.58/717.76	c current bound: 544
718.65/718.84	c current bound: 544
719.73/719.91	c current bound: 544
720.82/720.99	c current bound: 544
721.90/722.07	c current bound: 544
722.98/723.14	c current bound: 544
724.05/724.22	c current bound: 544
725.13/725.29	c current bound: 544
726.20/726.36	c current bound: 544
727.29/727.45	c current bound: 544
728.37/728.52	c current bound: 544
729.43/729.59	c current bound: 544
730.68/730.67	c current bound: 544
731.79/731.74	c current bound: 544
732.88/732.83	c current bound: 544
733.98/733.90	c current bound: 544
734.99/734.98	c current bound: 544
736.08/736.05	c current bound: 544
737.18/737.13	c current bound: 544
738.29/738.20	c current bound: 544
739.28/739.27	c current bound: 544
740.37/740.36	c current bound: 544
741.48/741.43	c current bound: 544
742.58/742.51	c current bound: 544
743.40/743.58	c current bound: 544
744.46/744.65	c current bound: 544
745.55/745.72	c current bound: 544
746.63/746.80	c current bound: 544
747.70/747.87	c current bound: 544
748.78/748.94	c current bound: 544
749.85/750.02	c current bound: 544
750.92/751.09	c current bound: 544
752.00/752.17	c current bound: 544
753.07/753.23	c current bound: 544
754.40/754.30	c current bound: 544
755.21/755.37	c current bound: 544
756.28/756.44	c current bound: 544
757.37/757.52	c current bound: 544
758.45/758.60	c current bound: 544
759.51/759.68	c current bound: 544
760.58/760.76	c current bound: 544
761.68/761.84	c current bound: 544
762.76/762.91	c current bound: 544
763.83/763.98	c current bound: 544
764.90/765.06	c current bound: 544
766.01/766.16	c current bound: 544
767.07/767.23	c current bound: 544
768.16/768.31	c current bound: 544
769.23/769.38	c current bound: 544
770.32/770.46	c current bound: 544
771.38/771.53	c current bound: 544
772.46/772.60	c current bound: 544
773.52/773.67	c current bound: 544
774.62/774.75	c current bound: 544
775.68/775.83	c current bound: 544
776.76/776.91	c current bound: 544
777.84/777.99	c current bound: 544
779.10/779.07	c current bound: 544
780.20/780.16	c current bound: 544
781.29/781.23	c current bound: 544
782.39/782.34	c current bound: 544
783.51/783.40	c current bound: 544
784.50/784.49	c current bound: 544
785.60/785.58	c current bound: 544
786.71/786.66	c current bound: 544
787.81/787.74	c current bound: 544
788.91/788.81	c current bound: 544
789.89/789.87	c current bound: 544
791.01/790.96	c current bound: 544
792.10/792.05	c current bound: 544
793.20/793.13	c current bound: 544
794.03/794.19	c current bound: 544
795.10/795.26	c current bound: 544
796.17/796.33	c current bound: 544
797.26/797.41	c current bound: 544
798.33/798.48	c current bound: 544
799.40/799.54	c current bound: 544
800.48/800.62	c current bound: 544
801.56/801.70	c current bound: 544
802.62/802.77	c current bound: 544
803.73/803.86	c current bound: 544
804.80/804.93	c current bound: 544
805.87/806.00	c current bound: 544
806.95/807.07	c current bound: 544
808.01/808.14	c current bound: 544
809.08/809.21	c current bound: 544
810.16/810.28	c current bound: 544
811.23/811.36	c current bound: 544
812.32/812.44	c current bound: 544
813.41/813.52	c current bound: 544
814.47/814.59	c current bound: 544
815.54/815.66	c current bound: 544
816.62/816.74	c current bound: 544
817.69/817.82	c current bound: 544
818.78/818.89	c current bound: 544
819.85/819.96	c current bound: 544
820.92/821.04	c current bound: 544
821.99/822.10	c current bound: 544
823.06/823.18	c current bound: 544
824.15/824.26	c current bound: 544
825.22/825.34	c current bound: 544
826.29/826.40	c current bound: 544
827.36/827.47	c current bound: 544
828.66/828.54	c current bound: 544
829.76/829.61	c current bound: 544
830.77/830.69	c current bound: 544
831.86/831.77	c current bound: 544
832.97/832.84	c current bound: 544
834.08/833.93	c current bound: 544
835.08/834.99	c current bound: 544
836.17/836.08	c current bound: 544
837.27/837.17	c current bound: 544
838.37/838.25	c current bound: 544
839.47/839.32	c current bound: 544
840.57/840.41	c current bound: 544
841.41/841.49	c current bound: 544
842.49/842.58	c current bound: 544
843.56/843.64	c current bound: 544
844.64/844.71	c current bound: 544
845.73/845.80	c current bound: 544
846.80/846.88	c current bound: 544
847.86/847.95	c current bound: 544
848.94/849.02	c current bound: 544
850.02/850.09	c current bound: 544
851.09/851.16	c current bound: 544
852.17/852.24	c current bound: 544
853.25/853.31	c current bound: 544
854.60/854.40	c current bound: 544
855.40/855.47	c current bound: 544
856.48/856.55	c current bound: 544
857.57/857.63	c current bound: 544
858.64/858.72	c current bound: 544
859.73/859.79	c current bound: 544
860.80/860.86	c current bound: 544
861.87/861.93	c current bound: 544
862.96/863.01	c current bound: 544
864.04/864.09	c current bound: 544
865.11/865.16	c current bound: 544
866.19/866.24	c current bound: 544
867.25/867.30	c current bound: 544
868.33/868.38	c current bound: 544
869.42/869.46	c current bound: 544
870.49/870.54	c current bound: 544
871.57/871.62	c current bound: 544
872.92/872.70	c current bound: 544
873.73/873.78	c current bound: 544
874.80/874.85	c current bound: 544
875.88/875.92	c current bound: 544
876.96/877.00	c current bound: 544
878.21/878.07	c current bound: 544
879.30/879.15	c current bound: 544
880.41/880.22	c current bound: 544
881.42/881.29	c current bound: 544
882.53/882.37	c current bound: 544
883.62/883.43	c current bound: 544
884.73/884.52	c current bound: 544
885.73/885.59	c current bound: 544
886.83/886.66	c current bound: 544
887.94/887.73	c current bound: 544
888.77/888.79	c current bound: 544
889.84/889.86	c current bound: 544
890.90/890.93	c current bound: 544
891.98/892.01	c current bound: 544
893.07/893.09	c current bound: 544
894.15/894.16	c current bound: 544
895.22/895.24	c current bound: 544
896.28/896.30	c current bound: 544
897.37/897.39	c current bound: 544
898.45/898.46	c current bound: 544
899.53/899.55	c current bound: 544
900.59/900.61	c current bound: 544
901.68/901.69	c current bound: 544
902.76/902.78	c current bound: 544
903.84/903.85	c current bound: 544
904.93/904.94	c current bound: 544
906.00/906.01	c current bound: 544
907.07/907.08	c current bound: 544
908.14/908.16	c current bound: 544
909.21/909.23	c current bound: 544
910.30/910.31	c current bound: 544
911.66/911.40	c current bound: 544
912.47/912.49	c current bound: 544
913.55/913.56	c current bound: 544
914.62/914.63	c current bound: 544
915.97/915.70	c current bound: 544
916.79/916.78	c current bound: 544
917.87/917.86	c current bound: 544
918.95/918.93	c current bound: 544
920.01/920.01	c current bound: 544
921.10/921.08	c current bound: 544
922.17/922.15	c current bound: 544
923.25/923.23	c current bound: 544
924.33/924.32	c current bound: 544
925.39/925.39	c current bound: 544
926.48/926.48	c current bound: 544
927.77/927.56	c current bound: 544
928.85/928.65	c current bound: 544
929.95/929.74	c current bound: 544
931.05/930.82	c current bound: 544
932.17/931.90	c current bound: 544
933.16/932.98	c current bound: 544
934.25/934.06	c current bound: 544
935.36/935.14	c current bound: 544
936.47/936.22	c current bound: 544
937.56/937.31	c current bound: 544
938.56/938.39	c current bound: 544
939.67/939.47	c current bound: 544
940.76/940.54	c current bound: 544
941.87/941.61	c current bound: 544
942.68/942.68	c current bound: 544
943.77/943.76	c current bound: 544
944.84/944.83	c current bound: 544
945.92/945.91	c current bound: 544
947.01/947.00	c current bound: 544
948.39/948.10	c current bound: 544
949.19/949.17	c current bound: 544
950.27/950.24	c current bound: 544
951.33/951.32	c current bound: 544
952.40/952.38	c current bound: 544
953.49/953.46	c current bound: 544
954.56/954.54	c current bound: 544
955.63/955.60	c current bound: 544
956.72/956.68	c current bound: 544
957.79/957.77	c current bound: 544
958.88/958.85	c current bound: 544
959.95/959.92	c current bound: 544
961.02/960.99	c current bound: 544
962.11/962.07	c current bound: 544
963.18/963.14	c current bound: 544
964.24/964.21	c current bound: 544
965.32/965.29	c current bound: 544
966.40/966.36	c current bound: 544
967.48/967.44	c current bound: 544
968.56/968.51	c current bound: 544
969.65/969.59	c current bound: 544
970.72/970.67	c current bound: 544
971.81/971.76	c current bound: 544
972.87/972.85	c current bound: 544
973.98/973.94	c current bound: 544
975.07/975.02	c current bound: 544
976.15/976.10	c current bound: 544
977.23/977.20	c current bound: 544
978.33/978.28	c current bound: 544
979.40/979.35	c current bound: 544
980.48/980.43	c current bound: 544
981.57/981.52	c current bound: 544
982.65/982.59	c current bound: 544
983.73/983.68	c current bound: 544
984.82/984.77	c current bound: 544
986.12/985.84	c current bound: 544
987.22/986.92	c current bound: 544
988.32/988.01	c current bound: 544
989.33/989.08	c current bound: 544
990.42/990.17	c current bound: 544
991.52/991.25	c current bound: 544
992.63/992.33	c current bound: 544
993.73/993.41	c current bound: 544
994.72/994.48	c current bound: 544
995.81/995.56	c current bound: 544
996.92/996.65	c current bound: 544
998.02/997.72	c current bound: 544
999.12/998.81	c current bound: 544
999.95/999.89	c current bound: 544
1001.02/1000.97	c current bound: 544
1002.11/1002.04	c current bound: 544
1003.18/1003.11	c current bound: 544
1004.25/1004.18	c current bound: 544
1005.33/1005.26	c current bound: 544
1006.42/1006.34	c current bound: 544
1007.48/1007.40	c current bound: 544
1008.55/1008.49	c current bound: 544
1009.64/1009.55	c current bound: 544
1010.72/1010.63	c current bound: 544
1011.79/1011.71	c current bound: 544
1012.86/1012.78	c current bound: 544
1013.93/1013.85	c current bound: 544
1015.02/1014.93	c current bound: 544
1016.10/1016.02	c current bound: 544
1017.45/1017.10	c current bound: 544
1018.24/1018.17	c current bound: 544
1019.32/1019.24	c current bound: 544
1020.41/1020.32	c current bound: 544
1021.48/1021.39	c current bound: 544
1022.54/1022.46	c current bound: 544
1023.61/1023.53	c current bound: 544
1024.70/1024.61	c current bound: 544
1025.77/1025.68	c current bound: 544
1026.85/1026.75	c current bound: 544
1027.93/1027.84	c current bound: 544
1029.01/1028.92	c current bound: 544
1030.09/1029.99	c current bound: 544
1031.16/1031.06	c current bound: 544
1032.24/1032.14	c current bound: 544
1033.32/1033.21	c current bound: 544
1034.40/1034.30	c current bound: 544
1035.47/1035.37	c current bound: 544
1036.76/1036.43	c current bound: 544
1037.86/1037.51	c current bound: 544
1038.96/1038.61	c current bound: 544
1039.96/1039.69	c current bound: 544
1041.07/1040.77	c current bound: 544
1042.17/1041.84	c current bound: 544
1043.26/1042.92	c current bound: 544
1044.38/1044.00	c current bound: 544
1045.37/1045.07	c current bound: 544
1046.48/1046.15	c current bound: 544
1047.56/1047.22	c current bound: 544
1048.65/1048.31	c current bound: 544
1049.49/1049.39	c current bound: 544
1050.57/1050.46	c current bound: 544
1051.64/1051.54	c current bound: 544
1052.74/1052.63	c current bound: 544
1053.83/1053.73	c current bound: 544
1054.91/1054.80	c current bound: 544
1055.99/1055.90	c current bound: 544
1057.09/1056.98	c current bound: 544
1058.17/1058.06	c current bound: 544
1059.24/1059.14	c current bound: 544
1060.33/1060.22	c current bound: 544
1061.68/1061.30	c current bound: 544
1062.47/1062.36	c current bound: 544
1063.54/1063.43	c current bound: 544
1064.62/1064.50	c current bound: 544
1065.69/1065.58	c current bound: 544
1066.76/1066.64	c current bound: 544
1067.84/1067.73	c current bound: 544
1069.18/1068.80	c current bound: 544
1069.99/1069.88	c current bound: 544
1071.08/1070.96	c current bound: 544
1072.15/1072.03	c current bound: 544
1073.49/1073.10	c current bound: 544
1074.30/1074.17	c current bound: 544
1075.37/1075.24	c current bound: 544
1076.43/1076.32	c current bound: 544
1077.51/1077.39	c current bound: 544
1078.59/1078.47	c current bound: 544
1079.66/1079.54	c current bound: 544
1080.74/1080.62	c current bound: 544
1081.82/1081.69	c current bound: 544
1082.90/1082.77	c current bound: 544
1083.98/1083.84	c current bound: 544
1085.05/1084.92	c current bound: 544
1086.14/1086.00	c current bound: 544
1087.21/1087.08	c current bound: 544
1088.32/1088.17	c current bound: 544
1089.60/1089.24	c current bound: 544
1090.70/1090.31	c current bound: 544
1091.71/1091.38	c current bound: 544
1092.82/1092.45	c current bound: 544
1093.92/1093.52	c current bound: 544
1094.92/1094.59	c current bound: 544
1096.02/1095.66	c current bound: 544
1097.11/1096.72	c current bound: 544
1098.23/1097.80	c current bound: 544
1099.03/1098.87	c current bound: 544
1100.10/1099.94	c current bound: 544
1101.19/1101.04	c current bound: 544
1102.28/1102.12	c current bound: 544
1103.36/1103.19	c current bound: 544
1104.45/1104.28	c current bound: 544
1105.51/1105.35	c current bound: 544
1106.58/1106.43	c current bound: 544
1107.66/1107.50	c current bound: 544
1108.73/1108.57	c current bound: 544
1109.80/1109.63	c current bound: 544
1110.88/1110.71	c current bound: 544
1111.96/1111.79	c current bound: 544
1113.04/1112.87	c current bound: 544
1114.11/1113.94	c current bound: 544
1115.18/1115.01	c current bound: 544
1116.26/1116.09	c current bound: 544
1117.37/1117.18	c current bound: 544
1118.47/1118.28	c current bound: 544
1119.54/1119.36	c current bound: 544
1120.62/1120.44	c current bound: 544
1121.74/1121.55	c current bound: 544
1122.82/1122.63	c current bound: 544
1123.91/1123.73	c current bound: 544
1125.00/1124.81	c current bound: 544
1126.09/1125.90	c current bound: 544
1127.16/1126.98	c current bound: 544
1128.24/1128.06	c current bound: 544
1129.32/1129.14	c current bound: 544
1130.39/1130.22	c current bound: 544
1131.47/1131.29	c current bound: 544
1132.55/1132.37	c current bound: 544
1133.62/1133.45	c current bound: 544
1134.69/1134.52	c current bound: 544
1136.04/1135.60	c current bound: 544
1136.85/1136.67	c current bound: 544
1137.93/1137.75	c current bound: 544
1139.02/1138.84	c current bound: 544
1140.12/1139.93	c current bound: 544
1141.19/1141.01	c current bound: 544
1142.27/1142.08	c current bound: 544
1143.54/1143.15	c current bound: 544
1144.64/1144.22	c current bound: 544
1145.73/1145.30	c current bound: 544
1146.73/1146.38	c current bound: 544
1147.85/1147.47	c current bound: 544
1148.95/1148.56	c current bound: 544
1150.04/1149.63	c current bound: 544
1151.14/1150.71	c current bound: 544
1152.15/1151.79	c current bound: 544
1153.24/1152.88	c current bound: 544
1154.35/1153.97	c current bound: 544
1155.51/1155.11	c current bound: 544
1156.58/1156.24	c current bound: 544
1157.68/1157.31	c current bound: 544
1158.68/1158.40	c current bound: 544
1159.78/1159.50	c current bound: 544
1160.89/1160.58	c current bound: 544
1161.97/1161.66	c current bound: 544
1163.08/1162.73	c current bound: 544
1164.18/1163.81	c current bound: 544
1165.28/1164.90	c current bound: 544
1166.11/1166.00	c current bound: 544
1167.19/1167.09	c current bound: 544
1168.29/1168.17	c current bound: 544
1169.36/1169.24	c current bound: 544
1170.42/1170.32	c current bound: 544
1171.51/1171.39	c current bound: 544
1172.59/1172.48	c current bound: 544
1173.69/1173.56	c current bound: 544
1174.76/1174.64	c current bound: 544
1175.83/1175.72	c current bound: 544
1176.91/1176.79	c current bound: 544
1177.99/1177.88	c current bound: 544
1179.07/1178.95	c current bound: 544
1180.15/1180.03	c current bound: 544
1181.23/1181.10	c current bound: 544
1182.30/1182.17	c current bound: 544
1183.38/1183.24	c current bound: 544
1184.44/1184.32	c current bound: 544
1185.53/1185.39	c current bound: 544
1186.61/1186.47	c current bound: 544
1187.68/1187.54	c current bound: 544
1188.75/1188.61	c current bound: 544
1189.82/1189.68	c current bound: 544
1190.92/1190.76	c current bound: 544
1191.99/1191.84	c current bound: 544
1193.06/1192.91	c current bound: 544
1194.14/1194.00	c current bound: 544
1195.24/1195.08	c current bound: 544
1196.31/1196.15	c current bound: 544
1197.38/1197.22	c current bound: 544
1198.72/1198.30	c current bound: 544
1199.52/1199.37	c current bound: 544
1200.62/1200.46	c current bound: 544
1201.69/1201.53	c current bound: 544
1202.77/1202.61	c current bound: 544
1203.85/1203.69	c current bound: 544
1204.94/1204.77	c current bound: 544
1206.22/1205.84	c current bound: 544
1207.31/1206.92	c current bound: 544
1208.34/1207.99	c current bound: 544
1209.44/1209.07	c current bound: 544
1210.53/1210.15	c current bound: 544
1211.64/1211.22	c current bound: 544
1212.74/1212.31	c current bound: 544
1213.73/1213.39	c current bound: 544
1214.83/1214.47	c current bound: 544
1215.93/1215.56	c current bound: 544
1217.02/1216.64	c current bound: 544
1218.13/1217.72	c current bound: 544
1218.95/1218.79	c current bound: 544
1220.03/1219.86	c current bound: 544
1221.10/1220.94	c current bound: 544
1222.17/1222.00	c current bound: 544
1223.27/1223.11	c current bound: 544
1224.36/1224.18	c current bound: 544
1225.43/1225.27	c current bound: 544
1226.49/1226.32	c current bound: 544
1227.84/1227.40	c current bound: 544
1228.65/1228.48	c current bound: 544
1229.73/1229.54	c current bound: 544
1230.81/1230.62	c current bound: 544
1231.88/1231.69	c current bound: 544
1232.95/1232.76	c current bound: 544
1234.02/1233.83	c current bound: 544
1235.10/1234.91	c current bound: 544
1236.19/1235.99	c current bound: 544
1237.25/1237.06	c current bound: 544
1238.33/1238.14	c current bound: 544
1239.40/1239.20	c current bound: 544
1240.48/1240.28	c current bound: 544
1241.55/1241.35	c current bound: 544
1242.61/1242.42	c current bound: 544
1243.68/1243.49	c current bound: 544
1244.77/1244.57	c current bound: 544
1245.86/1245.65	c current bound: 544
1246.92/1246.72	c current bound: 544
1248.00/1247.80	c current bound: 544
1249.07/1248.87	c current bound: 544
1250.14/1249.95	c current bound: 544
1251.22/1251.02	c current bound: 544
1252.28/1252.08	c current bound: 544
1253.56/1253.15	c current bound: 544
1254.66/1254.22	c current bound: 544
1255.75/1255.30	c current bound: 544
1256.78/1256.37	c current bound: 544
1257.87/1257.45	c current bound: 544
1258.97/1258.54	c current bound: 544
1260.06/1259.66	c current bound: 544
1261.17/1260.73	c current bound: 544
1262.26/1261.82	c current bound: 544
1263.27/1262.89	c current bound: 544
1264.36/1263.97	c current bound: 544
1265.46/1265.04	c current bound: 544
1266.56/1266.14	c current bound: 544
1267.66/1267.22	c current bound: 544
1268.78/1268.31	c current bound: 544
1269.58/1269.37	c current bound: 544
1270.64/1270.44	c current bound: 544
1271.73/1271.52	c current bound: 544
1272.80/1272.59	c current bound: 544
1273.88/1273.68	c current bound: 544
1274.96/1274.76	c current bound: 544
1276.05/1275.84	c current bound: 544
1277.12/1276.91	c current bound: 544
1278.18/1277.97	c current bound: 544
1279.24/1279.04	c current bound: 544
1280.33/1280.11	c current bound: 544
1281.41/1281.19	c current bound: 544
1282.47/1282.25	c current bound: 544
1283.54/1283.32	c current bound: 544
1284.61/1284.39	c current bound: 544
1285.69/1285.47	c current bound: 544
1286.77/1286.54	c current bound: 544
1287.83/1287.61	c current bound: 544
1288.91/1288.69	c current bound: 544
1289.98/1289.76	c current bound: 544
1291.07/1290.84	c current bound: 544
1292.14/1291.91	c current bound: 544
1293.22/1292.99	c current bound: 544
1294.28/1294.07	c current bound: 544
1295.36/1295.16	c current bound: 544
1296.43/1296.23	c current bound: 544
1297.77/1297.30	c current bound: 544
1298.59/1298.38	c current bound: 544
1299.67/1299.46	c current bound: 544
1300.73/1300.53	c current bound: 544
1301.81/1301.61	c current bound: 544
1302.89/1302.68	c current bound: 544
1304.16/1303.77	c current bound: 544
1305.26/1304.84	c current bound: 544
1306.37/1305.91	c current bound: 544
1307.37/1306.98	c current bound: 544
1308.45/1308.06	c current bound: 544
1309.56/1309.14	c current bound: 544
1310.65/1310.23	c current bound: 544
1311.75/1311.31	c current bound: 544
1312.76/1312.40	c current bound: 544
1313.85/1313.47	c current bound: 544
1314.95/1314.54	c current bound: 544
1316.06/1315.62	c current bound: 544
1316.88/1316.69	c current bound: 544
1317.96/1317.77	c current bound: 544
1319.03/1318.83	c current bound: 544
1320.10/1319.90	c current bound: 544
1321.17/1320.97	c current bound: 544
1322.24/1322.04	c current bound: 544
1323.33/1323.12	c current bound: 544
1324.40/1324.19	c current bound: 544
1325.48/1325.28	c current bound: 544
1326.55/1326.35	c current bound: 544
1327.62/1327.42	c current bound: 544
1328.69/1328.49	c current bound: 544
1329.78/1329.57	c current bound: 544
1330.85/1330.64	c current bound: 544
1331.91/1331.71	c current bound: 544
1332.99/1332.78	c current bound: 544
1334.06/1333.85	c current bound: 544
1335.13/1334.93	c current bound: 544
1336.22/1336.00	c current bound: 544
1337.29/1337.09	c current bound: 544
1338.36/1338.15	c current bound: 544
1339.46/1339.25	c current bound: 544
1340.55/1340.33	c current bound: 544
1341.61/1341.41	c current bound: 544
1342.70/1342.48	c current bound: 544
1343.78/1343.56	c current bound: 544
1344.87/1344.65	c current bound: 544
1345.95/1345.73	c current bound: 544
1347.03/1346.80	c current bound: 544
1348.10/1347.88	c current bound: 544
1349.19/1348.96	c current bound: 544
1350.27/1350.04	c current bound: 544
1351.34/1351.11	c current bound: 544
1352.43/1352.19	c current bound: 544
1353.51/1353.28	c current bound: 544
1354.79/1354.34	c current bound: 544
1355.89/1355.42	c current bound: 544
1356.90/1356.49	c current bound: 544
1358.00/1357.56	c current bound: 544
1359.10/1358.63	c current bound: 544
1360.20/1359.71	c current bound: 544
1361.20/1360.77	c current bound: 544
1362.30/1361.85	c current bound: 544
1363.39/1362.91	c current bound: 544
1364.21/1363.98	c current bound: 544
1365.29/1365.05	c current bound: 544
1366.37/1366.14	c current bound: 544
1367.44/1367.21	c current bound: 544
1368.53/1368.29	c current bound: 544
1369.61/1369.37	c current bound: 544
1370.69/1370.45	c current bound: 544
1371.78/1371.54	c current bound: 544
1372.87/1372.63	c current bound: 544
1374.21/1373.70	c current bound: 544
1375.00/1374.76	c current bound: 544
1376.07/1375.83	c current bound: 544
1377.16/1376.90	c current bound: 544
1378.23/1377.99	c current bound: 544
1379.30/1379.06	c current bound: 544
1380.37/1380.12	c current bound: 544
1381.72/1381.20	c current bound: 544
1382.54/1382.29	c current bound: 544
1383.62/1383.37	c current bound: 544
1384.72/1384.46	c current bound: 544
1385.81/1385.55	c current bound: 544
1386.90/1386.63	c current bound: 544
1387.96/1387.69	c current bound: 544
1389.03/1388.76	c current bound: 544
1390.10/1389.83	c current bound: 544
1391.18/1390.91	c current bound: 544
1392.54/1392.00	c current bound: 544
1393.36/1393.09	c current bound: 544
1394.44/1394.17	c current bound: 544
1395.52/1395.25	c current bound: 544
1396.61/1396.34	c current bound: 544
1397.69/1397.40	c current bound: 544
1398.77/1398.47	c current bound: 544
1399.83/1399.54	c current bound: 544
1400.91/1400.61	c current bound: 544
1401.98/1401.69	c current bound: 544
1403.08/1402.77	c current bound: 544
1404.36/1403.84	c current bound: 544
1405.46/1404.92	c current bound: 544
1406.55/1406.00	c current bound: 544
1407.56/1407.09	c current bound: 544
1408.67/1408.16	c current bound: 544
1409.76/1409.24	c current bound: 544
1410.84/1410.31	c current bound: 544
1411.95/1411.43	c current bound: 544
1412.96/1412.50	c current bound: 544
1414.06/1413.58	c current bound: 544
1415.15/1414.68	c current bound: 544
1416.24/1415.76	c current bound: 544
1417.36/1416.85	c current bound: 544
1418.46/1417.92	c current bound: 544
1419.55/1419.01	c current bound: 544
1420.38/1420.09	c current bound: 544
1421.48/1421.18	c current bound: 544
1422.56/1422.25	c current bound: 544
1423.65/1423.35	c current bound: 544
1424.73/1424.43	c current bound: 544
1425.81/1425.51	c current bound: 544
1426.89/1426.59	c current bound: 544
1428.03/1427.73	c current bound: 544
1429.11/1428.81	c current bound: 544
1430.18/1429.87	c current bound: 544
1431.25/1430.95	c current bound: 544
1432.33/1432.02	c current bound: 544
1433.67/1433.10	c current bound: 544
1434.48/1434.18	c current bound: 544
1435.55/1435.25	c current bound: 544
1436.63/1436.33	c current bound: 544
1437.71/1437.41	c current bound: 544
1438.79/1438.48	c current bound: 544
1439.86/1439.56	c current bound: 544
1440.93/1440.64	c current bound: 544
1442.01/1441.71	c current bound: 544
1443.08/1442.79	c current bound: 544
1444.17/1443.87	c current bound: 544
1445.24/1444.95	c current bound: 544
1446.33/1446.03	c current bound: 544
1447.41/1447.11	c current bound: 544
1448.49/1448.18	c current bound: 544
1449.58/1449.27	c current bound: 544
1450.67/1450.35	c current bound: 544
1451.74/1451.43	c current bound: 544
1452.82/1452.51	c current bound: 544
1453.89/1453.59	c current bound: 544
1454.98/1454.68	c current bound: 544
1456.07/1455.76	c current bound: 544
1457.14/1456.83	c current bound: 544
1458.22/1457.90	c current bound: 544
1459.29/1458.98	c current bound: 544
1460.38/1460.07	c current bound: 544
1461.46/1461.14	c current bound: 544
1462.53/1462.21	c current bound: 544
1463.62/1463.30	c current bound: 544
1464.70/1464.39	c current bound: 544
1465.79/1465.47	c current bound: 544
1467.06/1466.55	c current bound: 544
1468.16/1467.62	c current bound: 544
1469.16/1468.70	c current bound: 544
1470.26/1469.77	c current bound: 544
1471.37/1470.86	c current bound: 544
1472.47/1471.93	c current bound: 544
1473.58/1473.01	c current bound: 544
1474.57/1474.09	c current bound: 544
1475.68/1475.17	c current bound: 544
1476.77/1476.26	c current bound: 544
1477.88/1477.34	c current bound: 544
1478.97/1478.45	c current bound: 544
1480.07/1479.53	c current bound: 544
1481.17/1480.61	c current bound: 544
1482.00/1481.68	c current bound: 544
1483.08/1482.76	c current bound: 544
1484.17/1483.86	c current bound: 544
1485.26/1484.94	c current bound: 544
1486.35/1486.03	c current bound: 544
1487.43/1487.11	c current bound: 544
1488.53/1488.21	c current bound: 544
1489.59/1489.28	c current bound: 544
1490.68/1490.36	c current bound: 544
1491.77/1491.43	c current bound: 544
1492.82/1492.52	c current bound: 544
1493.92/1493.59	c current bound: 544
1494.99/1494.67	c current bound: 544
1496.08/1495.75	c current bound: 544
1497.15/1496.82	c current bound: 544
1498.23/1497.91	c current bound: 544
1499.32/1499.00	c current bound: 544
1500.67/1500.17	c current bound: 544
1501.49/1501.26	c current bound: 544
1502.56/1502.33	c current bound: 544
1503.65/1503.42	c current bound: 544
1504.75/1504.51	c current bound: 544
1505.84/1505.60	c current bound: 544
1506.92/1506.68	c current bound: 544
1507.99/1507.75	c current bound: 544
1509.07/1508.84	c current bound: 544
1510.14/1509.91	c current bound: 544
1511.49/1511.00	c current bound: 544
1512.29/1512.07	c current bound: 544
1513.38/1513.15	c current bound: 544
1514.48/1514.23	c current bound: 544
1515.55/1515.31	c current bound: 544
1516.90/1516.40	c current bound: 544
1517.70/1517.47	c current bound: 544
1518.79/1518.55	c current bound: 544
1519.88/1519.64	c current bound: 544
1520.96/1520.72	c current bound: 544
1522.03/1521.79	c current bound: 544
1523.10/1522.88	c current bound: 544
1524.19/1523.95	c current bound: 544
1525.26/1525.02	c current bound: 544
1526.34/1526.10	c current bound: 544
1527.41/1527.16	c current bound: 544
1528.49/1528.25	c current bound: 544
1529.58/1529.33	c current bound: 544
1530.67/1530.41	c current bound: 544
1531.73/1531.49	c current bound: 544
1533.01/1532.55	c current bound: 544
1534.11/1533.62	c current bound: 544
1535.13/1534.69	c current bound: 544
1536.22/1535.78	c current bound: 544
1537.33/1536.86	c current bound: 544
1538.43/1537.95	c current bound: 544
1539.54/1539.02	c current bound: 544
1540.65/1540.10	c current bound: 544
1541.63/1541.19	c current bound: 544
1542.75/1542.26	c current bound: 544
1543.84/1543.34	c current bound: 544
1544.93/1544.42	c current bound: 544
1546.06/1545.51	c current bound: 544
1546.87/1546.59	c current bound: 544
1547.95/1547.66	c current bound: 544
1549.03/1548.74	c current bound: 544
1550.10/1549.82	c current bound: 544
1551.19/1550.91	c current bound: 544
1552.28/1551.99	c current bound: 544
1553.36/1553.06	c current bound: 544
1554.43/1554.13	c current bound: 544
1555.51/1555.21	c current bound: 544
1556.59/1556.29	c current bound: 544
1557.66/1557.36	c current bound: 544
1558.73/1558.44	c current bound: 544
1559.82/1559.54	c current bound: 544
1560.90/1560.60	c current bound: 544
1561.98/1561.68	c current bound: 544
1563.06/1562.76	c current bound: 544
1564.12/1563.84	c current bound: 544
1565.21/1564.90	c current bound: 544
1566.28/1565.99	c current bound: 544
1567.36/1567.06	c current bound: 544
1568.45/1568.15	c current bound: 544
1569.53/1569.23	c current bound: 544
1570.58/1570.29	c current bound: 544
1571.66/1571.36	c current bound: 544
1572.76/1572.43	c current bound: 544
1574.09/1573.50	c current bound: 544
1574.89/1574.57	c current bound: 544
1575.96/1575.63	c current bound: 544
1577.02/1576.71	c current bound: 544
1578.11/1577.79	c current bound: 544
1579.18/1578.87	c current bound: 544
1580.25/1579.94	c current bound: 544
1581.34/1581.03	c current bound: 544
1582.41/1582.10	c current bound: 544
1583.51/1583.19	c current bound: 544
1584.79/1584.25	c current bound: 544
1585.88/1585.33	c current bound: 544
1586.98/1586.41	c current bound: 544
1588.00/1587.47	c current bound: 544
1589.10/1588.55	c current bound: 544
1590.21/1589.62	c current bound: 544
1591.20/1590.69	c current bound: 544
1592.30/1591.77	c current bound: 544
1593.40/1592.86	c current bound: 544
1594.51/1593.93	c current bound: 544
1595.61/1595.01	c current bound: 544
1596.44/1596.08	c current bound: 544
1597.52/1597.16	c current bound: 544
1598.60/1598.24	c current bound: 544
1599.67/1599.31	c current bound: 544
1600.75/1600.39	c current bound: 544
1601.85/1601.48	c current bound: 544
1602.93/1602.57	c current bound: 544
1604.01/1603.65	c current bound: 544
1605.09/1604.73	c current bound: 544
1606.19/1605.83	c current bound: 544
1607.54/1606.90	c current bound: 544
1608.34/1607.97	c current bound: 544
1609.41/1609.04	c current bound: 544
1610.49/1610.11	c current bound: 544
1611.57/1611.19	c current bound: 544
1612.65/1612.28	c current bound: 544
1613.72/1613.34	c current bound: 544
1614.79/1614.41	c current bound: 544
1615.86/1615.49	c current bound: 544
1617.24/1616.60	c current bound: 544
1618.04/1617.67	c current bound: 544
1619.14/1618.75	c current bound: 544
1620.22/1619.82	c current bound: 544
1621.57/1620.90	c current bound: 544
1622.37/1621.98	c current bound: 544
1623.44/1623.04	c current bound: 544
1624.52/1624.12	c current bound: 544
1625.60/1625.19	c current bound: 544
1626.69/1626.28	c current bound: 544
1627.78/1627.37	c current bound: 544
1628.86/1628.45	c current bound: 544
1629.95/1629.54	c current bound: 544
1631.03/1630.62	c current bound: 544
1632.09/1631.69	c current bound: 544
1633.20/1632.80	c current bound: 544
1634.28/1633.88	c current bound: 544
1635.37/1634.96	c current bound: 544
1636.44/1636.03	c current bound: 544
1637.51/1637.10	c current bound: 544
1638.59/1638.18	c current bound: 544
1639.67/1639.27	c current bound: 544
1640.96/1640.35	c current bound: 544
1642.05/1641.42	c current bound: 544
1643.06/1642.49	c current bound: 544
1644.17/1643.56	c current bound: 544
1645.27/1644.64	c current bound: 544
1646.38/1645.71	c current bound: 544
1647.38/1646.80	c current bound: 544
1648.48/1647.88	c current bound: 544
1649.57/1648.95	c current bound: 544
1650.68/1650.04	c current bound: 544
1651.78/1651.13	c current bound: 544
1652.63/1652.20	c current bound: 544
1653.71/1653.29	c current bound: 544
1654.77/1654.36	c current bound: 544
1655.86/1655.43	c current bound: 544
1656.94/1656.51	c current bound: 544
1658.03/1657.60	c current bound: 544
1659.11/1658.70	c current bound: 544
1660.21/1659.78	c current bound: 544
1661.29/1660.86	c current bound: 544
1662.36/1661.93	c current bound: 544
1663.44/1663.01	c current bound: 544
1664.51/1664.09	c current bound: 544
1665.58/1665.16	c current bound: 544
1666.67/1666.24	c current bound: 544
1667.74/1667.34	c current bound: 544
1668.84/1668.43	c current bound: 544
1669.94/1669.52	c current bound: 544
1671.01/1670.59	c current bound: 544
1672.10/1671.68	c current bound: 544
1673.16/1672.75	c current bound: 544
1674.25/1673.82	c current bound: 544
1675.32/1674.90	c current bound: 544
1676.69/1676.00	c current bound: 544
1677.50/1677.07	c current bound: 544
1678.56/1678.14	c current bound: 544
1679.65/1679.22	c current bound: 544
1680.76/1680.33	c current bound: 544
1681.85/1681.40	c current bound: 544
1682.93/1682.49	c current bound: 544
1684.02/1683.58	c current bound: 544
1685.10/1684.66	c current bound: 544
1686.17/1685.74	c current bound: 544
1687.26/1686.83	c current bound: 544
1688.34/1687.92	c current bound: 544
1689.43/1689.00	c current bound: 544
1690.51/1690.08	c current bound: 544
1691.60/1691.16	c current bound: 544
1692.67/1692.24	c current bound: 544
1693.75/1693.32	c current bound: 544
1694.83/1694.40	c current bound: 544
1695.91/1695.48	c current bound: 544
1696.99/1696.56	c current bound: 544
1698.10/1697.65	c current bound: 544
1699.17/1698.73	c current bound: 544
1700.25/1699.82	c current bound: 544
1701.32/1700.89	c current bound: 544
1702.40/1701.97	c current bound: 544
1703.69/1703.06	c current bound: 544
1704.79/1704.14	c current bound: 544
1705.89/1705.22	c current bound: 544
1707.00/1706.30	c current bound: 544
1708.00/1707.38	c current bound: 544
1709.10/1708.47	c current bound: 544
1710.19/1709.56	c current bound: 544
1711.28/1710.63	c current bound: 544
1712.41/1711.71	c current bound: 544
1713.41/1712.79	c current bound: 544
1714.51/1713.87	c current bound: 544
1715.61/1714.96	c current bound: 544
1716.70/1716.03	c current bound: 544
1717.81/1717.12	c current bound: 544
1718.90/1718.21	c current bound: 544
1719.74/1719.28	c current bound: 544
1720.83/1720.37	c current bound: 544
1721.91/1721.45	c current bound: 544
1723.00/1722.53	c current bound: 544
1724.06/1723.62	c current bound: 544
1725.16/1724.71	c current bound: 544
1726.23/1725.77	c current bound: 544
1727.30/1726.86	c current bound: 544
1728.42/1727.96	c current bound: 544
1729.49/1729.04	c current bound: 544
1730.56/1730.12	c current bound: 544
1731.93/1731.20	c current bound: 544
1732.72/1732.28	c current bound: 544
1733.82/1733.36	c current bound: 544
1734.90/1734.44	c current bound: 544
1735.97/1735.51	c current bound: 544
1737.04/1736.59	c current bound: 544
1738.14/1737.68	c current bound: 544
1739.20/1738.75	c current bound: 544
1740.29/1739.82	c current bound: 544
1741.62/1740.90	c current bound: 544
1742.44/1741.99	c current bound: 544
1743.53/1743.08	c current bound: 544
1744.61/1744.15	c current bound: 544
1745.69/1745.23	c current bound: 544
1746.77/1746.32	c current bound: 544
1747.84/1747.39	c current bound: 544
1748.91/1748.47	c current bound: 544
1750.00/1749.56	c current bound: 544
1751.10/1750.65	c current bound: 544
1752.17/1751.72	c current bound: 544
1753.24/1752.79	c current bound: 544
1754.32/1753.88	c current bound: 544
1755.39/1754.95	c current bound: 544
1756.48/1756.03	c current bound: 544
1757.56/1757.10	c current bound: 544
1758.63/1758.18	c current bound: 544
1759.71/1759.27	c current bound: 544
1760.79/1760.34	c current bound: 544
1761.87/1761.41	c current bound: 544
1762.94/1762.50	c current bound: 544
1764.21/1763.56	c current bound: 544
1765.30/1764.64	c current bound: 544
1766.42/1765.71	c current bound: 544
1767.40/1766.79	c current bound: 544
1768.51/1767.88	c current bound: 544
1769.62/1768.96	c current bound: 544
1770.73/1770.04	c current bound: 544
1771.82/1771.12	c current bound: 544
1772.82/1772.20	c current bound: 544
1773.91/1773.27	c current bound: 544
1775.02/1774.39	c current bound: 544
1776.13/1775.47	c current bound: 544
1777.23/1776.55	c current bound: 544
1778.32/1777.61	c current bound: 544
1779.44/1778.70	c current bound: 544
1780.25/1779.78	c current bound: 544
1781.32/1780.86	c current bound: 544
1782.40/1781.93	c current bound: 544
1783.75/1783.00	c current bound: 544
1784.56/1784.07	c current bound: 544
1785.63/1785.15	c current bound: 544
1786.72/1786.24	c current bound: 544
1787.79/1787.31	c current bound: 544
1788.86/1788.38	c current bound: 544
1789.95/1789.46	c current bound: 544
1791.02/1790.54	c current bound: 544
1792.10/1791.62	c current bound: 544
1793.46/1792.70	c current bound: 544
1794.27/1793.79	c current bound: 544
1795.35/1794.86	c current bound: 544
1796.44/1795.95	c current bound: 544
1797.51/1797.04	c current bound: 544
1798.59/1798.11	c current bound: 544
1799.66/1799.18	c current bound: 544
1799.97/1799.20	HOME/npSolver-wbo-Itdqb.sh: line 18: 30849 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752923-1339204401/watcher-3752923-1339204401 -o /tmp/evaluation-result-3752923-1339204401/solver-3752923-1339204401 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752923-1339204401.wbo 925237825 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: 4.68 3.54 2.79 3/177 30848
/proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0

[startup+0.018199 s]
/proc/loadavg: 4.68 3.54 2.79 3/177 30848
/proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100361 s]
/proc/loadavg: 4.68 3.54 2.79 3/177 30848
/proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300303 s]
/proc/loadavg: 4.68 3.54 2.79 3/177 30848
/proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700248 s]
/proc/loadavg: 4.68 3.54 2.79 3/177 30848
/proc/meminfo: memFree=29639656/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 4.54 3.53 2.79 3/185 30879
/proc/meminfo: memFree=29539320/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1.3 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 6620 21331 0 1 19 4 92 15 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 29804

[startup+3.10038 s]
/proc/loadavg: 4.54 3.53 2.79 3/185 30886
/proc/meminfo: memFree=29539800/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=2.39 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 8754 37367 0 1 27 6 177 29 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 29804
heavy processes:

[startup+6.30033 s]
/proc/loadavg: 4.54 3.53 2.79 3/185 30907
/proc/meminfo: memFree=29539708/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=5.65 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 15156 85464 0 1 52 9 432 72 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 29804

[startup+12.7003 s]
/proc/loadavg: 4.15 3.48 2.79 3/183 30951
/proc/meminfo: memFree=29555064/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=12.1 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 27960 179439 0 1 101 15 938 156 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 29804

[startup+25.5004 s]
/proc/loadavg: 3.82 3.43 2.78 3/185 31037
/proc/meminfo: memFree=29505832/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=25.1 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 53568 369284 0 1 199 28 1947 336 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
[pid=31036] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (satsolver.sh) S 30849 30848 30805 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386571209 9367552 265 33554432000 4194304 5064252 140737386714016 140737386712928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31036/statm: 2287 265 226 213 0 72 0
[pid=31037] ppid=31036 vsize=48600 CPUtime=0.34 cores=1,3,5,7
/proc/31037/stat : 31037 (glucose) R 31036 30848 30805 0 -1 4202496 10923 0 0 0 33 1 0 0 20 0 1 0 386571209 49766400 10708 33554432000 4194304 5208918 140736340961344 140737386712952 4211871 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31037/statm: 12150 10708 95 248 0 11899 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 87552

[startup+51.1004 s]
/proc/loadavg: 3.20 3.32 2.76 3/185 31199
/proc/meminfo: memFree=29500292/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=51.06 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 104784 752845 0 1 395 54 3981 676 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29804

[startup+102.3 s]
/proc/loadavg: 2.48 3.09 2.71 3/184 31535
/proc/meminfo: memFree=29481288/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=101.94 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 205082 1492730 0 1 780 105 7980 1329 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
[pid=31534] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31534/stat : 31534 (satsolver.sh) S 30849 30848 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386578890 9367552 266 33554432000 4194304 5064252 140736296930640 140736296929552 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31534/statm: 2287 266 226 213 0 72 0
[pid=31535] ppid=31534 vsize=48604 CPUtime=0.34 cores=1,3,5,7
/proc/31535/stat : 31535 (glucose) R 31534 30848 30805 0 -1 4202496 10875 0 0 0 32 2 0 0 20 0 1 0 386578890 49770496 10708 33554432000 4194304 5208918 140734189810176 140736296929576 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31535/statm: 12151 10708 95 248 0 11900 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 87556

[startup+162.3 s]
/proc/loadavg: 2.17 2.89 2.66 3/184 31927
/proc/meminfo: memFree=29498520/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=162.28 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 324586 2378112 0 1 1240 163 12695 2130 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 29804

[startup+222.307 s]
/proc/loadavg: 2.06 2.73 2.62 3/184 32322
/proc/meminfo: memFree=29507476/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=222.3 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 441963 3260962 0 1 1693 223 17384 2930 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
[pid=32320] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32320/stat : 32320 (cp2_post.sh) S 30849 30848 30805 0 -1 4202496 611 224 0 0 0 0 0 0 20 0 1 0 386590908 9367552 266 33554432000 4194304 5064252 140735715808224 140735715806512 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32320/statm: 2287 266 225 213 0 72 0
[pid=32322] ppid=32320 vsize=10148 CPUtime=0.17 cores=1,3,5,7
/proc/32322/stat : 32322 (coprocessor) R 32320 30848 30805 0 -1 4202496 2561 0 0 0 11 6 0 0 20 0 1 0 386590908 10391552 1707 33554432000 4194304 6586260 140733853844352 140735715806536 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/32322/statm: 2537 1707 148 584 0 1949 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 49100

[startup+282.3 s]
/proc/loadavg: 2.11 2.61 2.58 3/189 32767
/proc/meminfo: memFree=29543432/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=281.75 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 561460 4132156 0 1 2155 283 21995 3742 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0

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

Current children cumulated CPU time (s) 1362.44
Current children cumulated vsize (KiB) 29804

[startup+1422.3 s]
/proc/loadavg: 1.96 2.02 2.16 4/181 8018
/proc/meminfo: memFree=29561488/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1422.88 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 1905263 20814396 0 1 10882 1353 110775 19278 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 5056727 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1422.88
Current children cumulated vsize (KiB) 29804

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.15 4/181 8403
/proc/meminfo: memFree=29545004/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1482.35 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 1966904 21686016 0 1 11336 1408 115437 20054 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 29804

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.14 4/183 8800
/proc/meminfo: memFree=29547004/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1542.85 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 2028659 22569716 0 1 11790 1463 120173 20859 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 4535977 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1542.85
Current children cumulated vsize (KiB) 29804

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

[startup+1574.3 s]
/proc/loadavg: 2.00 2.02 2.13 4/183 9008
/proc/meminfo: memFree=29507280/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1574.19 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2061424 23031195 0 1 12031 1493 122609 21286 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
[pid=9007] ppid=30849 vsize=0 CPUtime=0.7 cores=1,3,5,7
/proc/9007/stat : 9007 (satsolver.sh) R 30849 30848 30805 0 -1 4202500 605 11242 0 0 0 0 68 2 20 0 1 0 386726054 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9007/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1574.89
Current children cumulated vsize (KiB) 29804

[startup+1574.4 s]
/proc/loadavg: 2.00 2.02 2.13 4/183 9008
/proc/meminfo: memFree=29507280/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1574.89 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2061431 23043042 0 1 12031 1493 122677 21288 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1574.89
Current children cumulated vsize (KiB) 29804
#
############


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.13 4/184 9193
/proc/meminfo: memFree=29530168/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1602.93 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2090343 23451228 0 1 12244 1519 124859 21671 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1602.93
Current children cumulated vsize (KiB) 29804

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.12 4/183 9592
/proc/meminfo: memFree=29518988/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1662.73 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2152608 24319596 0 1 12703 1574 129514 22482 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
[pid=9591] ppid=30849 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9591/stat : 9591 (satsolver.sh) S 30849 30848 30805 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386734898 9367552 266 33554432000 4194304 5064252 140735287434704 140735287433616 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9591/statm: 2287 266 226 213 0 72 0
[pid=9592] ppid=9591 vsize=48604 CPUtime=0.26 cores=1,3,5,7
/proc/9592/stat : 9592 (glucose) R 9591 30848 30805 0 -1 4202496 10547 0 0 0 24 2 0 0 20 0 1 0 386734898 49770496 10984 33554432000 4194304 5208918 140737272493168 140735287433640 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9592/statm: 12151 10984 95 248 0 11900 0
Current children cumulated CPU time (s) 1662.99
Current children cumulated vsize (KiB) 87556

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.11 4/181 9975
/proc/meminfo: memFree=29543064/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1723 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2213775 25201662 0 1 13154 1629 134236 23281 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1723
Current children cumulated vsize (KiB) 29804

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.10 4/181 10374
/proc/meminfo: memFree=29557800/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1782.76 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) S 30848 30848 30805 0 -1 4202496 2276040 26064756 0 1 13611 1685 138896 24084 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652232576 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1782.76
Current children cumulated vsize (KiB) 29804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.2 s]
/proc/loadavg: 2.01 2.01 2.10 3/181 10486
/proc/meminfo: memFree=29554452/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1799.97 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 2293314 26318797 0 1 13736 1700 140236 24325 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 4619227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 29804

Sending SIGTERM to process tree (bottom up)

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

[startup+1799.2 s]
/proc/loadavg: 2.01 2.01 2.10 3/181 10486
/proc/meminfo: memFree=29554452/32873844 swapFree=7372/7372
[pid=30848] ppid=30844 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30848/stat : 30848 (npSolver-wbo-It) S 30844 30848 30805 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386568695 9367552 274 33554432000 4194304 5064252 140734687846016 140734687844928 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30848/statm: 2287 274 233 213 0 72 0
[pid=30849] ppid=30848 vsize=20656 CPUtime=1799.97 cores=1,3,5,7
/proc/30849/stat : 30849 (npSolver-wbo) R 30848 30848 30805 0 -1 4202496 2293314 26318797 0 1 13736 1700 140236 24325 20 0 1 0 386568695 21151744 4601 33554432000 4194304 6006132 140734652241216 140734652233152 4619227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30849/statm: 5164 4601 176 443 0 4717 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 29804

Child status: 0

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

Real time (s): 1799.21
CPU time (s): 1800.15
CPU user time (s): 1539.8
CPU system time (s): 260.356
CPU usage (%): 100.053
Max. virtual memory (cumulated for all children) (KiB): 89228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1539.73
system time used= 260.256
maximum resident set size= 46396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28612485
page faults= 1
swaps= 0
block input operations= 48
block output operations= 23648224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 470407
involuntary context switches= 22208

runsolver used 3.22151 second user time and 8.58569 second system time

The end

Launcher Data

Begin job on node109 at 2012-06-09 03:13:21
IDJOB=3752923
IDBENCH=78980
IDSOLVER=2336
FILE ID=node109/3752923-1339204401
RUNJOBID= node109-1339204401-30822
PBS_JOBID= 14643852
Free space on /tmp= 70480 MiB

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

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

MD5SUM BENCH= ed627c94e924dd829be1b38440fce2ad
RANDOM SEED=925237825

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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:       32873844 kB
MemFree:        29640300 kB
Buffers:         1479520 kB
Cached:           778016 kB
SwapCached:         1336 kB
Active:          2252912 kB
Inactive:          10880 kB
Active(anon):       1412 kB
Inactive(anon):     6952 kB
Active(file):    2251500 kB
Inactive(file):     3928 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102640 kB
Dirty:             20104 kB
Writeback:             0 kB
AnonPages:         11832 kB
Mapped:             8308 kB
Shmem:                 4 kB
Slab:             825860 kB
SReclaimable:     265796 kB
SUnreclaim:       560064 kB
KernelStack:        1392 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70676 MiB
End job on node109 at 2012-06-09 03:43:20