Trace number 3715584

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.12 1811.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMa1a1d6ef1095be996fe403c53206d252
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1.12183
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints62
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 3271
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3270
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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.26	c run usual solver
2.78/2.82	o 2339
2.78/2.82	c starting approximation
2.78/2.82	c factor = 2
2.78/2.82	c current bound: 1169
3.76/3.98	c current bound: 1169
4.92/5.14	c current bound: 1169
6.06/6.28	c current bound: 1169
7.23/7.45	c current bound: 1169
8.59/8.71	c current bound: 1169
9.68/9.86	c current bound: 1169
10.88/11.02	c current bound: 1169
11.98/12.19	c current bound: 1169
13.03/13.47	c current bound: 1169
14.19/14.64	c current bound: 1169
15.56/15.80	c current bound: 1169
16.51/16.96	c current bound: 1169
17.68/18.12	c current bound: 1169
18.85/19.28	c current bound: 1169
20.00/20.43	c current bound: 1169
21.16/21.59	c current bound: 1169
22.31/22.75	c current bound: 1169
23.66/23.91	c current bound: 1169
24.62/25.06	c current bound: 1169
25.79/26.22	c current bound: 1169
26.96/27.38	c current bound: 1169
28.25/28.55	c current bound: 1169
29.46/29.71	c current bound: 1169
30.56/30.87	c current bound: 1169
31.61/32.03	c current bound: 1169
32.96/33.20	c current bound: 1169
33.93/34.35	c current bound: 1169
35.08/35.51	c current bound: 1169
36.24/36.67	c current bound: 1169
37.40/37.83	c current bound: 1169
38.56/38.99	c current bound: 1169
39.72/40.14	c current bound: 1169
41.07/41.31	c current bound: 1169
42.05/42.47	c current bound: 1169
43.19/43.61	c current bound: 1169
44.54/44.81	c current bound: 1169
45.51/45.96	c current bound: 1169
46.67/47.12	c current bound: 1169
47.83/48.29	c current bound: 1169
49.13/49.45	c current bound: 1169
50.34/50.60	c current bound: 1169
51.44/51.76	c current bound: 1169
52.47/52.93	c current bound: 1169
53.64/54.09	c current bound: 1169
54.81/55.25	c current bound: 1169
56.15/56.40	c current bound: 1169
57.10/57.54	c current bound: 1169
58.45/58.70	c current bound: 1169
59.42/59.86	c current bound: 1169
60.56/61.15	c current bound: 1169
61.74/62.31	c current bound: 1169
62.89/63.47	c current bound: 1169
64.05/64.63	c current bound: 1169
65.19/65.78	c current bound: 1169
66.36/66.94	c current bound: 1169
67.52/68.10	c current bound: 1169
68.82/69.26	c current bound: 1169
69.91/70.40	c current bound: 1169
71.09/71.55	c current bound: 1169
72.13/72.71	c current bound: 1169
73.29/73.87	c current bound: 1169
74.45/75.03	c current bound: 1169
75.61/76.19	c current bound: 1169
76.78/77.35	c current bound: 1169
77.94/78.51	c current bound: 1169
79.10/79.67	c current bound: 1169
80.26/80.83	c current bound: 1169
81.61/82.00	c current bound: 1169
82.78/83.30	c current bound: 1169
83.74/84.46	c current bound: 1169
84.90/85.61	c current bound: 1169
86.05/86.77	c current bound: 1169
87.38/87.93	c current bound: 1169
88.47/89.09	c current bound: 1169
89.66/90.25	c current bound: 1169
90.88/91.40	c current bound: 1169
91.84/92.56	c current bound: 1169
93.00/93.71	c current bound: 1169
94.14/94.86	c current bound: 1169
95.30/96.02	c current bound: 1169
96.45/97.16	c current bound: 1169
97.62/98.32	c current bound: 1169
98.77/99.48	c current bound: 1169
99.93/100.64	c current bound: 1169
101.07/101.78	c current bound: 1169
102.23/102.94	c current bound: 1169
103.38/104.12	c current bound: 1169
104.76/105.42	c current bound: 1169
105.73/106.59	c current bound: 1169
107.04/107.75	c current bound: 1169
108.22/108.92	c current bound: 1169
109.33/110.08	c current bound: 1169
110.38/111.24	c current bound: 1169
111.73/112.40	c current bound: 1169
112.72/113.57	c current bound: 1169
113.88/114.73	c current bound: 1169
115.01/115.87	c current bound: 1169
116.19/117.04	c current bound: 1169
117.54/118.20	c current bound: 1169
118.52/119.36	c current bound: 1169
119.68/120.52	c current bound: 1169
120.84/121.68	c current bound: 1169
122.00/122.98	c current bound: 1169
123.16/124.14	c current bound: 1169
124.51/125.30	c current bound: 1169
125.59/126.45	c current bound: 1169
126.77/127.62	c current bound: 1169
127.87/128.78	c current bound: 1169
128.93/129.94	c current bound: 1169
130.28/131.10	c current bound: 1169
131.24/132.26	c current bound: 1169
132.41/133.43	c current bound: 1169
133.56/134.58	c current bound: 1169
134.72/135.75	c current bound: 1169
135.88/136.91	c current bound: 1169
137.03/138.07	c current bound: 1169
138.19/139.24	c current bound: 1169
139.54/140.41	c current bound: 1169
140.52/141.57	c current bound: 1169
141.67/142.73	c current bound: 1169
142.97/144.04	c current bound: 1169
144.07/145.20	c current bound: 1169
145.26/146.36	c current bound: 1169
146.30/147.52	c current bound: 1169
147.44/148.83	c current bound: 1169
148.61/149.99	c current bound: 1169
149.76/151.15	c current bound: 1169
150.91/152.31	c current bound: 1169
152.07/153.47	c current bound: 1169
153.23/154.63	c current bound: 1169
154.38/155.80	c current bound: 1169
155.54/156.96	c current bound: 1169
156.70/158.12	c current bound: 1169
157.85/159.28	c current bound: 1169
159.02/160.44	c current bound: 1169
160.36/161.60	c current bound: 1169
161.45/162.76	c current bound: 1169
162.67/163.91	c current bound: 1169
163.76/165.07	c current bound: 1169
164.78/166.23	c current bound: 1169
166.14/167.40	c current bound: 1169
167.09/168.56	c current bound: 1169
168.26/169.73	c current bound: 1169
169.41/170.90	c current bound: 1169
170.60/172.06	c current bound: 1169
171.74/173.22	c current bound: 1169
172.90/174.38	c current bound: 1169
174.06/175.55	c current bound: 1169
175.41/176.70	c current bound: 1169
176.36/177.86	c current bound: 1169
177.53/179.03	c current bound: 1169
178.69/180.19	c current bound: 1169
179.85/181.35	c current bound: 1169
181.20/182.51	c current bound: 1169
182.28/183.67	c current bound: 1169
183.47/184.83	c current bound: 1169
184.67/186.00	c current bound: 1169
185.65/187.31	c current bound: 1169
186.80/188.47	c current bound: 1169
187.96/189.63	c current bound: 1169
189.31/190.80	c current bound: 1169
190.27/191.95	c current bound: 1169
191.42/193.11	c current bound: 1169
192.56/194.26	c current bound: 1169
193.72/195.42	c current bound: 1169
194.89/196.59	c current bound: 1169
196.03/197.74	c current bound: 1169
197.37/198.90	c current bound: 1169
198.34/200.06	c current bound: 1169
199.67/201.22	c current bound: 1169
200.77/202.38	c current bound: 1169
201.97/203.53	c current bound: 1169
203.16/204.70	c current bound: 1169
204.13/205.87	c current bound: 1169
205.29/207.03	c current bound: 1169
206.64/208.20	c current bound: 1169
207.60/209.36	c current bound: 1169
208.76/210.53	c current bound: 1169
209.91/211.69	c current bound: 1169
211.09/212.86	c current bound: 1169
212.25/214.02	c current bound: 1169
213.41/215.19	c current bound: 1169
214.57/216.35	c current bound: 1169
215.91/217.50	c current bound: 1169
216.88/218.66	c current bound: 1169
218.04/219.83	c current bound: 1169
219.17/220.96	c current bound: 1169
220.50/222.12	c current bound: 1169
221.59/223.28	c current bound: 1169
222.84/224.53	c current bound: 1169
223.79/225.69	c current bound: 1169
224.95/226.85	c current bound: 1169
226.10/228.01	c current bound: 1169
227.25/229.17	c current bound: 1169
228.42/230.34	c current bound: 1169
229.56/231.49	c current bound: 1169
230.71/232.64	c current bound: 1169
231.87/233.81	c current bound: 1169
233.03/234.97	c current bound: 1169
234.18/236.14	c current bound: 1169
235.54/237.30	c current bound: 1169
236.50/238.46	c current bound: 1169
237.67/239.62	c current bound: 1169
238.80/240.77	c current bound: 1169
240.10/241.93	c current bound: 1169
241.20/243.09	c current bound: 1169
242.40/244.26	c current bound: 1169
243.43/245.42	c current bound: 1169
244.59/246.69	c current bound: 1169
245.76/247.85	c current bound: 1169
246.92/249.02	c current bound: 1169
248.11/250.21	c current bound: 1169
249.25/251.37	c current bound: 1169
250.39/252.54	c current bound: 1169
251.74/253.70	c current bound: 1169
252.72/254.87	c current bound: 1169
253.88/256.03	c current bound: 1169
255.03/257.19	c current bound: 1169
256.23/258.38	c current bound: 1169
257.53/259.54	c current bound: 1169
258.62/260.70	c current bound: 1169
259.82/261.86	c current bound: 1169
260.85/263.02	c current bound: 1169
262.00/264.18	c current bound: 1169
263.15/265.34	c current bound: 1169
264.52/266.50	c current bound: 1169
265.45/267.65	c current bound: 1169
266.62/268.97	c current bound: 1169
267.78/270.14	c current bound: 1169
269.13/271.30	c current bound: 1169
270.08/272.45	c current bound: 1169
271.25/273.61	c current bound: 1169
272.41/274.78	c current bound: 1169
273.56/275.93	c current bound: 1169
274.71/277.09	c current bound: 1169
276.00/278.23	c current bound: 1169
277.10/279.39	c current bound: 1169
278.30/280.55	c current bound: 1169
279.32/281.72	c current bound: 1169
280.47/282.88	c current bound: 1169
281.63/284.04	c current bound: 1169
282.79/285.38	c current bound: 1169
283.95/286.55	c current bound: 1169
285.11/287.71	c current bound: 1169
286.27/288.89	c current bound: 1169
287.44/290.04	c current bound: 1169
288.77/291.20	c current bound: 1169
289.75/292.37	c current bound: 1169
290.90/293.54	c current bound: 1169
292.07/294.70	c current bound: 1169
293.36/295.86	c current bound: 1169
294.55/297.03	c current bound: 1169
295.66/298.17	c current bound: 1169
296.67/299.32	c current bound: 1169
297.84/300.49	c current bound: 1169
298.99/301.78	c current bound: 1169
300.16/302.94	c current bound: 1169
301.31/304.11	c current bound: 1169
302.48/305.27	c current bound: 1169
303.62/306.42	c current bound: 1169
304.79/307.59	c current bound: 1169
305.94/308.76	c current bound: 1169
307.12/309.92	c current bound: 1169
308.26/311.07	c current bound: 1169
309.42/312.23	c current bound: 1169
310.59/313.40	c current bound: 1169
311.87/314.56	c current bound: 1169
313.08/315.71	c current bound: 1169
314.17/316.87	c current bound: 1169
315.20/318.02	c current bound: 1169
316.35/319.17	c current bound: 1169
317.50/320.33	c current bound: 1169
318.66/321.49	c current bound: 1169
319.81/322.66	c current bound: 1169
320.98/323.82	c current bound: 1169
322.12/324.97	c current bound: 1169
323.27/326.12	c current bound: 1169
324.42/327.28	c current bound: 1169
325.58/328.45	c current bound: 1169
326.74/329.61	c current bound: 1169
327.88/330.76	c current bound: 1169
329.03/331.92	c current bound: 1169
330.20/333.08	c current bound: 1169
331.36/334.24	c current bound: 1169
332.71/335.41	c current bound: 1169
333.79/336.56	c current bound: 1169
334.98/337.73	c current bound: 1169
335.98/338.89	c current bound: 1169
337.14/340.06	c current bound: 1169
338.33/341.25	c current bound: 1169
339.49/342.41	c current bound: 1169
340.64/343.58	c current bound: 1169
341.79/344.74	c current bound: 1169
343.14/345.90	c current bound: 1169
344.12/347.08	c current bound: 1169
345.28/348.23	c current bound: 1169
346.43/349.38	c current bound: 1169
347.58/350.55	c current bound: 1169
348.75/351.71	c current bound: 1169
349.90/352.87	c current bound: 1169
351.07/354.04	c current bound: 1169
352.22/355.20	c current bound: 1169
353.52/356.35	c current bound: 1169
354.73/357.51	c current bound: 1169
355.80/358.67	c current bound: 1169
356.84/359.83	c current bound: 1169
357.97/360.97	c current bound: 1169
359.13/362.13	c current bound: 1169
360.48/363.30	c current bound: 1169
361.44/364.46	c current bound: 1169
362.61/365.63	c current bound: 1169
363.77/366.79	c current bound: 1169
364.93/367.95	c current bound: 1169
366.26/369.10	c current bound: 1169
367.22/370.27	c current bound: 1169
368.39/371.43	c current bound: 1169
369.54/372.58	c current bound: 1169
370.69/373.74	c current bound: 1169
371.84/374.89	c current bound: 1169
373.00/376.05	c current bound: 1169
374.33/377.22	c current bound: 1169
375.43/378.37	c current bound: 1169
376.63/379.53	c current bound: 1169
377.63/380.69	c current bound: 1169
378.77/381.86	c current bound: 1169
379.95/383.14	c current bound: 1169
381.10/384.31	c current bound: 1169
382.26/385.47	c current bound: 1169
383.42/386.64	c current bound: 1169
384.77/387.80	c current bound: 1169
385.73/388.97	c current bound: 1169
386.90/390.13	c current bound: 1169
388.05/391.29	c current bound: 1169
389.22/392.46	c current bound: 1169
390.55/393.72	c current bound: 1169
391.62/394.88	c current bound: 1169
392.82/396.04	c current bound: 1169
394.02/397.20	c current bound: 1169
395.00/398.36	c current bound: 1169
396.15/399.54	c current bound: 1169
397.29/400.69	c current bound: 1169
398.44/401.84	c current bound: 1169
399.79/403.00	c current bound: 1169
400.74/404.16	c current bound: 1169
402.10/405.50	c current bound: 1169
403.07/406.66	c current bound: 1169
404.23/407.82	c current bound: 1169
405.38/408.99	c current bound: 1169
406.53/410.14	c current bound: 1169
407.88/411.31	c current bound: 1169
408.95/412.47	c current bound: 1169
410.16/413.63	c current bound: 1169
411.26/414.79	c current bound: 1169
412.32/415.95	c current bound: 1169
413.47/417.11	c current bound: 1169
414.64/418.28	c current bound: 1169
415.78/419.44	c current bound: 1169
416.92/420.59	c current bound: 1169
418.09/421.76	c current bound: 1169
419.24/422.92	c current bound: 1169
420.40/424.09	c current bound: 1169
421.57/425.26	c current bound: 1169
422.74/426.43	c current bound: 1169
423.89/427.59	c current bound: 1169
425.05/428.75	c current bound: 1169
426.39/429.90	c current bound: 1169
427.34/431.03	c current bound: 1169
428.48/432.19	c current bound: 1169
429.78/433.35	c current bound: 1169
430.88/434.49	c current bound: 1169
432.08/435.64	c current bound: 1169
433.27/436.80	c current bound: 1169
434.26/437.97	c current bound: 1169
435.40/439.13	c current bound: 1169
436.75/440.30	c current bound: 1169
437.73/441.46	c current bound: 1169
438.88/442.62	c current bound: 1169
440.04/443.78	c current bound: 1169
441.19/444.94	c current bound: 1169
442.54/446.11	c current bound: 1169
443.50/447.26	c current bound: 1169
444.67/448.43	c current bound: 1169
445.82/449.59	c current bound: 1169
446.99/450.75	c current bound: 1169
448.15/451.91	c current bound: 1169
449.31/453.07	c current bound: 1169
450.62/454.23	c current bound: 1169
451.73/455.40	c current bound: 1169
452.90/456.56	c current bound: 1169
453.95/457.72	c current bound: 1169
455.09/458.88	c current bound: 1169
456.25/460.05	c current bound: 1169
457.39/461.19	c current bound: 1169
458.54/462.36	c current bound: 1169
459.69/463.51	c current bound: 1169
460.83/464.67	c current bound: 1169
462.00/465.83	c current bound: 1169
463.16/466.99	c current bound: 1169
464.32/468.16	c current bound: 1169
465.49/469.32	c current bound: 1169
466.63/470.48	c current bound: 1169
467.79/471.64	c current bound: 1169
469.13/472.80	c current bound: 1169
470.11/473.96	c current bound: 1169
471.43/475.12	c current bound: 1169
472.53/476.28	c current bound: 1169
473.72/477.44	c current bound: 1169
474.73/478.61	c current bound: 1169
475.90/479.76	c current bound: 1169
477.21/480.91	c current bound: 1169
478.18/482.06	c current bound: 1169
479.33/483.22	c current bound: 1169
480.49/484.38	c current bound: 1169
481.66/485.54	c current bound: 1169
482.79/486.71	c current bound: 1169
483.96/487.87	c current bound: 1169
485.10/489.03	c current bound: 1169
486.26/490.19	c current bound: 1169
487.42/491.35	c current bound: 1169
488.75/492.50	c current bound: 1169
489.73/493.67	c current bound: 1169
490.89/494.83	c current bound: 1169
492.05/495.99	c current bound: 1169
493.33/497.15	c current bound: 1169
494.54/498.32	c current bound: 1169
495.62/499.48	c current bound: 1169
496.67/500.64	c current bound: 1169
498.02/501.80	c current bound: 1169
498.97/502.96	c current bound: 1169
500.13/504.12	c current bound: 1169
501.29/505.28	c current bound: 1169
502.45/506.44	c current bound: 1169
503.79/507.60	c current bound: 1169
504.76/508.76	c current bound: 1169
505.92/509.92	c current bound: 1169
507.08/511.09	c current bound: 1169
508.23/512.25	c current bound: 1169
509.39/513.41	c current bound: 1169
510.54/514.56	c current bound: 1169
511.69/515.72	c current bound: 1169
512.85/516.88	c current bound: 1169
514.15/518.04	c current bound: 1169
515.37/519.20	c current bound: 1169
516.46/520.36	c current bound: 1169
517.49/521.52	c current bound: 1169
518.65/522.69	c current bound: 1169
519.80/523.85	c current bound: 1169
520.96/525.01	c current bound: 1169
522.10/526.16	c current bound: 1169
523.27/527.32	c current bound: 1169
524.41/528.48	c current bound: 1169
525.58/529.64	c current bound: 1169
526.70/530.78	c current bound: 1169
527.86/531.94	c current bound: 1169
529.20/533.10	c current bound: 1169
530.16/534.25	c current bound: 1169
531.32/535.42	c current bound: 1169
532.48/536.58	c current bound: 1169
533.64/537.79	c current bound: 1169
534.93/538.95	c current bound: 1169
536.14/540.11	c current bound: 1169
537.23/541.27	c current bound: 1169
538.26/542.43	c current bound: 1169
539.42/543.59	c current bound: 1169
540.56/544.74	c current bound: 1169
541.92/545.90	c current bound: 1169
542.86/547.05	c current bound: 1169
544.02/548.32	c current bound: 1169
545.18/549.47	c current bound: 1169
546.33/550.64	c current bound: 1169
547.68/551.80	c current bound: 1169
548.64/552.96	c current bound: 1169
549.81/554.12	c current bound: 1169
550.96/555.29	c current bound: 1169
552.12/556.44	c current bound: 1169
553.47/557.60	c current bound: 1169
554.56/558.76	c current bound: 1169
555.76/559.91	c current bound: 1169
556.84/561.06	c current bound: 1169
557.88/562.23	c current bound: 1169
559.04/563.39	c current bound: 1169
560.20/564.55	c current bound: 1169
561.35/565.71	c current bound: 1169
562.50/566.87	c current bound: 1169
563.67/568.03	c current bound: 1169
564.80/569.19	c current bound: 1169
565.96/570.35	c current bound: 1169
567.11/571.51	c current bound: 1169
568.26/572.66	c current bound: 1169
569.42/573.82	c current bound: 1169
570.58/574.98	c current bound: 1169
571.73/576.14	c current bound: 1169
572.89/577.29	c current bound: 1169
574.07/578.48	c current bound: 1169
575.37/579.65	c current bound: 1169
576.46/580.78	c current bound: 1169
577.65/581.94	c current bound: 1169
578.66/583.09	c current bound: 1169
579.81/584.26	c current bound: 1169
580.97/585.42	c current bound: 1169
582.12/586.62	c current bound: 1169
583.29/587.78	c current bound: 1169
584.44/588.95	c current bound: 1169
585.60/590.12	c current bound: 1169
586.75/591.28	c current bound: 1169
587.91/592.43	c current bound: 1169
589.25/593.60	c current bound: 1169
590.22/594.76	c current bound: 1169
591.37/595.91	c current bound: 1169
592.51/597.06	c current bound: 1169
593.67/598.22	c current bound: 1169
594.84/599.38	c current bound: 1169
596.13/600.53	c current bound: 1169
597.24/601.69	c current bound: 1169
598.42/602.85	c current bound: 1169
599.45/604.01	c current bound: 1169
600.60/605.17	c current bound: 1169
601.77/606.35	c current bound: 1169
602.93/607.51	c current bound: 1169
604.09/608.67	c current bound: 1169
605.24/609.83	c current bound: 1169
606.39/610.99	c current bound: 1169
607.53/612.14	c current bound: 1169
608.89/613.30	c current bound: 1169
609.84/614.46	c current bound: 1169
611.00/615.63	c current bound: 1169
612.16/616.79	c current bound: 1169
613.33/617.95	c current bound: 1169
614.62/619.23	c current bound: 1169
615.72/620.39	c current bound: 1169
616.91/621.55	c current bound: 1169
617.94/622.71	c current bound: 1169
619.09/623.88	c current bound: 1169
620.26/625.03	c current bound: 1169
621.60/626.20	c current bound: 1169
622.59/627.39	c current bound: 1169
623.76/628.55	c current bound: 1169
624.92/629.72	c current bound: 1169
626.05/630.85	c current bound: 1169
627.20/632.01	c current bound: 1169
628.36/633.18	c current bound: 1169
629.51/634.34	c current bound: 1169
630.87/635.50	c current bound: 1169
631.84/636.67	c current bound: 1169
632.98/637.82	c current bound: 1169
634.14/638.98	c current bound: 1169
635.44/640.14	c current bound: 1169
636.54/641.28	c current bound: 1169
637.73/642.44	c current bound: 1169
638.94/643.60	c current bound: 1169
639.90/644.76	c current bound: 1169
641.08/645.95	c current bound: 1169
642.42/647.10	c current bound: 1169
643.37/648.26	c current bound: 1169
644.54/649.43	c current bound: 1169
645.89/650.60	c current bound: 1169
646.87/651.76	c current bound: 1169
648.01/652.91	c current bound: 1169
649.16/654.06	c current bound: 1169
650.32/655.22	c current bound: 1169
651.47/656.38	c current bound: 1169
652.63/657.54	c current bound: 1169
653.96/658.70	c current bound: 1169
654.93/659.85	c current bound: 1169
656.26/661.01	c current bound: 1169
657.35/662.18	c current bound: 1169
658.54/663.33	c current bound: 1169
659.64/664.47	c current bound: 1169
660.67/665.63	c current bound: 1169
662.03/666.80	c current bound: 1169
663.19/668.10	c current bound: 1169
664.16/669.27	c current bound: 1169
665.31/670.43	c current bound: 1169
666.48/671.59	c current bound: 1169
667.64/672.77	c current bound: 1169
668.78/673.91	c current bound: 1169
669.94/675.07	c current bound: 1169
671.10/676.24	c current bound: 1169
672.46/677.40	c current bound: 1169
673.42/678.56	c current bound: 1169
674.73/679.73	c current bound: 1169
675.84/680.88	c current bound: 1169
677.03/682.04	c current bound: 1169
678.24/683.20	c current bound: 1169
679.19/684.36	c current bound: 1169
680.35/685.52	c current bound: 1169
681.50/686.69	c current bound: 1169
682.68/687.85	c current bound: 1169
683.82/689.01	c current bound: 1169
684.98/690.17	c current bound: 1169
686.13/691.33	c current bound: 1169
687.29/692.49	c current bound: 1169
688.44/693.65	c current bound: 1169
689.60/694.81	c current bound: 1169
690.76/695.97	c current bound: 1169
691.93/697.14	c current bound: 1169
693.28/698.31	c current bound: 1169
694.24/699.46	c current bound: 1169
695.56/700.62	c current bound: 1169
696.65/701.78	c current bound: 1169
697.85/702.93	c current bound: 1169
698.96/704.08	c current bound: 1169
699.99/705.23	c current bound: 1169
701.14/706.39	c current bound: 1169
702.29/707.54	c current bound: 1169
703.63/708.71	c current bound: 1169
704.60/709.87	c current bound: 1169
705.74/711.02	c current bound: 1169
706.89/712.17	c current bound: 1169
708.05/713.33	c current bound: 1169
709.21/714.49	c current bound: 1169
710.37/715.66	c current bound: 1169
711.54/716.82	c current bound: 1169
712.69/717.98	c current bound: 1169
713.84/719.14	c current bound: 1169
715.19/720.30	c current bound: 1169
716.15/721.45	c current bound: 1169
717.48/722.62	c current bound: 1169
718.56/723.78	c current bound: 1169
719.77/724.94	c current bound: 1169
720.87/726.08	c current bound: 1169
721.92/727.25	c current bound: 1169
723.08/728.47	c current bound: 1169
724.24/729.64	c current bound: 1169
725.59/730.80	c current bound: 1169
726.54/731.96	c current bound: 1169
727.72/733.13	c current bound: 1169
728.87/734.29	c current bound: 1169
730.04/735.46	c current bound: 1169
731.20/736.62	c current bound: 1169
732.36/737.78	c current bound: 1169
733.50/738.95	c current bound: 1169
734.67/740.11	c current bound: 1169
735.84/741.28	c current bound: 1169
737.12/742.46	c current bound: 1169
738.32/743.63	c current bound: 1169
739.42/744.79	c current bound: 1169
740.48/745.96	c current bound: 1169
741.65/747.12	c current bound: 1169
742.80/748.28	c current bound: 1169
743.95/749.44	c current bound: 1169
745.31/750.60	c current bound: 1169
746.26/751.75	c current bound: 1169
747.41/752.92	c current bound: 1169
748.57/754.08	c current bound: 1169
749.73/755.24	c current bound: 1169
751.09/756.40	c current bound: 1169
752.06/757.58	c current bound: 1169
753.21/758.74	c current bound: 1169
754.37/760.00	c current bound: 1169
755.65/761.13	c current bound: 1169
756.75/762.29	c current bound: 1169
757.94/763.45	c current bound: 1169
758.97/764.62	c current bound: 1169
760.13/765.78	c current bound: 1169
761.29/766.94	c current bound: 1169
762.44/768.12	c current bound: 1169
763.62/769.29	c current bound: 1169
764.77/770.46	c current bound: 1169
765.93/771.62	c current bound: 1169
767.09/772.78	c current bound: 1169
768.25/773.94	c current bound: 1169
769.58/775.10	c current bound: 1169
770.55/776.26	c current bound: 1169
771.70/777.42	c current bound: 1169
772.84/778.58	c current bound: 1169
774.01/779.74	c current bound: 1169
775.13/780.87	c current bound: 1169
776.45/782.03	c current bound: 1169
777.56/783.18	c current bound: 1169
778.75/784.34	c current bound: 1169
779.96/785.50	c current bound: 1169
780.92/786.66	c current bound: 1169
782.08/787.83	c current bound: 1169
783.22/788.99	c current bound: 1169
784.40/790.15	c current bound: 1169
785.71/791.30	c current bound: 1169
786.68/792.47	c current bound: 1169
787.84/793.63	c current bound: 1169
789.20/794.80	c current bound: 1169
790.17/795.96	c current bound: 1169
791.32/797.12	c current bound: 1169
792.48/798.28	c current bound: 1169
793.64/799.45	c current bound: 1169
794.99/800.60	c current bound: 1169
795.96/801.77	c current bound: 1169
797.28/802.92	c current bound: 1169
798.39/804.08	c current bound: 1169
799.58/805.25	c current bound: 1169
800.58/806.41	c current bound: 1169
801.75/807.57	c current bound: 1169
802.90/808.84	c current bound: 1169
804.25/810.00	c current bound: 1169
805.22/811.16	c current bound: 1169
806.37/812.32	c current bound: 1169
807.52/813.48	c current bound: 1169
808.68/814.64	c current bound: 1169
810.02/815.80	c current bound: 1169
810.98/816.96	c current bound: 1169
812.15/818.12	c current bound: 1169
813.29/819.29	c current bound: 1169
814.45/820.45	c current bound: 1169
815.80/821.61	c current bound: 1169
816.87/822.76	c current bound: 1169
818.08/823.92	c current bound: 1169
819.19/825.08	c current bound: 1169
820.24/826.25	c current bound: 1169
821.40/827.41	c current bound: 1169
822.56/828.57	c current bound: 1169
823.70/829.73	c current bound: 1169
824.86/830.88	c current bound: 1169
826.01/832.05	c current bound: 1169
827.17/833.21	c current bound: 1169
828.33/834.37	c current bound: 1169
829.49/835.54	c current bound: 1169
830.84/836.70	c current bound: 1169
831.81/837.87	c current bound: 1169
832.97/839.02	c current bound: 1169
834.15/840.21	c current bound: 1169
835.32/841.37	c current bound: 1169
836.62/842.54	c current bound: 1169
837.84/843.70	c current bound: 1169
838.91/844.86	c current bound: 1169
839.95/846.02	c current bound: 1169
841.09/847.18	c current bound: 1169
842.26/848.35	c current bound: 1169
843.42/849.51	c current bound: 1169
844.58/850.67	c current bound: 1169
845.73/851.88	c current bound: 1169
846.89/853.05	c current bound: 1169
848.04/854.21	c current bound: 1169
849.21/855.37	c current bound: 1169
850.35/856.54	c current bound: 1169
851.73/857.71	c current bound: 1169
852.68/858.86	c current bound: 1169
854.01/860.00	c current bound: 1169
854.98/861.16	c current bound: 1169
856.30/862.32	c current bound: 1169
857.39/863.49	c current bound: 1169
858.59/864.66	c current bound: 1169
859.63/865.82	c current bound: 1169
860.78/866.99	c current bound: 1169
861.94/868.15	c current bound: 1169
863.29/869.30	c current bound: 1169
864.27/870.49	c current bound: 1169
865.44/871.66	c current bound: 1169
866.58/872.81	c current bound: 1169
867.74/873.97	c current bound: 1169
868.89/875.13	c current bound: 1169
870.04/876.29	c current bound: 1169
871.20/877.45	c current bound: 1169
872.36/878.61	c current bound: 1169
873.51/879.77	c current bound: 1169
874.64/880.92	c current bound: 1169
875.81/882.09	c current bound: 1169
877.10/883.25	c current bound: 1169
878.25/884.44	c current bound: 1169
879.27/885.61	c current bound: 1169
880.43/886.78	c current bound: 1169
881.60/887.94	c current bound: 1169
882.95/889.10	c current bound: 1169
883.89/890.25	c current bound: 1169
885.06/891.41	c current bound: 1169
886.21/892.58	c current bound: 1169
887.38/893.74	c current bound: 1169
888.73/895.00	c current bound: 1169
889.71/896.16	c current bound: 1169
890.85/897.32	c current bound: 1169
892.01/898.48	c current bound: 1169
893.17/899.64	c current bound: 1169
894.31/900.79	c current bound: 1169
895.61/901.96	c current bound: 1169
896.78/903.12	c current bound: 1169
897.89/904.28	c current bound: 1169
898.94/905.44	c current bound: 1169
900.09/906.61	c current bound: 1169
901.25/907.77	c current bound: 1169
902.41/908.92	c current bound: 1169
903.56/910.08	c current bound: 1169
904.67/911.21	c current bound: 1169
905.82/912.37	c current bound: 1169
906.98/913.53	c current bound: 1169
908.13/914.69	c current bound: 1169
909.29/915.85	c current bound: 1169
910.63/917.00	c current bound: 1169
911.59/918.16	c current bound: 1169
912.74/919.33	c current bound: 1169
913.91/920.48	c current bound: 1169
915.08/921.64	c current bound: 1169
916.43/922.80	c current bound: 1169
917.51/923.96	c current bound: 1169
918.71/925.12	c current bound: 1169
919.80/926.29	c current bound: 1169
920.86/927.45	c current bound: 1169
922.21/928.60	c current bound: 1169
923.17/929.76	c current bound: 1169
924.31/930.91	c current bound: 1169
925.48/932.07	c current bound: 1169
926.62/933.22	c current bound: 1169
927.76/934.38	c current bound: 1169
928.93/935.55	c current bound: 1169
930.08/936.71	c current bound: 1169
931.24/937.87	c current bound: 1169
932.40/939.03	c current bound: 1169
933.56/940.19	c current bound: 1169
934.67/941.32	c current bound: 1169
935.83/942.48	c current bound: 1169
937.14/943.73	c current bound: 1169
938.24/944.89	c current bound: 1169
939.43/946.05	c current bound: 1169
940.46/947.21	c current bound: 1169
941.62/948.37	c current bound: 1169
942.78/949.54	c current bound: 1169
944.13/950.70	c current bound: 1169
945.09/951.87	c current bound: 1169
946.25/953.03	c current bound: 1169
947.40/954.19	c current bound: 1169
948.55/955.34	c current bound: 1169
949.90/956.50	c current bound: 1169
950.85/957.66	c current bound: 1169
952.02/958.82	c current bound: 1169
953.18/960.01	c current bound: 1169
954.35/961.16	c current bound: 1169
955.48/962.31	c current bound: 1169
956.65/963.48	c current bound: 1169
957.95/964.64	c current bound: 1169
959.16/965.82	c current bound: 1169
960.25/966.98	c current bound: 1169
961.30/968.14	c current bound: 1169
962.45/969.31	c current bound: 1169
963.62/970.47	c current bound: 1169
964.78/971.64	c current bound: 1169
966.15/972.81	c current bound: 1169
967.11/973.97	c current bound: 1169
968.27/975.13	c current bound: 1169
969.62/976.30	c current bound: 1169
970.58/977.46	c current bound: 1169
971.74/978.63	c current bound: 1169
973.09/979.80	c current bound: 1169
974.07/980.96	c current bound: 1169
975.23/982.12	c current bound: 1169
976.39/983.29	c current bound: 1169
977.68/984.44	c current bound: 1169
978.77/985.60	c current bound: 1169
979.97/986.77	c current bound: 1169
981.00/987.92	c current bound: 1169
982.15/989.07	c current bound: 1169
983.29/990.24	c current bound: 1169
984.46/991.41	c current bound: 1169
985.62/992.62	c current bound: 1169
986.78/993.79	c current bound: 1169
987.94/994.95	c current bound: 1169
989.28/996.10	c current bound: 1169
990.23/997.27	c current bound: 1169
991.41/998.43	c current bound: 1169
992.76/999.60	c current bound: 1169
993.73/1000.76	c current bound: 1169
994.89/1001.92	c current bound: 1169
996.03/1003.08	c current bound: 1169
997.34/1004.24	c current bound: 1169
998.43/1005.39	c current bound: 1169
999.62/1006.53	c current bound: 1169
1000.82/1007.70	c current bound: 1169
1001.78/1008.86	c current bound: 1169
1002.94/1010.01	c current bound: 1169
1004.07/1011.15	c current bound: 1169
1005.41/1012.30	c current bound: 1169
1006.37/1013.46	c current bound: 1169
1007.51/1014.63	c current bound: 1169
1008.68/1015.78	c current bound: 1169
1009.84/1016.95	c current bound: 1169
1010.99/1018.11	c current bound: 1169
1012.15/1019.27	c current bound: 1169
1013.31/1020.43	c current bound: 1169
1014.46/1021.59	c current bound: 1169
1015.61/1022.74	c current bound: 1169
1016.76/1023.89	c current bound: 1169
1018.05/1025.14	c current bound: 1169
1019.15/1026.29	c current bound: 1169
1020.34/1027.45	c current bound: 1169
1021.35/1028.61	c current bound: 1169
1022.50/1029.77	c current bound: 1169
1023.67/1030.95	c current bound: 1169
1024.84/1032.11	c current bound: 1169
1025.99/1033.27	c current bound: 1169
1027.14/1034.43	c current bound: 1169
1028.29/1035.59	c current bound: 1169
1029.46/1036.75	c current bound: 1169
1030.61/1037.91	c current bound: 1169
1031.77/1039.08	c current bound: 1169
1032.92/1040.22	c current bound: 1169
1034.07/1041.38	c current bound: 1169
1035.22/1042.55	c current bound: 1169
1036.40/1043.71	c current bound: 1169
1037.70/1044.94	c current bound: 1169
1038.79/1046.10	c current bound: 1169
1040.00/1047.27	c current bound: 1169
1041.03/1048.43	c current bound: 1169
1042.38/1049.60	c current bound: 1169
1043.36/1050.76	c current bound: 1169
1044.51/1051.92	c current bound: 1169
1045.66/1053.08	c current bound: 1169
1046.81/1054.24	c current bound: 1169
1047.97/1055.51	c current bound: 1169
1049.12/1056.68	c current bound: 1169
1050.29/1057.84	c current bound: 1169
1051.63/1059.00	c current bound: 1169
1052.60/1060.17	c current bound: 1169
1053.91/1061.31	c current bound: 1169
1054.88/1062.47	c current bound: 1169
1056.20/1063.63	c current bound: 1169
1057.29/1064.79	c current bound: 1169
1058.49/1065.95	c current bound: 1169
1059.51/1067.11	c current bound: 1169
1060.65/1068.26	c current bound: 1169
1061.81/1069.42	c current bound: 1169
1062.97/1070.58	c current bound: 1169
1064.13/1071.74	c current bound: 1169
1065.46/1072.90	c current bound: 1169
1066.43/1074.06	c current bound: 1169
1067.59/1075.22	c current bound: 1169
1068.75/1076.39	c current bound: 1169
1069.89/1077.55	c current bound: 1169
1071.07/1078.72	c current bound: 1169
1072.21/1079.88	c current bound: 1169
1073.35/1081.04	c current bound: 1169
1074.71/1082.20	c current bound: 1169
1075.69/1083.36	c current bound: 1169
1077.01/1084.53	c current bound: 1169
1078.09/1085.69	c current bound: 1169
1079.29/1086.87	c current bound: 1169
1080.33/1088.03	c current bound: 1169
1081.48/1089.19	c current bound: 1169
1082.64/1090.35	c current bound: 1169
1083.79/1091.51	c current bound: 1169
1084.95/1092.67	c current bound: 1169
1086.09/1093.82	c current bound: 1169
1087.25/1094.98	c current bound: 1169
1088.40/1096.15	c current bound: 1169
1089.56/1097.32	c current bound: 1169
1090.73/1098.61	c current bound: 1169
1091.88/1099.77	c current bound: 1169
1093.01/1100.92	c current bound: 1169
1094.40/1102.11	c current bound: 1169
1095.47/1103.26	c current bound: 1169
1096.68/1104.42	c current bound: 1169
1097.78/1105.58	c current bound: 1169
1098.83/1106.74	c current bound: 1169
1099.98/1107.91	c current bound: 1169
1101.15/1109.07	c current bound: 1169
1102.31/1110.24	c current bound: 1169
1103.44/1111.37	c current bound: 1169
1104.59/1112.53	c current bound: 1169
1105.76/1113.69	c current bound: 1169
1106.91/1114.86	c current bound: 1169
1108.07/1116.02	c current bound: 1169
1109.23/1117.18	c current bound: 1169
1110.40/1118.34	c current bound: 1169
1111.55/1119.51	c current bound: 1169
1112.71/1120.67	c current bound: 1169
1113.86/1121.83	c current bound: 1169
1115.02/1122.99	c current bound: 1169
1116.31/1124.15	c current bound: 1169
1117.52/1125.31	c current bound: 1169
1118.61/1126.46	c current bound: 1169
1119.64/1127.63	c current bound: 1169
1120.80/1128.79	c current bound: 1169
1121.96/1129.95	c current bound: 1169
1123.08/1131.09	c current bound: 1169
1124.24/1132.25	c current bound: 1169
1125.40/1133.41	c current bound: 1169
1126.55/1134.57	c current bound: 1169
1127.71/1135.73	c current bound: 1169
1129.06/1136.90	c current bound: 1169
1130.02/1138.06	c current bound: 1169
1131.17/1139.21	c current bound: 1169
1132.32/1140.37	c current bound: 1169
1133.49/1141.53	c current bound: 1169
1134.83/1142.70	c current bound: 1169
1135.81/1143.86	c current bound: 1169
1137.12/1145.02	c current bound: 1169
1138.22/1146.18	c current bound: 1169
1139.41/1147.34	c current bound: 1169
1140.62/1148.50	c current bound: 1169
1141.58/1149.65	c current bound: 1169
1142.90/1150.80	c current bound: 1169
1143.87/1151.96	c current bound: 1169
1145.03/1153.13	c current bound: 1169
1146.19/1154.29	c current bound: 1169
1147.34/1155.45	c current bound: 1169
1148.51/1156.62	c current bound: 1169
1149.65/1157.77	c current bound: 1169
1150.81/1158.99	c current bound: 1169
1151.96/1160.15	c current bound: 1169
1153.09/1161.29	c current bound: 1169
1154.25/1162.45	c current bound: 1169
1155.41/1163.62	c current bound: 1169
1156.58/1164.78	c current bound: 1169
1157.88/1165.93	c current bound: 1169
1158.97/1167.09	c current bound: 1169
1160.17/1168.25	c current bound: 1169
1161.20/1169.42	c current bound: 1169
1162.35/1170.58	c current bound: 1169
1163.51/1171.74	c current bound: 1169
1164.84/1172.90	c current bound: 1169
1165.81/1174.05	c current bound: 1169
1167.15/1175.20	c current bound: 1169
1168.11/1176.36	c current bound: 1169
1169.27/1177.52	c current bound: 1169
1170.41/1178.68	c current bound: 1169
1171.56/1179.84	c current bound: 1169
1172.71/1180.98	c current bound: 1169
1173.87/1182.15	c current bound: 1169
1175.03/1183.31	c current bound: 1169
1176.19/1184.48	c current bound: 1169
1177.35/1185.65	c current bound: 1169
1178.66/1186.82	c current bound: 1169
1179.77/1187.98	c current bound: 1169
1180.97/1189.13	c current bound: 1169
1181.97/1190.29	c current bound: 1169
1183.08/1191.42	c current bound: 1169
1184.23/1192.59	c current bound: 1169
1185.39/1193.75	c current bound: 1169
1186.55/1194.92	c current bound: 1169
1187.72/1196.09	c current bound: 1169
1188.87/1197.25	c current bound: 1169
1190.04/1198.42	c current bound: 1169
1191.20/1199.59	c current bound: 1169
1192.38/1200.77	c current bound: 1169
1193.53/1201.93	c current bound: 1169
1194.89/1203.10	c current bound: 1169
1195.85/1204.26	c current bound: 1169
1197.01/1205.43	c current bound: 1169
1198.18/1206.59	c current bound: 1169
1199.48/1207.75	c current bound: 1169
1200.67/1208.91	c current bound: 1169
1201.75/1210.07	c current bound: 1169
1202.78/1211.21	c current bound: 1169
1203.94/1212.37	c current bound: 1169
1205.07/1213.51	c current bound: 1169
1206.24/1214.69	c current bound: 1169
1207.38/1215.84	c current bound: 1169
1208.54/1217.01	c current bound: 1169
1209.69/1218.17	c current bound: 1169
1210.85/1219.33	c current bound: 1169
1212.00/1220.49	c current bound: 1169
1213.17/1221.66	c current bound: 1169
1214.32/1222.82	c current bound: 1169
1215.47/1223.98	c current bound: 1169
1216.64/1225.14	c current bound: 1169
1217.98/1226.30	c current bound: 1169
1218.95/1227.46	c current bound: 1169
1220.26/1228.62	c current bound: 1169
1221.36/1229.78	c current bound: 1169
1222.54/1230.93	c current bound: 1169
1223.56/1232.09	c current bound: 1169
1224.71/1233.25	c current bound: 1169
1225.88/1234.41	c current bound: 1169
1227.01/1235.56	c current bound: 1169
1228.18/1236.73	c current bound: 1169
1229.53/1237.90	c current bound: 1169
1230.49/1239.06	c current bound: 1169
1231.65/1240.22	c current bound: 1169
1232.78/1241.40	c current bound: 1169
1233.93/1242.56	c current bound: 1169
1235.10/1243.73	c current bound: 1169
1236.26/1244.89	c current bound: 1169
1237.43/1246.06	c current bound: 1169
1238.57/1247.21	c current bound: 1169
1239.74/1248.37	c current bound: 1169
1241.04/1249.53	c current bound: 1169
1242.15/1250.69	c current bound: 1169
1243.34/1251.85	c current bound: 1169
1244.53/1253.00	c current bound: 1169
1245.50/1254.17	c current bound: 1169
1246.66/1255.33	c current bound: 1169
1247.81/1256.49	c current bound: 1169
1248.97/1257.65	c current bound: 1169
1250.14/1258.82	c current bound: 1169
1251.27/1259.97	c current bound: 1169
1252.42/1261.12	c current bound: 1169
1253.56/1262.27	c current bound: 1169
1254.72/1263.44	c current bound: 1169
1255.87/1264.60	c current bound: 1169
1257.03/1265.75	c current bound: 1169
1258.19/1266.92	c current bound: 1169
1259.35/1268.08	c current bound: 1169
1260.50/1269.24	c current bound: 1169
1261.85/1270.40	c current bound: 1169
1262.94/1271.56	c current bound: 1169
1264.15/1272.72	c current bound: 1169
1265.24/1273.88	c current bound: 1169
1266.28/1275.04	c current bound: 1169
1267.63/1276.20	c current bound: 1169
1268.59/1277.36	c current bound: 1169
1269.75/1278.63	c current bound: 1169
1270.91/1279.79	c current bound: 1169
1272.07/1280.95	c current bound: 1169
1273.22/1282.12	c current bound: 1169
1274.38/1283.28	c current bound: 1169
1275.53/1284.44	c current bound: 1169
1276.89/1285.60	c current bound: 1169
1277.85/1286.77	c current bound: 1169
1279.01/1287.93	c current bound: 1169
1280.17/1289.08	c current bound: 1169
1281.48/1290.24	c current bound: 1169
1282.59/1291.40	c current bound: 1169
1283.77/1292.56	c current bound: 1169
1284.81/1293.72	c current bound: 1169
1285.95/1294.89	c current bound: 1169
1287.12/1296.05	c current bound: 1169
1288.28/1297.22	c current bound: 1169
1289.44/1298.39	c current bound: 1169
1290.59/1299.55	c current bound: 1169
1291.76/1300.72	c current bound: 1169
1292.93/1301.89	c current bound: 1169
1294.08/1303.05	c current bound: 1169
1295.24/1304.21	c current bound: 1169
1296.40/1305.38	c current bound: 1169
1297.56/1306.55	c current bound: 1169
1298.72/1307.71	c current bound: 1169
1299.86/1308.86	c current bound: 1169
1301.18/1310.02	c current bound: 1169
1302.28/1311.16	c current bound: 1169
1303.47/1312.32	c current bound: 1169
1304.57/1313.47	c current bound: 1169
1305.60/1314.63	c current bound: 1169
1306.76/1315.79	c current bound: 1169
1307.90/1316.94	c current bound: 1169
1309.07/1318.11	c current bound: 1169
1310.23/1319.27	c current bound: 1169
1311.37/1320.46	c current bound: 1169
1312.53/1321.62	c current bound: 1169
1313.69/1322.78	c current bound: 1169
1314.85/1323.95	c current bound: 1169
1316.19/1325.10	c current bound: 1169
1317.15/1326.26	c current bound: 1169
1318.32/1327.42	c current bound: 1169
1319.48/1328.58	c current bound: 1169
1320.63/1329.74	c current bound: 1169
1321.98/1330.91	c current bound: 1169
1323.06/1332.07	c current bound: 1169
1324.27/1333.23	c current bound: 1169
1325.47/1334.40	c current bound: 1169
1326.43/1335.56	c current bound: 1169
1327.59/1336.72	c current bound: 1169
1328.76/1337.89	c current bound: 1169
1329.90/1339.04	c current bound: 1169
1331.25/1340.20	c current bound: 1169
1332.21/1341.37	c current bound: 1169
1333.37/1342.54	c current bound: 1169
1334.73/1343.70	c current bound: 1169
1335.71/1344.86	c current bound: 1169
1336.86/1346.03	c current bound: 1169
1338.03/1347.19	c current bound: 1169
1339.18/1348.35	c current bound: 1169
1340.34/1349.51	c current bound: 1169
1341.47/1350.67	c current bound: 1169
1342.79/1351.82	c current bound: 1169
1343.89/1352.99	c current bound: 1169
1345.08/1354.15	c current bound: 1169
1346.28/1355.31	c current bound: 1169
1347.25/1356.47	c current bound: 1169
1348.41/1357.63	c current bound: 1169
1349.58/1358.79	c current bound: 1169
1350.72/1359.94	c current bound: 1169
1351.85/1361.08	c current bound: 1169
1352.99/1362.23	c current bound: 1169
1354.14/1363.39	c current bound: 1169
1355.30/1364.55	c current bound: 1169
1356.45/1365.71	c current bound: 1169
1357.61/1366.88	c current bound: 1169
1358.77/1368.03	c current bound: 1169
1359.92/1369.19	c current bound: 1169
1361.08/1370.35	c current bound: 1169
1362.18/1371.47	c current bound: 1169
1363.34/1372.63	c current bound: 1169
1364.49/1373.79	c current bound: 1169
1365.78/1374.95	c current bound: 1169
1367.00/1376.11	c current bound: 1169
1368.07/1377.27	c current bound: 1169
1369.12/1378.43	c current bound: 1169
1370.27/1379.60	c current bound: 1169
1371.64/1380.83	c current bound: 1169
1372.59/1381.99	c current bound: 1169
1373.75/1383.15	c current bound: 1169
1375.09/1384.31	c current bound: 1169
1376.07/1385.47	c current bound: 1169
1377.21/1386.63	c current bound: 1169
1378.36/1387.78	c current bound: 1169
1379.52/1388.94	c current bound: 1169
1380.68/1390.11	c current bound: 1169
1381.81/1391.25	c current bound: 1169
1382.95/1392.42	c current bound: 1169
1384.12/1393.57	c current bound: 1169
1385.44/1394.74	c current bound: 1169
1386.53/1395.90	c current bound: 1169
1387.72/1397.06	c current bound: 1169
1388.75/1398.22	c current bound: 1169
1389.90/1399.39	c current bound: 1169
1391.07/1400.55	c current bound: 1169
1392.22/1401.72	c current bound: 1169
1393.39/1402.88	c current bound: 1169
1394.54/1404.04	c current bound: 1169
1395.89/1405.20	c current bound: 1169
1396.86/1406.38	c current bound: 1169
1398.02/1407.54	c current bound: 1169
1399.38/1408.70	c current bound: 1169
1400.35/1409.87	c current bound: 1169
1401.49/1411.02	c current bound: 1169
1402.64/1412.18	c current bound: 1169
1403.80/1413.34	c current bound: 1169
1404.95/1414.49	c current bound: 1169
1406.25/1415.65	c current bound: 1169
1407.43/1416.81	c current bound: 1169
1408.53/1417.97	c current bound: 1169
1409.59/1419.14	c current bound: 1169
1410.93/1420.30	c current bound: 1169
1411.88/1421.44	c current bound: 1169
1413.21/1422.60	c current bound: 1169
1414.19/1423.76	c current bound: 1169
1415.34/1424.94	c current bound: 1169
1416.69/1426.10	c current bound: 1169
1417.68/1427.26	c current bound: 1169
1418.82/1428.41	c current bound: 1169
1419.96/1429.56	c current bound: 1169
1421.11/1430.72	c current bound: 1169
1422.28/1431.89	c current bound: 1169
1423.43/1433.05	c current bound: 1169
1424.60/1434.21	c current bound: 1169
1425.75/1435.37	c current bound: 1169
1427.06/1436.53	c current bound: 1169
1428.16/1437.69	c current bound: 1169
1429.35/1438.85	c current bound: 1169
1430.39/1440.02	c current bound: 1169
1431.52/1441.16	c current bound: 1169
1432.68/1442.32	c current bound: 1169
1433.83/1443.49	c current bound: 1169
1434.99/1444.65	c current bound: 1169
1436.15/1445.81	c current bound: 1169
1437.30/1446.97	c current bound: 1169
1438.46/1448.14	c current bound: 1169
1439.81/1449.30	c current bound: 1169
1440.76/1450.46	c current bound: 1169
1441.91/1451.62	c current bound: 1169
1443.26/1452.82	c current bound: 1169
1444.23/1453.99	c current bound: 1169
1445.38/1455.14	c current bound: 1169
1446.73/1456.31	c current bound: 1169
1447.81/1457.48	c current bound: 1169
1449.01/1458.64	c current bound: 1169
1450.03/1459.81	c current bound: 1169
1451.18/1460.97	c current bound: 1169
1452.35/1462.13	c current bound: 1169
1453.70/1463.30	c current bound: 1169
1454.65/1464.46	c current bound: 1169
1455.82/1465.62	c current bound: 1169
1456.98/1466.78	c current bound: 1169
1458.13/1467.94	c current bound: 1169
1459.29/1469.11	c current bound: 1169
1460.45/1470.27	c current bound: 1169
1461.60/1471.43	c current bound: 1169
1462.96/1472.60	c current bound: 1169
1463.92/1473.75	c current bound: 1169
1465.07/1474.92	c current bound: 1169
1466.23/1476.06	c current bound: 1169
1467.53/1477.23	c current bound: 1169
1468.63/1478.39	c current bound: 1169
1469.82/1479.54	c current bound: 1169
1471.03/1480.70	c current bound: 1169
1472.01/1481.88	c current bound: 1169
1473.17/1483.04	c current bound: 1169
1474.31/1484.19	c current bound: 1169
1475.47/1485.35	c current bound: 1169
1476.63/1486.52	c current bound: 1169
1477.78/1487.68	c current bound: 1169
1478.94/1488.84	c current bound: 1169
1480.11/1490.01	c current bound: 1169
1481.25/1491.17	c current bound: 1169
1482.41/1492.34	c current bound: 1169
1483.57/1493.52	c current bound: 1169
1484.73/1494.69	c current bound: 1169
1485.90/1495.84	c current bound: 1169
1487.24/1497.00	c current bound: 1169
1488.33/1498.17	c current bound: 1169
1489.52/1499.32	c current bound: 1169
1490.64/1500.48	c current bound: 1169
1491.68/1501.65	c current bound: 1169
1492.84/1502.81	c current bound: 1169
1494.00/1503.97	c current bound: 1169
1495.16/1505.13	c current bound: 1169
1496.31/1506.29	c current bound: 1169
1497.45/1507.46	c current bound: 1169
1498.63/1508.62	c current bound: 1169
1499.80/1509.79	c current bound: 1169
1500.94/1510.94	c current bound: 1169
1502.28/1512.10	c current bound: 1169
1503.25/1513.26	c current bound: 1169
1504.41/1514.42	c current bound: 1169
1505.56/1515.59	c current bound: 1169
1506.73/1516.74	c current bound: 1169
1508.07/1517.90	c current bound: 1169
1509.17/1519.06	c current bound: 1169
1510.36/1520.21	c current bound: 1169
1511.45/1521.35	c current bound: 1169
1512.46/1522.52	c current bound: 1169
1513.63/1523.68	c current bound: 1169
1514.77/1524.84	c current bound: 1169
1516.13/1526.00	c current bound: 1169
1517.09/1527.21	c current bound: 1169
1518.24/1528.37	c current bound: 1169
1519.40/1529.53	c current bound: 1169
1520.54/1530.68	c current bound: 1169
1521.70/1531.85	c current bound: 1169
1522.85/1533.01	c current bound: 1169
1524.01/1534.17	c current bound: 1169
1525.17/1535.33	c current bound: 1169
1526.32/1536.49	c current bound: 1169
1527.48/1537.65	c current bound: 1169
1528.83/1538.81	c current bound: 1169
1529.91/1539.97	c current bound: 1169
1531.12/1541.13	c current bound: 1169
1532.20/1542.29	c current bound: 1169
1533.27/1543.45	c current bound: 1169
1534.42/1544.61	c current bound: 1169
1535.56/1545.77	c current bound: 1169
1536.73/1546.93	c current bound: 1169
1537.86/1548.19	c current bound: 1169
1539.03/1549.35	c current bound: 1169
1540.37/1550.50	c current bound: 1169
1541.34/1551.66	c current bound: 1169
1542.49/1552.83	c current bound: 1169
1543.66/1553.99	c current bound: 1169
1544.81/1555.15	c current bound: 1169
1545.97/1556.32	c current bound: 1169
1547.13/1557.47	c current bound: 1169
1548.45/1558.63	c current bound: 1169
1549.54/1559.79	c current bound: 1169
1550.73/1560.95	c current bound: 1169
1551.75/1562.11	c current bound: 1169
1552.91/1563.27	c current bound: 1169
1554.07/1564.44	c current bound: 1169
1555.42/1565.60	c current bound: 1169
1556.40/1566.76	c current bound: 1169
1557.55/1567.92	c current bound: 1169
1558.71/1569.09	c current bound: 1169
1559.86/1570.25	c current bound: 1169
1561.00/1571.39	c current bound: 1169
1562.16/1572.55	c current bound: 1169
1563.31/1573.72	c current bound: 1169
1564.68/1574.90	c current bound: 1169
1565.65/1576.07	c current bound: 1169
1566.82/1577.23	c current bound: 1169
1567.98/1578.39	c current bound: 1169
1569.25/1579.55	c current bound: 1169
1570.46/1580.71	c current bound: 1169
1571.56/1581.87	c current bound: 1169
1572.60/1583.04	c current bound: 1169
1573.95/1584.20	c current bound: 1169
1574.91/1585.36	c current bound: 1169
1576.08/1586.52	c current bound: 1169
1577.23/1587.68	c current bound: 1169
1578.38/1588.84	c current bound: 1169
1579.72/1590.00	c current bound: 1169
1580.68/1591.15	c current bound: 1169
1581.84/1592.31	c current bound: 1169
1582.99/1593.47	c current bound: 1169
1584.16/1594.64	c current bound: 1169
1585.50/1595.80	c current bound: 1169
1586.46/1596.96	c current bound: 1169
1587.61/1598.12	c current bound: 1169
1588.80/1599.28	c current bound: 1169
1590.08/1600.44	c current bound: 1169
1591.18/1601.59	c current bound: 1169
1592.38/1602.75	c current bound: 1169
1593.38/1603.89	c current bound: 1169
1594.54/1605.05	c current bound: 1169
1595.68/1606.22	c current bound: 1169
1596.85/1607.38	c current bound: 1169
1598.01/1608.54	c current bound: 1169
1599.36/1609.70	c current bound: 1169
1600.30/1610.86	c current bound: 1169
1601.46/1612.02	c current bound: 1169
1602.62/1613.19	c current bound: 1169
1603.98/1614.40	c current bound: 1169
1604.94/1615.55	c current bound: 1169
1606.09/1616.71	c current bound: 1169
1607.26/1617.88	c current bound: 1169
1608.40/1619.04	c current bound: 1169
1609.55/1620.19	c current bound: 1169
1610.83/1621.33	c current bound: 1169
1611.92/1622.48	c current bound: 1169
1613.11/1623.64	c current bound: 1169
1614.12/1624.79	c current bound: 1169
1615.29/1625.95	c current bound: 1169
1616.43/1627.11	c current bound: 1169
1617.60/1628.27	c current bound: 1169
1618.76/1629.44	c current bound: 1169
1620.10/1630.60	c current bound: 1169
1621.07/1631.76	c current bound: 1169
1622.22/1632.92	c current bound: 1169
1623.39/1634.08	c current bound: 1169
1624.53/1635.23	c current bound: 1169
1625.89/1636.40	c current bound: 1169
1626.85/1637.56	c current bound: 1169
1628.01/1638.72	c current bound: 1169
1629.16/1639.89	c current bound: 1169
1630.32/1641.03	c current bound: 1169
1631.48/1642.19	c current bound: 1169
1632.76/1643.36	c current bound: 1169
1633.97/1644.50	c current bound: 1169
1635.07/1645.65	c current bound: 1169
1636.08/1646.81	c current bound: 1169
1637.23/1647.97	c current bound: 1169
1638.38/1649.13	c current bound: 1169
1639.53/1650.29	c current bound: 1169
1640.64/1651.42	c current bound: 1169
1641.82/1652.59	c current bound: 1169
1642.97/1653.75	c current bound: 1169
1644.13/1654.91	c current bound: 1169
1645.28/1656.07	c current bound: 1169
1646.42/1657.32	c current bound: 1169
1647.58/1658.49	c current bound: 1169
1648.74/1659.65	c current bound: 1169
1649.91/1660.82	c current bound: 1169
1651.07/1661.98	c current bound: 1169
1652.38/1663.14	c current bound: 1169
1653.45/1664.30	c current bound: 1169
1654.66/1665.46	c current bound: 1169
1655.69/1666.62	c current bound: 1169
1656.85/1667.78	c current bound: 1169
1658.00/1668.94	c current bound: 1169
1659.34/1670.10	c current bound: 1169
1660.30/1671.25	c current bound: 1169
1661.46/1672.41	c current bound: 1169
1662.61/1673.57	c current bound: 1169
1663.76/1674.73	c current bound: 1169
1664.93/1675.89	c current bound: 1169
1666.07/1677.05	c current bound: 1169
1667.22/1678.21	c current bound: 1169
1668.39/1679.37	c current bound: 1169
1669.54/1680.53	c current bound: 1169
1670.70/1681.69	c current bound: 1169
1671.86/1682.85	c current bound: 1169
1673.01/1684.00	c current bound: 1169
1674.29/1685.16	c current bound: 1169
1675.49/1686.32	c current bound: 1169
1676.58/1687.47	c current bound: 1169
1677.62/1688.63	c current bound: 1169
1678.78/1689.79	c current bound: 1169
1679.94/1690.96	c current bound: 1169
1681.10/1692.12	c current bound: 1169
1682.26/1693.28	c current bound: 1169
1683.41/1694.44	c current bound: 1169
1684.75/1695.60	c current bound: 1169
1685.73/1696.77	c current bound: 1169
1686.90/1697.93	c current bound: 1169
1688.05/1699.15	c current bound: 1169
1689.20/1700.32	c current bound: 1169
1690.36/1701.48	c current bound: 1169
1691.51/1702.64	c current bound: 1169
1692.67/1703.80	c current bound: 1169
1693.95/1704.96	c current bound: 1169
1695.16/1706.12	c current bound: 1169
1696.25/1707.27	c current bound: 1169
1697.29/1708.43	c current bound: 1169
1698.43/1709.58	c current bound: 1169
1699.60/1710.74	c current bound: 1169
1700.94/1711.90	c current bound: 1169
1701.91/1713.06	c current bound: 1169
1703.06/1714.23	c current bound: 1169
1704.22/1715.39	c current bound: 1169
1705.38/1716.64	c current bound: 1169
1706.73/1717.80	c current bound: 1169
1707.68/1718.96	c current bound: 1169
1708.85/1720.12	c current bound: 1169
1709.99/1721.27	c current bound: 1169
1711.14/1722.41	c current bound: 1169
1712.29/1723.57	c current bound: 1169
1713.62/1724.72	c current bound: 1169
1714.69/1725.88	c current bound: 1169
1715.89/1727.04	c current bound: 1169
1717.10/1728.20	c current bound: 1169
1718.05/1729.36	c current bound: 1169
1719.21/1730.52	c current bound: 1169
1720.37/1731.68	c current bound: 1169
1721.52/1732.85	c current bound: 1169
1722.68/1734.01	c current bound: 1169
1723.84/1735.18	c current bound: 1169
1725.01/1736.34	c current bound: 1169
1726.15/1737.49	c current bound: 1169
1727.31/1738.65	c current bound: 1169
1728.46/1739.82	c current bound: 1169
1729.61/1740.97	c current bound: 1169
1730.76/1742.13	c current bound: 1169
1731.92/1743.29	c current bound: 1169
1733.08/1744.45	c current bound: 1169
1734.44/1745.61	c current bound: 1169
1735.52/1746.77	c current bound: 1169
1736.72/1747.93	c current bound: 1169
1737.82/1749.09	c current bound: 1169
1738.87/1750.24	c current bound: 1169
1740.01/1751.39	c current bound: 1169
1741.16/1752.54	c current bound: 1169
1742.32/1753.71	c current bound: 1169
1743.48/1754.87	c current bound: 1169
1744.62/1756.03	c current bound: 1169
1745.78/1757.19	c current bound: 1169
1747.12/1758.45	c current bound: 1169
1748.10/1759.61	c current bound: 1169
1749.23/1760.76	c current bound: 1169
1750.39/1761.91	c current bound: 1169
1751.54/1763.07	c current bound: 1169
1752.69/1764.29	c current bound: 1169
1753.98/1765.45	c current bound: 1169
1755.19/1766.61	c current bound: 1169
1756.27/1767.77	c current bound: 1169
1757.32/1768.93	c current bound: 1169
1758.66/1770.10	c current bound: 1169
1759.63/1771.26	c current bound: 1169
1760.79/1772.42	c current bound: 1169
1761.93/1773.58	c current bound: 1169
1763.09/1774.74	c current bound: 1169
1764.43/1775.90	c current bound: 1169
1765.40/1777.06	c current bound: 1169
1766.54/1778.21	c current bound: 1169
1767.71/1779.37	c current bound: 1169
1768.86/1780.54	c current bound: 1169
1770.03/1781.71	c current bound: 1169
1771.19/1782.86	c current bound: 1169
1772.34/1784.02	c current bound: 1169
1773.49/1785.19	c current bound: 1169
1774.80/1786.35	c current bound: 1169
1776.02/1787.51	c current bound: 1169
1777.10/1788.67	c current bound: 1169
1778.14/1789.83	c current bound: 1169
1779.48/1791.00	c current bound: 1169
1780.45/1792.16	c current bound: 1169
1781.60/1793.32	c current bound: 1169
1782.75/1794.48	c current bound: 1169
1783.89/1795.63	c current bound: 1169
1785.05/1796.79	c current bound: 1169
1786.21/1797.96	c current bound: 1169
1787.37/1799.12	c current bound: 1169
1788.52/1800.28	c current bound: 1169
1789.66/1801.42	c current bound: 1169
1790.81/1802.58	c current bound: 1169
1791.98/1803.75	c current bound: 1169
1793.16/1804.93	c current bound: 1169
1794.31/1806.09	c current bound: 1169
1795.61/1807.25	c current bound: 1169
1796.70/1808.40	c current bound: 1169
1797.89/1809.56	c current bound: 1169
1798.93/1810.73	c current bound: 1169
1800.09/1811.72	HOME/npSolver-wbo-Itdqb.sh: line 18: 26013 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-3715584-1338179491/watcher-3715584-1338179491 -o /tmp/evaluation-result-3715584-1338179491/solver-3715584-1338179491 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715584-1338179491.wbo 496296313 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: 2.00 2.02 2.00 3/179 26012
/proc/meminfo: memFree=27236040/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0

[startup+0.086064 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 26012
/proc/meminfo: memFree=27236040/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100212 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 26012
/proc/meminfo: memFree=27236040/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300136 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 26012
/proc/meminfo: memFree=27236040/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700177 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 26012
/proc/meminfo: memFree=27236040/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 26019
/proc/meminfo: memFree=27195352/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=10504 CPUtime=0.26 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3531 0 0 0 25 1 0 0 20 0 1 0 284074832 10756096 2154 33554432000 4194304 5990268 140735052580320 140735052573472 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26013/statm: 2626 2154 156 439 0 2183 0
[pid=26015] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26015/stat : 26015 (cp2_pre.sh) S 26013 26012 21579 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284074859 9367552 276 33554432000 4194304 5064252 140734484910816 140734484909520 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26015/statm: 2287 276 234 213 0 72 0
[pid=26016] ppid=26015 vsize=83952 CPUtime=1.22 cores=1,3,5,7
/proc/26016/stat : 26016 (coprocessor) R 26015 26012 21579 0 -1 4202496 15417 0 0 0 117 5 0 0 20 0 1 0 284074859 85966848 19411 33554432000 4194304 6586260 140736365214144 140736365209912 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/26016/statm: 20988 19411 198 584 0 20400 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 112752

[startup+3.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 26026
/proc/meminfo: memFree=27202128/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=2.83 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 5823 26844 0 0 30 8 214 31 20 0 1 0 284074832 18493440 4023 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 4515 4023 179 439 0 4072 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 27208

[startup+6.3002 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 26061
/proc/meminfo: memFree=27177876/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=6.27 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) R 26012 26012 21579 0 -1 4202496 12112 70239 0 0 38 9 528 52 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052572304 5043490 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27208

[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 3/185 26123
/proc/meminfo: memFree=27235332/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=12.09 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 24640 144415 0 0 55 12 1054 88 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 27208

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 26257
/proc/meminfo: memFree=27219504/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=24.86 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 50512 307227 0 0 89 18 2208 171 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
[pid=26252] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26252/stat : 26252 (satsolver.sh) S 26013 26012 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284077342 9367552 267 33554432000 4194304 5064252 140734470462656 140734470461568 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26252/statm: 2287 267 226 213 0 72 0
[pid=26253] ppid=26252 vsize=36160 CPUtime=0.39 cores=1,3,5,7
/proc/26253/stat : 26253 (glucose) R 26252 26012 21579 0 -1 4202496 7342 0 0 0 38 1 0 0 20 0 1 0 284077342 37027840 7536 33554432000 4194304 5208918 140733852554592 140733852552552 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26253/statm: 9040 7536 95 248 0 8789 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 72516

[startup+51.1002 s]
/proc/loadavg: 2.11 2.05 2.01 3/184 26498
/proc/meminfo: memFree=27186536/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=50.39 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 102256 631730 0 0 158 29 4521 331 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 27208

[startup+102.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 27009
/proc/meminfo: memFree=27207072/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=101.3 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 205744 1274263 0 0 295 52 9130 653 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
[pid=27005] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27005/stat : 27005 (satsolver.sh) S 26013 26012 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284085014 9367552 267 33554432000 4194304 5064252 140734024395088 140734024394000 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27005/statm: 2287 267 226 213 0 72 0
[pid=27006] ppid=27005 vsize=38880 CPUtime=0.48 cores=1,3,5,7
/proc/27006/stat : 27006 (glucose) R 27005 26012 21579 0 -1 4202496 7448 0 0 0 46 2 0 0 20 0 1 0 284085014 39813120 7643 33554432000 4194304 5208918 140736996435392 140734024394024 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27006/statm: 9720 7643 95 248 0 9469 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 75236

[startup+162.3 s]
/proc/loadavg: 1.98 2.01 1.99 3/181 27592
/proc/meminfo: memFree=27211692/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=160.4 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 325696 2029122 0 0 455 76 14477 1032 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 13 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 160.4
Current children cumulated vsize (KiB) 27208

[startup+222.3 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 28186
/proc/meminfo: memFree=27187200/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=220.55 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 448000 2799045 0 0 619 101 19921 1414 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 25 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 220.55
Current children cumulated vsize (KiB) 27208

[startup+282.3 s]
/proc/loadavg: 1.90 1.98 1.99 3/183 28764
/proc/meminfo: memFree=27179720/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=279.55 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 567952 3549981 0 0 776 129 25260 1790 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 25 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 279.55

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

/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1293.16 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 2630656 16449596 0 0 3504 577 117017 8218 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
[pid=9663] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9663/stat : 9663 (satsolver.sh) S 26013 26012 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284205024 9367552 267 33554432000 4194304 5064252 140733739010304 140733739009216 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9663/statm: 2287 267 226 213 0 72 0
[pid=9664] ppid=9663 vsize=36160 CPUtime=0.37 cores=1,3,5,7
/proc/9664/stat : 9664 (glucose) R 9663 26012 21579 0 -1 4202496 7310 0 0 0 36 1 0 0 20 0 1 0 284205025 37027840 7517 33554432000 4194304 5208918 140733768432464 140733768430312 4205139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9664/statm: 9040 7517 95 248 0 8789 0
Current children cumulated CPU time (s) 1293.53
Current children cumulated vsize (KiB) 72516

[startup+1362.3 s]
/proc/loadavg: 1.96 1.94 1.92 3/183 10449
/proc/meminfo: memFree=27247336/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1353.21 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 2752960 17212113 0 0 3666 602 122447 8606 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 1353.21
Current children cumulated vsize (KiB) 27208

[startup+1422.31 s]
/proc/loadavg: 1.98 1.95 1.92 3/183 11247
/proc/meminfo: memFree=27247936/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1412.1 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 2872912 17968617 0 0 3823 629 127785 8973 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
[pid=11246] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11246/stat : 11246 (satsolver.sh) S 26013 26012 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284216980 9367552 267 33554432000 4194304 5064252 140735259297376 140735259296288 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11246/statm: 2287 267 226 213 0 72 0
[pid=11247] ppid=11246 vsize=44024 CPUtime=0.81 cores=1,3,5,7
/proc/11247/stat : 11247 (glucose) R 11246 26012 21579 0 -1 4202496 8278 0 0 0 80 1 0 0 20 0 1 0 284216980 45080576 8935 33554432000 4194304 5208918 140736331196848 140736331194696 4222354 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11247/statm: 11006 8935 104 248 0 10755 0
Current children cumulated CPU time (s) 1412.91
Current children cumulated vsize (KiB) 80380

[startup+1482.3 s]
/proc/loadavg: 1.92 1.94 1.92 3/183 12031
/proc/meminfo: memFree=27247236/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1472.24 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 2995216 18737610 0 0 3986 655 133240 9343 20 0 1 0 284074832 18493440 4024 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4024 180 439 0 4072 0
Current children cumulated CPU time (s) 1472.24
Current children cumulated vsize (KiB) 27208

[startup+1542.3 s]
/proc/loadavg: 1.93 1.93 1.91 4/184 12841
/proc/meminfo: memFree=27279424/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1532.3 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) R 26012 26012 21579 0 -1 4202496 3098742 19501250 0 0 4145 680 138682 9723 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052572304 5042529 0 0 4096 0 0 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
Current children cumulated CPU time (s) 1532.3
Current children cumulated vsize (KiB) 27208

[startup+1602.3 s]
/proc/loadavg: 1.85 1.91 1.90 3/183 13621
/proc/meminfo: memFree=27258280/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1591.31 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3193973 20252916 0 0 4307 704 144028 10092 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
Current children cumulated CPU time (s) 1591.31
Current children cumulated vsize (KiB) 27208

[startup+1662.3 s]
/proc/loadavg: 1.89 1.91 1.91 3/181 14426
/proc/meminfo: memFree=27280872/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1651.29 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3290277 21013702 0 0 4470 728 149467 10464 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
Current children cumulated CPU time (s) 1651.29
Current children cumulated vsize (KiB) 27208

[startup+1722.3 s]
/proc/loadavg: 1.96 1.92 1.91 3/184 15215
/proc/meminfo: memFree=27247260/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1711.14 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3384737 21776427 0 0 4630 752 154882 10850 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052571216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
Current children cumulated CPU time (s) 1711.14
Current children cumulated vsize (KiB) 27208

[startup+1782.3 s]
/proc/loadavg: 1.92 1.92 1.91 3/184 16035
/proc/meminfo: memFree=27247092/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1770.27 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3481033 22531163 0 0 4791 778 160214 11244 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052571728 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
[pid=16034] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16034/stat : 16034 (satsolver.sh) S 26013 26012 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284253006 9367552 267 33554432000 4194304 5064252 140737142534448 140737142533360 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16034/statm: 2287 267 226 213 0 72 0
[pid=16035] ppid=16034 vsize=38876 CPUtime=0.55 cores=1,3,5,7
/proc/16035/stat : 16035 (glucose) R 16034 26012 21579 0 -1 4202496 6884 0 0 0 54 1 0 0 20 0 1 0 284253007 39809024 8134 33554432000 4194304 5208918 140735420593152 140735420591112 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16035/statm: 9719 8134 95 248 0 9468 0
Current children cumulated CPU time (s) 1770.82
Current children cumulated vsize (KiB) 75232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.71 s]
/proc/loadavg: 1.95 1.92 1.91 3/185 16430
/proc/meminfo: memFree=27273744/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1800.09 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3527341 22905545 0 0 4869 789 162924 11427 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052571216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
[pid=16428] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16428/stat : 16428 (cp2_post.sh) S 26013 26012 21579 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 284256003 9367552 266 33554432000 4194304 5064252 140736888987312 140736888985600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16428/statm: 2287 266 225 213 0 72 0
[pid=16429] ppid=16428 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/16429/stat : 16429 (cat) S 16428 26012 21579 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 284256003 4100096 122 33554432000 4194304 4236627 140734417566704 140734417565800 270330054112 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16429/statm: 1001 122 96 11 0 67 0
[pid=16430] ppid=16428 vsize=8248 CPUtime=0 cores=1,3,5,7
/proc/16430/stat : 16430 (coprocessor) R 16428 26012 21579 0 -1 4202496 1875 0 0 0 0 0 0 0 20 0 1 0 284256003 8445952 1366 33554432000 4194304 6586260 140736503359360 140736888985624 4525268 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/16430/statm: 2062 1367 145 584 0 1474 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 48608

Sending SIGTERM to process tree (bottom up)

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

[startup+1811.71 s]
/proc/loadavg: 1.95 1.92 1.91 3/185 16430
/proc/meminfo: memFree=27273744/32873660 swapFree=7120/7120
[pid=26012] ppid=26010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26012/stat : 26012 (npSolver-wbo-It) S 26010 26012 21579 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284074832 9367552 275 33554432000 4194304 5064252 140735026575664 140735026574576 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26012/statm: 2287 275 233 213 0 72 0
[pid=26013] ppid=26012 vsize=18060 CPUtime=1800.09 cores=1,3,5,7
/proc/26013/stat : 26013 (npSolver-wbo) S 26012 26012 21579 0 -1 4202496 3527341 22905545 0 0 4869 789 162924 11427 20 0 1 0 284074832 18493440 4035 33554432000 4194304 5990268 140735052580320 140735052571216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 83 0 0
/proc/26013/statm: 4515 4035 180 439 0 4072 0
[pid=16428] ppid=26013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16428/stat : 16428 (cp2_post.sh) S 26013 26012 21579 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 284256003 9367552 266 33554432000 4194304 5064252 140736888987312 140736888985600 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16428/statm: 2287 266 225 213 0 72 0
[pid=16429] ppid=16428 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/16429/stat : 16429 (cat) S 16428 26012 21579 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 284256003 4100096 122 33554432000 4194304 4236627 140734417566704 140734417565800 270330054112 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16429/statm: 1001 122 96 11 0 67 0
[pid=16430] ppid=16428 vsize=8248 CPUtime=0 cores=1,3,5,7
/proc/16430/stat : 16430 (coprocessor) R 16428 26012 21579 0 -1 4202496 1875 0 0 0 0 0 0 0 20 0 1 0 284256003 8445952 1366 33554432000 4194304 6586260 140736503359360 140736888985624 4525268 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/16430/statm: 2062 1367 145 584 0 1474 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 48608

Child status: 0
Real time (s): 1811.72
CPU time (s): 1800.12
CPU user time (s): 1677.94
CPU system time (s): 122.177
CPU usage (%): 99.3596
Max. virtual memory (cumulated for all children) (KiB): 112752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.94
system time used= 122.177
maximum resident set size= 80960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26434826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14983072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 409280
involuntary context switches= 26460

runsolver used 4.90525 second user time and 13.429 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-28 06:31:31
IDJOB=3715584
IDBENCH=78694
IDSOLVER=2297
FILE ID=node117/3715584-1338179491
RUNJOBID= node117-1338159294-21596
PBS_JOBID= 14624552
Free space on /tmp= 70032 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--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-3715584-1338179491/watcher-3715584-1338179491 -o /tmp/evaluation-result-3715584-1338179491/solver-3715584-1338179491 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715584-1338179491.wbo 496296313 HOME HOME

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

MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252
RANDOM SEED=496296313

node117.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.148
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873660 kB
MemFree:        27236800 kB
Buffers:          533424 kB
Cached:          4103000 kB
SwapCached:            0 kB
Active:          2522192 kB
Inactive:        2201352 kB
Active(anon):      74756 kB
Inactive(anon):    11352 kB
Active(file):    2447436 kB
Inactive(file):  2190000 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14320 kB
Writeback:             0 kB
AnonPages:        117144 kB
Mapped:            15600 kB
Shmem:               200 kB
Slab:             773900 kB
SReclaimable:     217460 kB
SUnreclaim:       556440 kB
KernelStack:        1528 kB
PageTables:         4176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     213648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70024 MiB
End job on node117 at 2012-05-28 07:01:43