Trace number 3446644

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
wbo 1.6OPTIMUM 528.322 528.308

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
MD5SUM14bc8800f159591dc4e79c8dbc089eb4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark80.6567
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 138262
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 138261
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3446644-1307906991.wbo.
0.00/0.00	c Instance file HOME/instance-3446644-1307906991.wbo
0.00/0.00	c File size is 96767 bytes.
0.00/0.00	c Highest Coefficient sum: 749
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       101 |     231     2707     8338 |     5500      101     26 |  0.002 % |
0.00/0.01	c |       253 |     231     2707     8338 |     6050      253     25 |  0.002 % |
0.00/0.01	c |       478 |     231     2707     8338 |     6655      478     31 |  0.002 % |
0.00/0.02	c |       816 |     231     2707     8338 |     7320      816     34 |  0.002 % |
0.00/0.03	c |      1322 |     231     2707     8338 |     8052     1322     33 |  0.002 % |
0.00/0.05	c |      2082 |     231     2707     8338 |     8857     2082     32 |  0.002 % |
0.04/0.08	c |      3222 |     231     2707     8338 |     9743     3222     32 |  0.002 % |
0.09/0.14	c |      4932 |     231     2707     8338 |    10717     4932     33 |  0.002 % |
0.18/0.22	c |      7495 |     231     2707     8338 |    11789     7495     32 |  0.002 % |
0.29/0.38	c |     11343 |     231     2707     8338 |    12968    11343     32 |  0.002 % |
0.59/0.64	c |     17110 |     231     2707     8338 |    14265    10576     34 |  0.002 % |
1.09/1.15	c |     25761 |     231     2707     8338 |    15692    12047     38 |  0.002 % |
1.89/1.95	c |     38736 |     231     2707     8338 |    17261     9220     37 |  0.002 % |
3.20/3.26	c |     58198 |     231     2707     8338 |    18987    11319     38 |  0.002 % |
4.99/5.04	c |     87391 |     231     2707     8338 |    20886    11893     34 |  0.002 % |
8.19/8.24	c |    131180 |     231     2707     8338 |    22974    13741     35 |  0.002 % |
13.49/13.55	c |    196868 |     231     2707     8338 |    25272    21775     37 |  0.002 % |
22.19/22.21	c |    295394 |     231     2707     8338 |    27799    15715     38 |  0.002 % |
35.20/35.25	c |    443183 |     231     2707     8338 |    30579    23881     38 |  0.002 % |
54.79/54.83	c |    664866 |     231     2707     8338 |    33637    27040     38 |  0.041 % |
66.90/66.93	c ===============================================================================
72.69/72.78	c core #1
72.69/72.78	c 
72.69/72.78	c 
72.69/72.78	c Core size: 2581	Core Weight: 1	Total Weight: 1
72.69/72.78	c Current CPU time: 71.1822 s
72.69/72.78	c
72.69/72.78	c ============================[ Search Statistics ]==============================
72.69/72.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.69/72.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.69/72.78	c ===============================================================================
72.69/72.78	c |         0 |    1585     5259    20268 |     5000        0   -nan |  0.000 % |
72.69/72.79	c |       100 |    1585     5259    20268 |     5500      100     16 |  0.000 % |
72.69/72.79	c |       250 |    1585     5259    20268 |     6050      250     18 |  0.000 % |
72.79/72.80	c |       475 |    1585     5259    20268 |     6655      475     20 |  0.000 % |
72.79/72.81	c |       812 |    1585     5259    20268 |     7320      812     24 |  0.000 % |
72.79/72.82	c |      1319 |    1585     5259    20268 |     8052     1319     24 |  0.000 % |
72.79/72.84	c |      2079 |    1585     5259    20268 |     8857     2079     24 |  0.000 % |
72.79/72.88	c |      3221 |    1585     5259    20268 |     9743     3221     27 |  0.000 % |
72.89/72.93	c |      4929 |    1585     5259    20268 |    10717     4929     27 |  0.000 % |
72.99/73.03	c |      7492 |    1585     5259    20268 |    11789     7492     27 |  0.000 % |
73.09/73.19	c |     11337 |    1585     5259    20268 |    12968    11337     29 |  0.000 % |
73.39/73.46	c |     17103 |    1585     5259    20268 |    14265    10572     31 |  0.000 % |
73.89/73.95	c |     25753 |    1585     5259    20268 |    15692    12043     33 |  0.000 % |
74.70/74.80	c |     38728 |    1585     5259    20268 |    17261     9226     37 |  0.000 % |
75.99/76.06	c |     58192 |    1585     5259    20268 |    18987    11328     34 |  0.000 % |
78.00/78.07	c |     87384 |    1585     5259    20268 |    20886    11872     36 |  0.000 % |
81.49/81.54	c |    131175 |    1585     5259    20268 |    22974    13699     35 |  0.000 % |
86.99/87.01	c |    196859 |    1585     5259    20268 |    25272    21613     41 |  0.000 % |
95.19/95.24	c |    295385 |    1585     5259    20268 |    27799    12791     39 |  0.000 % |
109.10/109.10	c |    443174 |    1585     5259    20268 |    30579    19653     35 |  0.000 % |
130.69/130.70	c |    664858 |    1585     5259    20268 |    33637    23158     39 |  0.000 % |
149.20/149.29	c ===============================================================================
155.19/155.24	c core #2
155.19/155.24	c 
155.19/155.24	c 
155.19/155.24	c Core size: 2545	Core Weight: 1	Total Weight: 2
155.19/155.24	c Current CPU time: 152.51 s
155.19/155.24	c
155.19/155.24	c ============================[ Search Statistics ]==============================
155.19/155.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
155.19/155.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
155.19/155.24	c ===============================================================================
155.19/155.24	c |         0 |    2939     7768    32029 |     5000        0   -nan |  0.000 % |
155.19/155.25	c |       101 |    2939     7768    32029 |     5500      101     22 |  0.000 % |
155.19/155.26	c |       252 |    2939     7768    32029 |     6050      252     26 |  0.000 % |
155.19/155.26	c |       477 |    2939     7768    32029 |     6655      477     26 |  0.000 % |
155.19/155.27	c |       815 |    2939     7768    32029 |     7320      815     26 |  0.000 % |
155.19/155.29	c |      1322 |    2939     7768    32029 |     8052     1322     28 |  0.000 % |
155.29/155.31	c |      2081 |    2939     7768    32029 |     8857     2081     29 |  0.000 % |
155.29/155.35	c |      3220 |    2939     7768    32029 |     9743     3220     28 |  0.000 % |
155.39/155.42	c |      4929 |    2939     7768    32029 |    10717     4929     31 |  0.000 % |
155.50/155.53	c |      7493 |    2939     7768    32029 |    11789     7493     30 |  0.000 % |
155.69/155.71	c |     11337 |    2939     7768    32029 |    12968    11337     30 |  0.000 % |
155.99/156.03	c |     17103 |    2939     7768    32029 |    14265    10551     31 |  0.000 % |
156.50/156.55	c |     25752 |    2939     7768    32029 |    15692    12017     33 |  0.000 % |
157.40/157.45	c |     38727 |    2939     7768    32029 |    17261     9174     35 |  0.000 % |
158.89/158.96	c |     58191 |    2939     7768    32029 |    18987    11273     36 |  0.000 % |
161.60/161.62	c |     87384 |    2939     7768    32029 |    20886    11832     37 |  0.000 % |
165.30/165.31	c |    131173 |    2939     7768    32029 |    22974    13650     37 |  0.000 % |
171.40/171.49	c |    196859 |    2939     7768    32029 |    25272    21638     37 |  0.000 % |
180.49/180.58	c |    295386 |    2939     7768    32029 |    27799    13883     38 |  0.000 % |
194.60/194.69	c |    443175 |    2939     7768    32029 |    30579    23310     33 |  0.000 % |
214.40/214.47	c ===============================================================================
218.91/218.93	c core #3
218.91/218.93	c 
218.91/218.93	c 
218.91/218.93	c Core size: 2573	Core Weight: 1	Total Weight: 3
218.91/218.93	c Current CPU time: 215.47 s
218.91/218.93	c
218.91/218.93	c ============================[ Search Statistics ]==============================
218.91/218.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.91/218.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.91/218.93	c ===============================================================================
218.91/218.93	c |         0 |    4299    10262    43780 |     5000        0   -nan |  0.000 % |
218.91/218.94	c |       103 |    4299    10262    43780 |     5500      103     25 |  0.000 % |
218.91/218.95	c |       253 |    4299    10262    43780 |     6050      253     27 |  0.000 % |
218.91/218.95	c |       478 |    4299    10262    43780 |     6655      478     28 |  0.000 % |
218.91/218.97	c |       815 |    4299    10262    43780 |     7320      815     29 |  0.000 % |
218.91/218.98	c |      1321 |    4299    10262    43780 |     8052     1321     28 |  0.000 % |
218.99/219.01	c |      2080 |    4299    10262    43780 |     8857     2080     29 |  0.000 % |
218.99/219.06	c |      3222 |    4299    10262    43780 |     9743     3222     29 |  0.000 % |
219.09/219.15	c |      4930 |    4299    10262    43780 |    10717     4930     31 |  0.000 % |
219.20/219.29	c |      7493 |    4299    10262    43780 |    11789     7493     32 |  0.000 % |
219.50/219.53	c |     11341 |    4299    10262    43780 |    12968    11341     33 |  0.000 % |
219.90/219.93	c |     17107 |    4299    10262    43780 |    14265    10558     37 |  0.000 % |
220.49/220.58	c |     25756 |    4299    10262    43780 |    15692    12028     36 |  0.000 % |
221.70/221.72	c |     38730 |    4299    10262    43780 |    17261     9217     36 |  0.000 % |
223.40/223.41	c |     58193 |    4299    10262    43780 |    18987    11306     38 |  0.000 % |
225.89/225.91	c |     87387 |    4299    10262    43780 |    20886    11891     34 |  0.000 % |
229.70/229.72	c |    131177 |    4299    10262    43780 |    22974    13707     36 |  0.000 % |
235.50/235.56	c |    196861 |    4299    10262    43780 |    25272    21481     37 |  0.000 % |
245.10/245.10	c |    295390 |    4299    10262    43780 |    27799    24965     38 |  0.000 % |
260.10/260.17	c |    443179 |    4299    10262    43780 |    30579    14045     36 |  0.000 % |
283.60/283.67	c |    664867 |    4299    10262    43780 |    33637    16599     36 |  0.000 % |
292.00/292.01	c ===============================================================================
297.01/297.04	c core #4
297.01/297.04	c 
297.01/297.04	c 
297.01/297.04	c Core size: 2573	Core Weight: 1	Total Weight: 4
297.01/297.04	c Current CPU time: 292.541 s
297.01/297.04	c
297.01/297.04	c ============================[ Search Statistics ]==============================
297.01/297.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
297.01/297.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
297.01/297.04	c ===============================================================================
297.01/297.04	c |         0 |    5679    12708    55392 |     5000        0   -nan |  0.000 % |
297.01/297.05	c |       104 |    5679    12708    55392 |     5500      104     32 |  0.000 % |
297.01/297.06	c |       255 |    5679    12708    55392 |     6050      255     36 |  0.000 % |
297.01/297.07	c |       480 |    5679    12708    55392 |     6655      480     32 |  0.000 % |
297.01/297.08	c |       821 |    5679    12708    55392 |     7320      821     31 |  0.000 % |
297.10/297.10	c |      1327 |    5679    12708    55392 |     8052     1327     29 |  0.000 % |
297.10/297.14	c |      2086 |    5679    12708    55392 |     8857     2086     33 |  0.000 % |
297.19/297.21	c |      3227 |    5679    12708    55392 |     9743     3227     33 |  0.000 % |
297.30/297.30	c |      4937 |    5679    12708    55392 |    10717     4937     32 |  0.000 % |
297.40/297.45	c |      7499 |    5679    12708    55392 |    11789     7499     31 |  0.000 % |
297.70/297.75	c |     11343 |    5679    12708    55392 |    12968    11343     33 |  0.000 % |
298.20/298.23	c |     17109 |    5679    12708    55392 |    14265    10571     37 |  0.000 % |
298.90/298.91	c |     25760 |    5679    12708    55392 |    15692    12027     36 |  0.000 % |
300.20/300.26	c |     38735 |    5679    12708    55392 |    17261     9190     39 |  0.000 % |
301.80/301.86	c |     58197 |    5679    12708    55392 |    18987    11274     37 |  0.000 % |
304.40/304.44	c |     87391 |    5679    12708    55392 |    20886    11824     37 |  0.000 % |
308.80/308.88	c |    131180 |    5679    12708    55392 |    22974    13645     35 |  0.000 % |
315.39/315.44	c |    196864 |    5679    12708    55392 |    25272    21631     36 |  0.000 % |
326.30/326.33	c |    295392 |    5679    12708    55392 |    27799    12671     37 |  0.000 % |
342.20/342.24	c |    443181 |    5679    12708    55392 |    30579    19425     38 |  0.000 % |
367.60/367.62	c |    664867 |    5679    12708    55392 |    33637    19814     37 |  0.000 % |
407.90/407.99	c |    997394 |    5679    12708    55392 |    37001    19420     37 |  0.000 % |
459.11/459.15	c ===============================================================================
470.51/470.57	c core #5
470.51/470.57	c 
470.51/470.57	c 
470.51/470.57	c Core size: 2697	Core Weight: 1	Total Weight: 5
470.51/470.57	c Current CPU time: 463.746 s
470.51/470.57	c
470.51/470.57	c ============================[ Search Statistics ]==============================
470.51/470.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
470.51/470.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
470.51/470.57	c ===============================================================================
470.51/470.57	c |         0 |    7114    15159    67196 |     5053        0   -nan |  0.000 % |
470.51/470.59	c |       100 |    7114    15159    67196 |     5558      100     24 |  0.000 % |
470.51/470.59	c |       251 |    7114    15159    67196 |     6114      251     25 |  0.000 % |
470.60/470.60	c |       476 |    7114    15159    67196 |     6725      476     24 |  0.000 % |
470.60/470.61	c |       813 |    7114    15159    67196 |     7398      813     26 |  0.000 % |
470.60/470.64	c |      1319 |    7114    15159    67196 |     8137     1319     27 |  0.000 % |
470.60/470.67	c |      2080 |    7114    15159    67196 |     8951     2080     27 |  0.000 % |
470.70/470.73	c |      3220 |    7114    15159    67196 |     9846     3220     28 |  0.000 % |
470.81/470.83	c |      4932 |    7114    15159    67196 |    10831     4932     30 |  0.000 % |
471.01/471.02	c |      7494 |    7114    15159    67196 |    11914     7494     30 |  0.000 % |
471.20/471.28	c |     11339 |    7114    15159    67196 |    13106    11339     30 |  0.000 % |
471.60/471.69	c |     17105 |    7114    15159    67196 |    14416    10503     31 |  0.000 % |
472.40/472.47	c |     25754 |    7114    15159    67196 |    15858    11888     35 |  0.000 % |
473.60/473.63	c |     38728 |    7114    15159    67196 |    17444     8887     34 |  0.000 % |
475.40/475.40	c |     58192 |    7114    15159    67196 |    19188    10804     37 |  0.000 % |
478.20/478.29	c |     87384 |    7114    15159    67196 |    21107    11084     39 |  0.000 % |
482.81/482.80	c |    131174 |    7114    15159    67196 |    23218    12435     40 |  0.000 % |
489.71/489.70	c |    196860 |    7114    15159    67196 |    25540    19750     37 |  0.000 % |
501.00/501.06	c |    295386 |    7114    15159    67196 |    28094    23106     39 |  0.000 % |
517.40/517.42	c |    443176 |    7114    15159    67196 |    30903    27181     37 |  0.000 % |
528.21/528.29	c ===============================================================================
528.21/528.29	c #cores: 5
528.21/528.29	o 5
528.21/528.29	s OPTIMUM FOUND
528.21/528.29	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
528.21/528.29	c Total CPU time: 521.474 s

Verifier Data 

OK	5

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 /var/tmp/evaluation-result-3446644-1307906991/watcher-3446644-1307906991 -o /var/tmp/evaluation-result-3446644-1307906991/solver-3446644-1307906991 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446644-1307906991.wbo 

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.00 2.00 2/177 13684
/proc/meminfo: memFree=2710916/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=2204 CPUtime=0 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 320 0 0 0 0 0 0 0 24 0 1 0 883114979 2256896 271 33554432000 4194304 5714214 140733475758544 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 551 271 179 372 0 152 0

[startup+0.054226 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 13684
/proc/meminfo: memFree=2710916/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=3032 CPUtime=0.04 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 567 0 0 0 4 0 0 0 24 0 1 0 883114979 3104768 494 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 758 495 177 372 0 383 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3032

[startup+0.10023 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 13684
/proc/meminfo: memFree=2710916/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=3576 CPUtime=0.09 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 722 0 0 0 9 0 0 0 24 0 1 0 883114979 3661824 649 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 894 649 177 372 0 519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3576

[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 13684
/proc/meminfo: memFree=2710916/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=5828 CPUtime=0.29 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 1263 0 0 0 28 1 0 0 25 0 1 0 883114979 5967872 1190 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 1457 1191 177 372 0 1082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5828

[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 13684
/proc/meminfo: memFree=2710916/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=8084 CPUtime=0.69 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 1828 0 0 0 66 3 0 0 25 0 1 0 883114979 8278016 1755 33554432000 4194304 5714214 140733475758544 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 2021 1755 177 372 0 1646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8084

[startup+1.50097 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13685
/proc/meminfo: memFree=2692828/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=11520 CPUtime=1.49 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 2693 0 0 0 143 6 0 0 18 0 1 0 883114979 11796480 2620 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 2880 2620 177 372 0 2505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11520

[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13685
/proc/meminfo: memFree=2677076/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=17008 CPUtime=3.09 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 4058 0 0 0 298 11 0 0 19 0 1 0 883114979 17416192 3985 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 4252 3985 177 372 0 3877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17008

[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13685
/proc/meminfo: memFree=2653496/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=26636 CPUtime=6.29 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 6462 0 0 0 610 19 0 0 25 0 1 0 883114979 27275264 6389 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 6659 6389 177 372 0 6284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26636

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13685
/proc/meminfo: memFree=2636772/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=42680 CPUtime=12.69 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 10462 0 0 0 1234 35 0 0 25 0 1 0 883114979 43704320 10389 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 10670 10389 177 372 0 10295 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42680

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13723
/proc/meminfo: memFree=3101804/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=70540 CPUtime=25.5 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 17398 0 0 0 2492 58 0 0 25 0 1 0 883114979 72232960 17325 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 17635 17325 177 372 0 17260 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 70540

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13724
/proc/meminfo: memFree=2997660/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=122264 CPUtime=51.09 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 30289 0 0 0 5011 98 0 0 25 0 1 0 883114979 125198336 30216 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 30566 30216 177 372 0 30191 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122264

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13725
/proc/meminfo: memFree=2839772/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=188416 CPUtime=102.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 46922 0 0 0 10059 171 0 0 25 0 1 0 883114979 192937984 46783 33554432000 4194304 5714214 140733475758544 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 47104 46783 178 372 0 46729 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 188416

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13727
/proc/meminfo: memFree=2727752/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=199288 CPUtime=162.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 49680 0 0 0 15984 246 0 0 18 0 1 0 883114979 204070912 49541 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 49822 49541 178 372 0 49447 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 199288

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13728
/proc/meminfo: memFree=2626384/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=199288 CPUtime=222.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 49680 0 0 0 21907 323 0 0 25 0 1 0 883114979 204070912 49541 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 49822 49541 178 372 0 49447 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 199288

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13730
/proc/meminfo: memFree=2626336/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=199288 CPUtime=282.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 49680 0 0 0 27829 401 0 0 25 0 1 0 883114979 204070912 49541 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 49822 49541 178 372 0 49447 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 199288

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13732
/proc/meminfo: memFree=2625648/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=199288 CPUtime=342.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 49681 0 0 0 33758 472 0 0 25 0 1 0 883114979 204070912 49542 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 49822 49542 178 372 0 49447 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 199288

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13733
/proc/meminfo: memFree=2625360/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=199288 CPUtime=402.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 49681 0 0 0 39691 539 0 0 25 0 1 0 883114979 204070912 49542 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 49822 49542 178 372 0 49447 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 199288

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13735
/proc/meminfo: memFree=2514320/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=315364 CPUtime=462.31 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 78655 0 0 0 45621 610 0 0 25 0 1 0 883114979 322932736 78516 33554432000 4194304 5714214 140733475758544 18446744073709551615 4198412 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 78841 78517 178 372 0 78466 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 315364

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13736
/proc/meminfo: memFree=2485984/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=338724 CPUtime=522.3 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 84470 0 0 0 51555 675 0 0 25 0 1 0 883114979 346853376 84331 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 84681 84331 178 372 0 84306 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 338724

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

[startup+524.706 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13737
/proc/meminfo: memFree=2485860/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=338724 CPUtime=524.71 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 84470 0 0 0 51793 678 0 0 25 0 1 0 883114979 346853376 84331 33554432000 4194304 5714214 140733475758544 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 84681 84331 178 372 0 84306 0
Current children cumulated CPU time (s) 524.71
Current children cumulated vsize (KiB) 338724

[startup+526.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13737
/proc/meminfo: memFree=2485972/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=338724 CPUtime=526.31 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 84470 0 0 0 51950 681 0 0 25 0 1 0 883114979 346853376 84331 33554432000 4194304 5714214 140733475758544 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 84681 84331 178 372 0 84306 0
Current children cumulated CPU time (s) 526.31
Current children cumulated vsize (KiB) 338724

[startup+527.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13737
/proc/meminfo: memFree=2485972/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=338724 CPUtime=527.1 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 84470 0 0 0 52029 681 0 0 25 0 1 0 883114979 346853376 84331 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 84681 84331 178 372 0 84306 0
Current children cumulated CPU time (s) 527.1
Current children cumulated vsize (KiB) 338724

[startup+527.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13737
/proc/meminfo: memFree=2485972/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=338724 CPUtime=527.91 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202496 84470 0 0 0 52109 682 0 0 25 0 1 0 883114979 346853376 84331 33554432000 4194304 5714214 140733475758544 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/13684/statm: 84681 84331 178 372 0 84306 0
Current children cumulated CPU time (s) 527.91
Current children cumulated vsize (KiB) 338724

[startup+528.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13737
/proc/meminfo: memFree=2485972/32951124 swapFree=67054264/67111528
[pid=13684] ppid=13682 vsize=0 CPUtime=528.31 cores=1,3,5,7
/proc/13684/stat : 13684 (wbo1.6) R 13682 13684 12607 0 -1 4202500 84473 0 0 0 52147 684 0 0 18 0 1 0 883114979 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/13684/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 528.31
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 528.308
CPU time (s): 528.322
CPU user time (s): 521.474
CPU system time (s): 6.84796
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 338724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 521.474
system time used= 6.84796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 666

runsolver used 0.745886 second user time and 1.67274 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-12 21:29:51
IDJOB=3446644
IDBENCH=79309
IDSOLVER=1943
FILE ID=node145/3446644-1307906991
RUNJOBID= node145-1307903147-13158
PBS_JOBID= 13559605
Free space on /var/tmp= 2908 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3446644-1307906991/watcher-3446644-1307906991 -o /var/tmp/evaluation-result-3446644-1307906991/solver-3446644-1307906991 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446644-1307906991.wbo

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

MD5SUM BENCH= 14bc8800f159591dc4e79c8dbc089eb4
RANDOM SEED=621928837

node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.786
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2711716 kB
Buffers:         60692 kB
Cached:       28762124 kB
SwapCached:       9324 kB
Active:       14407836 kB
Inactive:     14924092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2711716 kB
SwapTotal:    67111528 kB
SwapFree:     67054264 kB
Dirty:            4316 kB
Writeback:           0 kB
AnonPages:      506968 kB
Mapped:          13600 kB
Slab:           841892 kB
PageTables:       5440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   696132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2904 MiB
End job on node145 at 2011-06-12 21:38:40