Trace number 3447012

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 129.685 129.682

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
MD5SUMc3adda683c0d048bf44386b3ccfc9e41
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark17.6543
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 779
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-3447012-1307905683.wbo.
0.00/0.00	c Instance file HOME/instance-3447012-1307905683.wbo
0.00/0.00	c File size is 92402 bytes.
0.00/0.00	c Highest Coefficient sum: 779
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     21 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     19 |  0.002 % |
0.00/0.01	c |       477 |     231     2707     8338 |     6655      477     23 |  0.002 % |
0.00/0.02	c |       814 |     231     2707     8338 |     7320      814     22 |  0.002 % |
0.00/0.03	c |      1320 |     231     2707     8338 |     8052     1320     25 |  0.002 % |
0.03/0.04	c |      2079 |     231     2707     8338 |     8857     2079     26 |  0.002 % |
0.03/0.07	c |      3219 |     231     2707     8338 |     9743     3219     26 |  0.002 % |
0.09/0.13	c |      4927 |     231     2707     8338 |    10717     4927     29 |  0.002 % |
0.19/0.23	c |      7492 |     231     2707     8338 |    11789     7492     31 |  0.002 % |
0.39/0.41	c |     11339 |     231     2707     8338 |    12968    11339     33 |  0.002 % |
0.69/0.72	c |     17107 |     231     2707     8338 |    14265    10579     34 |  0.002 % |
1.09/1.19	c |     25759 |     231     2707     8338 |    15692    12073     30 |  0.002 % |
1.49/1.56	c ===============================================================================
1.59/1.68	c core #1
1.59/1.68	c 
1.59/1.68	c 
1.59/1.68	c Core size: 1552	Core Weight: 1	Total Weight: 1
1.59/1.68	c Current CPU time: 1.64875 s
1.59/1.68	c
1.59/1.68	c ============================[ Search Statistics ]==============================
1.59/1.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.68	c ===============================================================================
1.59/1.68	c |         0 |    1135     4231    15595 |     5000        0   -nan |  0.000 % |
1.59/1.68	c |       101 |    1135     4231    15595 |     5500      101     29 |  0.000 % |
1.59/1.69	c |       253 |    1135     4231    15595 |     6050      253     26 |  0.000 % |
1.59/1.69	c |       478 |    1135     4231    15595 |     6655      478     26 |  0.000 % |
1.69/1.70	c |       815 |    1135     4231    15595 |     7320      815     27 |  0.000 % |
1.69/1.71	c |      1322 |    1135     4231    15595 |     8052     1322     28 |  0.000 % |
1.69/1.73	c |      2081 |    1135     4231    15595 |     8857     2081     26 |  0.000 % |
1.69/1.77	c |      3220 |    1135     4231    15595 |     9743     3220     26 |  0.000 % |
1.79/1.83	c |      4929 |    1135     4231    15595 |    10717     4929     28 |  0.000 % |
1.89/1.94	c |      7491 |    1135     4231    15595 |    11789     7491     28 |  0.000 % |
2.09/2.11	c |     11336 |    1135     4231    15595 |    12968    11336     31 |  0.000 % |
2.39/2.41	c |     17103 |    1135     4231    15595 |    14265    10587     35 |  0.000 % |
2.89/2.96	c |     25752 |    1135     4231    15595 |    15692    12061     38 |  0.000 % |
3.69/3.77	c |     38727 |    1135     4231    15595 |    17261     9284     33 |  0.000 % |
4.99/5.02	c |     58188 |    1135     4231    15595 |    18987    11399     32 |  0.000 % |
6.89/6.97	c |     87381 |    1135     4231    15595 |    20886    12007     31 |  0.000 % |
7.49/7.52	c ===============================================================================
7.89/7.99	c core #2
7.89/7.99	c 
7.89/7.99	c 
7.89/7.99	c Core size: 1598	Core Weight: 1	Total Weight: 2
7.89/7.99	c Current CPU time: 7.85281 s
7.89/7.99	c
7.89/7.99	c ============================[ Search Statistics ]==============================
7.89/7.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.89/7.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.89/7.99	c ===============================================================================
7.89/7.99	c |         0 |    2042     5798    23040 |     5000        0   -nan |  0.000 % |
7.89/7.99	c |       100 |    2042     5798    23040 |     5500      100     17 |  0.000 % |
7.89/7.99	c |       251 |    2042     5798    23040 |     6050      251     21 |  0.000 % |
7.99/8.00	c |       481 |    2042     5798    23040 |     6655      481     27 |  0.000 % |
7.99/8.01	c |       819 |    2042     5798    23040 |     7320      819     26 |  0.000 % |
7.99/8.02	c |      1327 |    2042     5798    23040 |     8052     1327     27 |  0.000 % |
7.99/8.05	c |      2087 |    2042     5798    23040 |     8857     2087     28 |  0.000 % |
7.99/8.09	c |      3226 |    2042     5798    23040 |     9743     3226     29 |  0.000 % |
8.09/8.17	c |      4934 |    2042     5798    23040 |    10717     4934     34 |  0.000 % |
8.19/8.28	c |      7497 |    2042     5798    23040 |    11789     7497     32 |  0.000 % |
8.39/8.48	c |     11341 |    2042     5798    23040 |    12968    11341     33 |  0.000 % |
8.80/8.82	c |     17109 |    2042     5798    23040 |    14265    10573     36 |  0.000 % |
9.39/9.46	c |     25758 |    2042     5798    23040 |    15692    12040     38 |  0.000 % |
10.29/10.36	c |     38733 |    2042     5798    23040 |    17261     9234     35 |  0.000 % |
11.69/11.70	c |     58194 |    2042     5798    23040 |    18987    11337     36 |  0.000 % |
13.99/14.07	c |     87386 |    2042     5798    23040 |    20886    11939     36 |  0.000 % |
15.19/15.21	c ===============================================================================
15.69/15.74	c core #3
15.69/15.74	c 
15.69/15.74	c 
15.69/15.74	c Core size: 1693	Core Weight: 1	Total Weight: 3
15.69/15.74	c Current CPU time: 15.5316 s
15.69/15.74	c
15.69/15.74	c ============================[ Search Statistics ]==============================
15.69/15.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.69/15.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.69/15.74	c ===============================================================================
15.69/15.74	c |         0 |    2965     7435    30799 |     5000        0   -nan |  0.000 % |
15.69/15.74	c |       101 |    2965     7435    30799 |     5500      101     27 |  0.000 % |
15.69/15.75	c |       252 |    2965     7435    30799 |     6050      252     27 |  0.000 % |
15.69/15.76	c |       477 |    2965     7435    30799 |     6655      477     28 |  0.000 % |
15.69/15.77	c |       815 |    2965     7435    30799 |     7320      815     24 |  0.000 % |
15.69/15.78	c |      1322 |    2965     7435    30799 |     8052     1322     26 |  0.000 % |
15.79/15.81	c |      2082 |    2965     7435    30799 |     8857     2082     29 |  0.000 % |
15.79/15.85	c |      3223 |    2965     7435    30799 |     9743     3223     30 |  0.000 % |
15.89/15.92	c |      4932 |    2965     7435    30799 |    10717     4932     31 |  0.000 % |
16.00/16.03	c |      7494 |    2965     7435    30799 |    11789     7494     31 |  0.000 % |
16.19/16.22	c |     11339 |    2965     7435    30799 |    12968    11339     31 |  0.000 % |
16.50/16.56	c |     17106 |    2965     7435    30799 |    14265    10582     34 |  0.000 % |
17.10/17.15	c |     25756 |    2965     7435    30799 |    15692    12041     35 |  0.000 % |
17.99/18.07	c |     38731 |    2965     7435    30799 |    17261     9218     38 |  0.000 % |
19.39/19.41	c |     58193 |    2965     7435    30799 |    18987    11360     36 |  0.000 % |
21.39/21.48	c |     87388 |    2965     7435    30799 |    20886    11960     35 |  0.000 % |
25.09/25.20	c |    131177 |    2965     7435    30799 |    22974    13789     36 |  0.000 % |
28.99/29.00	c ===============================================================================
29.89/29.98	c core #4
29.89/29.98	c 
29.89/29.98	c 
29.89/29.98	c Core size: 1725	Core Weight: 1	Total Weight: 4
29.89/29.98	c Current CPU time: 29.6075 s
29.89/29.98	c
29.89/29.98	c ============================[ Search Statistics ]==============================
29.89/29.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.89/29.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.89/29.98	c ===============================================================================
29.89/29.98	c |         0 |    3898     9066    38572 |     5000        0   -nan |  0.000 % |
29.89/29.98	c |       100 |    3898     9066    38572 |     5500      100     22 |  0.000 % |
29.89/29.99	c |       251 |    3898     9066    38572 |     6050      251     25 |  0.000 % |
29.89/29.99	c |       476 |    3898     9066    38572 |     6655      476     24 |  0.000 % |
29.99/30.00	c |       815 |    3898     9066    38572 |     7320      815     27 |  0.000 % |
29.99/30.02	c |      1321 |    3898     9066    38572 |     8052     1321     27 |  0.000 % |
29.99/30.05	c |      2083 |    3898     9066    38572 |     8857     2083     29 |  0.000 % |
29.99/30.10	c |      3222 |    3898     9066    38572 |     9743     3222     30 |  0.000 % |
30.10/30.17	c |      4930 |    3898     9066    38572 |    10717     4930     31 |  0.000 % |
30.19/30.27	c |      7492 |    3898     9066    38572 |    11789     7492     30 |  0.000 % |
30.49/30.51	c |     11336 |    3898     9066    38572 |    12968    11336     32 |  0.000 % |
30.79/30.86	c |     17103 |    3898     9066    38572 |    14265    10572     34 |  0.000 % |
31.39/31.46	c |     25752 |    3898     9066    38572 |    15692    12042     37 |  0.000 % |
32.39/32.50	c |     38727 |    3898     9066    38572 |    17261     9240     37 |  0.000 % |
33.79/33.87	c |     58188 |    3898     9066    38572 |    18987    11351     34 |  0.000 % |
36.09/36.16	c |     87380 |    3898     9066    38572 |    20886    11927     35 |  0.000 % |
39.49/39.53	c |    131173 |    3898     9066    38572 |    22974    13758     36 |  0.000 % |
44.59/44.62	c |    196857 |    3898     9066    38572 |    25272    21817     34 |  0.000 % |
45.00/45.04	c ===============================================================================
46.09/46.19	c core #5
46.09/46.19	c 
46.09/46.19	c 
46.09/46.19	c Core size: 1749	Core Weight: 1	Total Weight: 5
46.09/46.19	c Current CPU time: 45.6391 s
46.09/46.19	c
46.09/46.19	c ============================[ Search Statistics ]==============================
46.09/46.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.09/46.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.09/46.19	c ===============================================================================
46.09/46.19	c |         0 |    4859    10675    46339 |     5000        0   -nan |  0.000 % |
46.09/46.20	c |       100 |    4859    10675    46339 |     5500      100     25 |  0.000 % |
46.19/46.20	c |       251 |    4859    10675    46339 |     6050      251     27 |  0.000 % |
46.19/46.21	c |       477 |    4859    10675    46339 |     6655      477     26 |  0.000 % |
46.19/46.22	c |       818 |    4859    10675    46339 |     7320      818     28 |  0.000 % |
46.19/46.24	c |      1326 |    4859    10675    46339 |     8052     1326     28 |  0.000 % |
46.19/46.27	c |      2085 |    4859    10675    46339 |     8857     2085     28 |  0.000 % |
46.30/46.33	c |      3224 |    4859    10675    46339 |     9743     3224     29 |  0.000 % |
46.40/46.42	c |      4932 |    4859    10675    46339 |    10717     4932     31 |  0.000 % |
46.50/46.56	c |      7494 |    4859    10675    46339 |    11789     7494     33 |  0.000 % |
46.79/46.83	c |     11338 |    4859    10675    46339 |    12968    11338     33 |  0.000 % |
47.20/47.29	c |     17105 |    4859    10675    46339 |    14265    10572     35 |  0.000 % |
47.89/47.99	c |     25754 |    4859    10675    46339 |    15692    12051     37 |  0.000 % |
48.89/48.98	c |     38730 |    4859    10675    46339 |    17261     9238     37 |  0.000 % |
50.39/50.44	c |     58191 |    4859    10675    46339 |    18987    11342     33 |  0.000 % |
52.70/52.80	c |     87386 |    4859    10675    46339 |    20886    11914     33 |  0.000 % |
56.39/56.45	c |    131175 |    4859    10675    46339 |    22974    13753     35 |  0.000 % |
62.00/62.07	c |    196859 |    4859    10675    46339 |    25272    21810     37 |  0.000 % |
69.90/69.90	c ===============================================================================
71.50/71.57	c core #6
71.50/71.57	c 
71.50/71.57	c 
71.50/71.57	c Core size: 1827	Core Weight: 1	Total Weight: 6
71.50/71.57	c Current CPU time: 70.7662 s
71.50/71.57	c
71.50/71.57	c ============================[ Search Statistics ]==============================
71.50/71.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
71.50/71.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
71.50/71.57	c ===============================================================================
71.50/71.57	c |         0 |    5858    12291    54239 |     5000        0   -nan |  0.000 % |
71.50/71.58	c |       100 |    5858    12291    54239 |     5500      100     21 |  0.000 % |
71.50/71.58	c |       250 |    5858    12291    54239 |     6050      250     29 |  0.000 % |
71.50/71.59	c |       475 |    5858    12291    54239 |     6655      475     32 |  0.000 % |
71.60/71.61	c |       812 |    5858    12291    54239 |     7320      812     31 |  0.000 % |
71.60/71.63	c |      1319 |    5858    12291    54239 |     8052     1319     29 |  0.000 % |
71.60/71.66	c |      2078 |    5858    12291    54239 |     8857     2078     30 |  0.000 % |
71.70/71.71	c |      3217 |    5858    12291    54239 |     9743     3217     31 |  0.000 % |
71.70/71.80	c |      4925 |    5858    12291    54239 |    10717     4925     31 |  0.000 % |
71.89/71.95	c |      7487 |    5858    12291    54239 |    11789     7487     31 |  0.000 % |
72.09/72.17	c |     11332 |    5858    12291    54239 |    12968    11332     32 |  0.000 % |
72.50/72.58	c |     17099 |    5858    12291    54239 |    14265    10576     37 |  0.000 % |
73.09/73.17	c |     25749 |    5858    12291    54239 |    15692    12043     34 |  0.000 % |
74.00/74.04	c |     38723 |    5858    12291    54239 |    17261     9215     33 |  0.000 % |
75.49/75.51	c |     58184 |    5858    12291    54239 |    18987    11325     38 |  0.000 % |
77.89/77.98	c |     87376 |    5858    12291    54239 |    20886    11887     37 |  0.000 % |
81.79/81.87	c |    131168 |    5858    12291    54239 |    22974    13741     39 |  0.000 % |
87.69/87.75	c |    196852 |    5858    12291    54239 |    25272    21735     39 |  0.000 % |
96.80/96.86	c |    295380 |    5858    12291    54239 |    27799    17586     38 |  0.000 % |
110.89/110.99	c ===============================================================================
113.69/113.70	c core #7
113.69/113.70	c 
113.69/113.70	c 
113.69/113.70	c Core size: 1821	Core Weight: 1	Total Weight: 7
113.69/113.70	c Current CPU time: 112.484 s
113.69/113.70	c
113.69/113.70	c ============================[ Search Statistics ]==============================
113.69/113.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
113.69/113.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
113.69/113.70	c ===============================================================================
113.69/113.70	c |         0 |    6875    13892    62107 |     5000        0   -nan |  0.000 % |
113.69/113.71	c |       100 |    6875    13892    62107 |     5500      100     33 |  0.000 % |
113.69/113.72	c |       254 |    6875    13892    62107 |     6050      254     26 |  0.000 % |
113.69/113.73	c |       479 |    6875    13892    62107 |     6655      479     26 |  0.000 % |
113.69/113.74	c |       816 |    6875    13892    62107 |     7320      816     29 |  0.000 % |
113.69/113.77	c |      1324 |    6875    13892    62107 |     8052     1324     28 |  0.000 % |
113.80/113.80	c |      2086 |    6875    13892    62107 |     8857     2086     29 |  0.000 % |
113.80/113.86	c |      3225 |    6875    13892    62107 |     9743     3225     29 |  0.000 % |
113.90/113.95	c |      4933 |    6875    13892    62107 |    10717     4933     30 |  0.000 % |
114.10/114.10	c |      7495 |    6875    13892    62107 |    11789     7495     29 |  0.000 % |
114.30/114.37	c |     11340 |    6875    13892    62107 |    12968    11340     30 |  0.000 % |
114.69/114.71	c |     17108 |    6875    13892    62107 |    14265    10583     29 |  0.000 % |
115.30/115.37	c |     25757 |    6875    13892    62107 |    15692    12061     33 |  0.000 % |
116.39/116.43	c |     38732 |    6875    13892    62107 |    17261     9267     33 |  0.000 % |
117.89/117.95	c |     58196 |    6875    13892    62107 |    18987    11370     32 |  0.000 % |
120.20/120.25	c |     87388 |    6875    13892    62107 |    20886    11946     32 |  0.000 % |
123.80/123.82	c |    131177 |    6875    13892    62107 |    22974    13763     36 |  0.000 % |
129.59/129.67	c ===============================================================================
129.59/129.67	c #cores: 7
129.59/129.67	o 7
129.59/129.67	s OPTIMUM FOUND
129.59/129.67	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
129.59/129.67	c Total CPU time: 128.533 s

Verifier Data 

OK	7

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 29597
/proc/meminfo: memFree=1554940/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=2200 CPUtime=0 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 322 0 0 0 0 0 0 0 25 0 1 0 882983912 2252800 273 33554432000 4194304 5714214 140736935005456 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 550 273 179 372 0 152 0

[startup+0.0378969 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 29597
/proc/meminfo: memFree=1554940/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=2636 CPUtime=0.03 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 494 0 0 0 3 0 0 0 25 0 1 0 882983912 2699264 422 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 659 422 177 372 0 284 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2636

[startup+0.100926 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 29597
/proc/meminfo: memFree=1554940/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=3500 CPUtime=0.09 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 710 0 0 0 9 0 0 0 25 0 1 0 882983912 3584000 638 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 908 639 177 372 0 533 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3500

[startup+0.300876 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 29597
/proc/meminfo: memFree=1554940/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=5572 CPUtime=0.29 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 1197 0 0 0 29 0 0 0 25 0 1 0 882983912 5705728 1125 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 1393 1125 177 372 0 1018 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5572

[startup+0.700811 s]
/proc/loadavg: 2.00 2.00 1.96 3/174 29597
/proc/meminfo: memFree=1554940/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=7432 CPUtime=0.69 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 1667 0 0 0 68 1 0 0 25 0 1 0 882983912 7610368 1595 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 1858 1595 177 372 0 1483 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7432

[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29598
/proc/meminfo: memFree=1542060/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=10692 CPUtime=1.49 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 2470 0 0 0 147 2 0 0 25 0 1 0 882983912 10948608 2398 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 2673 2398 177 372 0 2298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10692

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29598
/proc/meminfo: memFree=1534856/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=12036 CPUtime=3.09 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 2851 0 0 0 305 4 0 0 25 0 1 0 882983912 12324864 2748 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 3009 2748 178 372 0 2634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12036

[startup+6.30074 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29598
/proc/meminfo: memFree=1521492/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=20136 CPUtime=6.29 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 4859 0 0 0 621 8 0 0 25 0 1 0 882983912 20619264 4756 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 5034 4756 178 372 0 4659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20136

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29598
/proc/meminfo: memFree=1497948/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=27976 CPUtime=12.69 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 6859 0 0 0 1256 13 0 0 25 0 1 0 882983912 28647424 6718 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 6994 6718 178 372 0 6619 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27976

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29598
/proc/meminfo: memFree=1473912/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=30904 CPUtime=25.49 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 7617 0 0 0 2524 25 0 0 25 0 1 0 882983912 31645696 7476 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 7726 7476 178 372 0 7351 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30904

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29599
/proc/meminfo: memFree=1416180/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=51340 CPUtime=51.09 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 12702 0 0 0 5059 50 0 0 25 0 1 0 882983912 52572160 12561 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 12835 12561 178 372 0 12460 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 51340

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29600
/proc/meminfo: memFree=1323388/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=69632 CPUtime=102.3 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 17300 0 0 0 10138 92 0 0 25 0 1 0 882983912 71303168 17159 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 17408 17159 178 372 0 17033 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 69632

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

[startup+115.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1271420/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=115.1 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26078 0 0 0 11408 102 0 0 25 0 1 0 882983912 107528192 25937 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25937 178 372 0 25877 0
Current children cumulated CPU time (s) 115.1
Current children cumulated vsize (KiB) 105008

[startup+121.501 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1263712/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=121.5 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26078 0 0 0 12042 108 0 0 25 0 1 0 882983912 107528192 25937 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25937 178 372 0 25877 0
Current children cumulated CPU time (s) 121.5
Current children cumulated vsize (KiB) 105008

[startup+124.7 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1258004/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=124.7 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26081 0 0 0 12359 111 0 0 25 0 1 0 882983912 107528192 25940 33554432000 4194304 5714214 140736935005456 18446744073709551615 4300080 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25940 178 372 0 25877 0
Current children cumulated CPU time (s) 124.7
Current children cumulated vsize (KiB) 105008

[startup+127.901 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1254904/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=127.9 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26083 0 0 0 12677 113 0 0 25 0 1 0 882983912 107528192 25942 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25942 178 372 0 25877 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 105008

[startup+128.707 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1252300/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=128.7 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26083 0 0 0 12757 113 0 0 25 0 1 0 882983912 107528192 25942 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25942 178 372 0 25877 0
Current children cumulated CPU time (s) 128.7
Current children cumulated vsize (KiB) 105008

[startup+129.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1252300/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=129.09 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26083 0 0 0 12796 113 0 0 25 0 1 0 882983912 107528192 25942 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25942 178 372 0 25877 0
Current children cumulated CPU time (s) 129.09
Current children cumulated vsize (KiB) 105008

[startup+129.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1252300/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=129.49 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26083 0 0 0 12835 114 0 0 25 0 1 0 882983912 107528192 25942 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25942 178 372 0 25877 0
Current children cumulated CPU time (s) 129.49
Current children cumulated vsize (KiB) 105008

[startup+129.6 s]
/proc/loadavg: 2.00 2.00 1.96 3/175 29601
/proc/meminfo: memFree=1252300/32951124 swapFree=67064576/67111528
[pid=29597] ppid=29595 vsize=105008 CPUtime=129.59 cores=0,2,4,6
/proc/29597/stat : 29597 (wbo1.6) R 29595 29597 28722 0 -1 4202496 26083 0 0 0 12845 114 0 0 25 0 1 0 882983912 107528192 25942 33554432000 4194304 5714214 140736935005456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29597/statm: 26252 25942 178 372 0 25877 0
Current children cumulated CPU time (s) 129.59
Current children cumulated vsize (KiB) 105008

Child status: 0
Real time (s): 129.682
CPU time (s): 129.685
CPU user time (s): 128.533
CPU system time (s): 1.15182
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 105008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.533
system time used= 1.15182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26086
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= 4
involuntary context switches= 154

runsolver used 0.188971 second user time and 0.414936 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 21:08:03
IDJOB=3447012
IDBENCH=78913
IDSOLVER=1943
FILE ID=node141/3447012-1307905683
RUNJOBID= node141-1307903881-29434
PBS_JOBID= 13559567
Free space on /var/tmp= 2908 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552423--soft-33-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-3447012-1307905683/watcher-3447012-1307905683 -o /var/tmp/evaluation-result-3447012-1307905683/solver-3447012-1307905683 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447012-1307905683.wbo

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

MD5SUM BENCH= c3adda683c0d048bf44386b3ccfc9e41
RANDOM SEED=543361587

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.82
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.806
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.75
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.806
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.84
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.806
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.75
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.806
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.75
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1555236 kB
Buffers:         55684 kB
Cached:       30374724 kB
SwapCached:       8816 kB
Active:       15195316 kB
Inactive:     15252980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1555236 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:            8568 kB
Writeback:           0 kB
AnonPages:       15292 kB
Mapped:          10876 kB
Slab:           884656 kB
PageTables:       3028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   175672 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 node141 at 2011-06-12 21:10:13