Trace number 2690133

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.4aOPTIMUM 1019.51 1019.48

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 benchmark247.27
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.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690133-1277909229.wbo.
0.00/0.00	c Instance file HOME/instance-2690133-1277909229.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.02	c |       476 |     231     2707     8338 |     6655      476     28 |  0.002 % |
0.00/0.03	c |       814 |     231     2707     8338 |     7320      814     26 |  0.002 % |
0.00/0.04	c |      1320 |     231     2707     8338 |     8052     1320     24 |  0.002 % |
0.06/0.07	c |      2079 |     231     2707     8338 |     8857     2079     27 |  0.002 % |
0.09/0.10	c |      3218 |     231     2707     8338 |     9743     3218     26 |  0.002 % |
0.09/0.18	c |      4928 |     231     2707     8338 |    10717     4928     28 |  0.002 % |
0.19/0.30	c |      7491 |     231     2707     8338 |    11789     7491     29 |  0.002 % |
0.48/0.51	c |     11338 |     231     2707     8338 |    12968    11338     31 |  0.002 % |
0.88/0.90	c |     17104 |     231     2707     8338 |    14265    10578     34 |  0.002 % |
1.39/1.46	c |     25753 |     231     2707     8338 |    15692    12038     33 |  0.002 % |
2.48/2.52	c |     38728 |     231     2707     8338 |    17261     9209     36 |  0.002 % |
4.09/4.10	c |     58189 |     231     2707     8338 |    18987    11312     34 |  0.002 % |
6.78/6.83	c |     87384 |     231     2707     8338 |    20886    11860     36 |  0.002 % |
10.79/10.81	c |    131173 |     231     2707     8338 |    22974    13666     35 |  0.002 % |
17.99/18.04	c |    196859 |     231     2707     8338 |    25272    21683     37 |  0.002 % |
29.19/29.28	c |    295386 |     231     2707     8338 |    27799    15603     37 |  0.002 % |
46.79/46.89	c |    443175 |     231     2707     8338 |    30579    25511     35 |  0.002 % |
55.59/55.66	c ===============================================================================
58.69/58.71	c core #1
58.69/58.71	c ============================[ Search Statistics ]==============================
58.69/58.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
58.69/58.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
58.69/58.71	c ===============================================================================
58.69/58.71	c |         0 |     716     3590    12551 |     5000        0    nan |  0.000 % |
58.79/58.84	c |       101 |     716     3590    12551 |     5500      101     19 |  0.000 % |
58.79/58.85	c |       251 |     716     3590    12551 |     6050      251     25 |  0.000 % |
58.79/58.86	c |       477 |     716     3590    12551 |     6655      477     25 |  0.000 % |
58.79/58.87	c |       814 |     716     3590    12551 |     7320      814     25 |  0.000 % |
58.79/58.89	c |      1320 |     716     3590    12551 |     8052     1320     25 |  0.000 % |
58.90/58.93	c |      2080 |     716     3590    12551 |     8857     2080     24 |  0.000 % |
58.90/58.98	c |      3219 |     716     3590    12551 |     9743     3219     25 |  0.000 % |
58.99/59.06	c |      4927 |     716     3590    12551 |    10717     4927     25 |  0.000 % |
59.19/59.21	c |      7491 |     716     3590    12551 |    11789     7491     28 |  0.000 % |
59.39/59.47	c |     11337 |     716     3590    12551 |    12968    11337     30 |  0.000 % |
59.79/59.84	c |     17103 |     716     3590    12551 |    14265    10560     30 |  0.000 % |
60.50/60.56	c |     25753 |     716     3590    12551 |    15692    12033     34 |  0.000 % |
61.60/61.62	c |     38727 |     716     3590    12551 |    17261     9223     37 |  0.000 % |
63.19/63.28	c |     58189 |     716     3590    12551 |    18987    11306     32 |  0.000 % |
65.70/65.78	c |     87382 |     716     3590    12551 |    20886    11907     32 |  0.000 % |
70.20/70.28	c |    131172 |     716     3590    12551 |    22974    13745     37 |  0.000 % |
77.90/77.90	c |    196856 |     716     3590    12551 |    25272    21748     37 |  0.000 % |
90.29/90.31	c |    295382 |     716     3590    12551 |    27799    16039     37 |  0.000 % |
105.40/105.45	c ===============================================================================
107.80/107.88	c core #2
107.80/107.88	c ============================[ Search Statistics ]==============================
107.80/107.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
107.80/107.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
107.80/107.88	c ===============================================================================
107.80/107.88	c |         0 |    1201     4470    16757 |     5000        0    nan |  0.000 % |
107.89/107.91	c |       101 |    1201     4470    16757 |     5500      101     22 |  0.000 % |
107.89/107.92	c |       251 |    1201     4470    16757 |     6050      251     23 |  0.000 % |
107.89/107.93	c |       476 |    1201     4470    16757 |     6655      476     29 |  0.000 % |
107.89/107.95	c |       815 |    1201     4470    16757 |     7320      815     29 |  0.000 % |
107.89/107.97	c |      1323 |    1201     4470    16757 |     8052     1323     28 |  0.000 % |
108.00/108.01	c |      2083 |    1201     4470    16757 |     8857     2083     28 |  0.000 % |
108.00/108.07	c |      3224 |    1201     4470    16757 |     9743     3224     30 |  0.000 % |
108.10/108.16	c |      4933 |    1201     4470    16757 |    10717     4933     30 |  0.000 % |
108.29/108.33	c |      7496 |    1201     4470    16757 |    11789     7496     31 |  0.000 % |
108.59/108.62	c |     11341 |    1201     4470    16757 |    12968    11341     30 |  0.000 % |
109.10/109.11	c |     17110 |    1201     4470    16757 |    14265    10574     31 |  0.000 % |
109.79/109.84	c |     25760 |    1201     4470    16757 |    15692    12036     35 |  0.000 % |
111.10/111.16	c |     38735 |    1201     4470    16757 |    17261     9206     40 |  0.000 % |
112.99/113.06	c |     58197 |    1201     4470    16757 |    18987    11302     34 |  0.000 % |
116.00/116.02	c |     87391 |    1201     4470    16757 |    20886    11870     33 |  0.000 % |
121.00/121.04	c |    131181 |    1201     4470    16757 |    22974    13696     38 |  0.000 % |
128.70/128.74	c |    196867 |    1201     4470    16757 |    25272    21687     37 |  0.000 % |
141.09/141.14	c |    295396 |    1201     4470    16757 |    27799    14939     33 |  0.000 % |
154.09/154.18	c ===============================================================================
156.80/156.88	c core #3
156.80/156.88	c ============================[ Search Statistics ]==============================
156.80/156.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
156.80/156.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
156.80/156.88	c ===============================================================================
156.80/156.88	c |         0 |    1686     5350    20965 |     5000        0    nan |  0.000 % |
156.90/156.92	c |       101 |    1686     5350    20965 |     5500      101     20 |  0.000 % |
156.90/156.92	c |       252 |    1686     5350    20965 |     6050      252     25 |  0.000 % |
156.90/156.93	c |       477 |    1686     5350    20965 |     6655      477     29 |  0.000 % |
156.90/156.95	c |       814 |    1686     5350    20965 |     7320      814     32 |  0.000 % |
156.90/156.97	c |      1323 |    1686     5350    20965 |     8052     1323     30 |  0.000 % |
157.00/157.01	c |      2083 |    1686     5350    20965 |     8857     2083     28 |  0.000 % |
157.00/157.07	c |      3222 |    1686     5350    20965 |     9743     3222     28 |  0.000 % |
157.09/157.16	c |      4930 |    1686     5350    20965 |    10717     4930     28 |  0.000 % |
157.30/157.32	c |      7497 |    1686     5350    20965 |    11789     7497     29 |  0.000 % |
157.60/157.60	c |     11342 |    1686     5350    20965 |    12968    11342     30 |  0.000 % |
157.99/158.04	c |     17108 |    1686     5350    20965 |    14265    10564     29 |  0.000 % |
158.69/158.78	c |     25757 |    1686     5350    20965 |    15692    12031     32 |  0.000 % |
159.90/159.98	c |     38732 |    1686     5350    20965 |    17261     9208     33 |  0.000 % |
161.90/161.94	c |     58193 |    1686     5350    20965 |    18987    11320     34 |  0.000 % |
165.19/165.26	c |     87387 |    1686     5350    20965 |    20886    11878     33 |  0.000 % |
170.40/170.44	c |    131176 |    1686     5350    20965 |    22974    13691     35 |  0.000 % |
178.20/178.23	c |    196860 |    1686     5350    20965 |    25272    21679     35 |  0.000 % |
189.39/189.47	c |    295386 |    1686     5350    20965 |    27799    14718     33 |  0.000 % |
207.09/207.15	c |    443176 |    1686     5350    20965 |    30579    22361     35 |  0.000 % |
221.90/221.90	c ===============================================================================
225.50/225.51	c core #4
225.50/225.51	c ============================[ Search Statistics ]==============================
225.50/225.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.50/225.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.50/225.51	c ===============================================================================
225.50/225.51	c |         0 |    2185     6202    25109 |     5000        0    nan |  0.000 % |
225.50/225.56	c |       101 |    2185     6202    25109 |     5500      101     20 |  0.000 % |
225.50/225.57	c |       252 |    2185     6202    25109 |     6050      252     23 |  0.000 % |
225.50/225.58	c |       477 |    2185     6202    25109 |     6655      477     20 |  0.000 % |
225.60/225.60	c |       814 |    2185     6202    25109 |     7320      814     23 |  0.000 % |
225.60/225.63	c |      1320 |    2185     6202    25109 |     8052     1320     25 |  0.000 % |
225.60/225.66	c |      2079 |    2185     6202    25109 |     8857     2079     26 |  0.000 % |
225.70/225.71	c |      3218 |    2185     6202    25109 |     9743     3218     24 |  0.000 % |
225.80/225.81	c |      4927 |    2185     6202    25109 |    10717     4927     27 |  0.000 % |
225.90/225.96	c |      7490 |    2185     6202    25109 |    11789     7490     29 |  0.000 % |
226.20/226.23	c |     11335 |    2185     6202    25109 |    12968    11335     29 |  0.000 % |
226.70/226.71	c |     17101 |    2185     6202    25109 |    14265    10578     31 |  0.000 % |
227.50/227.56	c |     25750 |    2185     6202    25109 |    15692    12067     37 |  0.000 % |
228.99/229.01	c |     38725 |    2185     6202    25109 |    17261     9267     36 |  0.000 % |
231.01/231.08	c |     58186 |    2185     6202    25109 |    18987    11361     37 |  0.000 % |
234.70/234.71	c |     87378 |    2185     6202    25109 |    20886    11939     36 |  0.000 % |
239.81/239.80	c |    131167 |    2185     6202    25109 |    22974    13791     37 |  0.000 % |
248.29/248.34	c |    196852 |    2185     6202    25109 |    25272    21781     37 |  0.000 % |
261.20/261.21	c |    295380 |    2182     6202    25109 |    27799    16621     38 |  0.137 % |
269.90/269.97	c ===============================================================================
272.40/272.48	c core #5
272.40/272.48	c ============================[ Search Statistics ]==============================
272.40/272.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
272.40/272.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
272.40/272.48	c ===============================================================================
272.40/272.48	c |         0 |    2678     7039    29188 |     5000        0    nan |  0.000 % |
272.50/272.51	c |       100 |    2678     7039    29188 |     5500      100     23 |  0.000 % |
272.50/272.51	c |       253 |    2678     7039    29188 |     6050      253     24 |  0.000 % |
272.50/272.53	c |       479 |    2678     7039    29188 |     6655      479     23 |  0.000 % |
272.50/272.55	c |       817 |    2678     7039    29188 |     7320      817     26 |  0.000 % |
272.50/272.58	c |      1324 |    2678     7039    29188 |     8052     1324     25 |  0.000 % |
272.60/272.62	c |      2083 |    2678     7039    29188 |     8857     2083     27 |  0.000 % |
272.60/272.68	c |      3222 |    2678     7039    29188 |     9743     3222     27 |  0.000 % |
272.70/272.77	c |      4932 |    2678     7039    29188 |    10717     4932     27 |  0.000 % |
272.90/272.93	c |      7498 |    2678     7039    29188 |    11789     7498     29 |  0.000 % |
273.20/273.20	c |     11342 |    2678     7039    29188 |    12968    11342     30 |  0.000 % |
273.59/273.65	c |     17109 |    2678     7039    29188 |    14265    10572     32 |  0.000 % |
274.39/274.40	c |     25759 |    2678     7039    29188 |    15692    12025     32 |  0.000 % |
275.59/275.69	c |     38733 |    2678     7039    29188 |    17261     9236     36 |  0.000 % |
277.80/277.82	c |     58195 |    2678     7039    29188 |    18987    11357     34 |  0.000 % |
281.00/281.02	c |     87387 |    2678     7039    29188 |    20886    11922     33 |  0.000 % |
285.91/285.93	c |    131176 |    2678     7039    29188 |    22974    13754     36 |  0.000 % |
293.71/293.71	c |    196861 |    2678     7039    29188 |    25272    21738     35 |  0.000 % |
306.10/306.11	c |    295387 |    2678     7039    29188 |    27799    15581     34 |  0.000 % |
324.41/324.44	c |    443176 |    2678     7039    29188 |    30579    24113     39 |  0.000 % |
332.90/332.91	c ===============================================================================
336.30/336.38	c core #6
336.30/336.38	c ============================[ Search Statistics ]==============================
336.30/336.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
336.30/336.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
336.30/336.38	c ===============================================================================
336.30/336.38	c |         0 |    3156     7869    33214 |     5000        0    nan |  0.000 % |
336.40/336.43	c |       100 |    3156     7869    33214 |     5500      100     20 |  0.000 % |
336.40/336.44	c |       250 |    3156     7869    33214 |     6050      250     26 |  0.000 % |
336.40/336.45	c |       477 |    3156     7869    33214 |     6655      477     26 |  0.000 % |
336.40/336.47	c |       816 |    3156     7869    33214 |     7320      816     26 |  0.000 % |
336.40/336.50	c |      1322 |    3156     7869    33214 |     8052     1322     30 |  0.000 % |
336.51/336.54	c |      2081 |    3156     7869    33214 |     8857     2081     31 |  0.000 % |
336.61/336.61	c |      3220 |    3156     7869    33214 |     9743     3220     30 |  0.000 % |
336.70/336.71	c |      4928 |    3156     7869    33214 |    10717     4928     29 |  0.000 % |
336.80/336.88	c |      7491 |    3156     7869    33214 |    11789     7491     28 |  0.000 % |
337.20/337.22	c |     11336 |    3156     7869    33214 |    12968    11336     29 |  0.000 % |
337.60/337.67	c |     17102 |    3156     7869    33214 |    14265    10566     29 |  0.000 % |
338.40/338.41	c |     25752 |    3156     7869    33214 |    15692    12031     31 |  0.000 % |
339.70/339.73	c |     38729 |    3156     7869    33214 |    17261     9210     35 |  0.000 % |
341.81/341.84	c |     58192 |    3156     7869    33214 |    18987    11322     33 |  0.000 % |
345.10/345.19	c |     87385 |    3156     7869    33214 |    20886    11885     35 |  0.000 % |
350.10/350.12	c |    131175 |    3156     7869    33214 |    22974    13723     32 |  0.000 % |
358.20/358.28	c |    196859 |    3156     7869    33214 |    25272    21768     35 |  0.000 % |
370.71/370.73	c |    295386 |    3156     7869    33214 |    27799    16879     35 |  0.000 % |
388.80/388.81	c |    443177 |    3156     7869    33214 |    30579    24623     36 |  0.000 % |
402.40/402.46	c ===============================================================================
405.91/405.91	c core #7
405.91/405.91	c ============================[ Search Statistics ]==============================
405.91/405.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
405.91/405.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
405.91/405.91	c ===============================================================================
405.91/405.91	c |         0 |    3672     8677    37242 |     5000        0    nan |  0.000 % |
405.91/405.97	c |       100 |    3672     8677    37242 |     5500      100     30 |  0.000 % |
405.91/405.98	c |       252 |    3672     8677    37242 |     6050      252     27 |  0.000 % |
405.91/405.99	c |       477 |    3672     8677    37242 |     6655      477     29 |  0.000 % |
406.00/406.01	c |       814 |    3672     8677    37242 |     7320      814     32 |  0.000 % |
406.00/406.04	c |      1320 |    3672     8677    37242 |     8052     1320     30 |  0.000 % |
406.00/406.08	c |      2079 |    3672     8677    37242 |     8857     2079     31 |  0.000 % |
406.10/406.16	c |      3219 |    3672     8677    37242 |     9743     3219     29 |  0.000 % |
406.21/406.27	c |      4927 |    3672     8677    37242 |    10717     4927     30 |  0.000 % |
406.40/406.48	c |      7490 |    3672     8677    37242 |    11789     7490     30 |  0.000 % |
406.80/406.82	c |     11335 |    3672     8677    37242 |    12968    11335     31 |  0.000 % |
407.30/407.32	c |     17101 |    3672     8677    37242 |    14265    10552     32 |  0.000 % |
408.20/408.21	c |     25750 |    3672     8677    37242 |    15692    12002     33 |  0.000 % |
409.60/409.62	c |     38725 |    3672     8677    37242 |    17261     9187     36 |  0.000 % |
411.80/411.82	c |     58186 |    3672     8677    37242 |    18987    11301     34 |  0.000 % |
415.10/415.10	c |     87378 |    3672     8677    37242 |    20886    11850     34 |  0.000 % |
420.31/420.36	c |    131167 |    3672     8677    37242 |    22974    13667     34 |  0.000 % |
429.41/429.41	c |    196851 |    3672     8677    37242 |    25272    21688     38 |  0.000 % |
443.10/443.14	c |    295377 |    3672     8677    37242 |    27799    16589     37 |  0.000 % |
464.00/464.06	c |    443166 |    3672     8677    37242 |    30579    24053     38 |  0.000 % |
469.61/469.63	c ===============================================================================
473.01/473.09	c core #8
473.01/473.09	c ============================[ Search Statistics ]==============================
473.01/473.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
473.01/473.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
473.01/473.09	c ===============================================================================
473.01/473.09	c |         0 |    4173     9494    41269 |     5000        0    nan |  0.000 % |
473.10/473.15	c |       102 |    4173     9494    41269 |     5500      102     18 |  0.000 % |
473.10/473.16	c |       252 |    4173     9494    41269 |     6050      252     25 |  0.000 % |
473.10/473.17	c |       478 |    4173     9494    41269 |     6655      478     31 |  0.000 % |
473.21/473.20	c |       815 |    4173     9494    41269 |     7320      815     29 |  0.000 % |
473.21/473.23	c |      1323 |    4173     9494    41269 |     8052     1323     28 |  0.000 % |
473.21/473.27	c |      2083 |    4173     9494    41269 |     8857     2083     28 |  0.000 % |
473.30/473.33	c |      3223 |    4173     9494    41269 |     9743     3223     28 |  0.000 % |
473.40/473.44	c |      4931 |    4173     9494    41269 |    10717     4931     28 |  0.000 % |
473.60/473.62	c |      7493 |    4173     9494    41269 |    11789     7493     28 |  0.000 % |
473.91/473.97	c |     11338 |    4173     9494    41269 |    12968    11338     30 |  0.000 % |
474.40/474.49	c |     17104 |    4173     9494    41269 |    14265    10579     32 |  0.000 % |
475.31/475.31	c |     25753 |    4173     9494    41269 |    15692    12033     31 |  0.000 % |
476.71/476.73	c |     38729 |    4173     9494    41269 |    17261     9206     36 |  0.000 % |
478.91/478.93	c |     58192 |    4173     9494    41269 |    18987    11292     34 |  0.000 % |
482.21/482.27	c |     87385 |    4173     9494    41269 |    20886    11829     33 |  0.000 % |
487.70/487.74	c |    131176 |    4173     9494    41269 |    22974    13671     34 |  0.000 % |
496.11/496.15	c |    196863 |    4173     9494    41269 |    25272    21643     36 |  0.000 % |
508.90/508.97	c |    295389 |    4173     9494    41269 |    27799    14504     34 |  0.000 % |
527.71/527.71	c |    443182 |    4173     9494    41269 |    30579    22137     33 |  0.000 % |
544.10/544.16	c ===============================================================================
548.00/548.04	c core #9
548.00/548.04	c ============================[ Search Statistics ]==============================
548.00/548.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
548.00/548.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
548.00/548.04	c ===============================================================================
548.00/548.04	c |         0 |    4694    10299    45288 |     5000        0    nan |  0.000 % |
548.10/548.11	c |       100 |    4694    10299    45288 |     5500      100     23 |  0.000 % |
548.10/548.12	c |       250 |    4694    10299    45288 |     6050      250     29 |  0.000 % |
548.10/548.14	c |       475 |    4694    10299    45288 |     6655      475     32 |  0.000 % |
548.10/548.16	c |       812 |    4694    10299    45288 |     7320      812     30 |  0.000 % |
548.21/548.20	c |      1318 |    4694    10299    45288 |     8052     1318     30 |  0.000 % |
548.21/548.25	c |      2077 |    4694    10299    45288 |     8857     2077     29 |  0.000 % |
548.31/548.32	c |      3218 |    4694    10299    45288 |     9743     3218     28 |  0.000 % |
548.41/548.43	c |      4926 |    4694    10299    45288 |    10717     4926     29 |  0.000 % |
548.61/548.64	c |      7490 |    4694    10299    45288 |    11789     7490     31 |  0.000 % |
548.91/548.94	c |     11337 |    4694    10299    45288 |    12968    11337     32 |  0.000 % |
549.51/549.50	c |     17103 |    4694    10299    45288 |    14265    10572     35 |  0.000 % |
550.41/550.48	c |     25753 |    4694    10299    45288 |    15692    12032     36 |  0.000 % |
552.01/552.00	c |     38727 |    4694    10299    45288 |    17261     9213     34 |  0.000 % |
554.11/554.16	c |     58188 |    4694    10299    45288 |    18987    11303     36 |  0.000 % |
557.51/557.56	c |     87381 |    4694    10299    45288 |    20886    11856     36 |  0.000 % |
562.81/562.85	c |    131170 |    4694    10299    45288 |    22974    13673     34 |  0.000 % |
571.81/571.90	c |    196854 |    4694    10299    45288 |    25272    21696     36 |  0.000 % |
585.61/585.61	c |    295380 |    4694    10299    45288 |    27799    16499     38 |  0.000 % |
606.80/606.84	c |    443170 |    4694    10299    45288 |    30579    25989     37 |  0.000 % |
637.51/637.50	c |    664853 |    4681    10299    45288 |    33637    12194     27 |  0.277 % |
638.71/638.70	c ===============================================================================
643.21/643.23	c core #10
643.21/643.23	c ============================[ Search Statistics ]==============================
643.21/643.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
643.21/643.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
643.21/643.23	c ===============================================================================
643.21/643.23	c |         0 |    5242    11098    49374 |     5000        0    nan |  0.000 % |
643.31/643.31	c |       100 |    5242    11098    49374 |     5500      100     25 |  0.000 % |
643.31/643.32	c |       251 |    5242    11098    49374 |     6050      251     21 |  0.000 % |
643.31/643.34	c |       476 |    5242    11098    49374 |     6655      476     24 |  0.000 % |
643.31/643.36	c |       815 |    5242    11098    49374 |     7320      815     26 |  0.000 % |
643.31/643.39	c |      1321 |    5242    11098    49374 |     8052     1321     25 |  0.000 % |
643.42/643.44	c |      2082 |    5242    11098    49374 |     8857     2082     26 |  0.000 % |
643.52/643.51	c |      3221 |    5242    11098    49374 |     9743     3221     26 |  0.000 % |
643.61/643.63	c |      4931 |    5242    11098    49374 |    10717     4931     27 |  0.000 % |
643.81/643.82	c |      7495 |    5242    11098    49374 |    11789     7495     28 |  0.000 % |
644.11/644.15	c |     11340 |    5242    11098    49374 |    12968    11340     30 |  0.000 % |
644.61/644.69	c |     17106 |    5242    11098    49374 |    14265    10591     32 |  0.000 % |
645.62/645.65	c |     25755 |    5242    11098    49374 |    15692    12052     34 |  0.000 % |
646.91/646.90	c |     38729 |    5242    11098    49374 |    17261     9257     29 |  0.000 % |
649.11/649.13	c |     58190 |    5242    11098    49374 |    18987    11369     32 |  0.000 % |
653.31/653.31	c |     87384 |    5242    11098    49374 |    20886    11917     33 |  0.000 % |
658.71/658.70	c |    131177 |    5242    11098    49374 |    22974    13758     33 |  0.000 % |
667.41/667.40	c |    196862 |    5242    11098    49374 |    25272    21735     36 |  0.000 % |
680.82/680.85	c |    295390 |    5242    11098    49374 |    27799    15385     35 |  0.000 % |
701.51/701.59	c |    443181 |    5242    11098    49374 |    30579    23353     36 |  0.000 % |
734.41/734.43	c |    664865 |    5242    11098    49374 |    33637    30094     37 |  0.000 % |
752.61/752.63	c ===============================================================================
758.31/758.30	c core #11
758.31/758.30	c ============================[ Search Statistics ]==============================
758.31/758.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
758.31/758.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
758.31/758.30	c ===============================================================================
758.31/758.30	c |         0 |    5821    11898    53544 |     5000        0    nan |  0.000 % |
758.31/758.38	c |       101 |    5821    11898    53544 |     5500      101     18 |  0.000 % |
758.41/758.40	c |       253 |    5821    11898    53544 |     6050      253     21 |  0.000 % |
758.41/758.41	c |       478 |    5821    11898    53544 |     6655      478     23 |  0.000 % |
758.41/758.44	c |       816 |    5821    11898    53544 |     7320      816     24 |  0.000 % |
758.41/758.48	c |      1322 |    5821    11898    53544 |     8052     1322     25 |  0.000 % |
758.51/758.53	c |      2083 |    5821    11898    53544 |     8857     2083     27 |  0.000 % |
758.61/758.60	c |      3222 |    5821    11898    53544 |     9743     3222     28 |  0.000 % |
758.71/758.72	c |      4930 |    5821    11898    53544 |    10717     4930     29 |  0.000 % |
758.92/758.91	c |      7492 |    5821    11898    53544 |    11789     7492     30 |  0.000 % |
759.21/759.27	c |     11336 |    5821    11898    53544 |    12968    11336     32 |  0.000 % |
759.81/759.87	c |     17103 |    5821    11898    53544 |    14265    10587     34 |  0.000 % |
760.71/760.75	c |     25753 |    5821    11898    53544 |    15692    12060     31 |  0.000 % |
762.22/762.21	c |     38729 |    5821    11898    53544 |    17261     9246     34 |  0.000 % |
764.31/764.36	c |     58191 |    5821    11898    53544 |    18987    11361     35 |  0.000 % |
768.61/768.63	c |     87383 |    5821    11898    53544 |    20886    11915     37 |  0.000 % |
774.42/774.48	c |    131174 |    5821    11898    53544 |    22974    13747     35 |  0.000 % |
783.42/783.41	c |    196861 |    5821    11898    53544 |    25272    21729     35 |  0.000 % |
797.42/797.44	c |    295387 |    5821    11898    53544 |    27799    15788     36 |  0.000 % |
819.02/819.06	c |    443178 |    5821    11898    53544 |    30579    26469     36 |  0.000 % |
842.41/842.41	c ===============================================================================
846.92/846.99	c core #12
846.92/846.99	c ============================[ Search Statistics ]==============================
846.92/846.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
846.92/846.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
846.92/846.99	c ===============================================================================
846.92/846.99	c |         0 |    6387    12686    57632 |     5000        0    nan |  0.000 % |
847.02/847.08	c |       100 |    6387    12686    57632 |     5500      100     29 |  0.000 % |
847.02/847.09	c |       254 |    6387    12686    57632 |     6050      254     34 |  0.000 % |
847.12/847.11	c |       480 |    6387    12686    57632 |     6655      480     32 |  0.000 % |
847.12/847.14	c |       817 |    6387    12686    57632 |     7320      817     30 |  0.000 % |
847.12/847.17	c |      1325 |    6387    12686    57632 |     8052     1325     29 |  0.000 % |
847.22/847.24	c |      2086 |    6387    12686    57632 |     8857     2086     29 |  0.000 % |
847.32/847.32	c |      3225 |    6387    12686    57632 |     9743     3225     28 |  0.000 % |
847.42/847.45	c |      4935 |    6387    12686    57632 |    10717     4935     29 |  0.000 % |
847.62/847.69	c |      7498 |    6387    12686    57632 |    11789     7498     29 |  0.000 % |
848.02/848.05	c |     11342 |    6387    12686    57632 |    12968    11342     29 |  0.000 % |
848.52/848.59	c |     17109 |    6387    12686    57632 |    14265    10563     29 |  0.000 % |
849.52/849.52	c |     25760 |    6387    12686    57632 |    15692    12036     30 |  0.000 % |
850.91/850.98	c |     38734 |    6387    12686    57632 |    17261     9243     34 |  0.000 % |
853.21/853.29	c |     58195 |    6387    12686    57632 |    18987    11358     33 |  0.000 % |
856.82/856.82	c |     87388 |    6387    12686    57632 |    20886    11944     33 |  0.000 % |
862.81/862.88	c |    131177 |    6387    12686    57632 |    22974    13716     36 |  0.000 % |
872.12/872.16	c |    196862 |    6387    12686    57632 |    25272    21736     38 |  0.000 % |
886.12/886.10	c |    295389 |    6387    12686    57632 |    27799    14016     35 |  0.000 % |
907.52/907.53	c |    443181 |    6387    12686    57632 |    30579    21616     37 |  0.000 % |
931.52/931.55	c ===============================================================================
935.91/935.93	c core #13
935.91/935.93	c ============================[ Search Statistics ]==============================
935.91/935.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
935.91/935.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
935.91/935.93	c ===============================================================================
935.91/935.93	c |         0 |    7012    13475    61818 |     5000        0    nan |  0.000 % |
936.03/936.02	c |       101 |    7012    13475    61818 |     5500      101     21 |  0.000 % |
936.03/936.03	c |       251 |    7012    13475    61818 |     6050      251     27 |  0.000 % |
936.03/936.04	c |       476 |    7012    13475    61818 |     6655      476     26 |  0.000 % |
936.03/936.07	c |       813 |    7012    13475    61818 |     7320      813     28 |  0.000 % |
936.13/936.11	c |      1319 |    7012    13475    61818 |     8052     1319     28 |  0.000 % |
936.13/936.16	c |      2078 |    7012    13475    61818 |     8857     2078     28 |  0.000 % |
936.22/936.25	c |      3217 |    7012    13475    61818 |     9743     3217     29 |  0.000 % |
936.32/936.39	c |      4925 |    7012    13475    61818 |    10717     4925     29 |  0.000 % |
936.62/936.60	c |      7488 |    7012    13475    61818 |    11789     7488     28 |  0.000 % |
936.91/936.98	c |     11334 |    7012    13475    61818 |    12968    11334     30 |  0.000 % |
937.52/937.57	c |     17102 |    7012    13475    61818 |    14265    10562     32 |  0.000 % |
938.52/938.52	c |     25752 |    7012    13475    61818 |    15692    12028     33 |  0.000 % |
940.12/940.12	c |     38728 |    7012    13475    61818 |    17261     9204     34 |  0.000 % |
942.32/942.39	c |     58189 |    7012    13475    61818 |    18987    11313     36 |  0.000 % |
946.32/946.38	c |     87381 |    7012    13475    61818 |    20886    11870     34 |  0.000 % |
952.52/952.51	c |    131171 |    7012    13475    61818 |    22974    13671     35 |  0.000 % |
961.62/961.65	c |    196856 |    7012    13475    61818 |    25272    21678     37 |  0.000 % |
975.92/975.93	c |    295382 |    7012    13475    61818 |    27799    15360     36 |  0.000 % |
996.41/996.41	c |    443171 |    7012    13475    61818 |    30579    22645     39 |  0.000 % |
1019.42/1019.43	c ===============================================================================
1019.42/1019.43	c #cores: 13
1019.42/1019.43	c Final Weight: 13
1019.42/1019.43	o 13
1019.42/1019.43	s OPTIMUM FOUND
1019.42/1019.43	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
1019.42/1019.43	c Total CPU time: 1010.47 s

Verifier Data 

OK	13

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690133-1277909229/watcher-2690133-1277909229 -o /tmp/evaluation-result-2690133-1277909229/solver-2690133-1277909229 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690133-1277909229.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 4/182 12773
/proc/meminfo: memFree=30920048/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=2664 CPUtime=0
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 132218521 2727936 223 4089446400 134512640 135751879 4287803312 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 666 223 145 303 0 339 0

[startup+0.0675779 s]
/proc/loadavg: 2.00 2.03 2.00 4/182 12773
/proc/meminfo: memFree=30920048/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=3248 CPUtime=0.06
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 468 0 0 0 6 0 0 0 18 0 1 0 132218521 3325952 365 4089446400 134512640 135751879 4287803312 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 812 365 143 303 0 507 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3248

[startup+0.100572 s]
/proc/loadavg: 2.00 2.03 2.00 4/182 12773
/proc/meminfo: memFree=30920048/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=3388 CPUtime=0.09
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 530 0 0 0 9 0 0 0 18 0 1 0 132218521 3469312 427 4089446400 134512640 135751879 4287803312 18446744073709551615 134601258 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 847 427 143 303 0 542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3388

[startup+0.300537 s]
/proc/loadavg: 2.00 2.03 2.00 4/182 12773
/proc/meminfo: memFree=30920048/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=4576 CPUtime=0.29
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 827 0 0 0 28 1 0 0 18 0 1 0 132218521 4685824 724 4089446400 134512640 135751879 4287803312 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 1144 724 143 303 0 839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4576

[startup+0.700464 s]
/proc/loadavg: 2.00 2.03 2.00 4/182 12773
/proc/meminfo: memFree=30920048/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=6488 CPUtime=0.69
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 1286 0 0 0 67 2 0 0 18 0 1 0 132218521 6643712 1183 4089446400 134512640 135751879 4287803312 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 1622 1183 143 303 0 1317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6488

[startup+1.50032 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12774
/proc/meminfo: memFree=30913204/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=9788 CPUtime=1.49
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 2105 0 0 0 145 4 0 0 19 0 1 0 132218521 10022912 2002 4089446400 134512640 135751879 4287803312 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 2447 2002 143 303 0 2142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9788

[startup+3.10102 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12774
/proc/meminfo: memFree=30907996/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=15332 CPUtime=3.09
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 3489 0 0 0 303 6 0 0 25 0 1 0 132218521 15699968 3386 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 3833 3386 143 303 0 3528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15332

[startup+6.30044 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12774
/proc/meminfo: memFree=30892992/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=25524 CPUtime=6.29
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 6028 0 0 0 619 10 0 0 25 0 1 0 132218521 26136576 5925 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 6381 5925 143 303 0 6076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25524

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12775
/proc/meminfo: memFree=30868424/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=44424 CPUtime=12.69
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 10755 0 0 0 1250 19 0 0 25 0 1 0 132218521 45490176 10652 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 11106 10652 143 303 0 10801 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44424

[startup+25.5009 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 12775
/proc/meminfo: memFree=30821820/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=77220 CPUtime=25.49
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 18971 0 0 0 2517 32 0 0 25 0 1 0 132218521 79073280 18868 4089446400 134512640 135751879 4287803312 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 19305 18868 143 303 0 19000 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77220

[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12775
/proc/meminfo: memFree=30739456/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=138828 CPUtime=51.09
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 34349 0 0 0 5050 59 0 0 25 0 1 0 132218521 142159872 34246 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 34707 34246 143 303 0 34402 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 138828

[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 12777
/proc/meminfo: memFree=30627200/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=206332 CPUtime=102.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 51273 0 0 0 10123 107 0 0 25 0 1 0 132218521 211283968 51140 4089446400 134512640 135751879 4287803312 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 51583 51140 146 303 0 51278 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 206332

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12779
/proc/meminfo: memFree=30479984/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=295484 CPUtime=162.29
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 73545 0 0 0 16066 163 0 0 25 0 1 0 132218521 302575616 73412 4089446400 134512640 135751879 4287803312 18446744073709551615 134644551 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 73871 73412 146 303 0 73566 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 295484

[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 12780
/proc/meminfo: memFree=30328660/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=394924 CPUtime=222.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 98401 0 0 0 22009 221 0 0 25 0 1 0 132218521 404402176 98268 4089446400 134512640 135751879 4287803312 18446744073709551615 134516227 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 98731 98268 146 303 0 98426 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 394924

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 12781
/proc/meminfo: memFree=30223208/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=444920 CPUtime=282.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 110919 0 0 0 27958 272 0 0 25 0 1 0 132218521 455598080 110786 4089446400 134512640 135751879 4287803312 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 111230 110786 146 303 0 110925 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 444920

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12783
/proc/meminfo: memFree=30063812/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=549196 CPUtime=342.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 136980 0 0 0 33901 329 0 0 25 0 1 0 132218521 562376704 136847 4089446400 134512640 135751879 4287803312 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 137299 136847 146 303 0 136994 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 549196

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12785
/proc/meminfo: memFree=29932704/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=623352 CPUtime=402.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 155520 0 0 0 39847 383 0 0 25 0 1 0 132218521 638312448 155387 4089446400 134512640 135751879 4287803312 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 155838 155387 146 303 0 155533 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 623352

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12787
/proc/meminfo: memFree=29812124/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=686340 CPUtime=462.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 171255 0 0 0 45796 434 0 0 25 0 1 0 132218521 702812160 171122 4089446400 134512640 135751879 4287803312 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 171585 171122 146 303 0 171280 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 686340

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12788
/proc/meminfo: memFree=29689560/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=757432 CPUtime=522.3
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 189013 0 0 0 51747 483 0 0 25 0 1 0 132218521 775610368 188880 4089446400 134512640 135751879 4287803312 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 189358 188880 146 303 0 189053 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 757432

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12789
/proc/meminfo: memFree=29550744/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=831228 CPUtime=582.31
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 207490 0 0 0 57697 534 0 0 25 0 1 0 132218521 851177472 207357 4089446400 134512640 135751879 4287803312 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 207807 207357 146 303 0 207502 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 831228

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12791
/proc/meminfo: memFree=29370528/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=951508 CPUtime=642.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 237526 0 0 0 63648 584 0 0 25 0 1 0 132218521 974344192 237393 4089446400 134512640 135751879 4287803312 18446744073709551615 134521505 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 237877 237393 146 303 0 237572 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 951508

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12793
/proc/meminfo: memFree=29283308/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=984732 CPUtime=702.31
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 245853 0 0 0 69596 635 0 0 25 0 1 0 132218521 1008365568 245720 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 246183 245720 146 303 0 245878 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 984732

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12795
/proc/meminfo: memFree=29103972/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1104528 CPUtime=762.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 275809 0 0 0 75549 683 0 0 25 0 1 0 132218521 1131036672 275676 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 276132 275676 146 303 0 275827 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1104528

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12796
/proc/meminfo: memFree=29016028/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1132856 CPUtime=822.31
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 282909 0 0 0 81498 733 0 0 25 0 1 0 132218521 1160044544 282776 4089446400 134512640 135751879 4287803312 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 283214 282776 146 303 0 282909 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1132856

[startup+882.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 12806
/proc/meminfo: memFree=28897364/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1189496 CPUtime=882.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 297046 0 0 0 87447 785 0 0 25 0 1 0 132218521 1218043904 296913 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 297374 296913 146 303 0 297069 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1189496

[startup+942.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 12808
/proc/meminfo: memFree=28740836/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1285532 CPUtime=942.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 321056 0 0 0 93399 833 0 0 25 0 1 0 132218521 1316384768 320885 4089446400 134512640 135751879 4287803312 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 321383 320885 146 303 0 321078 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1285532

[startup+1002.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28627340/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1332652 CPUtime=1002.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 332859 0 0 0 99349 883 0 0 25 0 1 0 132218521 1364635648 332688 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 333163 332688 146 303 0 332858 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1332652

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

[startup+1011.1 s]
/proc/loadavg: 2.15 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28600800/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1350232 CPUtime=1011.12
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 337249 0 0 0 100220 892 0 0 25 0 1 0 132218521 1382637568 337078 4089446400 134512640 135751879 4287803312 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 337558 337078 146 303 0 337253 0
Current children cumulated CPU time (s) 1011.12
Current children cumulated vsize (KiB) 1350232

[startup+1014.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28589020/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1356832 CPUtime=1014.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 338904 0 0 0 100537 895 0 0 25 0 1 0 132218521 1389395968 338733 4089446400 134512640 135751879 4287803312 18446744073709551615 135220888 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 339208 338733 146 303 0 338903 0
Current children cumulated CPU time (s) 1014.32
Current children cumulated vsize (KiB) 1356832

[startup+1017.51 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28579344/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1362904 CPUtime=1017.52
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 340397 0 0 0 100855 897 0 0 25 0 1 0 132218521 1395613696 340226 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 340726 340226 146 303 0 340421 0
Current children cumulated CPU time (s) 1017.52
Current children cumulated vsize (KiB) 1362904

[startup+1018.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28579344/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1364356 CPUtime=1018.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 340777 0 0 0 100934 898 0 0 25 0 1 0 132218521 1397100544 340606 4089446400 134512640 135751879 4287803312 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 341089 340606 146 303 0 340784 0
Current children cumulated CPU time (s) 1018.32
Current children cumulated vsize (KiB) 1364356

[startup+1019.1 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28576864/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1365940 CPUtime=1019.12
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 341168 0 0 0 101013 899 0 0 25 0 1 0 132218521 1398722560 340997 4089446400 134512640 135751879 4287803312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 341485 340997 146 303 0 341180 0
Current children cumulated CPU time (s) 1019.12
Current children cumulated vsize (KiB) 1365940

[startup+1019.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28576864/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1366336 CPUtime=1019.32
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 341269 0 0 0 101033 899 0 0 25 0 1 0 132218521 1399128064 341098 4089446400 134512640 135751879 4287803312 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 341584 341098 146 303 0 341279 0
Current children cumulated CPU time (s) 1019.32
Current children cumulated vsize (KiB) 1366336

[startup+1019.4 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 12810
/proc/meminfo: memFree=28576864/32951124 swapFree=67111528/67111528
[pid=12773] ppid=12771 vsize=1366600 CPUtime=1019.42
/proc/12773/stat : 12773 (wbo1.4a) R 12771 12773 11750 0 -1 4202496 341320 0 0 0 101043 899 0 0 25 0 1 0 132218521 1399398400 341149 4089446400 134512640 135751879 4287803312 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/12773/statm: 341650 341149 146 303 0 341345 0
Current children cumulated CPU time (s) 1019.42
Current children cumulated vsize (KiB) 1366600

Child status: 0
Real time (s): 1019.48
CPU time (s): 1019.51
CPU user time (s): 1010.47
CPU system time (s): 9.04162
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1366600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1010.47
system time used= 9.04162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341339
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= 6
involuntary context switches= 1357

runsolver used 1.57376 second user time and 3.22251 second system time

The end

Launcher Data 

Begin job on node133 at 2010-06-30 16:47:09
IDJOB=2690133
IDBENCH=78966
IDSOLVER=1200
FILE ID=node133/2690133-1277909229
PBS_JOBID= 11197188
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4a
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.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690133-1277909229/watcher-2690133-1277909229 -o /tmp/evaluation-result-2690133-1277909229/solver-2690133-1277909229 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690133-1277909229.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 125243b279b6e24b77d57dd07a5f7014
RANDOM SEED=136398487

node133.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.821
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.64
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.821
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.75
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.821
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.821
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	: 7296.74
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.821
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.74
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.821
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.821
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.821
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:      30920576 kB
Buffers:        189608 kB
Cached:         979968 kB
SwapCached:          0 kB
Active:        1246204 kB
Inactive:       642524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30920576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2800 kB
Writeback:           0 kB
AnonPages:      718468 kB
Mapped:          16992 kB
Slab:            78464 kB
PageTables:       5984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   865716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node133 at 2010-06-30 17:04:09