Trace number 3447118

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 719.936 719.923

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo
MD5SUM125243b279b6e24b77d57dd07a5f7014
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark59.058
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 constraints937
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 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 815
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-3447118-1307906018.wbo.
0.00/0.00	c Instance file HOME/instance-3447118-1307906018.wbo
0.00/0.00	c File size is 88060 bytes.
0.00/0.00	c Highest Coefficient sum: 815
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.01	c |       100 |     231     2707     8338 |     5500      100     19 |  0.002 % |
0.00/0.01	c |       250 |     231     2707     8338 |     6050      250     24 |  0.002 % |
0.00/0.01	c |       476 |     231     2707     8338 |     6655      476     28 |  0.002 % |
0.02/0.02	c |       814 |     231     2707     8338 |     7320      814     26 |  0.002 % |
0.02/0.03	c |      1320 |     231     2707     8338 |     8052     1320     24 |  0.002 % |
0.02/0.05	c |      2079 |     231     2707     8338 |     8857     2079     27 |  0.002 % |
0.02/0.08	c |      3218 |     231     2707     8338 |     9743     3218     26 |  0.002 % |
0.08/0.13	c |      4928 |     231     2707     8338 |    10717     4928     28 |  0.002 % |
0.19/0.21	c |      7491 |     231     2707     8338 |    11789     7491     29 |  0.002 % |
0.29/0.36	c |     11338 |     231     2707     8338 |    12968    11338     31 |  0.002 % |
0.58/0.64	c |     17104 |     231     2707     8338 |    14265    10578     34 |  0.002 % |
0.99/1.03	c |     25753 |     231     2707     8338 |    15692    12038     33 |  0.002 % |
1.78/1.81	c |     38728 |     231     2707     8338 |    17261     9209     36 |  0.002 % |
2.89/2.98	c |     58189 |     231     2707     8338 |    18987    11312     34 |  0.002 % |
4.89/4.98	c |     87384 |     231     2707     8338 |    20886    11860     36 |  0.002 % |
7.88/7.94	c |    131173 |     231     2707     8338 |    22974    13666     35 |  0.002 % |
13.29/13.34	c |    196859 |     231     2707     8338 |    25272    21683     37 |  0.002 % |
21.69/21.73	c |    295386 |     231     2707     8338 |    27799    15603     37 |  0.002 % |
34.89/34.90	c |    443175 |     231     2707     8338 |    30579    25511     35 |  0.002 % |
41.58/41.62	c ===============================================================================
44.59/44.68	c core #1
44.59/44.68	c 
44.59/44.68	c 
44.59/44.68	c Core size: 901	Core Weight: 1	Total Weight: 1
44.59/44.68	c Current CPU time: 43.7244 s
44.59/44.68	c
44.59/44.68	c ============================[ Search Statistics ]==============================
44.59/44.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
44.59/44.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
44.59/44.68	c ===============================================================================
44.59/44.68	c |         0 |     718     3590    12553 |     5000        0   -nan |  0.000 % |
44.59/44.68	c |       100 |     718     3590    12553 |     5500      100     16 |  0.000 % |
44.59/44.68	c |       250 |     718     3590    12553 |     6050      250     16 |  0.000 % |
44.59/44.69	c |       475 |     718     3590    12553 |     6655      475     19 |  0.000 % |
44.59/44.69	c |       813 |     718     3590    12553 |     7320      813     20 |  0.000 % |
44.69/44.70	c |      1319 |     718     3590    12553 |     8052     1319     24 |  0.000 % |
44.69/44.72	c |      2080 |     718     3590    12553 |     8857     2080     26 |  0.000 % |
44.69/44.75	c |      3221 |     718     3590    12553 |     9743     3221     27 |  0.000 % |
44.79/44.81	c |      4930 |     718     3590    12553 |    10717     4930     28 |  0.000 % |
44.79/44.89	c |      7492 |     718     3590    12553 |    11789     7492     28 |  0.000 % |
44.99/45.05	c |     11337 |     718     3590    12553 |    12968    11337     29 |  0.000 % |
45.29/45.33	c |     17104 |     718     3590    12553 |    14265    10593     33 |  0.000 % |
45.69/45.77	c |     25755 |     718     3590    12553 |    15692    12058     33 |  0.000 % |
46.38/46.46	c |     38729 |     718     3590    12553 |    17261     9242     34 |  0.000 % |
47.59/47.60	c |     58191 |     718     3590    12553 |    18987    11338     33 |  0.000 % |
49.49/49.51	c |     87385 |     718     3590    12553 |    20886    11909     32 |  0.000 % |
52.39/52.42	c |    131178 |     718     3590    12553 |    22974    13746     34 |  0.000 % |
57.29/57.31	c |    196863 |     718     3590    12553 |    25272    21748     35 |  0.000 % |
66.39/66.42	c |    295389 |     718     3590    12553 |    27799    15635     37 |  0.000 % |
79.99/80.08	c |    443178 |     717     3590    12553 |    30579    27351     38 |  0.139 % |
86.99/87.00	c ===============================================================================
89.99/90.05	c core #2
89.99/90.05	c 
89.99/90.05	c 
89.99/90.05	c Core size: 885	Core Weight: 1	Total Weight: 2
89.99/90.05	c Current CPU time: 88.4186 s
89.99/90.05	c
89.99/90.05	c ============================[ Search Statistics ]==============================
89.99/90.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.99/90.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.99/90.05	c ===============================================================================
89.99/90.05	c |         0 |    1200     4438    16625 |     5000        0   -nan |  0.000 % |
89.99/90.06	c |       101 |    1200     4438    16625 |     5500      101     21 |  0.000 % |
89.99/90.06	c |       251 |    1200     4438    16625 |     6050      251     24 |  0.000 % |
89.99/90.07	c |       479 |    1200     4438    16625 |     6655      479     26 |  0.000 % |
89.99/90.08	c |       816 |    1200     4438    16625 |     7320      816     27 |  0.000 % |
89.99/90.09	c |      1322 |    1200     4438    16625 |     8052     1322     27 |  0.000 % |
90.09/90.11	c |      2081 |    1200     4438    16625 |     8857     2081     29 |  0.000 % |
90.09/90.15	c |      3224 |    1200     4438    16625 |     9743     3224     28 |  0.000 % |
90.20/90.21	c |      4933 |    1200     4438    16625 |    10717     4933     28 |  0.000 % |
90.29/90.32	c |      7496 |    1200     4438    16625 |    11789     7496     29 |  0.000 % |
90.49/90.51	c |     11340 |    1200     4438    16625 |    12968    11340     30 |  0.000 % |
90.79/90.82	c |     17106 |    1200     4438    16625 |    14265    10565     32 |  0.000 % |
91.19/91.28	c |     25756 |    1200     4438    16625 |    15692    12039     33 |  0.000 % |
91.99/92.02	c |     38730 |    1200     4438    16625 |    17261     9223     32 |  0.000 % |
93.09/93.17	c |     58193 |    1200     4438    16625 |    18987    11315     31 |  0.000 % |
94.99/95.08	c |     87387 |    1200     4438    16625 |    20886    11879     37 |  0.000 % |
98.39/98.42	c |    131177 |    1200     4438    16625 |    22974    13702     36 |  0.000 % |
103.89/103.91	c |    196862 |    1200     4438    16625 |    25272    21713     36 |  0.000 % |
112.69/112.75	c |    295388 |    1200     4438    16625 |    27799    17118     36 |  0.000 % |
125.09/125.16	c ===============================================================================
127.60/127.60	c core #3
127.60/127.60	c 
127.60/127.60	c 
127.60/127.60	c Core size: 886	Core Weight: 1	Total Weight: 3
127.60/127.60	c Current CPU time: 125.403 s
127.60/127.60	c
127.60/127.60	c ============================[ Search Statistics ]==============================
127.60/127.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
127.60/127.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
127.60/127.60	c ===============================================================================
127.60/127.60	c |         0 |    1685     5302    20775 |     5000        0   -nan |  0.000 % |
127.60/127.61	c |       100 |    1685     5302    20775 |     5500      100     28 |  0.000 % |
127.60/127.61	c |       250 |    1685     5302    20775 |     6050      250     25 |  0.000 % |
127.60/127.62	c |       476 |    1685     5302    20775 |     6655      476     26 |  0.000 % |
127.60/127.62	c |       814 |    1685     5302    20775 |     7320      814     29 |  0.000 % |
127.60/127.64	c |      1320 |    1685     5302    20775 |     8052     1320     30 |  0.000 % |
127.60/127.66	c |      2080 |    1685     5302    20775 |     8857     2080     30 |  0.000 % |
127.69/127.70	c |      3221 |    1685     5302    20775 |     9743     3221     28 |  0.000 % |
127.69/127.76	c |      4929 |    1685     5302    20775 |    10717     4929     27 |  0.000 % |
127.79/127.86	c |      7491 |    1685     5302    20775 |    11789     7491     29 |  0.000 % |
127.99/128.03	c |     11338 |    1685     5302    20775 |    12968    11338     29 |  0.000 % |
128.29/128.30	c |     17105 |    1685     5302    20775 |    14265    10572     30 |  0.000 % |
128.70/128.79	c |     25755 |    1685     5302    20775 |    15692    12028     34 |  0.000 % |
129.59/129.61	c |     38730 |    1685     5302    20775 |    17261     9201     35 |  0.000 % |
130.79/130.88	c |     58193 |    1685     5302    20775 |    18987    11324     36 |  0.000 % |
132.80/132.80	c |     87385 |    1685     5302    20775 |    20886    11878     36 |  0.000 % |
136.59/136.63	c |    131174 |    1685     5302    20775 |    22974    13715     39 |  0.000 % |
142.29/142.32	c |    196858 |    1685     5302    20775 |    25272    21712     36 |  0.000 % |
150.89/150.96	c |    295384 |    1685     5302    20775 |    27799    15244     35 |  0.000 % |
163.80/163.88	c |    443174 |    1664     5302    20775 |    30579    24057     35 |  1.246 % |
164.29/164.34	c ===============================================================================
166.89/166.97	c core #4
166.89/166.97	c 
166.89/166.97	c 
166.89/166.97	c Core size: 908	Core Weight: 1	Total Weight: 4
166.89/166.97	c Current CPU time: 164.14 s
166.89/166.97	c
166.89/166.97	c ============================[ Search Statistics ]==============================
166.89/166.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
166.89/166.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
166.89/166.97	c ===============================================================================
166.89/166.97	c |         0 |    2177     6142    24862 |     5000        0   -nan |  0.000 % |
166.89/166.97	c |       102 |    2177     6142    24862 |     5500      102     31 |  0.000 % |
166.89/166.98	c |       252 |    2177     6142    24862 |     6050      252     31 |  0.000 % |
166.89/166.98	c |       477 |    2177     6142    24862 |     6655      477     28 |  0.000 % |
166.89/166.99	c |       819 |    2177     6142    24862 |     7320      819     27 |  0.000 % |
166.99/167.00	c |      1330 |    2177     6142    24862 |     8052     1330     28 |  0.000 % |
166.99/167.03	c |      2091 |    2177     6142    24862 |     8857     2091     31 |  0.000 % |
166.99/167.07	c |      3230 |    2177     6142    24862 |     9743     3230     30 |  0.000 % |
167.09/167.13	c |      4938 |    2177     6142    24862 |    10717     4938     30 |  0.000 % |
167.20/167.25	c |      7501 |    2177     6142    24862 |    11789     7501     30 |  0.000 % |
167.39/167.44	c |     11346 |    2177     6142    24862 |    12968    11346     30 |  0.000 % |
167.69/167.74	c |     17113 |    2177     6142    24862 |    14265    10563     30 |  0.000 % |
168.20/168.21	c |     25764 |    2177     6142    24862 |    15692    12027     33 |  0.000 % |
168.99/169.06	c |     38738 |    2177     6142    24862 |    17261     9205     35 |  0.000 % |
170.20/170.21	c |     58203 |    2177     6142    24862 |    18987    11297     33 |  0.000 % |
172.19/172.27	c |     87398 |    2177     6142    24862 |    20886    11858     34 |  0.000 % |
175.49/175.56	c |    131187 |    2177     6142    24862 |    22974    13676     36 |  0.000 % |
181.19/181.23	c |    196871 |    2177     6142    24862 |    25272    21665     37 |  0.000 % |
189.89/189.99	c |    295397 |    2177     6142    24862 |    27799    15090     35 |  0.000 % |
203.59/203.60	c |    443186 |    2177     6142    24862 |    30579    23189     36 |  0.000 % |
214.89/214.99	c ===============================================================================
218.19/218.22	c core #5
218.19/218.22	c 
218.19/218.22	c 
218.19/218.22	c Core size: 895	Core Weight: 1	Total Weight: 5
218.19/218.22	c Current CPU time: 214.181 s
218.19/218.22	c
218.19/218.22	c ============================[ Search Statistics ]==============================
218.19/218.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.19/218.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.19/218.22	c ===============================================================================
218.19/218.22	c |         0 |    2675     6969    28912 |     5000        0   -nan |  0.000 % |
218.19/218.22	c |       100 |    2675     6969    28912 |     5500      100     21 |  0.000 % |
218.19/218.23	c |       250 |    2675     6969    28912 |     6050      250     26 |  0.000 % |
218.19/218.23	c |       476 |    2675     6969    28912 |     6655      476     28 |  0.000 % |
218.19/218.24	c |       813 |    2675     6969    28912 |     7320      813     26 |  0.000 % |
218.19/218.26	c |      1320 |    2675     6969    28912 |     8052     1320     26 |  0.000 % |
218.19/218.28	c |      2079 |    2675     6969    28912 |     8857     2079     26 |  0.000 % |
218.30/218.32	c |      3218 |    2675     6969    28912 |     9743     3218     27 |  0.000 % |
218.30/218.38	c |      4926 |    2675     6969    28912 |    10717     4926     26 |  0.000 % |
218.40/218.48	c |      7490 |    2675     6969    28912 |    11789     7490     27 |  0.000 % |
218.59/218.66	c |     11336 |    2675     6969    28912 |    12968    11336     28 |  0.000 % |
218.90/218.93	c |     17105 |    2675     6969    28912 |    14265    10572     28 |  0.000 % |
219.40/219.42	c |     25755 |    2675     6969    28912 |    15692    12039     32 |  0.000 % |
220.19/220.23	c |     38732 |    2675     6969    28912 |    17261     9228     35 |  0.000 % |
221.39/221.45	c |     58194 |    2675     6969    28912 |    18987    11339     32 |  0.000 % |
223.59/223.62	c |     87386 |    2675     6969    28912 |    20886    11895     35 |  0.000 % |
226.99/227.03	c |    131176 |    2675     6969    28912 |    22974    13733     35 |  0.000 % |
233.40/233.44	c |    196860 |    2675     6969    28912 |    25272    21709     36 |  0.000 % |
242.60/242.68	c |    295387 |    2675     6969    28912 |    27799    15966     35 |  0.000 % |
256.80/256.86	c |    443176 |    2675     6969    28912 |    30579    23820     35 |  0.000 % |
277.70/277.77	c |    664860 |    2675     6969    28912 |    33637    29693     35 |  0.000 % |
285.49/285.58	c ===============================================================================
290.20/290.20	c core #6
290.20/290.20	c 
290.20/290.20	c 
290.20/290.20	c Core size: 911	Core Weight: 1	Total Weight: 6
290.20/290.20	c Current CPU time: 284.655 s
290.20/290.20	c
290.20/290.20	c ============================[ Search Statistics ]==============================
290.20/290.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
290.20/290.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
290.20/290.20	c ===============================================================================
290.20/290.20	c |         0 |    3174     7804    33009 |     5000        0   -nan |  0.000 % |
290.20/290.21	c |       103 |    3174     7804    33009 |     5500      103     23 |  0.000 % |
290.20/290.21	c |       253 |    3174     7804    33009 |     6050      253     24 |  0.000 % |
290.20/290.22	c |       479 |    3174     7804    33009 |     6655      479     23 |  0.000 % |
290.20/290.23	c |       817 |    3174     7804    33009 |     7320      817     25 |  0.000 % |
290.20/290.24	c |      1323 |    3174     7804    33009 |     8052     1323     27 |  0.000 % |
290.20/290.27	c |      2082 |    3174     7804    33009 |     8857     2082     27 |  0.000 % |
290.30/290.32	c |      3221 |    3174     7804    33009 |     9743     3221     29 |  0.000 % |
290.30/290.39	c |      4929 |    3174     7804    33009 |    10717     4929     28 |  0.000 % |
290.49/290.50	c |      7493 |    3174     7804    33009 |    11789     7493     28 |  0.000 % |
290.60/290.70	c |     11337 |    3174     7804    33009 |    12968    11337     30 |  0.000 % |
290.89/290.98	c |     17103 |    3174     7804    33009 |    14265    10593     29 |  0.000 % |
291.40/291.48	c |     25753 |    3174     7804    33009 |    15692    12071     31 |  0.000 % |
292.20/292.27	c |     38728 |    3174     7804    33009 |    17261     9236     33 |  0.000 % |
293.60/293.65	c |     58192 |    3174     7804    33009 |    18987    11341     34 |  0.000 % |
295.80/295.82	c |     87384 |    3174     7804    33009 |    20886    11911     33 |  0.000 % |
299.59/299.61	c |    131174 |    3174     7804    33009 |    22974    13755     33 |  0.000 % |
305.20/305.20	c |    196859 |    3174     7804    33009 |    25272    21753     34 |  0.000 % |
315.20/315.26	c |    295386 |    3174     7804    33009 |    27799    14603     37 |  0.000 % |
328.90/328.93	c |    443180 |    3174     7804    33009 |    30579    23490     36 |  0.000 % |
343.29/343.36	c ===============================================================================
346.79/346.82	c core #7
346.79/346.82	c 
346.79/346.82	c 
346.79/346.82	c Core size: 954	Core Weight: 1	Total Weight: 7
346.79/346.82	c Current CPU time: 340.211 s
346.79/346.82	c
346.79/346.82	c ============================[ Search Statistics ]==============================
346.79/346.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
346.79/346.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
346.79/346.82	c ===============================================================================
346.79/346.82	c |         0 |    3687     8645    37174 |     5000        0   -nan |  0.000 % |
346.79/346.82	c |       101 |    3687     8645    37174 |     5500      101     20 |  0.000 % |
346.79/346.83	c |       252 |    3687     8645    37174 |     6050      252     23 |  0.000 % |
346.79/346.83	c |       480 |    3687     8645    37174 |     6655      480     24 |  0.000 % |
346.79/346.84	c |       818 |    3687     8645    37174 |     7320      818     25 |  0.000 % |
346.79/346.86	c |      1324 |    3687     8645    37174 |     8052     1324     25 |  0.000 % |
346.79/346.89	c |      2086 |    3687     8645    37174 |     8857     2086     26 |  0.000 % |
346.90/346.93	c |      3225 |    3687     8645    37174 |     9743     3225     28 |  0.000 % |
346.99/347.01	c |      4936 |    3687     8645    37174 |    10717     4936     31 |  0.000 % |
347.10/347.14	c |      7498 |    3687     8645    37174 |    11789     7498     32 |  0.000 % |
347.30/347.35	c |     11342 |    3687     8645    37174 |    12968    11342     32 |  0.000 % |
347.60/347.67	c |     17109 |    3687     8645    37174 |    14265    10548     33 |  0.000 % |
348.20/348.23	c |     25758 |    3687     8645    37174 |    15692    12021     34 |  0.000 % |
349.00/349.05	c |     38732 |    3687     8645    37174 |    17261     9224     33 |  0.000 % |
350.29/350.38	c |     58194 |    3687     8645    37174 |    18987    11317     34 |  0.000 % |
352.70/352.79	c |     87387 |    3687     8645    37174 |    20886    11880     34 |  0.000 % |
356.50/356.52	c |    131178 |    3687     8645    37174 |    22974    13688     35 |  0.000 % |
362.20/362.20	c |    196862 |    3687     8645    37174 |    25272    21691     34 |  0.000 % |
370.90/370.91	c |    295388 |    3687     8645    37174 |    27799    13773     40 |  0.000 % |
385.39/385.40	c |    443177 |    3686     8645    37174 |    30579    23009     35 |  0.027 % |
386.40/386.49	c ===============================================================================
389.00/389.06	c core #8
389.00/389.06	c 
389.00/389.06	c 
389.00/389.06	c Core size: 896	Core Weight: 1	Total Weight: 8
389.00/389.06	c Current CPU time: 381.646 s
389.00/389.06	c
389.00/389.06	c ============================[ Search Statistics ]==============================
389.00/389.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
389.00/389.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
389.00/389.06	c ===============================================================================
389.00/389.06	c |         0 |    4176     9470    41202 |     5000        0   -nan |  0.000 % |
389.00/389.07	c |       100 |    4176     9470    41202 |     5500      100     22 |  0.000 % |
389.00/389.07	c |       251 |    4176     9470    41202 |     6050      251     21 |  0.000 % |
389.00/389.08	c |       476 |    4176     9470    41202 |     6655      476     22 |  0.000 % |
389.00/389.09	c |       814 |    4176     9470    41202 |     7320      814     22 |  0.000 % |
389.10/389.10	c |      1322 |    4176     9470    41202 |     8052     1322     24 |  0.000 % |
389.10/389.13	c |      2082 |    4176     9470    41202 |     8857     2082     26 |  0.000 % |
389.10/389.17	c |      3221 |    4176     9470    41202 |     9743     3221     26 |  0.000 % |
389.19/389.24	c |      4929 |    4176     9470    41202 |    10717     4929     27 |  0.000 % |
389.30/389.36	c |      7494 |    4176     9470    41202 |    11789     7494     28 |  0.000 % |
389.49/389.55	c |     11339 |    4176     9470    41202 |    12968    11339     28 |  0.000 % |
389.80/389.89	c |     17106 |    4176     9470    41202 |    14265    10584     31 |  0.000 % |
390.40/390.43	c |     25757 |    4176     9470    41202 |    15692    12054     33 |  0.000 % |
391.30/391.35	c |     38733 |    4176     9470    41202 |    17261     9219     35 |  0.000 % |
392.61/392.65	c |     58194 |    4176     9470    41202 |    18987    11330     37 |  0.000 % |
394.69/394.75	c |     87387 |    4176     9470    41202 |    20886    11892     35 |  0.000 % |
398.20/398.23	c |    131176 |    4176     9470    41202 |    22974    13708     38 |  0.000 % |
403.89/403.90	c |    196860 |    4176     9470    41202 |    25272    21702     36 |  0.000 % |
413.20/413.28	c |    295386 |    4176     9470    41202 |    27799    15676     35 |  0.000 % |
427.91/427.91	c |    443178 |    4176     9470    41202 |    30579    24323     36 |  0.000 % |
449.99/450.00	c |    664861 |    4176     9470    41202 |    33637    29170     37 |  0.000 % |
457.19/457.25	c ===============================================================================
461.49/461.53	c core #9
461.49/461.53	c 
461.49/461.53	c 
461.49/461.53	c Core size: 935	Core Weight: 1	Total Weight: 9
461.49/461.53	c Current CPU time: 452.585 s
461.49/461.53	c
461.49/461.53	c ============================[ Search Statistics ]==============================
461.49/461.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
461.49/461.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
461.49/461.53	c ===============================================================================
461.49/461.53	c |         0 |    4707    10287    45302 |     5000        0   -nan |  0.000 % |
461.49/461.54	c |       100 |    4707    10287    45302 |     5500      100     22 |  0.000 % |
461.49/461.54	c |       251 |    4707    10287    45302 |     6050      251     21 |  0.000 % |
461.49/461.55	c |       476 |    4707    10287    45302 |     6655      476     24 |  0.000 % |
461.49/461.56	c |       814 |    4707    10287    45302 |     7320      814     25 |  0.000 % |
461.49/461.58	c |      1320 |    4707    10287    45302 |     8052     1320     25 |  0.000 % |
461.60/461.61	c |      2081 |    4707    10287    45302 |     8857     2081     27 |  0.000 % |
461.60/461.65	c |      3220 |    4707    10287    45302 |     9743     3220     27 |  0.000 % |
461.70/461.73	c |      4928 |    4707    10287    45302 |    10717     4928     29 |  0.000 % |
461.80/461.85	c |      7490 |    4707    10287    45302 |    11789     7490     28 |  0.000 % |
462.00/462.08	c |     11335 |    4707    10287    45302 |    12968    11335     30 |  0.000 % |
462.29/462.39	c |     17104 |    4707    10287    45302 |    14265    10562     32 |  0.000 % |
463.01/463.02	c |     25754 |    4707    10287    45302 |    15692    12030     35 |  0.000 % |
463.90/463.96	c |     38733 |    4707    10287    45302 |    17261     9239     34 |  0.000 % |
465.39/465.43	c |     58194 |    4707    10287    45302 |    18987    11335     34 |  0.000 % |
467.80/467.81	c |     87389 |    4707    10287    45302 |    20886    11951     34 |  0.000 % |
471.81/471.80	c |    131178 |    4707    10287    45302 |    22974    13782     35 |  0.000 % |
478.30/478.36	c |    196863 |    4707    10287    45302 |    25272    21804     36 |  0.000 % |
487.59/487.64	c |    295391 |    4707    10287    45302 |    27799    15383     33 |  0.000 % |
502.00/502.02	c |    443181 |    4707    10287    45302 |    30579    23203     35 |  0.000 % |
526.10/526.19	c |    664866 |    4707    10287    45302 |    33637    29846     38 |  0.000 % |
534.20/534.23	c ===============================================================================
538.80/538.90	c core #10
538.80/538.90	c 
538.80/538.90	c 
538.80/538.90	c Core size: 989	Core Weight: 1	Total Weight: 10
538.80/538.90	c Current CPU time: 528.441 s
538.80/538.90	c
538.80/538.90	c ============================[ Search Statistics ]==============================
538.80/538.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
538.80/538.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
538.80/538.90	c ===============================================================================
538.80/538.90	c |         0 |    5273    11105    49493 |     5000        0   -nan |  0.000 % |
538.91/538.91	c |       104 |    5273    11105    49493 |     5500      104     31 |  0.000 % |
538.91/538.91	c |       254 |    5273    11105    49493 |     6050      254     31 |  0.000 % |
538.91/538.92	c |       479 |    5273    11105    49493 |     6655      479     30 |  0.000 % |
538.91/538.93	c |       816 |    5273    11105    49493 |     7320      816     29 |  0.000 % |
538.91/538.95	c |      1322 |    5273    11105    49493 |     8052     1322     29 |  0.000 % |
538.91/538.98	c |      2081 |    5273    11105    49493 |     8857     2081     29 |  0.000 % |
539.01/539.04	c |      3220 |    5273    11105    49493 |     9743     3220     31 |  0.000 % |
539.10/539.12	c |      4928 |    5273    11105    49493 |    10717     4928     31 |  0.000 % |
539.20/539.27	c |      7491 |    5273    11105    49493 |    11789     7491     32 |  0.000 % |
539.50/539.52	c |     11337 |    5273    11105    49493 |    12968    11337     32 |  0.000 % |
539.90/539.90	c |     17104 |    5273    11105    49493 |    14265    10561     32 |  0.000 % |
540.60/540.61	c |     25754 |    5273    11105    49493 |    15692    12026     35 |  0.000 % |
541.60/541.61	c |     38728 |    5273    11105    49493 |    17261     9219     36 |  0.000 % |
543.10/543.15	c |     58190 |    5273    11105    49493 |    18987    11313     35 |  0.000 % |
545.50/545.57	c |     87383 |    5273    11105    49493 |    20886    11880     35 |  0.000 % |
549.40/549.40	c |    131173 |    5273    11105    49493 |    22974    13717     38 |  0.000 % |
555.30/555.32	c |    196860 |    5273    11105    49493 |    25272    21682     38 |  0.000 % |
565.20/565.21	c |    295388 |    5273    11105    49493 |    27799    16427     36 |  0.000 % |
581.40/581.43	c |    443180 |    5271    11105    49493 |    30579    25170     39 |  0.038 % |
595.10/595.18	c ===============================================================================
598.60/598.61	c core #11
598.60/598.61	c 
598.60/598.61	c 
598.60/598.61	c Core size: 932	Core Weight: 1	Total Weight: 11
598.60/598.61	c Current CPU time: 587.106 s
598.60/598.61	c
598.60/598.61	c ============================[ Search Statistics ]==============================
598.60/598.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
598.60/598.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
598.60/598.61	c ===============================================================================
598.60/598.61	c |         0 |    5795    11903    53504 |     5000        0   -nan |  0.000 % |
598.60/598.61	c |       100 |    5795    11903    53504 |     5500      100     17 |  0.000 % |
598.60/598.62	c |       250 |    5795    11903    53504 |     6050      250     18 |  0.000 % |
598.60/598.63	c |       475 |    5795    11903    53504 |     6655      475     21 |  0.000 % |
598.60/598.64	c |       816 |    5795    11903    53504 |     7320      816     21 |  0.000 % |
598.60/598.66	c |      1323 |    5795    11903    53504 |     8052     1323     24 |  0.000 % |
598.60/598.69	c |      2083 |    5795    11903    53504 |     8857     2083     26 |  0.000 % |
598.70/598.74	c |      3223 |    5795    11903    53504 |     9743     3223     27 |  0.000 % |
598.80/598.81	c |      4931 |    5795    11903    53504 |    10717     4931     28 |  0.000 % |
598.90/598.95	c |      7494 |    5795    11903    53504 |    11789     7494     28 |  0.000 % |
599.10/599.18	c |     11338 |    5795    11903    53504 |    12968    11338     29 |  0.000 % |
599.51/599.51	c |     17105 |    5795    11903    53504 |    14265    10585     29 |  0.000 % |
600.00/600.06	c |     25759 |    5795    11903    53504 |    15692    12045     32 |  0.000 % |
600.91/600.99	c |     38737 |    5795    11903    53504 |    17261     9233     32 |  0.000 % |
602.40/602.43	c |     58199 |    5795    11903    53504 |    18987    11349     34 |  0.000 % |
604.80/604.89	c |     87395 |    5795    11903    53504 |    20886    11902     39 |  0.000 % |
608.70/608.70	c |    131184 |    5795    11903    53504 |    22974    13708     37 |  0.000 % |
614.81/614.85	c |    196870 |    5795    11903    53504 |    25272    21761     36 |  0.000 % |
624.30/624.34	c |    295397 |    5795    11903    53504 |    27799    15604     39 |  0.000 % |
639.50/639.52	c |    443186 |    5795    11903    53504 |    30579    24209     37 |  0.000 % |
652.40/652.49	c ===============================================================================
655.80/655.84	c core #12
655.80/655.84	c 
655.80/655.84	c 
655.80/655.84	c Core size: 904	Core Weight: 1	Total Weight: 12
655.80/655.84	c Current CPU time: 643.218 s
655.80/655.84	c
655.80/655.84	c ============================[ Search Statistics ]==============================
655.80/655.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
655.80/655.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
655.80/655.84	c ===============================================================================
655.80/655.84	c |         0 |    6323    12686    57461 |     5000        0   -nan |  0.000 % |
655.80/655.85	c |       101 |    6323    12686    57461 |     5500      101     26 |  0.000 % |
655.80/655.85	c |       252 |    6323    12686    57461 |     6050      252     26 |  0.000 % |
655.80/655.86	c |       479 |    6323    12686    57461 |     6655      479     26 |  0.000 % |
655.80/655.88	c |       817 |    6323    12686    57461 |     7320      817     25 |  0.000 % |
655.91/655.90	c |      1325 |    6323    12686    57461 |     8052     1325     27 |  0.000 % |
655.91/655.94	c |      2084 |    6323    12686    57461 |     8857     2084     28 |  0.000 % |
655.91/655.99	c |      3225 |    6323    12686    57461 |     9743     3225     27 |  0.000 % |
656.01/656.07	c |      4933 |    6323    12686    57461 |    10717     4933     27 |  0.000 % |
656.21/656.21	c |      7495 |    6323    12686    57461 |    11789     7495     28 |  0.000 % |
656.40/656.44	c |     11340 |    6323    12686    57461 |    12968    11340     29 |  0.000 % |
656.80/656.82	c |     17106 |    6323    12686    57461 |    14265    10573     31 |  0.000 % |
657.40/657.44	c |     25756 |    6323    12686    57461 |    15692    12034     35 |  0.000 % |
658.50/658.58	c |     38730 |    6323    12686    57461 |    17261     9217     37 |  0.000 % |
660.30/660.33	c |     58191 |    6323    12686    57461 |    18987    11302     38 |  0.000 % |
662.80/662.86	c |     87383 |    6323    12686    57461 |    20886    11845     34 |  0.000 % |
666.90/666.91	c |    131172 |    6323    12686    57461 |    22974    13682     36 |  0.000 % |
673.60/673.66	c |    196856 |    6323    12686    57461 |    25272    21700     38 |  0.000 % |
684.00/684.04	c |    295382 |    6323    12686    57461 |    27799    15912     36 |  0.000 % |
699.61/699.63	c |    443171 |    6323    12686    57461 |    30579    23739     35 |  0.000 % |
712.10/712.10	c ===============================================================================
715.20/715.29	c core #13
715.20/715.29	c 
715.20/715.29	c 
715.20/715.29	c Core size: 1039	Core Weight: 1	Total Weight: 13
715.20/715.29	c Current CPU time: 701.564 s
715.20/715.29	c
715.20/715.29	c ============================[ Search Statistics ]==============================
715.20/715.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
715.20/715.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
715.20/715.29	c ===============================================================================
715.20/715.29	c |         0 |    6951    13481    61687 |     5000        0   -nan |  0.000 % |
715.31/715.30	c |       102 |    6951    13481    61687 |     5500      102     26 |  0.000 % |
715.31/715.30	c |       253 |    6951    13481    61687 |     6050      253     26 |  0.000 % |
715.31/715.31	c |       478 |    6951    13481    61687 |     6655      478     28 |  0.000 % |
715.31/715.32	c |       817 |    6951    13481    61687 |     7320      817     27 |  0.000 % |
715.31/715.34	c |      1323 |    6951    13481    61687 |     8052     1323     24 |  0.000 % |
715.31/715.37	c |      2082 |    6951    13481    61687 |     8857     2082     25 |  0.000 % |
715.40/715.44	c |      3222 |    6951    13481    61687 |     9743     3222     27 |  0.000 % |
715.51/715.53	c |      4930 |    6951    13481    61687 |    10717     4930     27 |  0.000 % |
715.60/715.67	c |      7492 |    6951    13481    61687 |    11789     7492     29 |  0.000 % |
715.90/715.90	c |     11336 |    6951    13481    61687 |    12968    11336     29 |  0.000 % |
716.20/716.28	c |     17107 |    6951    13481    61687 |    14265    10570     30 |  0.000 % |
716.90/716.90	c |     25756 |    6951    13481    61687 |    15692    12039     34 |  0.000 % |
718.01/718.03	c |     38730 |    6951    13481    61687 |    17261     9231     38 |  0.000 % |
719.81/719.81	c |     58191 |    6951    13481    61687 |    18987    11335     37 |  0.000 % |
719.90/719.91	c ===============================================================================
719.90/719.91	c #cores: 13
719.90/719.91	o 13
719.90/719.91	s OPTIMUM FOUND
719.90/719.91	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
719.90/719.91	c Total CPU time: 706.334 s

Verifier Data 

OK	13

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-3447118-1307906018/watcher-3447118-1307906018 -o /var/tmp/evaluation-result-3447118-1307906018/solver-3447118-1307906018 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447118-1307906018.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.06 2.03 1.88 4/176 10191
/proc/meminfo: memFree=1728072/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=2060 CPUtime=0 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 293 0 0 0 0 0 0 0 19 0 1 0 980832467 2109440 245 33554432000 4194304 5714214 140734209642192 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 515 245 170 372 0 118 0

[startup+0.0248439 s]
/proc/loadavg: 2.06 2.03 1.88 4/176 10191
/proc/meminfo: memFree=1728072/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=2372 CPUtime=0.02 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 424 0 0 0 2 0 0 0 20 0 1 0 980832467 2428928 354 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 593 354 177 372 0 218 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2372

[startup+0.100844 s]
/proc/loadavg: 2.06 2.03 1.88 4/176 10191
/proc/meminfo: memFree=1728072/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=3428 CPUtime=0.08 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 678 0 0 0 8 0 0 0 20 0 1 0 980832467 3510272 608 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 857 608 177 372 0 482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3428

[startup+0.3008 s]
/proc/loadavg: 2.06 2.03 1.88 4/176 10191
/proc/meminfo: memFree=1728072/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=5408 CPUtime=0.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 1173 0 0 0 28 1 0 0 20 0 1 0 980832467 5537792 1103 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 1352 1103 177 372 0 977 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5408

[startup+0.700727 s]
/proc/loadavg: 2.06 2.03 1.88 4/176 10191
/proc/meminfo: memFree=1728072/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=7404 CPUtime=0.68 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 1658 0 0 0 67 1 0 0 20 0 1 0 980832467 7581696 1588 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 1851 1588 177 372 0 1476 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7404

[startup+1.50059 s]
/proc/loadavg: 2.06 2.03 1.88 3/178 10193
/proc/meminfo: memFree=1714340/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=10044 CPUtime=1.49 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 2327 0 0 0 145 4 0 0 23 0 1 0 980832467 10285056 2257 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 2511 2257 177 372 0 2136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10044

[startup+3.10031 s]
/proc/loadavg: 2.06 2.03 1.88 3/178 10193
/proc/meminfo: memFree=1706448/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=14416 CPUtime=3.09 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 3428 0 0 0 301 8 0 0 25 0 1 0 980832467 14761984 3358 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 3604 3358 177 372 0 3229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14416

[startup+6.30075 s]
/proc/loadavg: 2.05 2.02 1.88 3/178 10193
/proc/meminfo: memFree=1688384/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=23260 CPUtime=6.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 5600 0 0 0 616 13 0 0 25 0 1 0 980832467 23818240 5530 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 5815 5530 177 372 0 5440 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23260

[startup+12.7006 s]
/proc/loadavg: 2.05 2.02 1.88 3/178 10193
/proc/meminfo: memFree=1660576/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=35756 CPUtime=12.69 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 8714 0 0 0 1246 23 0 0 25 0 1 0 980832467 36614144 8644 33554432000 4194304 5714214 140734209642192 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 8939 8644 177 372 0 8564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35756

[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 1.88 3/178 10194
/proc/meminfo: memFree=1611080/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=58788 CPUtime=25.49 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 14436 0 0 0 2507 42 0 0 25 0 1 0 980832467 60198912 14366 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 14697 14366 177 372 0 14322 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58788

[startup+51.1009 s]
/proc/loadavg: 2.02 2.02 1.88 3/178 10195
/proc/meminfo: memFree=1512596/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=110216 CPUtime=51.09 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 27355 0 0 0 5023 86 0 0 25 0 1 0 980832467 112861184 27225 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 27554 27225 178 372 0 27179 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110216

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.89 3/178 10196
/proc/meminfo: memFree=1429348/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=110216 CPUtime=102.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 27426 0 0 0 10067 162 0 0 25 0 1 0 980832467 112861184 27296 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 27554 27296 178 372 0 27179 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 110216

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/178 10235
/proc/meminfo: memFree=1596844/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=110216 CPUtime=162.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 27427 0 0 0 15973 256 0 0 25 0 1 0 980832467 112861184 27297 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 27554 27297 178 372 0 27179 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 110216

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 10237
/proc/meminfo: memFree=1503144/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=121488 CPUtime=222.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 30245 0 0 0 21839 390 0 0 21 0 1 0 980832467 124403712 30115 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 30372 30115 178 372 0 29997 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 121488

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10239
/proc/meminfo: memFree=1427204/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=121488 CPUtime=282.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 30245 0 0 0 27718 511 0 0 25 0 1 0 980832467 124403712 30115 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 30372 30115 178 372 0 29997 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 121488

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10240
/proc/meminfo: memFree=1320756/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=153644 CPUtime=342.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 38293 0 0 0 33599 630 0 0 25 0 1 0 980832467 157331456 38163 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 38411 38163 178 372 0 38036 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 153644

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10242
/proc/meminfo: memFree=1250132/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=153644 CPUtime=402.3 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 38304 0 0 0 39473 757 0 0 25 0 1 0 980832467 157331456 38174 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 38411 38174 178 372 0 38036 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 153644

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10281
/proc/meminfo: memFree=1490716/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=154080 CPUtime=462.29 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 38385 0 0 0 45367 862 0 0 25 0 1 0 980832467 157777920 38255 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 38520 38255 178 372 0 38145 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 154080

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10283
/proc/meminfo: memFree=1423712/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=154080 CPUtime=522.3 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 38385 0 0 0 51245 985 0 0 25 0 1 0 980832467 157777920 38255 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 38520 38255 178 372 0 38145 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 154080

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10285
/proc/meminfo: memFree=1403660/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=582.3 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39409 0 0 0 57132 1098 0 0 25 0 1 0 980832467 161964032 39279 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39279 178 372 0 39167 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 158168

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10286
/proc/meminfo: memFree=1383360/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=642.31 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 63013 1218 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 158168

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1372884/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=702.3 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 68902 1328 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 158168

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

[startup+703.901 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1372884/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=703.91 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 69060 1331 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 158168

[startup+710.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1363068/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=710.3 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 69687 1343 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 710.3
Current children cumulated vsize (KiB) 158168

[startup+716.701 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1357980/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=716.7 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 70319 1351 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (KiB) 158168

[startup+718.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1357844/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=718.31 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 70476 1355 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 718.31
Current children cumulated vsize (KiB) 158168

[startup+719.101 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1357844/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=719.1 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 70553 1357 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 719.1
Current children cumulated vsize (KiB) 158168

[startup+719.501 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1357720/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=719.5 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 70592 1358 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 719.5
Current children cumulated vsize (KiB) 158168

[startup+719.901 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10288
/proc/meminfo: memFree=1357720/32951124 swapFree=67054712/67111528
[pid=10191] ppid=10187 vsize=158168 CPUtime=719.9 cores=1,3,5,7
/proc/10191/stat : 10191 (wbo1.6) R 10187 10191 9270 0 -1 4202496 39416 0 0 0 70631 1359 0 0 25 0 1 0 980832467 161964032 39286 33554432000 4194304 5714214 140734209642192 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10191/statm: 39542 39286 178 372 0 39167 0
Current children cumulated CPU time (s) 719.9
Current children cumulated vsize (KiB) 158168

Child status: 0
Real time (s): 719.923
CPU time (s): 719.936
CPU user time (s): 706.334
CPU system time (s): 13.6019
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 158168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 706.334
system time used= 13.6019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39419
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= 39
involuntary context switches= 1008

runsolver used 0.988849 second user time and 2.43063 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-12 21:13:38
IDJOB=3447118
IDBENCH=78966
IDSOLVER=1943
FILE ID=node119/3447118-1307906018
RUNJOBID= node119-1307904216-10030
PBS_JOBID= 13559587
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= 125243b279b6e24b77d57dd07a5f7014
RANDOM SEED=1358796797

node119.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.815
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.63
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.815
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.83
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.815
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.815
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1729044 kB
Buffers:         56540 kB
Cached:       30203116 kB
SwapCached:      10968 kB
Active:       15331780 kB
Inactive:     14947744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1729044 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:            8556 kB
Writeback:           0 kB
AnonPages:       17844 kB
Mapped:          12788 kB
Slab:           878740 kB
PageTables:       4532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187664 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= 2876 MiB
End job on node119 at 2011-06-12 21:25:38