Trace number 2690101

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 1739.14 1739.12

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 benchmark459.357
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.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690101-1277907491.wbo.
0.00/0.00	c Instance file HOME/instance-2690101-1277907491.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.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       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.04	c |      1324 |     231     2707     8338 |     8052     1324     22 |  0.002 % |
0.00/0.06	c |      2083 |     231     2707     8338 |     8857     2083     26 |  0.002 % |
0.09/0.10	c |      3223 |     231     2707     8338 |     9743     3223     29 |  0.002 % |
0.09/0.16	c |      4931 |     231     2707     8338 |    10717     4931     30 |  0.002 % |
0.19/0.27	c |      7497 |     231     2707     8338 |    11789     7497     30 |  0.002 % |
0.39/0.49	c |     11343 |     231     2707     8338 |    12968    11343     32 |  0.002 % |
0.79/0.87	c |     17110 |     231     2707     8338 |    14265    10574     36 |  0.002 % |
1.29/1.39	c |     25759 |     231     2707     8338 |    15692    12062     34 |  0.002 % |
2.28/2.32	c |     38734 |     231     2707     8338 |    17261     9270     34 |  0.002 % |
3.69/3.75	c |     58195 |     231     2707     8338 |    18987    11365     34 |  0.002 % |
5.99/6.00	c |     87389 |     231     2707     8338 |    20886    11916     35 |  0.002 % |
9.69/9.71	c |    131178 |     231     2707     8338 |    22974    13752     34 |  0.002 % |
15.89/15.93	c |    196863 |     231     2707     8338 |    25272    21753     37 |  0.002 % |
25.79/25.82	c |    295389 |     231     2707     8338 |    27799    14206     33 |  0.002 % |
40.79/40.81	c |    443180 |     231     2707     8338 |    30579    21202     35 |  0.002 % |
62.99/63.04	c |    664863 |     230     2707     8338 |    33637    17358     33 |  0.435 % |
62.99/63.08	c ===============================================================================
67.18/67.20	c core #1
67.18/67.20	c ============================[ Search Statistics ]==============================
67.18/67.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
67.18/67.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
67.18/67.20	c ===============================================================================
67.18/67.20	c |         0 |    1186     4467    16585 |     5000        0    nan |  0.000 % |
67.28/67.35	c |       100 |    1186     4467    16585 |     5500      100     22 |  0.000 % |
67.28/67.35	c |       250 |    1186     4467    16585 |     6050      250     22 |  0.000 % |
67.28/67.36	c |       475 |    1186     4467    16585 |     6655      475     23 |  0.000 % |
67.28/67.37	c |       812 |    1186     4467    16585 |     7320      812     24 |  0.000 % |
67.38/67.41	c |      1318 |    1186     4467    16585 |     8052     1318     24 |  0.000 % |
67.38/67.43	c |      2078 |    1186     4467    16585 |     8857     2078     28 |  0.000 % |
67.38/67.48	c |      3218 |    1186     4467    16585 |     9743     3218     27 |  0.000 % |
67.48/67.55	c |      4926 |    1186     4467    16585 |    10717     4926     28 |  0.000 % |
67.58/67.67	c |      7489 |    1186     4467    16585 |    11789     7489     28 |  0.000 % |
67.88/67.90	c |     11333 |    1186     4467    16585 |    12968    11333     28 |  0.000 % |
68.28/68.32	c |     17102 |    1186     4467    16585 |    14265    10564     34 |  0.000 % |
68.89/68.94	c |     25754 |    1186     4467    16585 |    15692    12034     31 |  0.000 % |
69.88/69.98	c |     38729 |    1186     4467    16585 |    17261     9217     34 |  0.000 % |
71.49/71.55	c |     58191 |    1186     4467    16585 |    18987    11327     37 |  0.000 % |
74.18/74.28	c |     87383 |    1186     4467    16585 |    20886    11875     33 |  0.000 % |
78.68/78.76	c |    131172 |    1186     4467    16585 |    22974    13667     35 |  0.000 % |
85.98/86.00	c |    196857 |    1186     4467    16585 |    25272    21682     40 |  0.000 % |
97.58/97.69	c |    295383 |    1186     4467    16585 |    27799    15832     37 |  0.000 % |
113.38/113.48	c |    443173 |    1186     4467    16585 |    30579    24630     35 |  0.000 % |
138.09/138.10	c |    664857 |    1186     4467    16585 |    33637    29100     37 |  0.000 % |
165.89/165.95	c ===============================================================================
172.59/172.61	c core #2
172.59/172.61	c ============================[ Search Statistics ]==============================
172.59/172.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
172.59/172.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
172.59/172.61	c ===============================================================================
172.59/172.61	c |         0 |    2141     6177    24644 |     5000        0    nan |  0.000 % |
172.59/172.65	c |       100 |    2141     6177    24644 |     5500      100     22 |  0.000 % |
172.59/172.68	c |       250 |    2141     6177    24644 |     6050      250     21 |  0.000 % |
172.59/172.69	c |       475 |    2141     6177    24644 |     6655      475     27 |  0.000 % |
172.69/172.70	c |       812 |    2141     6177    24644 |     7320      812     23 |  0.000 % |
172.69/172.73	c |      1318 |    2141     6177    24644 |     8052     1318     24 |  0.000 % |
172.69/172.76	c |      2079 |    2141     6177    24644 |     8857     2079     25 |  0.000 % |
172.78/172.82	c |      3218 |    2141     6177    24644 |     9743     3218     26 |  0.000 % |
172.88/172.92	c |      4927 |    2141     6177    24644 |    10717     4927     30 |  0.000 % |
173.09/173.10	c |      7491 |    2141     6177    24644 |    11789     7491     33 |  0.000 % |
173.38/173.41	c |     11335 |    2141     6177    24644 |    12968    11335     34 |  0.000 % |
173.89/173.93	c |     17103 |    2141     6177    24644 |    14265    10568     36 |  0.000 % |
174.48/174.57	c |     25753 |    2141     6177    24644 |    15692    12040     35 |  0.000 % |
175.79/175.80	c |     38728 |    2141     6177    24644 |    17261     9208     36 |  0.000 % |
177.58/177.63	c |     58191 |    2141     6177    24644 |    18987    11288     37 |  0.000 % |
180.49/180.58	c |     87386 |    2141     6177    24644 |    20886    11847     32 |  0.000 % |
185.09/185.10	c |    131176 |    2141     6177    24644 |    22974    13699     37 |  0.000 % |
192.39/192.42	c |    196864 |    2141     6177    24644 |    25272    21607     35 |  0.000 % |
204.89/204.94	c |    295393 |    2141     6177    24644 |    27799    15476     39 |  0.000 % |
222.98/223.02	c |    443184 |    2141     6177    24644 |    30579    23710     38 |  0.000 % |
249.88/249.96	c |    664870 |    2141     6177    24644 |    33637    27011     36 |  0.000 % |
292.98/293.05	c ===============================================================================
300.29/300.35	c core #3
300.29/300.35	c ============================[ Search Statistics ]==============================
300.29/300.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
300.29/300.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
300.29/300.35	c ===============================================================================
300.29/300.35	c |         0 |    3102     7846    32582 |     5000        0    nan |  0.000 % |
300.39/300.41	c |       100 |    3102     7846    32582 |     5500      100     25 |  0.000 % |
300.39/300.42	c |       250 |    3102     7846    32582 |     6050      250     26 |  0.000 % |
300.39/300.44	c |       478 |    3102     7846    32582 |     6655      478     24 |  0.000 % |
300.39/300.45	c |       816 |    3102     7846    32582 |     7320      816     27 |  0.000 % |
300.39/300.48	c |      1324 |    3102     7846    32582 |     8052     1324     27 |  0.000 % |
300.49/300.53	c |      2083 |    3102     7846    32582 |     8857     2083     27 |  0.000 % |
300.49/300.58	c |      3222 |    3102     7846    32582 |     9743     3222     27 |  0.000 % |
300.58/300.67	c |      4930 |    3102     7846    32582 |    10717     4930     27 |  0.000 % |
300.78/300.81	c |      7493 |    3102     7846    32582 |    11789     7493     28 |  0.000 % |
300.99/301.06	c |     11337 |    3102     7846    32582 |    12968    11337     29 |  0.000 % |
301.48/301.50	c |     17103 |    3102     7846    32582 |    14265    10564     33 |  0.000 % |
302.19/302.28	c |     25752 |    3102     7846    32582 |    15692    12027     33 |  0.000 % |
303.59/303.64	c |     38728 |    3102     7846    32582 |    17261     9195     38 |  0.000 % |
305.59/305.63	c |     58189 |    3102     7846    32582 |    18987    11291     34 |  0.000 % |
308.69/308.72	c |     87381 |    3102     7846    32582 |    20886    11854     35 |  0.000 % |
313.69/313.79	c |    131172 |    3102     7846    32582 |    22974    13650     35 |  0.000 % |
321.19/321.27	c |    196857 |    3102     7846    32582 |    25272    21668     37 |  0.000 % |
334.19/334.28	c |    295386 |    3102     7846    32582 |    27799    16621     38 |  0.000 % |
353.09/353.10	c |    443175 |    3102     7846    32582 |    30579    24037     37 |  0.000 % |
382.29/382.31	c |    664859 |    3102     7846    32582 |    33637    28964     37 |  0.000 % |
415.39/415.44	c ===============================================================================
422.29/422.32	c core #4
422.29/422.32	c ============================[ Search Statistics ]==============================
422.29/422.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
422.29/422.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
422.29/422.32	c ===============================================================================
422.29/422.32	c |         0 |    4064     9497    40474 |     5000        0    nan |  0.000 % |
422.29/422.40	c |       100 |    4064     9497    40474 |     5500      100     18 |  0.000 % |
422.39/422.41	c |       250 |    4064     9497    40474 |     6050      250     23 |  0.000 % |
422.39/422.42	c |       476 |    4064     9497    40474 |     6655      476     26 |  0.000 % |
422.39/422.44	c |       814 |    4064     9497    40474 |     7320      814     26 |  0.000 % |
422.39/422.47	c |      1320 |    4064     9497    40474 |     8052     1320     26 |  0.000 % |
422.49/422.52	c |      2082 |    4064     9497    40474 |     8857     2082     29 |  0.000 % |
422.49/422.59	c |      3222 |    4064     9497    40474 |     9743     3222     30 |  0.000 % |
422.59/422.68	c |      4931 |    4064     9497    40474 |    10717     4931     29 |  0.000 % |
422.78/422.86	c |      7495 |    4064     9497    40474 |    11789     7495     31 |  0.000 % |
423.08/423.12	c |     11339 |    4064     9497    40474 |    12968    11339     31 |  0.000 % |
423.59/423.62	c |     17105 |    4064     9497    40474 |    14265    10581     33 |  0.000 % |
424.38/424.40	c |     25757 |    4064     9497    40474 |    15692    12046     34 |  0.000 % |
425.79/425.88	c |     38732 |    4064     9497    40474 |    17261     9233     37 |  0.000 % |
427.98/428.02	c |     58193 |    4064     9497    40474 |    18987    11324     36 |  0.000 % |
431.49/431.51	c |     87386 |    4064     9497    40474 |    20886    11875     39 |  0.000 % |
436.39/436.46	c |    131176 |    4064     9497    40474 |    22974    13701     39 |  0.000 % |
444.08/444.19	c |    196860 |    4064     9497    40474 |    25272    21696     36 |  0.000 % |
455.79/455.85	c |    295386 |    4064     9497    40474 |    27799    14258     36 |  0.000 % |
473.09/473.13	c |    443178 |    4064     9497    40474 |    30579    21294     36 |  0.000 % |
501.29/501.39	c |    664863 |    4064     9497    40474 |    33637    23545     37 |  0.000 % |
543.19/543.24	c ===============================================================================
550.19/550.29	c core #5
550.19/550.29	c ============================[ Search Statistics ]==============================
550.19/550.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
550.19/550.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
550.19/550.29	c ===============================================================================
550.19/550.29	c |         0 |    5044    11129    48351 |     5000        0    nan |  0.000 % |
550.29/550.38	c |       101 |    5044    11129    48351 |     5500      101     22 |  0.000 % |
550.29/550.39	c |       252 |    5044    11129    48351 |     6050      252     27 |  0.000 % |
550.39/550.41	c |       477 |    5044    11129    48351 |     6655      477     29 |  0.000 % |
550.39/550.43	c |       814 |    5044    11129    48351 |     7320      814     29 |  0.000 % |
550.39/550.47	c |      1321 |    5044    11129    48351 |     8052     1321     31 |  0.000 % |
550.49/550.52	c |      2081 |    5044    11129    48351 |     8857     2081     30 |  0.000 % |
550.49/550.58	c |      3220 |    5044    11129    48351 |     9743     3220     28 |  0.000 % |
550.59/550.68	c |      4929 |    5044    11129    48351 |    10717     4929     28 |  0.000 % |
550.79/550.86	c |      7491 |    5044    11129    48351 |    11789     7491     29 |  0.000 % |
551.09/551.14	c |     11335 |    5044    11129    48351 |    12968    11335     31 |  0.000 % |
551.58/551.63	c |     17101 |    5044    11129    48351 |    14265    10570     32 |  0.000 % |
552.39/552.44	c |     25750 |    5044    11129    48351 |    15692    12046     34 |  0.000 % |
553.79/553.85	c |     38724 |    5044    11129    48351 |    17261     9219     37 |  0.000 % |
556.19/556.22	c |     58186 |    5044    11129    48351 |    18987    11326     37 |  0.000 % |
560.09/560.11	c |     87378 |    5044    11129    48351 |    20886    11880     36 |  0.000 % |
565.19/565.26	c |    131167 |    5044    11129    48351 |    22974    13646     38 |  0.000 % |
573.09/573.14	c |    196852 |    5044    11129    48351 |    25272    21303     37 |  0.000 % |
585.29/585.32	c |    295378 |    5044    11129    48351 |    27799    14305     39 |  0.000 % |
603.79/603.86	c |    443168 |    5044    11129    48351 |    30579    21154     37 |  0.000 % |
631.49/631.55	c |    664851 |    5044    11129    48351 |    33637    25001     38 |  0.000 % |
651.49/651.50	c ===============================================================================
657.49/657.55	c core #6
657.49/657.55	c ============================[ Search Statistics ]==============================
657.49/657.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
657.49/657.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
657.49/657.55	c ===============================================================================
657.49/657.55	c |         0 |    6074    12750    56298 |     5000        0    nan |  0.000 % |
657.59/657.64	c |       101 |    6074    12750    56298 |     5500      101     21 |  0.000 % |
657.59/657.65	c |       251 |    6074    12750    56298 |     6050      251     22 |  0.000 % |
657.59/657.66	c |       476 |    6074    12750    56298 |     6655      476     26 |  0.000 % |
657.59/657.68	c |       813 |    6074    12750    56298 |     7320      813     27 |  0.000 % |
657.69/657.71	c |      1320 |    6074    12750    56298 |     8052     1320     26 |  0.000 % |
657.69/657.77	c |      2080 |    6074    12750    56298 |     8857     2080     26 |  0.000 % |
657.80/657.84	c |      3219 |    6074    12750    56298 |     9743     3219     27 |  0.000 % |
657.89/657.96	c |      4927 |    6074    12750    56298 |    10717     4927     29 |  0.000 % |
658.09/658.16	c |      7491 |    6074    12750    56298 |    11789     7491     31 |  0.000 % |
658.39/658.48	c |     11337 |    6074    12750    56298 |    12968    11337     31 |  0.000 % |
658.99/659.03	c |     17104 |    6074    12750    56298 |    14265    10559     35 |  0.000 % |
659.90/659.95	c |     25754 |    6074    12750    56298 |    15692    12022     35 |  0.000 % |
661.29/661.39	c |     38728 |    6074    12750    56298 |    17261     9221     35 |  0.000 % |
663.49/663.51	c |     58189 |    6074    12750    56298 |    18987    11319     32 |  0.000 % |
666.69/666.77	c |     87381 |    6074    12750    56298 |    20886    11863     35 |  0.000 % |
672.20/672.23	c |    131170 |    6074    12750    56298 |    22974    13682     37 |  0.000 % |
680.59/680.61	c |    196854 |    6074    12750    56298 |    25272    21669     36 |  0.000 % |
694.10/694.17	c |    295380 |    6074    12750    56298 |    27799    12774     38 |  0.000 % |
714.49/714.55	c |    443169 |    6074    12750    56298 |    30579    21093     38 |  0.000 % |
746.49/746.56	c |    664853 |    6074    12750    56298 |    33637    29586     39 |  0.000 % |
792.29/792.35	c |    997379 |    6074    12750    56298 |    37001    26649     38 |  0.000 % |
866.99/867.03	c ===============================================================================
878.60/878.67	c core #7
878.60/878.67	c ============================[ Search Statistics ]==============================
878.60/878.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
878.60/878.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
878.60/878.67	c ===============================================================================
878.60/878.67	c |         0 |    7148    14373    64368 |     5000        0    nan |  0.000 % |
878.69/878.80	c |       100 |    7148    14373    64368 |     5500      100     24 |  0.000 % |
878.80/878.81	c |       250 |    7148    14373    64368 |     6050      250     24 |  0.000 % |
878.80/878.83	c |       477 |    7148    14373    64368 |     6655      477     26 |  0.000 % |
878.80/878.89	c |       815 |    7148    14373    64368 |     7320      815     29 |  0.000 % |
878.90/878.93	c |      1321 |    7148    14373    64368 |     8052     1321     30 |  0.000 % |
878.99/879.04	c |      2082 |    7148    14373    64368 |     8857     2082     32 |  0.000 % |
879.09/879.13	c |      3223 |    7148    14373    64368 |     9743     3223     31 |  0.000 % |
879.19/879.25	c |      4932 |    7148    14373    64368 |    10717     4932     32 |  0.000 % |
879.40/879.45	c |      7495 |    7148    14373    64368 |    11789     7495     32 |  0.000 % |
879.90/879.94	c |     11340 |    7148    14373    64368 |    12968    11340     33 |  0.000 % |
880.60/880.63	c |     17106 |    7148    14373    64368 |    14265    10581     36 |  0.000 % |
881.39/881.47	c |     25755 |    7148    14373    64368 |    15692    12047     35 |  0.000 % |
882.79/882.88	c |     38730 |    7148    14373    64368 |    17261     9235     33 |  0.000 % |
885.10/885.13	c |     58193 |    7148    14373    64368 |    18987    11358     35 |  0.000 % |
888.60/888.63	c |     87386 |    7148    14373    64368 |    20886    11907     37 |  0.000 % |
894.60/894.65	c |    131177 |    7148    14373    64368 |    22974    13713     38 |  0.000 % |
903.89/903.93	c |    196865 |    7148    14373    64368 |    25272    21730     37 |  0.000 % |
918.29/918.32	c |    295393 |    7148    14373    64368 |    27799    14783     37 |  0.000 % |
938.20/938.29	c |    443183 |    7148    14373    64368 |    30579    21348     36 |  0.000 % |
972.09/972.10	c |    664866 |    7148    14373    64368 |    33637    23820     36 |  0.000 % |
1020.49/1020.56	c ===============================================================================
1028.89/1028.97	c core #8
1028.89/1028.97	c ============================[ Search Statistics ]==============================
1028.89/1028.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1028.89/1028.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1028.89/1028.97	c ===============================================================================
1028.89/1028.97	c |         0 |    8254    15959    72344 |     5319        0    nan |  0.000 % |
1029.00/1029.07	c |       100 |    8254    15959    72344 |     5851      100     25 |  0.000 % |
1029.00/1029.09	c |       250 |    8254    15959    72344 |     6436      250     26 |  0.000 % |
1029.10/1029.11	c |       475 |    8254    15959    72344 |     7080      475     27 |  0.000 % |
1029.10/1029.14	c |       812 |    8254    15959    72344 |     7788      812     29 |  0.000 % |
1029.20/1029.20	c |      1321 |    8254    15959    72344 |     8567     1321     31 |  0.000 % |
1029.20/1029.28	c |      2081 |    8254    15959    72344 |     9424     2081     30 |  0.000 % |
1029.30/1029.39	c |      3220 |    8254    15959    72344 |    10366     3220     30 |  0.000 % |
1029.51/1029.54	c |      4928 |    8254    15959    72344 |    11403     4928     30 |  0.000 % |
1029.70/1029.74	c |      7490 |    8254    15959    72344 |    12543     7490     30 |  0.000 % |
1030.00/1030.08	c |     11334 |    8254    15959    72344 |    13797    11334     31 |  0.000 % |
1030.61/1030.64	c |     17100 |    8254    15959    72344 |    15177    10151     35 |  0.000 % |
1031.50/1031.53	c |     25751 |    8254    15959    72344 |    16695    11147     36 |  0.000 % |
1033.10/1033.17	c |     38727 |    8254    15959    72344 |    18364    15735     37 |  0.000 % |
1035.69/1035.75	c |     58190 |    8254    15959    72344 |    20201    16735     39 |  0.000 % |
1039.80/1039.85	c |     87385 |    8254    15959    72344 |    22221    15498     38 |  0.000 % |
1045.80/1045.88	c |    131177 |    8254    15959    72344 |    24443    14690     39 |  0.000 % |
1055.10/1055.17	c |    196865 |    8254    15959    72344 |    26888    17094     37 |  0.000 % |
1069.30/1069.34	c |    295391 |    8254    15959    72344 |    29576    26590     38 |  0.000 % |
1091.60/1091.62	c |    443183 |    8254    15959    72344 |    32534    19854     40 |  0.000 % |
1125.70/1125.75	c |    664866 |    8254    15959    72344 |    35788    19577     39 |  0.000 % |
1181.41/1181.45	c |    997392 |    8254    15959    72344 |    39366    32633     40 |  0.000 % |
1259.61/1259.67	c |   1496182 |    8254    15959    72344 |    43303    27777     35 |  0.000 % |
1301.10/1301.19	c ===============================================================================
1316.21/1316.28	c core #9
1316.21/1316.28	c ============================[ Search Statistics ]==============================
1316.21/1316.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1316.21/1316.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1316.21/1316.28	c ===============================================================================
1316.21/1316.28	c |         0 |    9438    17573    80652 |     5857        0    nan |  0.000 % |
1316.41/1316.47	c |       101 |    9438    17573    80652 |     6443      101     39 |  0.000 % |
1316.41/1316.49	c |       254 |    9438    17573    80652 |     7087      254     35 |  0.000 % |
1316.51/1316.51	c |       480 |    9438    17573    80652 |     7796      480     33 |  0.000 % |
1316.51/1316.54	c |       817 |    9438    17573    80652 |     8576      817     30 |  0.000 % |
1316.51/1316.58	c |      1323 |    9438    17573    80652 |     9433     1323     28 |  0.000 % |
1316.61/1316.67	c |      2083 |    9438    17573    80652 |    10377     2083     28 |  0.000 % |
1316.71/1316.76	c |      3223 |    9438    17573    80652 |    11414     3223     28 |  0.000 % |
1316.90/1316.92	c |      4933 |    9438    17573    80652 |    12556     4933     29 |  0.000 % |
1317.10/1317.15	c |      7496 |    9438    17573    80652 |    13812     7496     29 |  0.000 % |
1317.51/1317.51	c |     11340 |    9438    17573    80652 |    15193    11340     30 |  0.000 % |
1318.11/1318.12	c |     17106 |    9438    17573    80652 |    16712     9464     33 |  0.000 % |
1319.00/1319.09	c |     25755 |    9438    17573    80652 |    18383     9703     34 |  0.000 % |
1320.51/1320.54	c |     38730 |    9438    17573    80652 |    20222    13428     34 |  0.000 % |
1322.91/1322.95	c |     58195 |    9438    17573    80652 |    22244    12576     36 |  0.000 % |
1326.91/1326.92	c |     87387 |    9438    17573    80652 |    24468    19421     35 |  0.000 % |
1333.01/1333.10	c |    131180 |    9438    17573    80652 |    26915    12459     38 |  0.000 % |
1343.50/1343.54	c |    196864 |    9438    17573    80652 |    29607    19503     39 |  0.000 % |
1360.01/1360.00	c |    295392 |    9438    17573    80652 |    32568    15092     36 |  0.000 % |
1382.91/1382.98	c |    443181 |    9438    17573    80652 |    35824    23923     40 |  0.000 % |
1420.41/1420.42	c |    664864 |    9438    17573    80652 |    39407    13319     38 |  0.000 % |
1478.91/1478.93	c |    997391 |    9438    17573    80652 |    43348    29735     41 |  0.000 % |
1495.91/1495.92	c ===============================================================================
1506.21/1506.29	c core #10
1506.21/1506.29	c ============================[ Search Statistics ]==============================
1506.21/1506.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1506.21/1506.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1506.21/1506.29	c ===============================================================================
1506.21/1506.29	c |         0 |   10676    19139    88889 |     6379        0    nan |  0.000 % |
1506.31/1506.39	c |       100 |   10676    19139    88889 |     7017      100     30 |  0.000 % |
1506.41/1506.43	c |       252 |   10676    19139    88889 |     7719      252     29 |  0.000 % |
1506.41/1506.46	c |       477 |   10676    19139    88889 |     8491      477     30 |  0.000 % |
1506.51/1506.56	c |       814 |   10676    19139    88889 |     9340      814     29 |  0.000 % |
1506.61/1506.62	c |      1320 |   10676    19139    88889 |    10274     1320     28 |  0.000 % |
1506.81/1506.80	c |      2081 |   10676    19139    88889 |    11301     2081     27 |  0.000 % |
1506.92/1506.96	c |      3220 |   10676    19139    88889 |    12432     3220     28 |  0.000 % |
1507.21/1507.23	c |      4928 |   10676    19139    88889 |    13675     4928     29 |  0.000 % |
1507.51/1507.55	c |      7492 |   10676    19139    88889 |    15042     7492     32 |  0.000 % |
1508.11/1508.15	c |     11338 |   10676    19139    88889 |    16547    11338     34 |  0.000 % |
1509.01/1509.07	c |     17107 |   10676    19139    88889 |    18201     8783     35 |  0.000 % |
1510.32/1510.38	c |     25757 |   10676    19139    88889 |    20022    17433     33 |  0.000 % |
1512.31/1512.34	c |     38731 |   10676    19139    88889 |    22024    10296     35 |  0.000 % |
1515.41/1515.45	c |     58194 |   10676    19139    88889 |    24226    18698     33 |  0.000 % |
1521.01/1521.04	c |     87387 |   10676    19139    88889 |    26649    22677     35 |  0.000 % |
1528.71/1528.73	c |    131177 |   10676    19139    88889 |    29314    22239     36 |  0.000 % |
1541.02/1541.10	c |    196864 |   10676    19139    88889 |    32245    19880     35 |  0.000 % |
1560.71/1560.72	c |    295391 |   10676    19139    88889 |    35470    18832     36 |  0.000 % |
1592.01/1592.08	c |    443181 |   10676    19139    88889 |    39017    30484     39 |  0.000 % |
1638.42/1638.42	c |    664869 |   10676    19139    88889 |    42919    39003     39 |  0.000 % |
1712.01/1712.01	c |    997398 |   10673    19139    88889 |    47211    42153     39 |  0.028 % |
1739.02/1739.04	c ===============================================================================
1739.02/1739.04	c #cores: 10
1739.02/1739.04	c Final Weight: 10
1739.02/1739.04	o 10
1739.02/1739.04	s OPTIMUM FOUND
1739.02/1739.04	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
1739.02/1739.04	c Total CPU time: 1721.65 s

Verifier Data 

OK	10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690101-1277907491/watcher-2690101-1277907491 -o /tmp/evaluation-result-2690101-1277907491/solver-2690101-1277907491 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690101-1277907491.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.29 2.39 4/196 12900
/proc/meminfo: memFree=31741484/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2664 CPUtime=0
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 132047002 2727936 224 4089446400 134512640 135751879 4289565856 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 666 224 146 303 0 338 0

[startup+0.0991621 s]
/proc/loadavg: 2.00 2.29 2.39 4/196 12900
/proc/meminfo: memFree=31741484/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=3640 CPUtime=0.09
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 564 0 0 0 9 0 0 0 18 0 1 0 132047002 3727360 460 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 910 461 143 303 0 605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.10116 s]
/proc/loadavg: 2.00 2.29 2.39 4/196 12900
/proc/meminfo: memFree=31741484/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=3640 CPUtime=0.09
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 569 0 0 0 9 0 0 0 18 0 1 0 132047002 3727360 465 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 910 465 143 303 0 605 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.301156 s]
/proc/loadavg: 2.00 2.29 2.39 4/196 12900
/proc/meminfo: memFree=31741484/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=4960 CPUtime=0.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 912 0 0 0 28 1 0 0 18 0 1 0 132047002 5079040 808 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 1240 808 143 303 0 935 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4960

[startup+0.701051 s]
/proc/loadavg: 2.00 2.29 2.39 4/196 12900
/proc/meminfo: memFree=31741484/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=6980 CPUtime=0.69
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 1413 0 0 0 67 2 0 0 18 0 1 0 132047002 7147520 1309 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 1745 1309 143 303 0 1440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6980

[startup+1.50095 s]
/proc/loadavg: 2.00 2.29 2.39 3/197 12901
/proc/meminfo: memFree=31735276/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=10812 CPUtime=1.49
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 2355 0 0 0 145 4 0 0 19 0 1 0 132047002 11071488 2251 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 2703 2251 143 303 0 2398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10812

[startup+3.10066 s]
/proc/loadavg: 2.00 2.28 2.38 3/197 12901
/proc/meminfo: memFree=31730068/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=17148 CPUtime=3.09
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 3945 0 0 0 301 8 0 0 25 0 1 0 132047002 17559552 3841 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 4287 3841 143 303 0 3982 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17148

[startup+6.30109 s]
/proc/loadavg: 2.00 2.28 2.38 3/197 12901
/proc/meminfo: memFree=31717060/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=29516 CPUtime=6.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 7034 0 0 0 617 12 0 0 25 0 1 0 132047002 30224384 6930 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 7379 6930 143 303 0 7074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29516

[startup+12.701 s]
/proc/loadavg: 2.00 2.27 2.38 3/197 12901
/proc/meminfo: memFree=31693376/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=51972 CPUtime=12.69
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 12663 0 0 0 1249 20 0 0 25 0 1 0 132047002 53219328 12559 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 12993 12559 143 303 0 12688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51972

[startup+25.5007 s]
/proc/loadavg: 2.00 2.26 2.37 3/197 12901
/proc/meminfo: memFree=31653508/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=90676 CPUtime=25.49
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 22326 0 0 0 2513 36 0 0 25 0 1 0 132047002 92852224 22222 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 22669 22222 143 303 0 22364 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90676

[startup+51.1011 s]
/proc/loadavg: 2.00 2.24 2.36 3/197 12903
/proc/meminfo: memFree=31579008/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=165500 CPUtime=51.09
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 41005 0 0 0 5045 64 0 0 25 0 1 0 132047002 169472000 40901 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/12900/statm: 41375 40901 143 303 0 41070 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 165500

[startup+102.306 s]
/proc/loadavg: 2.00 2.20 2.34 3/197 12904
/proc/meminfo: memFree=31513096/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=229940 CPUtime=102.28
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 57153 0 0 0 10112 116 0 0 25 0 1 0 132047002 235458560 57019 4089446400 134512640 135751879 4289565856 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 57485 57019 146 303 0 57180 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 229940

[startup+162.3 s]
/proc/loadavg: 2.00 2.16 2.32 3/197 12905
/proc/meminfo: memFree=31363968/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=379084 CPUtime=162.28
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 94441 0 0 0 16050 178 0 0 25 0 1 0 132047002 388182016 94307 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 94771 94307 146 303 0 94466 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 379084

[startup+222.301 s]
/proc/loadavg: 2.00 2.13 2.29 3/197 12907
/proc/meminfo: memFree=31312528/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=429372 CPUtime=222.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 107046 0 0 0 21999 230 0 0 25 0 1 0 132047002 439676928 106912 4089446400 134512640 135751879 4289565856 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 107343 106912 146 303 0 107038 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 429372

[startup+282.3 s]
/proc/loadavg: 2.00 2.10 2.27 3/197 12909
/proc/meminfo: memFree=31189208/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=553732 CPUtime=282.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 138102 0 0 0 27948 281 0 0 25 0 1 0 132047002 567021568 137968 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 138433 137968 146 303 0 138128 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 553732

[startup+342.301 s]
/proc/loadavg: 2.00 2.08 2.25 3/197 12910
/proc/meminfo: memFree=31134688/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=605908 CPUtime=342.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 151165 0 0 0 33900 329 0 0 25 0 1 0 132047002 620449792 151031 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 151477 151031 146 303 0 151172 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 605908

[startup+402.301 s]
/proc/loadavg: 2.00 2.06 2.23 3/197 12912
/proc/meminfo: memFree=31046828/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=695148 CPUtime=402.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 173467 0 0 0 39853 376 0 0 25 0 1 0 132047002 711831552 173333 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 173787 173333 146 303 0 173482 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 695148

[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.22 3/197 12913
/proc/meminfo: memFree=30984124/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=756232 CPUtime=462.28
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 188731 0 0 0 45798 430 0 0 25 0 1 0 132047002 774381568 188597 4089446400 134512640 135751879 4289565856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 189058 188597 146 303 0 188753 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 756232

[startup+522.301 s]
/proc/loadavg: 2.04 2.05 2.20 3/197 12915
/proc/meminfo: memFree=30885836/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=856528 CPUtime=522.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 213781 0 0 0 51742 487 0 0 25 0 1 0 132047002 877084672 213647 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 214132 213647 146 303 0 213827 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 856528

[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.19 3/197 12917
/proc/meminfo: memFree=30808272/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=930876 CPUtime=582.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 232418 0 0 0 57695 534 0 0 25 0 1 0 132047002 953217024 232284 4089446400 134512640 135751879 4289565856 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 232719 232284 146 303 0 232414 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 930876

[startup+642.3 s]
/proc/loadavg: 2.00 2.03 2.17 3/197 12918
/proc/meminfo: memFree=30737652/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1001208 CPUtime=642.29
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 249973 0 0 0 63643 586 0 0 25 0 1 0 132047002 1025236992 249839 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/12900/statm: 250302 249839 146 303 0 249997 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 1001208

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=30101152/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1463808 CPUtime=1002.3
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 365706 0 0 0 99307 923 0 0 25 0 1 0 132047002 1498939392 365500 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 365952 365500 146 303 0 365647 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 1463808

[startup+1062.3 s]
/proc/loadavg: 2.08 2.04 2.11 3/197 12978
/proc/meminfo: memFree=30029480/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1511248 CPUtime=1062.3
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 377605 0 0 0 105226 1004 0 0 25 0 1 0 132047002 1547517952 377357 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 377812 377357 146 303 0 377507 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1511248

[startup+1122.3 s]
/proc/loadavg: 2.03 2.03 2.10 3/197 12980
/proc/meminfo: memFree=29949340/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1564308 CPUtime=1122.3
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 390858 0 0 0 111144 1086 0 0 25 0 1 0 132047002 1601851392 390610 4089446400 134512640 135751879 4289565856 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 391077 390610 146 303 0 390772 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1564308

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.09 3/197 12982
/proc/meminfo: memFree=29826916/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1662488 CPUtime=1182.3
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 415397 0 0 0 117067 1163 0 0 18 0 1 0 132047002 1702387712 415149 4089446400 134512640 135751879 4289565856 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 415622 415149 146 303 0 415317 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1662488

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/197 12983
/proc/meminfo: memFree=29698168/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1776916 CPUtime=1242.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 443970 0 0 0 122981 1250 0 0 25 0 1 0 132047002 1819561984 443722 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 444229 443722 146 303 0 443924 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1776916

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/197 12985
/proc/meminfo: memFree=29558752/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1898668 CPUtime=1302.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 474392 0 0 0 128906 1325 0 0 25 0 1 0 132047002 1944236032 474144 4089446400 134512640 135751879 4289565856 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 474667 474145 146 303 0 474362 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1898668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/197 12986
/proc/meminfo: memFree=29498004/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1941504 CPUtime=1362.3
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 485151 0 0 0 134834 1396 0 0 25 0 1 0 132047002 1988100096 484860 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 485376 484860 146 303 0 485071 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1941504

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.06 3/197 12988
/proc/meminfo: memFree=29464028/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=1948776 CPUtime=1422.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 486968 0 0 0 140759 1472 0 0 25 0 1 0 132047002 1995546624 486677 4089446400 134512640 135751879 4289565856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 487194 486677 146 303 0 486889 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 1948776

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.06 3/197 12990
/proc/meminfo: memFree=29386644/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2005976 CPUtime=1482.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 501228 0 0 0 146707 1524 0 0 25 0 1 0 132047002 2054119424 500937 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 501494 500937 146 303 0 501189 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2005976

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/197 12991
/proc/meminfo: memFree=29339228/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2038992 CPUtime=1542.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 509616 0 0 0 152659 1572 0 0 25 0 1 0 132047002 2087927808 509213 4089446400 134512640 135751879 4289565856 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 509748 509213 146 303 0 509443 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2038992

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.06 3/197 12993
/proc/meminfo: memFree=29305548/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2061336 CPUtime=1602.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 515248 0 0 0 158608 1623 0 0 25 0 1 0 132047002 2110808064 514845 4089446400 134512640 135751879 4289565856 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 515334 514845 146 303 0 515029 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2061336

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/197 12994
/proc/meminfo: memFree=29254540/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2111540 CPUtime=1662.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 527757 0 0 0 164558 1673 0 0 25 0 1 0 132047002 2162216960 527354 4089446400 134512640 135751879 4289565856 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 527885 527354 146 303 0 527580 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 2111540

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/197 12996
/proc/meminfo: memFree=29186424/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2180280 CPUtime=1722.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 544951 0 0 0 170503 1728 0 0 25 0 1 0 132047002 2232606720 544548 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 545070 544548 146 303 0 544765 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 2180280

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

[startup+1727.9 s]
/proc/loadavg: 2.01 2.01 2.04 3/197 12996
/proc/meminfo: memFree=29178608/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2188616 CPUtime=1727.92
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 547018 0 0 0 171059 1733 0 0 25 0 1 0 132047002 2241142784 546615 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 547154 546615 146 303 0 546849 0
Current children cumulated CPU time (s) 1727.92
Current children cumulated vsize (KiB) 2188616

[startup+1734.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/197 12996
/proc/meminfo: memFree=29169308/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2197208 CPUtime=1734.31
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 549149 0 0 0 171693 1738 0 0 25 0 1 0 132047002 2249940992 548746 4089446400 134512640 135751879 4289565856 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 549302 548746 146 303 0 548997 0
Current children cumulated CPU time (s) 1734.31
Current children cumulated vsize (KiB) 2197208

[startup+1737.5 s]
/proc/loadavg: 2.01 2.01 2.04 3/197 12996
/proc/meminfo: memFree=29165216/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2200672 CPUtime=1737.51
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 550035 0 0 0 172011 1740 0 0 25 0 1 0 132047002 2253488128 549632 4089446400 134512640 135751879 4289565856 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 550168 549632 146 303 0 549863 0
Current children cumulated CPU time (s) 1737.51
Current children cumulated vsize (KiB) 2200672

[startup+1738.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/197 12996
/proc/meminfo: memFree=29164100/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2202256 CPUtime=1738.32
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 550416 0 0 0 172091 1741 0 0 25 0 1 0 132047002 2255110144 550013 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 550564 550013 146 303 0 550259 0
Current children cumulated CPU time (s) 1738.32
Current children cumulated vsize (KiB) 2202256

[startup+1738.7 s]
/proc/loadavg: 2.01 2.01 2.04 3/197 12996
/proc/meminfo: memFree=29164100/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=2202916 CPUtime=1738.71
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202496 550579 0 0 0 172130 1741 0 0 25 0 1 0 132047002 2255785984 550176 4089446400 134512640 135751879 4289565856 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/12900/statm: 550729 550176 146 303 0 550424 0
Current children cumulated CPU time (s) 1738.71
Current children cumulated vsize (KiB) 2202916

[startup+1739.11 s]
/proc/loadavg: 2.01 2.01 2.04 3/197 12996
/proc/meminfo: memFree=29162116/32951124 swapFree=67111528/67111528
[pid=12900] ppid=12898 vsize=0 CPUtime=1739.12
/proc/12900/stat : 12900 (wbo1.4a) R 12898 12900 10617 0 -1 4202500 550723 0 0 0 172164 1748 0 0 25 0 1 0 132047002 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/12900/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1739.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1739.12
CPU time (s): 1739.14
CPU user time (s): 1721.65
CPU system time (s): 17.4943
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2203444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.65
system time used= 17.4943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550723
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= 2149

runsolver used 2.6446 second user time and 5.60815 second system time

The end

Launcher Data 

Begin job on node101 at 2010-06-30 16:18:11
IDJOB=2690101
IDBENCH=78950
IDSOLVER=1200
FILE ID=node101/2690101-1277907491
PBS_JOBID= 11197157
Free space on /tmp= 74212 MiB

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

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

MD5SUM BENCH= df541056d5ee75c7588bd018b6cc514e
RANDOM SEED=2095439785

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31742012 kB
Buffers:        194836 kB
Cached:         735188 kB
SwapCached:          0 kB
Active:         545420 kB
Inactive:       523132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31742012 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2784 kB
Writeback:           0 kB
AnonPages:      138840 kB
Mapped:          20464 kB
Slab:            77720 kB
PageTables:       5168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1655012 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node101 at 2010-06-30 16:47:10