Trace number 3447086

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 1157.35 1157.32

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-33-100-0.wbo
MD5SUMdf541056d5ee75c7588bd018b6cc514e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark95.7075
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 constraints1857
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 93863
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 93862
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 737
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-3447086-1307905902.wbo.
0.00/0.00	c Instance file HOME/instance-3447086-1307905902.wbo
0.00/0.00	c File size is 92579 bytes.
0.00/0.00	c Highest Coefficient sum: 737
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       102 |     231     2707     8338 |     5500      102     18 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     19 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     20 |  0.002 % |
0.00/0.02	c |       818 |     231     2707     8338 |     7320      818     20 |  0.002 % |
0.00/0.03	c |      1324 |     231     2707     8338 |     8052     1324     22 |  0.002 % |
0.00/0.05	c |      2083 |     231     2707     8338 |     8857     2083     26 |  0.002 % |
0.00/0.08	c |      3223 |     231     2707     8338 |     9743     3223     29 |  0.002 % |
0.09/0.13	c |      4931 |     231     2707     8338 |    10717     4931     30 |  0.002 % |
0.19/0.23	c |      7497 |     231     2707     8338 |    11789     7497     30 |  0.002 % |
0.39/0.41	c |     11343 |     231     2707     8338 |    12968    11343     32 |  0.002 % |
0.68/0.76	c |     17110 |     231     2707     8338 |    14265    10574     36 |  0.002 % |
1.19/1.20	c |     25759 |     231     2707     8338 |    15692    12062     34 |  0.002 % |
1.99/2.04	c |     38734 |     231     2707     8338 |    17261     9270     34 |  0.002 % |
3.30/3.30	c |     58195 |     231     2707     8338 |    18987    11365     34 |  0.002 % |
5.29/5.31	c |     87389 |     231     2707     8338 |    20886    11916     35 |  0.002 % |
8.59/8.68	c |    131178 |     231     2707     8338 |    22974    13752     34 |  0.002 % |
14.30/14.33	c |    196863 |     231     2707     8338 |    25272    21753     37 |  0.002 % |
23.29/23.33	c |    295389 |     231     2707     8338 |    27799    14206     33 |  0.002 % |
36.99/37.01	c |    443180 |     231     2707     8338 |    30579    21202     35 |  0.002 % |
57.30/57.32	c |    664863 |     230     2707     8338 |    33637    22962     37 |  0.435 % |
57.30/57.35	c ===============================================================================
62.30/62.30	c core #1
62.30/62.30	c 
62.30/62.30	c 
62.30/62.30	c Core size: 1785	Core Weight: 1	Total Weight: 1
62.30/62.30	c Current CPU time: 61.3387 s
62.30/62.30	c
62.30/62.30	c ============================[ Search Statistics ]==============================
62.30/62.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
62.30/62.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
62.30/62.30	c ===============================================================================
62.30/62.30	c |         0 |    1185     4467    16584 |     5000        0   -nan |  0.000 % |
62.30/62.30	c |       100 |    1185     4467    16584 |     5500      100     23 |  0.000 % |
62.30/62.31	c |       251 |    1185     4467    16584 |     6050      251     23 |  0.000 % |
62.30/62.31	c |       476 |    1185     4467    16584 |     6655      476     27 |  0.000 % |
62.30/62.32	c |       813 |    1185     4467    16584 |     7320      813     28 |  0.000 % |
62.30/62.34	c |      1321 |    1185     4467    16584 |     8052     1321     28 |  0.000 % |
62.30/62.36	c |      2081 |    1185     4467    16584 |     8857     2081     27 |  0.000 % |
62.30/62.39	c |      3220 |    1185     4467    16584 |     9743     3220     28 |  0.000 % |
62.39/62.46	c |      4928 |    1185     4467    16584 |    10717     4928     29 |  0.000 % |
62.49/62.56	c |      7490 |    1185     4467    16584 |    11789     7490     31 |  0.000 % |
62.70/62.75	c |     11335 |    1185     4467    16584 |    12968    11335     32 |  0.000 % |
62.99/63.04	c |     17102 |    1185     4467    16584 |    14265    10573     32 |  0.000 % |
63.49/63.54	c |     25751 |    1185     4467    16584 |    15692    12040     33 |  0.000 % |
64.39/64.44	c |     38728 |    1185     4467    16584 |    17261     9233     36 |  0.000 % |
65.90/65.93	c |     58189 |    1185     4467    16584 |    18987    11326     37 |  0.000 % |
68.29/68.33	c |     87381 |    1185     4467    16584 |    20886    11877     34 |  0.000 % |
71.99/72.06	c |    131173 |    1185     4467    16584 |    22974    13727     36 |  0.000 % |
77.89/78.00	c |    196858 |    1185     4467    16584 |    25272    21568     36 |  0.000 % |
86.90/86.99	c |    295386 |    1185     4467    16584 |    27799    14122     34 |  0.000 % |
101.59/101.60	c |    443179 |    1185     4467    16584 |    30579    21023     36 |  0.000 % |
118.49/118.56	c ===============================================================================
122.89/122.99	c core #2
122.89/122.99	c 
122.89/122.99	c 
122.89/122.99	c Core size: 1711	Core Weight: 1	Total Weight: 2
122.89/122.99	c Current CPU time: 121.645 s
122.89/122.99	c
122.89/122.99	c ============================[ Search Statistics ]==============================
122.89/122.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.89/122.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
122.89/122.99	c ===============================================================================
122.89/122.99	c |         0 |    2141     6151    24541 |     5000        0   -nan |  0.000 % |
122.89/123.00	c |       100 |    2141     6151    24541 |     5500      100     22 |  0.000 % |
123.00/123.00	c |       250 |    2141     6151    24541 |     6050      250     21 |  0.000 % |
123.00/123.01	c |       475 |    2141     6151    24541 |     6655      475     27 |  0.000 % |
123.00/123.01	c |       812 |    2141     6151    24541 |     7320      812     23 |  0.000 % |
123.00/123.03	c |      1318 |    2141     6151    24541 |     8052     1318     24 |  0.000 % |
123.00/123.05	c |      2079 |    2141     6151    24541 |     8857     2079     25 |  0.000 % |
123.00/123.09	c |      3218 |    2141     6151    24541 |     9743     3218     26 |  0.000 % |
123.10/123.17	c |      4927 |    2141     6151    24541 |    10717     4927     30 |  0.000 % |
123.29/123.31	c |      7491 |    2141     6151    24541 |    11789     7491     33 |  0.000 % |
123.49/123.56	c |     11335 |    2141     6151    24541 |    12968    11335     34 |  0.000 % |
123.90/123.96	c |     17103 |    2141     6151    24541 |    14265    10568     36 |  0.000 % |
124.39/124.47	c |     25754 |    2141     6151    24541 |    15692    12041     35 |  0.000 % |
125.40/125.43	c |     38728 |    2141     6151    24541 |    17261     9212     39 |  0.000 % |
126.89/126.93	c |     58189 |    2141     6151    24541 |    18987    11340     40 |  0.000 % |
129.40/129.43	c |     87381 |    2141     6151    24541 |    20886    11894     40 |  0.000 % |
133.39/133.41	c |    131170 |    2141     6151    24541 |    22974    13699     39 |  0.000 % |
139.30/139.37	c |    196855 |    2141     6151    24541 |    25272    21718     37 |  0.000 % |
149.39/149.42	c |    295382 |    2141     6151    24541 |    27799    14811     36 |  0.000 % |
165.10/165.18	c |    443173 |    2141     6151    24541 |    30579    22467     35 |  0.000 % |
187.80/187.87	c |    664856 |    2141     6151    24541 |    33637    27697     37 |  0.001 % |
197.90/197.92	c ===============================================================================
203.20/203.29	c core #3
203.20/203.29	c 
203.20/203.29	c 
203.20/203.29	c Core size: 1743	Core Weight: 1	Total Weight: 3
203.20/203.29	c Current CPU time: 201.327 s
203.20/203.29	c
203.20/203.29	c ============================[ Search Statistics ]==============================
203.20/203.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.20/203.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.20/203.29	c ===============================================================================
203.20/203.29	c |         0 |    3102     7828    32510 |     5000        0   -nan |  0.000 % |
203.20/203.30	c |       100 |    3102     7828    32510 |     5500      100     25 |  0.000 % |
203.30/203.30	c |       250 |    3102     7828    32510 |     6050      250     26 |  0.000 % |
203.30/203.31	c |       478 |    3102     7828    32510 |     6655      478     24 |  0.000 % |
203.30/203.32	c |       816 |    3102     7828    32510 |     7320      816     27 |  0.000 % |
203.30/203.33	c |      1324 |    3102     7828    32510 |     8052     1324     27 |  0.000 % |
203.30/203.36	c |      2083 |    3102     7828    32510 |     8857     2083     27 |  0.000 % |
203.40/203.40	c |      3222 |    3102     7828    32510 |     9743     3222     27 |  0.000 % |
203.40/203.47	c |      4930 |    3102     7828    32510 |    10717     4930     27 |  0.000 % |
203.50/203.58	c |      7493 |    3102     7828    32510 |    11789     7493     28 |  0.000 % |
203.69/203.79	c |     11337 |    3102     7828    32510 |    12968    11337     29 |  0.000 % |
204.10/204.14	c |     17103 |    3102     7828    32510 |    14265    10564     33 |  0.000 % |
204.70/204.74	c |     25754 |    3102     7828    32510 |    15692    12040     33 |  0.000 % |
205.70/205.74	c |     38728 |    3102     7828    32510 |    17261     9214     33 |  0.000 % |
207.10/207.18	c |     58190 |    3102     7828    32510 |    18987    11324     35 |  0.000 % |
209.60/209.65	c |     87385 |    3102     7828    32510 |    20886    11883     34 |  0.000 % |
213.89/213.96	c |    131175 |    3102     7828    32510 |    22974    13695     36 |  0.000 % |
220.19/220.28	c |    196859 |    3102     7828    32510 |    25272    21637     35 |  0.000 % |
229.91/229.97	c |    295385 |    3102     7828    32510 |    27799    12433     35 |  0.000 % |
246.60/246.64	c |    443174 |    3102     7828    32510 |    30579    20259     36 |  0.000 % |
269.70/269.77	c |    664857 |    3102     7828    32510 |    33637    22383     35 |  0.000 % |
304.00/304.02	c ===============================================================================
311.30/311.39	c core #4
311.30/311.39	c 
311.30/311.39	c 
311.30/311.39	c Core size: 1763	Core Weight: 1	Total Weight: 4
311.30/311.39	c Current CPU time: 308.598 s
311.30/311.39	c
311.30/311.39	c ============================[ Search Statistics ]==============================
311.30/311.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
311.30/311.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
311.30/311.39	c ===============================================================================
311.30/311.39	c |         0 |    4071     9494    40476 |     5000        0   -nan |  0.000 % |
311.40/311.40	c |       102 |    4071     9494    40476 |     5500      102     22 |  0.000 % |
311.40/311.40	c |       253 |    4071     9494    40476 |     6050      253     23 |  0.000 % |
311.40/311.41	c |       478 |    4071     9494    40476 |     6655      478     24 |  0.000 % |
311.40/311.42	c |       816 |    4071     9494    40476 |     7320      816     24 |  0.000 % |
311.40/311.44	c |      1323 |    4071     9494    40476 |     8052     1323     25 |  0.000 % |
311.40/311.47	c |      2082 |    4071     9494    40476 |     8857     2082     26 |  0.000 % |
311.50/311.52	c |      3221 |    4071     9494    40476 |     9743     3221     27 |  0.000 % |
311.60/311.60	c |      4929 |    4071     9494    40476 |    10717     4929     29 |  0.000 % |
311.70/311.72	c |      7494 |    4071     9494    40476 |    11789     7494     29 |  0.000 % |
311.90/311.95	c |     11340 |    4071     9494    40476 |    12968    11340     29 |  0.000 % |
312.30/312.34	c |     17107 |    4071     9494    40476 |    14265    10594     30 |  0.000 % |
312.80/312.89	c |     25756 |    4071     9494    40476 |    15692    12065     31 |  0.000 % |
313.80/313.82	c |     38730 |    4071     9494    40476 |    17261     9243     32 |  0.000 % |
315.30/315.37	c |     58192 |    4071     9494    40476 |    18987    11352     33 |  0.000 % |
318.50/318.56	c |     87385 |    4071     9494    40476 |    20886    11919     37 |  0.000 % |
323.00/323.05	c |    131177 |    4071     9494    40476 |    22974    13756     41 |  0.000 % |
329.71/329.76	c |    196864 |    4071     9494    40476 |    25272    21746     34 |  0.000 % |
340.00/340.05	c |    295390 |    4071     9494    40476 |    27799    13347     32 |  0.000 % |
357.20/357.23	c |    443179 |    4071     9494    40476 |    30579    22591     37 |  0.000 % |
383.20/383.25	c |    664862 |    4071     9494    40476 |    33637    26979     37 |  0.000 % |
400.10/400.10	c ===============================================================================
406.20/406.27	c core #5
406.20/406.27	c 
406.20/406.27	c 
406.20/406.27	c Core size: 1781	Core Weight: 1	Total Weight: 5
406.20/406.27	c Current CPU time: 402.959 s
406.20/406.27	c
406.20/406.27	c ============================[ Search Statistics ]==============================
406.20/406.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
406.20/406.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
406.20/406.27	c ===============================================================================
406.20/406.27	c |         0 |    5052    11143    48420 |     5000        0   -nan |  0.000 % |
406.20/406.28	c |       102 |    5052    11143    48420 |     5500      102     21 |  0.000 % |
406.20/406.28	c |       252 |    5052    11143    48420 |     6050      252     21 |  0.000 % |
406.20/406.29	c |       477 |    5052    11143    48420 |     6655      477     27 |  0.000 % |
406.30/406.31	c |       817 |    5052    11143    48420 |     7320      817     27 |  0.000 % |
406.30/406.33	c |      1327 |    5052    11143    48420 |     8052     1327     27 |  0.000 % |
406.30/406.36	c |      2087 |    5052    11143    48420 |     8857     2087     28 |  0.000 % |
406.41/406.41	c |      3227 |    5052    11143    48420 |     9743     3227     29 |  0.000 % |
406.51/406.50	c |      4935 |    5052    11143    48420 |    10717     4935     29 |  0.000 % |
406.60/406.64	c |      7499 |    5052    11143    48420 |    11789     7499     30 |  0.000 % |
406.80/406.89	c |     11345 |    5052    11143    48420 |    12968    11345     30 |  0.000 % |
407.20/407.29	c |     17111 |    5052    11143    48420 |    14265    10571     31 |  0.000 % |
407.90/407.91	c |     25766 |    5052    11143    48420 |    15692    12041     34 |  0.000 % |
409.01/409.05	c |     38742 |    5052    11143    48420 |    17261     9206     38 |  0.000 % |
411.01/411.05	c |     58204 |    5052    11143    48420 |    18987    11291     38 |  0.000 % |
413.91/413.90	c |     87396 |    5052    11143    48420 |    20886    11851     37 |  0.000 % |
418.51/418.53	c |    131187 |    5052    11143    48420 |    22974    13664     38 |  0.000 % |
425.00/425.04	c |    196871 |    5052    11143    48420 |    25272    21559     37 |  0.000 % |
436.11/436.10	c |    295399 |    5052    11143    48420 |    27799    15442     35 |  0.000 % |
452.51/452.52	c |    443192 |    5052    11143    48420 |    30579    22352     36 |  0.000 % |
480.51/480.58	c |    664875 |    5050    11143    48420 |    33637    26247     37 |  0.040 % |
500.52/500.59	c ===============================================================================
506.61/506.61	c core #6
506.61/506.61	c 
506.61/506.61	c 
506.61/506.61	c Core size: 1841	Core Weight: 1	Total Weight: 6
506.61/506.61	c Current CPU time: 502.72 s
506.61/506.61	c
506.61/506.61	c ============================[ Search Statistics ]==============================
506.61/506.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
506.61/506.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
506.61/506.61	c ===============================================================================
506.61/506.61	c |         0 |    6093    12767    56414 |     5000        0   -nan |  0.000 % |
506.61/506.62	c |       102 |    6093    12767    56414 |     5500      102     24 |  0.000 % |
506.61/506.63	c |       252 |    6093    12767    56414 |     6050      252     23 |  0.000 % |
506.61/506.64	c |       478 |    6093    12767    56414 |     6655      478     27 |  0.000 % |
506.61/506.65	c |       816 |    6093    12767    56414 |     7320      816     27 |  0.000 % |
506.61/506.68	c |      1323 |    6093    12767    56414 |     8052     1323     27 |  0.000 % |
506.70/506.71	c |      2082 |    6093    12767    56414 |     8857     2082     29 |  0.000 % |
506.70/506.77	c |      3222 |    6093    12767    56414 |     9743     3222     29 |  0.000 % |
506.81/506.86	c |      4930 |    6093    12767    56414 |    10717     4930     29 |  0.000 % |
506.91/506.99	c |      7493 |    6093    12767    56414 |    11789     7493     29 |  0.000 % |
507.31/507.32	c |     11338 |    6093    12767    56414 |    12968    11338     30 |  0.000 % |
507.70/507.73	c |     17105 |    6093    12767    56414 |    14265    10578     28 |  0.000 % |
508.41/508.48	c |     25756 |    6093    12767    56414 |    15692    12049     30 |  0.000 % |
509.51/509.59	c |     38732 |    6093    12767    56414 |    17261     9241     35 |  0.000 % |
511.31/511.34	c |     58193 |    6093    12767    56414 |    18987    11342     38 |  0.000 % |
514.10/514.12	c |     87387 |    6093    12767    56414 |    20886    11902     41 |  0.000 % |
518.60/518.65	c |    131176 |    6093    12767    56414 |    22974    13707     38 |  0.000 % |
526.00/526.00	c |    196860 |    6093    12767    56414 |    25272    21679     38 |  0.000 % |
537.60/537.60	c |    295390 |    6093    12767    56414 |    27799    16192     42 |  0.000 % |
556.00/556.02	c |    443182 |    6093    12767    56414 |    30579    24148     39 |  0.000 % |
584.02/584.02	c |    664868 |    6093    12767    56414 |    33637    29757     37 |  0.000 % |
610.31/610.37	c ===============================================================================
617.21/617.21	c core #7
617.21/617.21	c 
617.21/617.21	c 
617.21/617.21	c Core size: 1778	Core Weight: 1	Total Weight: 7
617.21/617.21	c Current CPU time: 612.614 s
617.21/617.21	c
617.21/617.21	c ============================[ Search Statistics ]==============================
617.21/617.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
617.21/617.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
617.21/617.21	c ===============================================================================
617.21/617.21	c |         0 |    7134    14339    64183 |     5000        0   -nan |  0.000 % |
617.21/617.22	c |       103 |    7134    14339    64183 |     5500      103     27 |  0.000 % |
617.21/617.23	c |       254 |    7134    14339    64183 |     6050      254     25 |  0.000 % |
617.21/617.24	c |       479 |    7134    14339    64183 |     6655      479     27 |  0.000 % |
617.21/617.25	c |       818 |    7134    14339    64183 |     7320      818     29 |  0.000 % |
617.21/617.28	c |      1325 |    7134    14339    64183 |     8052     1325     29 |  0.000 % |
617.32/617.32	c |      2085 |    7134    14339    64183 |     8857     2085     30 |  0.000 % |
617.32/617.38	c |      3226 |    7134    14339    64183 |     9743     3226     30 |  0.000 % |
617.42/617.47	c |      4934 |    7134    14339    64183 |    10717     4934     29 |  0.000 % |
617.61/617.63	c |      7496 |    7134    14339    64183 |    11789     7496     30 |  0.000 % |
617.81/617.89	c |     11340 |    7134    14339    64183 |    12968    11340     30 |  0.000 % |
618.31/618.34	c |     17110 |    7134    14339    64183 |    14265    10585     32 |  0.000 % |
619.01/619.01	c |     25759 |    7134    14339    64183 |    15692    12053     34 |  0.000 % |
620.21/620.27	c |     38733 |    7134    14339    64183 |    17261     9226     37 |  0.000 % |
622.31/622.31	c |     58197 |    7134    14339    64183 |    18987    11329     36 |  0.000 % |
625.11/625.11	c |     87389 |    7134    14339    64183 |    20886    11879     36 |  0.000 % |
629.91/629.91	c |    131181 |    7134    14339    64183 |    22974    13667     38 |  0.000 % |
637.31/637.30	c |    196865 |    7134    14339    64183 |    25272    21642     37 |  0.000 % |
649.81/649.86	c |    295393 |    7134    14339    64183 |    27799    14179     36 |  0.000 % |
669.41/669.42	c |    443183 |    7134    14339    64183 |    30579    24374     35 |  0.000 % |
698.91/698.91	c |    664868 |    7134    14339    64183 |    33637    30421     37 |  0.000 % |
741.43/741.47	c |    997395 |    7134    14339    64183 |    37001    29956     37 |  0.000 % |
780.52/780.51	c ===============================================================================
790.82/790.89	c core #8
790.82/790.89	c 
790.82/790.89	c 
790.82/790.89	c Core size: 1897	Core Weight: 1	Total Weight: 8
790.82/790.89	c Current CPU time: 785.097 s
790.82/790.89	c
790.82/790.89	c ============================[ Search Statistics ]==============================
790.82/790.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
790.82/790.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
790.82/790.89	c ===============================================================================
790.82/790.89	c |         0 |    8257    15912    72163 |     5304        0   -nan |  0.000 % |
790.92/790.90	c |       100 |    8257    15912    72163 |     5834      100     22 |  0.000 % |
790.92/790.91	c |       251 |    8257    15912    72163 |     6417      251     27 |  0.000 % |
790.92/790.92	c |       476 |    8257    15912    72163 |     7059      476     28 |  0.000 % |
790.92/790.93	c |       815 |    8257    15912    72163 |     7765      815     28 |  0.000 % |
790.92/790.96	c |      1322 |    8257    15912    72163 |     8542     1322     30 |  0.000 % |
791.01/791.00	c |      2081 |    8257    15912    72163 |     9396     2081     29 |  0.000 % |
791.01/791.07	c |      3221 |    8257    15912    72163 |    10335     3221     29 |  0.000 % |
791.11/791.17	c |      4930 |    8257    15912    72163 |    11369     4930     29 |  0.000 % |
791.32/791.35	c |      7492 |    8257    15912    72163 |    12506     7492     29 |  0.000 % |
791.62/791.61	c |     11339 |    8257    15912    72163 |    13757    11339     28 |  0.000 % |
792.02/792.07	c |     17105 |    8257    15912    72163 |    15132    10181     29 |  0.000 % |
792.72/792.79	c |     25755 |    8257    15912    72163 |    16646    11205     33 |  0.000 % |
794.02/794.05	c |     38730 |    8257    15912    72163 |    18310    15804     38 |  0.000 % |
796.12/796.11	c |     58192 |    8257    15912    72163 |    20141    16849     36 |  0.000 % |
799.32/799.33	c |     87385 |    8257    15912    72163 |    22156    15673     38 |  0.000 % |
804.41/804.42	c |    131175 |    8257    15912    72163 |    24371    14949     35 |  0.000 % |
811.92/811.99	c |    196860 |    8257    15912    72163 |    26808    17230     37 |  0.000 % |
823.72/823.72	c |    295386 |    8257    15912    72163 |    29489    12447     37 |  0.000 % |
843.02/843.07	c |    443176 |    8257    15912    72163 |    32438    22645     38 |  0.000 % |
871.82/871.81	c |    664859 |    8257    15912    72163 |    35682    22968     39 |  0.000 % |
914.92/914.96	c |    997385 |    8256    15912    72163 |    39250    30338     38 |  0.012 % |
924.32/924.39	c ===============================================================================
932.92/932.97	c core #9
932.92/932.97	c 
932.92/932.97	c 
932.92/932.97	c Core size: 1958	Core Weight: 1	Total Weight: 9
932.92/932.97	c Current CPU time: 926.522 s
932.92/932.97	c
932.92/932.97	c ============================[ Search Statistics ]==============================
932.92/932.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
932.92/932.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
932.92/932.97	c ===============================================================================
932.92/932.97	c |         0 |    9406    17511    80298 |     5837        0   -nan |  0.000 % |
932.92/932.99	c |       100 |    9406    17511    80298 |     6420      100     19 |  0.000 % |
932.92/932.99	c |       250 |    9406    17511    80298 |     7062      250     28 |  0.000 % |
933.02/933.00	c |       475 |    9406    17511    80298 |     7769      475     32 |  0.000 % |
933.02/933.02	c |       813 |    9406    17511    80298 |     8545      813     31 |  0.000 % |
933.02/933.05	c |      1319 |    9406    17511    80298 |     9400     1319     30 |  0.000 % |
933.02/933.09	c |      2078 |    9406    17511    80298 |    10340     2078     29 |  0.000 % |
933.13/933.16	c |      3217 |    9406    17511    80298 |    11374     3217     29 |  0.000 % |
933.33/933.31	c |      4926 |    9406    17511    80298 |    12512     4926     30 |  0.000 % |
933.43/933.49	c |      7490 |    9406    17511    80298 |    13763     7490     30 |  0.000 % |
933.72/933.77	c |     11334 |    9406    17511    80298 |    15139    11334     31 |  0.000 % |
934.22/934.22	c |     17102 |    9406    17511    80298 |    16653     9476     35 |  0.000 % |
935.03/935.05	c |     25751 |    9406    17511    80298 |    18319     9764     33 |  0.000 % |
936.33/936.32	c |     38726 |    9406    17511    80298 |    20150    13538     35 |  0.000 % |
938.52/938.51	c |     58188 |    9406    17511    80298 |    22165    12748     38 |  0.000 % |
942.02/942.05	c |     87380 |    9406    17511    80298 |    24382    19655     40 |  0.000 % |
947.82/947.87	c |    131170 |    9406    17511    80298 |    26820    12950     39 |  0.000 % |
956.32/956.31	c |    196856 |    9406    17511    80298 |    29502    19398     37 |  0.000 % |
969.13/969.14	c |    295382 |    9406    17511    80298 |    32453    15463     35 |  0.000 % |
988.53/988.57	c |    443171 |    9406    17511    80298 |    35698    23846     36 |  0.000 % |
1019.52/1019.55	c |    664857 |    9406    17511    80298 |    39268    17408     37 |  0.000 % |
1067.22/1067.27	c |    997382 |    9406    17511    80298 |    43195    33825     36 |  0.000 % |
1090.23/1090.21	c ===============================================================================
1099.13/1099.12	c core #10
1099.13/1099.12	c 
1099.13/1099.12	c 
1099.13/1099.12	c Core size: 2109	Core Weight: 1	Total Weight: 10
1099.13/1099.12	c Current CPU time: 1091.68 s
1099.13/1099.12	c
1099.13/1099.12	c ============================[ Search Statistics ]==============================
1099.13/1099.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1099.13/1099.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1099.13/1099.12	c ===============================================================================
1099.13/1099.12	c |         0 |   10661    19087    88616 |     6362        0   -nan |  0.000 % |
1099.13/1099.14	c |       102 |   10661    19087    88616 |     6998      102     28 |  0.000 % |
1099.13/1099.15	c |       255 |   10661    19087    88616 |     7698      255     28 |  0.000 % |
1099.13/1099.16	c |       482 |   10661    19087    88616 |     8468      482     28 |  0.000 % |
1099.13/1099.18	c |       820 |   10661    19087    88616 |     9315      820     28 |  0.000 % |
1099.22/1099.22	c |      1327 |   10661    19087    88616 |    10246     1327     28 |  0.000 % |
1099.22/1099.27	c |      2087 |   10661    19087    88616 |    11271     2087     28 |  0.000 % |
1099.33/1099.39	c |      3226 |   10661    19087    88616 |    12398     3226     27 |  0.000 % |
1099.53/1099.56	c |      4934 |   10661    19087    88616 |    13638     4934     28 |  0.000 % |
1099.83/1099.80	c |      7496 |   10661    19087    88616 |    15002     7496     29 |  0.000 % |
1100.23/1100.20	c |     11340 |   10661    19087    88616 |    16502    11340     30 |  0.000 % |
1100.82/1100.82	c |     17108 |   10661    19087    88616 |    18152     8809     33 |  0.000 % |
1101.83/1101.88	c |     25761 |   10661    19087    88616 |    19967    17462     35 |  0.000 % |
1103.34/1103.36	c |     38738 |   10661    19087    88616 |    21964    10358     32 |  0.000 % |
1106.22/1106.22	c |     58199 |   10661    19087    88616 |    24160    18772     40 |  0.000 % |
1111.13/1111.19	c |     87393 |   10661    19087    88616 |    26577    22443     38 |  0.000 % |
1118.23/1118.25	c |    131182 |   10661    19087    88616 |    29234    22539     40 |  0.000 % |
1128.03/1128.09	c |    196866 |   10661    19087    88616 |    32158    20545     39 |  0.000 % |
1145.93/1145.96	c |    295394 |   10661    19087    88616 |    35374    18957     37 |  0.000 % |
1157.33/1157.30	c ===============================================================================
1157.33/1157.30	c #cores: 10
1157.33/1157.30	o 10
1157.33/1157.30	s OPTIMUM FOUND
1157.33/1157.30	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
1157.33/1157.30	c Total CPU time: 1150.3 s

Verifier Data 

OK	10

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447086-1307905902/watcher-3447086-1307905902 -o /tmp/evaluation-result-3447086-1307905902/solver-3447086-1307905902 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447086-1307905902.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.85 2.00 1.94 1/173 20009
/proc/meminfo: memFree=32503068/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=2200 CPUtime=0 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 318 0 0 0 0 0 0 0 25 0 1 0 902188074 2252800 270 33554432000 4194304 5714214 140735076329584 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 550 270 178 372 0 152 0

[startup+0.0132719 s]
/proc/loadavg: 1.85 2.00 1.94 1/173 20009
/proc/meminfo: memFree=32503068/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=2240 CPUtime=0 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 386 0 0 0 0 0 0 0 25 0 1 0 902188074 2293760 315 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 560 315 177 372 0 185 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2240

[startup+0.100261 s]
/proc/loadavg: 1.85 2.00 1.94 1/173 20009
/proc/meminfo: memFree=32503068/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=3428 CPUtime=0.09 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 688 0 0 0 9 0 0 0 25 0 1 0 902188074 3510272 617 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 857 618 177 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428

[startup+0.300265 s]
/proc/loadavg: 1.85 2.00 1.94 1/173 20009
/proc/meminfo: memFree=32503068/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=5468 CPUtime=0.29 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 1172 0 0 0 29 0 0 0 25 0 1 0 902188074 5599232 1101 33554432000 4194304 5714214 140735076329584 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 1367 1101 177 372 0 992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5468

[startup+0.700187 s]
/proc/loadavg: 1.85 2.00 1.94 1/173 20009
/proc/meminfo: memFree=32503068/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=7196 CPUtime=0.68 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 1599 0 0 0 68 0 0 0 25 0 1 0 902188074 7368704 1528 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 1799 1528 177 372 0 1424 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7196

[startup+1.50105 s]
/proc/loadavg: 1.85 2.00 1.94 3/179 20022
/proc/meminfo: memFree=32485188/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=10512 CPUtime=1.49 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 2447 0 0 0 148 1 0 0 25 0 1 0 902188074 10764288 2376 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 2628 2376 177 372 0 2253 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10512

[startup+3.1007 s]
/proc/loadavg: 1.85 2.00 1.94 3/179 20022
/proc/meminfo: memFree=32477536/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=15292 CPUtime=3.09 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 3629 0 0 0 306 3 0 0 25 0 1 0 902188074 15659008 3558 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 3823 3558 177 372 0 3448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15292

[startup+6.30111 s]
/proc/loadavg: 1.86 2.00 1.94 3/179 20022
/proc/meminfo: memFree=32460188/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=23448 CPUtime=6.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 5642 0 0 0 622 8 0 0 25 0 1 0 902188074 24010752 5571 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 5862 5571 177 372 0 5487 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 23448

[startup+12.701 s]
/proc/loadavg: 1.87 2.00 1.94 3/179 20022
/proc/meminfo: memFree=32429632/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=37632 CPUtime=12.69 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 9184 0 0 0 1254 15 0 0 25 0 1 0 902188074 38535168 9113 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 9408 9113 177 372 0 9033 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37632

[startup+25.5006 s]
/proc/loadavg: 1.90 2.00 1.94 3/179 20023
/proc/meminfo: memFree=32381872/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=62244 CPUtime=25.49 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 15282 0 0 0 2522 27 0 0 21 0 1 0 902188074 63737856 15211 33554432000 4194304 5714214 140735076329584 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 15561 15211 177 372 0 15186 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62244

[startup+51.1008 s]
/proc/loadavg: 1.93 2.00 1.94 3/179 20023
/proc/meminfo: memFree=32294492/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=107692 CPUtime=51.09 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 26640 0 0 0 5059 50 0 0 25 0 1 0 902188074 110276608 26569 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 26923 26569 177 372 0 26548 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 107692

[startup+102.306 s]
/proc/loadavg: 1.97 2.00 1.94 3/179 20025
/proc/meminfo: memFree=32170444/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=149616 CPUtime=102.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 37237 0 0 0 10138 92 0 0 25 0 1 0 902188074 153206784 37106 33554432000 4194304 5714214 140735076329584 18446744073709551615 4320094 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 37404 37106 178 372 0 37029 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 149616

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 20026
/proc/meminfo: memFree=32086068/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=149616 CPUtime=162.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 37272 0 0 0 16098 132 0 0 25 0 1 0 902188074 153206784 37141 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 37404 37141 178 372 0 37029 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 149616

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 20066
/proc/meminfo: memFree=32268232/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=166908 CPUtime=222.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 41598 0 0 0 22060 170 0 0 25 0 1 0 902188074 170913792 41467 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 41727 41467 178 372 0 41352 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 166908

[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 20068
/proc/meminfo: memFree=32196260/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=166908 CPUtime=282.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 41598 0 0 0 28020 210 0 0 25 0 1 0 902188074 170913792 41467 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 41727 41467 178 372 0 41352 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 166908

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 20069
/proc/meminfo: memFree=32152656/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=210096 CPUtime=342.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52344 0 0 0 33981 249 0 0 25 0 1 0 902188074 215138304 52213 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52524 52213 178 372 0 52149 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 210096

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 20071
/proc/meminfo: memFree=32152456/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=210096 CPUtime=402.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52359 0 0 0 39945 285 0 0 25 0 1 0 902188074 215138304 52228 33554432000 4194304 5714214 140735076329584 18446744073709551615 4197696 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52524 52228 178 372 0 52149 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 210096

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 1.94 3/179 20072
/proc/meminfo: memFree=32152480/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=210096 CPUtime=462.3 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52360 0 0 0 45907 323 0 0 25 0 1 0 902188074 215138304 52229 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52524 52229 178 372 0 52149 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 210096

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 20074
/proc/meminfo: memFree=32152392/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=209576 CPUtime=522.31 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52360 0 0 0 51874 357 0 0 25 0 1 0 902188074 214605824 52162 33554432000 4194304 5714214 140735076329584 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52394 52162 178 372 0 52019 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 209576

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 20076
/proc/meminfo: memFree=32152344/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=209576 CPUtime=582.31 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52360 0 0 0 57838 393 0 0 25 0 1 0 902188074 214605824 52162 33554432000 4194304 5714214 140735076329584 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52394 52162 178 372 0 52019 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 209576

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 20077
/proc/meminfo: memFree=32152152/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=209576 CPUtime=642.32 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52360 0 0 0 63803 429 0 0 25 0 1 0 902188074 214605824 52162 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52394 52162 178 372 0 52019 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 209576

[startup+702.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 20079
/proc/meminfo: memFree=32111648/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=209576 CPUtime=702.31 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52360 0 0 0 69769 462 0 0 25 0 1 0 902188074 214605824 52162 33554432000 4194304 5714214 140735076329584 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52394 52162 178 372 0 52019 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 209576

[startup+762.306 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 20080
/proc/meminfo: memFree=32111716/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=209576 CPUtime=762.32 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 52360 0 0 0 75734 498 0 0 25 0 1 0 902188074 214605824 52162 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 52394 52162 178 372 0 52019 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 209576

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20082
/proc/meminfo: memFree=32047548/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=822.32 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68416 0 0 0 81702 530 0 0 25 0 1 0 902188074 280530944 68218 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68218 178 372 0 68114 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 273956

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20122
/proc/meminfo: memFree=32140480/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=882.32 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68420 0 0 0 87668 564 0 0 25 0 1 0 902188074 280530944 68222 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68222 178 372 0 68114 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 273956

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20123
/proc/meminfo: memFree=32017784/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=942.32 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68433 0 0 0 93641 591 0 0 25 0 1 0 902188074 280530944 68235 33554432000 4194304 5714214 140735076329584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68235 178 372 0 68114 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 273956

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 20163
/proc/meminfo: memFree=32139560/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1002.33 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68433 0 0 0 99606 627 0 0 25 0 1 0 902188074 280530944 68235 33554432000 4194304 5714214 140735076329584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68235 178 372 0 68114 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 273956

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 20164
/proc/meminfo: memFree=32019360/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1062.33 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68433 0 0 0 105571 662 0 0 25 0 1 0 902188074 280530944 68235 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68235 178 372 0 68114 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 273956

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20166
/proc/meminfo: memFree=31906572/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1122.33 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 111544 689 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 273956

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

[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20166
/proc/meminfo: memFree=31896520/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1126.34 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 111943 691 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1126.34
Current children cumulated vsize (KiB) 273956

[startup+1139.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20166
/proc/meminfo: memFree=31875932/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1139.13 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 113216 697 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1139.13
Current children cumulated vsize (KiB) 273956

[startup+1145.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20167
/proc/meminfo: memFree=31863276/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1145.53 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 113854 699 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 4322892 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1145.53
Current children cumulated vsize (KiB) 273956

[startup+1151.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20167
/proc/meminfo: memFree=31850872/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1151.93 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 114492 701 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 4322957 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1151.93
Current children cumulated vsize (KiB) 273956

[startup+1155.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20167
/proc/meminfo: memFree=31836856/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1155.13 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 114811 702 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1155.13
Current children cumulated vsize (KiB) 273956

[startup+1156.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20167
/proc/meminfo: memFree=31820116/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1156.73 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 114970 703 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1156.73
Current children cumulated vsize (KiB) 273956

[startup+1157.1 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 20167
/proc/meminfo: memFree=31805484/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1157.13 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 115010 703 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1157.13
Current children cumulated vsize (KiB) 273956

[startup+1157.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 20167
/proc/meminfo: memFree=31805484/32951124 swapFree=67072804/67111528
[pid=20009] ppid=20007 vsize=273956 CPUtime=1157.33 cores=0,2,4,6
/proc/20009/stat : 20009 (wbo1.6) R 20007 20009 18875 0 -1 4202496 68452 0 0 0 115029 704 0 0 25 0 1 0 902188074 280530944 68254 33554432000 4194304 5714214 140735076329584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20009/statm: 68489 68254 178 372 0 68114 0
Current children cumulated CPU time (s) 1157.33
Current children cumulated vsize (KiB) 273956

Child status: 0
Real time (s): 1157.32
CPU time (s): 1157.35
CPU user time (s): 1150.3
CPU system time (s): 7.05293
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 273956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.3
system time used= 7.05293
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68455
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= 11
involuntary context switches= 2314

runsolver used 1.83272 second user time and 3.73243 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-12 21:11:42
IDJOB=3447086
IDBENCH=78950
IDSOLVER=1943
FILE ID=node135/3447086-1307905902
RUNJOBID= node135-1307904100-19855
PBS_JOBID= 13559571
Free space on /tmp= 73888 MiB

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

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

MD5SUM BENCH= df541056d5ee75c7588bd018b6cc514e
RANDOM SEED=1542711138

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32503860 kB
Buffers:        115120 kB
Cached:         121044 kB
SwapCached:       6348 kB
Active:         170216 kB
Inactive:        90428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32503860 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:            4296 kB
Writeback:           0 kB
AnonPages:       23968 kB
Mapped:          10276 kB
Slab:           122312 kB
PageTables:       4308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   162652 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= 73880 MiB
End job on node135 at 2011-06-12 21:31:00