Trace number 3446996

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 1658.1 1658.05

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
MD5SUM9b675eaf583b613075d5327645ad3a71
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark194.59
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 constraints1863
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 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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-3446996-1307905607.wbo.
0.00/0.00	c Instance file HOME/instance-3446996-1307905607.wbo
0.00/0.00	c File size is 92625 bytes.
0.00/0.00	c Highest Coefficient sum: 723
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     22 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     22 |  0.002 % |
0.00/0.01	c |       477 |     231     2707     8338 |     6655      477     23 |  0.002 % |
0.00/0.02	c |       815 |     231     2707     8338 |     7320      815     27 |  0.002 % |
0.00/0.03	c |      1323 |     231     2707     8338 |     8052     1323     29 |  0.002 % |
0.00/0.05	c |      2082 |     231     2707     8338 |     8857     2082     30 |  0.002 % |
0.00/0.08	c |      3225 |     231     2707     8338 |     9743     3225     32 |  0.002 % |
0.09/0.14	c |      4934 |     231     2707     8338 |    10717     4934     35 |  0.002 % |
0.19/0.24	c |      7499 |     231     2707     8338 |    11789     7499     36 |  0.002 % |
0.38/0.43	c |     11343 |     231     2707     8338 |    12968    11343     35 |  0.002 % |
0.69/0.73	c |     17110 |     231     2707     8338 |    14265    10568     35 |  0.002 % |
1.10/1.19	c |     25761 |     231     2707     8338 |    15692    12041     36 |  0.002 % |
1.89/1.99	c |     38736 |     231     2707     8338 |    17261     9234     35 |  0.002 % |
3.09/3.14	c |     58197 |     231     2707     8338 |    18987    11348     38 |  0.002 % |
4.99/5.02	c |     87392 |     231     2707     8338 |    20886    11924     37 |  0.002 % |
8.39/8.41	c |    131181 |     231     2707     8338 |    22974    13736     43 |  0.002 % |
13.59/13.65	c |    196865 |     231     2707     8338 |    25272    21695     37 |  0.002 % |
21.49/21.53	c |    295393 |     231     2707     8338 |    27799    12973     35 |  0.002 % |
34.19/34.28	c |    443183 |     231     2707     8338 |    30579    18786     40 |  0.002 % |
55.89/56.00	c |    664866 |     231     2707     8338 |    33637    24887     39 |  0.002 % |
87.49/87.57	c |    997391 |     231     2707     8338 |    37001    18833     37 |  0.002 % |
137.60/137.66	c |   1496181 |     230     2707     8338 |    40701    30075     44 |  0.435 % |
153.29/153.31	c ===============================================================================
166.29/166.34	c core #1
166.29/166.34	c 
166.29/166.34	c 
166.29/166.34	c Core size: 1787	Core Weight: 1	Total Weight: 1
166.29/166.34	c Current CPU time: 163.256 s
166.29/166.34	c
166.29/166.34	c ============================[ Search Statistics ]==============================
166.29/166.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
166.29/166.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
166.29/166.34	c ===============================================================================
166.29/166.34	c |         0 |    1174     4481    16683 |     5000        0   -nan |  0.000 % |
166.29/166.34	c |       101 |    1174     4481    16683 |     5500      101     23 |  0.000 % |
166.29/166.35	c |       252 |    1174     4481    16683 |     6050      252     26 |  0.000 % |
166.29/166.35	c |       480 |    1174     4481    16683 |     6655      480     28 |  0.000 % |
166.29/166.36	c |       818 |    1174     4481    16683 |     7320      818     29 |  0.000 % |
166.29/166.37	c |      1324 |    1174     4481    16683 |     8052     1324     28 |  0.000 % |
166.29/166.39	c |      2083 |    1174     4481    16683 |     8857     2083     28 |  0.000 % |
166.40/166.43	c |      3222 |    1174     4481    16683 |     9743     3222     28 |  0.000 % |
166.40/166.49	c |      4931 |    1174     4481    16683 |    10717     4931     29 |  0.000 % |
166.49/166.59	c |      7493 |    1174     4481    16683 |    11789     7493     30 |  0.000 % |
166.70/166.76	c |     11337 |    1174     4481    16683 |    12968    11337     31 |  0.000 % |
167.00/167.04	c |     17105 |    1174     4481    16683 |    14265    10572     33 |  0.000 % |
167.49/167.50	c |     25755 |    1174     4481    16683 |    15692    12038     32 |  0.000 % |
168.30/168.32	c |     38729 |    1174     4481    16683 |    17261     9205     38 |  0.000 % |
169.59/169.65	c |     58192 |    1174     4481    16683 |    18987    11313     36 |  0.000 % |
171.60/171.64	c |     87384 |    1174     4481    16683 |    20886    11877     35 |  0.000 % |
174.90/174.98	c |    131173 |    1174     4481    16683 |    22974    13690     36 |  0.000 % |
179.89/179.90	c |    196860 |    1174     4481    16683 |    25272    21383     36 |  0.000 % |
188.29/188.36	c |    295388 |    1174     4481    16683 |    27799    12544     37 |  0.000 % |
200.39/200.45	c |    443177 |    1174     4481    16683 |    30579    18008     37 |  0.000 % |
221.59/221.61	c |    664862 |    1174     4481    16683 |    33637    21947     36 |  0.000 % |
255.30/255.37	c |    997389 |    1174     4481    16683 |    37001    18338     39 |  0.000 % |
271.80/271.82	c ===============================================================================
279.90/279.90	c core #2
279.90/279.90	c 
279.90/279.90	c 
279.90/279.90	c Core size: 1763	Core Weight: 1	Total Weight: 2
279.90/279.90	c Current CPU time: 275.642 s
279.90/279.90	c
279.90/279.90	c ============================[ Search Statistics ]==============================
279.90/279.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
279.90/279.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
279.90/279.90	c ===============================================================================
279.90/279.90	c |         0 |    2114     6214    24866 |     5000        0   -nan |  0.000 % |
279.90/279.91	c |       100 |    2114     6214    24866 |     5500      100     20 |  0.000 % |
279.90/279.91	c |       251 |    2114     6214    24866 |     6050      251     28 |  0.000 % |
279.90/279.92	c |       478 |    2114     6214    24866 |     6655      478     28 |  0.000 % |
279.90/279.93	c |       816 |    2114     6214    24866 |     7320      816     29 |  0.000 % |
279.90/279.94	c |      1322 |    2114     6214    24866 |     8052     1322     29 |  0.000 % |
279.90/279.96	c |      2081 |    2114     6214    24866 |     8857     2081     29 |  0.000 % |
279.99/280.00	c |      3220 |    2114     6214    24866 |     9743     3220     28 |  0.000 % |
279.99/280.06	c |      4929 |    2114     6214    24866 |    10717     4929     29 |  0.000 % |
280.10/280.16	c |      7491 |    2114     6214    24866 |    11789     7491     29 |  0.000 % |
280.29/280.34	c |     11335 |    2114     6214    24866 |    12968    11335     31 |  0.000 % |
280.60/280.68	c |     17101 |    2114     6214    24866 |    14265    10568     32 |  0.000 % |
281.19/281.20	c |     25751 |    2114     6214    24866 |    15692    12020     33 |  0.000 % |
282.10/282.14	c |     38725 |    2114     6214    24866 |    17261     9208     36 |  0.000 % |
283.60/283.62	c |     58186 |    2114     6214    24866 |    18987    11306     39 |  0.000 % |
286.00/286.03	c |     87380 |    2114     6214    24866 |    20886    11878     40 |  0.000 % |
289.30/289.36	c |    131169 |    2114     6214    24866 |    22974    13677     36 |  0.000 % |
294.70/294.70	c |    196853 |    2114     6214    24866 |    25272    21673     37 |  0.000 % |
303.70/303.72	c |    295379 |    2114     6214    24866 |    27799    12504     35 |  0.000 % |
317.19/317.21	c |    443169 |    2114     6214    24866 |    30579    20416     38 |  0.000 % |
338.00/338.02	c |    664852 |    2114     6214    24866 |    33637    22305     37 |  0.000 % |
372.60/372.65	c |    997377 |    2093     6214    24866 |    37001    19499     37 |  0.993 % |
377.80/377.82	c ===============================================================================
385.10/385.15	c core #3
385.10/385.15	c 
385.10/385.15	c 
385.10/385.15	c Core size: 1762	Core Weight: 1	Total Weight: 3
385.10/385.15	c Current CPU time: 379.407 s
385.10/385.15	c
385.10/385.15	c ============================[ Search Statistics ]==============================
385.10/385.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
385.10/385.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
385.10/385.15	c ===============================================================================
385.10/385.15	c |         0 |    3061     7930    33013 |     5000        0   -nan |  0.000 % |
385.10/385.15	c |       100 |    3061     7930    33013 |     5500      100     27 |  0.000 % |
385.10/385.16	c |       250 |    3061     7930    33013 |     6050      250     29 |  0.000 % |
385.10/385.16	c |       476 |    3061     7930    33013 |     6655      476     31 |  0.000 % |
385.10/385.17	c |       813 |    3061     7930    33013 |     7320      813     30 |  0.000 % |
385.10/385.19	c |      1319 |    3061     7930    33013 |     8052     1319     31 |  0.000 % |
385.20/385.22	c |      2080 |    3061     7930    33013 |     8857     2080     30 |  0.000 % |
385.20/385.26	c |      3222 |    3061     7930    33013 |     9743     3222     32 |  0.000 % |
385.30/385.33	c |      4931 |    3061     7930    33013 |    10717     4931     32 |  0.000 % |
385.40/385.46	c |      7493 |    3061     7930    33013 |    11789     7493     33 |  0.000 % |
385.60/385.65	c |     11339 |    3061     7930    33013 |    12968    11339     33 |  0.000 % |
386.00/386.01	c |     17105 |    3061     7930    33013 |    14265    10572     36 |  0.000 % |
386.50/386.56	c |     25755 |    3061     7930    33013 |    15692    12035     39 |  0.000 % |
387.40/387.48	c |     38729 |    3061     7930    33013 |    17261     9209     39 |  0.000 % |
388.79/388.88	c |     58192 |    3061     7930    33013 |    18987    11302     37 |  0.000 % |
391.20/391.25	c |     87384 |    3061     7930    33013 |    20886    11863     37 |  0.000 % |
394.60/394.63	c |    131173 |    3061     7930    33013 |    22974    13683     36 |  0.000 % |
400.30/400.38	c |    196860 |    3061     7930    33013 |    25272    21550     37 |  0.000 % |
409.80/409.82	c |    295386 |    3061     7930    33013 |    27799    13441     39 |  0.000 % |
424.00/424.01	c |    443177 |    3061     7930    33013 |    30579    20399     36 |  0.000 % |
445.00/445.05	c |    664860 |    3061     7930    33013 |    33637    20926     39 |  0.000 % |
481.00/481.07	c |    997385 |    3061     7930    33013 |    37001    20093     40 |  0.000 % |
497.00/497.09	c ===============================================================================
504.80/504.87	c core #4
504.80/504.87	c 
504.80/504.87	c 
504.80/504.87	c Core size: 1805	Core Weight: 1	Total Weight: 4
504.80/504.87	c Current CPU time: 496.751 s
504.80/504.87	c
504.80/504.87	c ============================[ Search Statistics ]==============================
504.80/504.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
504.80/504.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
504.80/504.87	c ===============================================================================
504.80/504.87	c |         0 |    4025     9648    41217 |     5000        0   -nan |  0.000 % |
504.80/504.88	c |       100 |    4025     9648    41217 |     5500      100     30 |  0.000 % |
504.80/504.88	c |       251 |    4025     9648    41217 |     6050      251     32 |  0.000 % |
504.80/504.89	c |       477 |    4025     9648    41217 |     6655      477     31 |  0.000 % |
504.80/504.90	c |       814 |    4025     9648    41217 |     7320      814     30 |  0.000 % |
504.90/504.92	c |      1320 |    4025     9648    41217 |     8052     1320     30 |  0.000 % |
504.90/504.96	c |      2079 |    4025     9648    41217 |     8857     2079     31 |  0.000 % |
505.01/505.00	c |      3219 |    4025     9648    41217 |     9743     3219     32 |  0.000 % |
505.01/505.08	c |      4929 |    4025     9648    41217 |    10717     4929     33 |  0.000 % |
505.20/505.21	c |      7494 |    4025     9648    41217 |    11789     7494     33 |  0.000 % |
505.40/505.45	c |     11338 |    4025     9648    41217 |    12968    11338     34 |  0.000 % |
505.80/505.80	c |     17104 |    4025     9648    41217 |    14265    10577     35 |  0.000 % |
506.41/506.46	c |     25753 |    4025     9648    41217 |    15692    12036     37 |  0.000 % |
507.50/507.50	c |     38727 |    4025     9648    41217 |    17261     9217     41 |  0.000 % |
508.90/508.95	c |     58188 |    4025     9648    41217 |    18987    11294     38 |  0.000 % |
511.60/511.61	c |     87383 |    4025     9648    41217 |    20886    11859     42 |  0.000 % |
515.80/515.87	c |    131175 |    4025     9648    41217 |    22974    13651     41 |  0.000 % |
521.30/521.37	c |    196861 |    4025     9648    41217 |    25272    21613     41 |  0.000 % |
531.00/531.02	c |    295387 |    4025     9648    41217 |    27799    14021     36 |  0.000 % |
546.00/546.09	c |    443177 |    4025     9648    41217 |    30579    19213     37 |  0.000 % |
570.11/570.15	c |    664862 |    4025     9648    41217 |    33637    20265     40 |  0.000 % |
606.11/606.15	c |    997387 |    4025     9648    41217 |    37001    18047     40 |  0.000 % |
648.21/648.27	c ===============================================================================
658.51/658.54	c core #5
658.51/658.54	c 
658.51/658.54	c 
658.51/658.54	c Core size: 1859	Core Weight: 1	Total Weight: 5
658.51/658.54	c Current CPU time: 647.983 s
658.51/658.54	c
658.51/658.54	c ============================[ Search Statistics ]==============================
658.51/658.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
658.51/658.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
658.51/658.54	c ===============================================================================
658.51/658.54	c |         0 |    5027    11360    49480 |     5000        0   -nan |  0.000 % |
658.51/658.56	c |       101 |    5027    11360    49480 |     5500      101     22 |  0.000 % |
658.51/658.56	c |       251 |    5027    11360    49480 |     6050      251     21 |  0.000 % |
658.51/658.57	c |       476 |    5027    11360    49480 |     6655      476     23 |  0.000 % |
658.51/658.58	c |       813 |    5027    11360    49480 |     7320      813     26 |  0.000 % |
658.60/658.61	c |      1319 |    5027    11360    49480 |     8052     1319     29 |  0.000 % |
658.60/658.64	c |      2078 |    5027    11360    49480 |     8857     2078     30 |  0.000 % |
658.70/658.70	c |      3218 |    5027    11360    49480 |     9743     3218     31 |  0.000 % |
658.81/658.81	c |      4926 |    5027    11360    49480 |    10717     4926     33 |  0.000 % |
658.91/658.97	c |      7490 |    5027    11360    49480 |    11789     7490     33 |  0.000 % |
659.21/659.22	c |     11334 |    5027    11360    49480 |    12968    11334     33 |  0.000 % |
659.61/659.64	c |     17100 |    5027    11360    49480 |    14265    10561     36 |  0.000 % |
660.31/660.35	c |     25749 |    5027    11360    49480 |    15692    12017     38 |  0.000 % |
661.71/661.77	c |     38724 |    5027    11360    49480 |    17261     9193     39 |  0.000 % |
663.61/663.65	c |     58188 |    5027    11360    49480 |    18987    10258     41 |  0.000 % |
666.41/666.45	c |     87380 |    5027    11360    49480 |    20886    10804     38 |  0.000 % |
670.61/670.69	c |    131170 |    5027    11360    49480 |    22974    12599     38 |  0.000 % |
677.51/677.51	c |    196856 |    5027    11360    49480 |    25272    20365     41 |  0.000 % |
688.51/688.53	c |    295383 |    5027    11360    49480 |    27799    25156     41 |  0.000 % |
704.71/704.77	c |    443174 |    5027    11360    49480 |    30579    14181     38 |  0.000 % |
731.52/731.51	c |    664858 |    5027    11360    49480 |    33637    14954     44 |  0.000 % |
773.61/773.63	c |    997387 |    5027    11360    49480 |    37001    32480     40 |  0.000 % |
834.91/834.92	c |   1496175 |    5027    11360    49480 |    40701    24041     40 |  0.000 % |
909.42/909.40	c ===============================================================================
925.22/925.22	c core #6
925.22/925.22	c 
925.22/925.22	c 
925.22/925.22	c Core size: 1936	Core Weight: 1	Total Weight: 6
925.22/925.22	c Current CPU time: 910.278 s
925.22/925.22	c
925.22/925.22	c ============================[ Search Statistics ]==============================
925.22/925.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
925.22/925.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
925.22/925.22	c ===============================================================================
925.22/925.22	c |         0 |    6068    13047    57787 |     5000        0   -nan |  0.000 % |
925.22/925.23	c |       102 |    6068    13047    57787 |     5500      102     27 |  0.000 % |
925.22/925.24	c |       252 |    6068    13047    57787 |     6050      252     29 |  0.000 % |
925.22/925.25	c |       479 |    6068    13047    57787 |     6655      479     31 |  0.000 % |
925.22/925.26	c |       816 |    6068    13047    57787 |     7320      816     29 |  0.000 % |
925.22/925.29	c |      1322 |    6068    13047    57787 |     8052     1322     29 |  0.000 % |
925.32/925.32	c |      2082 |    6068    13047    57787 |     8857     2082     29 |  0.000 % |
925.32/925.37	c |      3221 |    6068    13047    57787 |     9743     3221     28 |  0.000 % |
925.41/925.46	c |      4932 |    6068    13047    57787 |    10717     4932     29 |  0.000 % |
925.62/925.60	c |      7496 |    6068    13047    57787 |    11789     7496     29 |  0.000 % |
925.81/925.81	c |     11340 |    6068    13047    57787 |    12968    11340     30 |  0.000 % |
926.22/926.21	c |     17107 |    6068    13047    57787 |    14265    10572     30 |  0.000 % |
926.82/926.84	c |     25758 |    6068    13047    57787 |    15692    12035     34 |  0.000 % |
927.92/927.92	c |     38732 |    6068    13047    57787 |    17261     9235     36 |  0.000 % |
929.31/929.37	c |     58198 |    6068    13047    57787 |    18987    11311     33 |  0.000 % |
932.12/932.13	c |     87393 |    6068    13047    57787 |    20886    11869     41 |  0.000 % |
936.51/936.56	c |    131188 |    6068    13047    57787 |    22974    13642     45 |  0.000 % |
943.61/943.68	c |    196872 |    6068    13047    57787 |    25272    21502     46 |  0.000 % |
953.92/953.97	c |    295399 |    6068    13047    57787 |    27799    12108     40 |  0.000 % |
969.12/969.13	c |    443189 |    6068    13047    57787 |    30579    15684     44 |  0.000 % |
994.02/994.04	c |    664873 |    6068    13047    57787 |    33637    17228     41 |  0.000 % |
1031.93/1031.97	c |    997398 |    6068    13047    57787 |    37001    29351     43 |  0.000 % |
1093.43/1093.50	c |   1496189 |    6068    13047    57787 |    40701    15653     40 |  0.000 % |
1184.02/1184.09	c |   2244371 |    6067    13047    57787 |    44771    38205     45 |  0.016 % |
1185.53/1185.54	c ===============================================================================
1203.22/1203.20	c core #7
1203.22/1203.20	c 
1203.22/1203.20	c 
1203.22/1203.20	c Core size: 2022	Core Weight: 1	Total Weight: 7
1203.22/1203.20	c Current CPU time: 1183.46 s
1203.22/1203.20	c
1203.22/1203.20	c ============================[ Search Statistics ]==============================
1203.22/1203.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1203.22/1203.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1203.22/1203.20	c ===============================================================================
1203.22/1203.20	c |         0 |    7175    14718    66195 |     5000        0   -nan |  0.000 % |
1203.22/1203.22	c |       100 |    7175    14718    66195 |     5500      100     31 |  0.000 % |
1203.22/1203.22	c |       250 |    7175    14718    66195 |     6050      250     27 |  0.000 % |
1203.22/1203.23	c |       476 |    7175    14718    66195 |     6655      476     27 |  0.000 % |
1203.22/1203.25	c |       815 |    7175    14718    66195 |     7320      815     28 |  0.000 % |
1203.22/1203.28	c |      1321 |    7175    14718    66195 |     8052     1321     30 |  0.000 % |
1203.33/1203.32	c |      2082 |    7175    14718    66195 |     8857     2082     30 |  0.000 % |
1203.33/1203.37	c |      3222 |    7175    14718    66195 |     9743     3222     31 |  0.000 % |
1203.43/1203.46	c |      4931 |    7175    14718    66195 |    10717     4931     31 |  0.000 % |
1203.63/1203.64	c |      7494 |    7175    14718    66195 |    11789     7494     33 |  0.000 % |
1203.92/1203.91	c |     11340 |    7175    14718    66195 |    12968    11340     32 |  0.000 % |
1204.32/1204.34	c |     17106 |    7175    14718    66195 |    14265    10553     33 |  0.000 % |
1205.02/1205.01	c |     25756 |    7175    14718    66195 |    15692    12008     34 |  0.000 % |
1206.02/1206.08	c |     38731 |    7175    14718    66195 |    17261     9226     36 |  0.000 % |
1207.83/1207.85	c |     58192 |    7175    14718    66195 |    18987    11323     39 |  0.000 % |
1210.62/1210.61	c |     87384 |    7175    14718    66195 |    20886    11883     38 |  0.000 % |
1215.23/1215.29	c |    131173 |    7175    14718    66195 |    22974    13656     41 |  0.000 % |
1222.23/1222.22	c |    196857 |    7175    14718    66195 |    25272    21312     39 |  0.000 % |
1233.13/1233.15	c |    295387 |    7175    14718    66195 |    27799    25067     42 |  0.000 % |
1249.43/1249.49	c |    443177 |    7175    14718    66195 |    30579    15071     43 |  0.000 % |
1272.63/1272.63	c |    664860 |    7175    14718    66195 |    33637    13735     38 |  0.000 % |
1312.53/1312.50	c |    997386 |    7175    14718    66195 |    37001    26342     40 |  0.000 % |
1371.62/1371.65	c |   1496174 |    7175    14718    66195 |    40701    32907     42 |  0.000 % |
1469.03/1469.04	c |   2244357 |    7175    14718    66195 |    44771    30497     44 |  0.000 % |
1508.03/1508.00	c ===============================================================================
1528.23/1528.21	c core #8
1528.23/1528.21	c 
1528.23/1528.21	c 
1528.23/1528.21	c Core size: 2098	Core Weight: 1	Total Weight: 8
1528.23/1528.21	c Current CPU time: 1503.01 s
1528.23/1528.21	c
1528.23/1528.21	c ============================[ Search Statistics ]==============================
1528.23/1528.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1528.23/1528.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1528.23/1528.21	c ===============================================================================
1528.23/1528.21	c |         0 |    8346    16378    74720 |     5459        0   -nan |  0.000 % |
1528.23/1528.24	c |       100 |    8346    16378    74720 |     6005      100     33 |  0.000 % |
1528.23/1528.24	c |       250 |    8346    16378    74720 |     6605      250     30 |  0.000 % |
1528.23/1528.25	c |       475 |    8346    16378    74720 |     7266      475     31 |  0.000 % |
1528.23/1528.26	c |       812 |    8346    16378    74720 |     7993      812     29 |  0.000 % |
1528.23/1528.29	c |      1321 |    8346    16378    74720 |     8792     1321     31 |  0.000 % |
1528.33/1528.33	c |      2080 |    8346    16378    74720 |     9671     2080     30 |  0.000 % |
1528.44/1528.40	c |      3219 |    8346    16378    74720 |    10638     3219     31 |  0.000 % |
1528.54/1528.51	c |      4928 |    8346    16378    74720 |    11702     4928     32 |  0.000 % |
1528.63/1528.69	c |      7490 |    8346    16378    74720 |    12872     7490     31 |  0.000 % |
1528.94/1528.99	c |     11334 |    8346    16378    74720 |    14160    11334     32 |  0.000 % |
1529.43/1529.42	c |     17100 |    8346    16378    74720 |    15576     9959     32 |  0.000 % |
1530.15/1530.15	c |     25750 |    8346    16378    74720 |    17133    10775     36 |  0.000 % |
1531.34/1531.35	c |     38726 |    8346    16378    74720 |    18847    15135     39 |  0.000 % |
1533.14/1533.19	c |     58187 |    8346    16378    74720 |    20731    15653     38 |  0.000 % |
1536.33/1536.34	c |     87379 |    8346    16378    74720 |    22804    13605     38 |  0.000 % |
1541.03/1541.07	c |    131168 |    8346    16378    74720 |    25085    11568     41 |  0.000 % |
1548.24/1548.24	c |    196852 |    8346    16378    74720 |    27594    23816     40 |  0.000 % |
1560.53/1560.53	c |    295380 |    8346    16378    74720 |    30353    14296     42 |  0.000 % |
1576.34/1576.37	c |    443171 |    8346    16378    74720 |    33388    15310     38 |  0.000 % |
1602.54/1602.54	c |    664855 |    8346    16378    74720 |    36727    27038     40 |  0.000 % |
1643.34/1643.31	c |    997383 |    8346    16378    74720 |    40400    19614     40 |  0.000 % |
1658.04/1658.02	c ===============================================================================
1658.04/1658.02	c #cores: 8
1658.04/1658.02	o 8
1658.04/1658.02	s OPTIMUM FOUND
1658.04/1658.02	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
1658.04/1658.02	c Total CPU time: 1631.77 s

Verifier Data 

OK	8

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11511
/proc/meminfo: memFree=1688064/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=2200 CPUtime=0 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 320 0 0 0 0 0 0 0 25 0 1 0 980791366 2252800 271 33554432000 4194304 5714214 140735496968912 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 550 271 178 372 0 152 0

[startup+0.102295 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11511
/proc/meminfo: memFree=1688064/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=3560 CPUtime=0.09 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 719 0 0 0 9 0 0 0 25 0 1 0 980791366 3645440 647 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 890 647 177 372 0 515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3560

[startup+0.200269 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11511
/proc/meminfo: memFree=1688064/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=4668 CPUtime=0.19 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 988 0 0 0 19 0 0 0 25 0 1 0 980791366 4780032 916 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 1167 916 177 372 0 792 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4668

[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11511
/proc/meminfo: memFree=1688064/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=5600 CPUtime=0.28 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 1202 0 0 0 28 0 0 0 25 0 1 0 980791366 5734400 1130 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 1400 1130 177 372 0 1025 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5600

[startup+0.700172 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 11511
/proc/meminfo: memFree=1688064/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=7328 CPUtime=0.69 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 1642 0 0 0 67 2 0 0 25 0 1 0 980791366 7503872 1570 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 1832 1570 177 372 0 1457 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7328

[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11512
/proc/meminfo: memFree=1674564/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=11024 CPUtime=1.49 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 2571 0 0 0 145 4 0 0 25 0 1 0 980791366 11288576 2499 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 2756 2499 177 372 0 2381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11024

[startup+3.10072 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11512
/proc/meminfo: memFree=1667496/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=16072 CPUtime=3.09 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 3816 0 0 0 302 7 0 0 25 0 1 0 980791366 16457728 3744 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 4018 3744 177 372 0 3643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16072

[startup+6.30112 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11512
/proc/meminfo: memFree=1650024/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=25436 CPUtime=6.29 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 6144 0 0 0 615 14 0 0 25 0 1 0 980791366 26046464 6072 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 6359 6072 177 372 0 5984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25436

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11513
/proc/meminfo: memFree=1623208/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=38980 CPUtime=12.69 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 9536 0 0 0 1245 24 0 0 25 0 1 0 980791366 39915520 9464 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11511/statm: 9745 9464 177 372 0 9370 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38980

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11513
/proc/meminfo: memFree=1575000/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=68104 CPUtime=25.49 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 16788 0 0 0 2503 46 0 0 25 0 1 0 980791366 69738496 16716 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 17026 16716 177 372 0 16651 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68104

[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11514
/proc/meminfo: memFree=1497440/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=114008 CPUtime=51.09 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 28221 0 0 0 5024 85 0 0 25 0 1 0 980791366 116744192 28149 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 28502 28149 177 372 0 28127 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114008

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11515
/proc/meminfo: memFree=1340792/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=204584 CPUtime=102.3 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 50800 0 0 0 10073 157 0 0 25 0 1 0 980791366 209494016 50728 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 51146 50728 177 372 0 50771 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 204584

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11517
/proc/meminfo: memFree=1117408/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356848 CPUtime=162.29 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 88836 0 0 0 16006 223 0 0 25 0 1 0 980791366 365412352 88764 33554432000 4194304 5714214 140735496968912 18446744073709551615 4324580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89212 88764 177 372 0 88837 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 356848

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11518
/proc/meminfo: memFree=1047304/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=222.3 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 88923 0 0 0 21923 307 0 0 25 0 1 0 980791366 365080576 88771 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88771 178 372 0 88756 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 356524

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11520
/proc/meminfo: memFree=982652/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=282.29 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 89041 0 0 0 27855 374 0 0 25 0 1 0 980791366 365080576 88889 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88889 178 372 0 88756 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 356524

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11521
/proc/meminfo: memFree=806416/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=342.3 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 89041 0 0 0 33770 460 0 0 25 0 1 0 980791366 365080576 88889 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88889 178 372 0 88756 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 356524

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11561
/proc/meminfo: memFree=1221932/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=402.3 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 89041 0 0 0 39665 565 0 0 25 0 1 0 980791366 365080576 88889 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88889 178 372 0 88756 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 356524

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11563
/proc/meminfo: memFree=1114388/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=462.3 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 89041 0 0 0 45534 696 0 0 25 0 1 0 980791366 365080576 88889 33554432000 4194304 5714214 140735496968912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88889 178 372 0 88756 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 356524

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11564
/proc/meminfo: memFree=1016020/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=522.3 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 89044 0 0 0 51428 802 0 0 25 0 1 0 980791366 365080576 88892 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88892 178 372 0 88756 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 356524

[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 11604
/proc/meminfo: memFree=1240968/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=356524 CPUtime=582.31 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 89044 0 0 0 57324 907 0 0 25 0 1 0 980791366 365080576 88892 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 89131 88892 178 372 0 88756 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 356524

[startup+642.3 s]

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

/proc/meminfo: memFree=1014304/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=454156 CPUtime=1002.32 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 113403 0 0 0 98691 1541 0 0 25 0 1 0 980791366 465055744 113251 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 113539 113251 178 372 0 113164 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 454156

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 11655
/proc/meminfo: memFree=959780/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=454156 CPUtime=1062.32 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 113414 0 0 0 104588 1644 0 0 25 0 1 0 980791366 465055744 113262 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 113539 113262 178 372 0 113164 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 454156

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 11656
/proc/meminfo: memFree=959860/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=454156 CPUtime=1122.32 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 113414 0 0 0 110484 1748 0 0 25 0 1 0 980791366 465055744 113262 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 113539 113262 178 372 0 113164 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 454156

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 11658
/proc/meminfo: memFree=959932/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=454156 CPUtime=1182.32 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 113417 0 0 0 116379 1853 0 0 25 0 1 0 980791366 465055744 113265 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 113539 113265 178 372 0 113164 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 454156

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11659
/proc/meminfo: memFree=915600/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=498412 CPUtime=1242.33 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 124467 0 0 0 122296 1937 0 0 25 0 1 0 980791366 510373888 124315 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 124603 124315 178 372 0 124228 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 498412

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11661
/proc/meminfo: memFree=915688/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=498412 CPUtime=1302.33 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 124467 0 0 0 128183 2050 0 0 25 0 1 0 980791366 510373888 124315 33554432000 4194304 5714214 140735496968912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 124603 124315 178 372 0 124228 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 498412

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11663
/proc/meminfo: memFree=915140/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=498412 CPUtime=1362.33 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 124467 0 0 0 134077 2156 0 0 25 0 1 0 980791366 510373888 124315 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 124603 124315 178 372 0 124228 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 498412

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11664
/proc/meminfo: memFree=915100/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=498412 CPUtime=1422.33 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 124467 0 0 0 139983 2250 0 0 25 0 1 0 980791366 510373888 124315 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 124603 124315 178 372 0 124228 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 498412

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11666
/proc/meminfo: memFree=908696/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=498412 CPUtime=1482.33 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 124467 0 0 0 145885 2348 0 0 25 0 1 0 980791366 510373888 124315 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 124603 124315 178 372 0 124228 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 498412

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 11667
/proc/meminfo: memFree=741000/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1542.34 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 151812 2422 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 557536

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 11707
/proc/meminfo: memFree=1094668/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1602.34 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 157701 2533 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 557536

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

[startup+1612.8 s]
/proc/loadavg: 2.06 2.02 1.93 3/178 11707
/proc/meminfo: memFree=1082256/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1612.84 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 158734 2550 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1612.84
Current children cumulated vsize (KiB) 557536

[startup+1638.4 s]
/proc/loadavg: 2.11 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1061036/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1638.44 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 161247 2597 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1638.44
Current children cumulated vsize (KiB) 557536

[startup+1651.21 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1051356/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1651.25 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 162506 2619 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1651.25
Current children cumulated vsize (KiB) 557536

[startup+1654.4 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1048380/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1654.45 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 162820 2625 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1654.45
Current children cumulated vsize (KiB) 557536

[startup+1656 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1048380/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1656.04 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 162978 2626 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1656.04
Current children cumulated vsize (KiB) 557536

[startup+1656.8 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1047140/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1656.84 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 163057 2627 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1656.84
Current children cumulated vsize (KiB) 557536

[startup+1657.6 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1047140/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1657.64 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 163135 2629 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1657.64
Current children cumulated vsize (KiB) 557536

[startup+1658 s]
/proc/loadavg: 2.08 2.03 1.93 3/178 11708
/proc/meminfo: memFree=1044776/32950928 swapFree=67054844/67111528
[pid=11511] ppid=11509 vsize=557536 CPUtime=1658.04 cores=1,3,5,7
/proc/11511/stat : 11511 (wbo1.6) R 11509 11511 10183 0 -1 4202496 139255 0 0 0 163174 2630 0 0 25 0 1 0 980791366 570916864 139103 33554432000 4194304 5714214 140735496968912 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11511/statm: 139384 139103 178 372 0 139009 0
Current children cumulated CPU time (s) 1658.04
Current children cumulated vsize (KiB) 557536

Child status: 0
Real time (s): 1658.05
CPU time (s): 1658.1
CPU user time (s): 1631.77
CPU system time (s): 26.331
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 557536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1631.77
system time used= 26.331
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139258
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= 5
involuntary context switches= 2765

runsolver used 2.47162 second user time and 5.67814 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-12 21:06:47
IDJOB=3446996
IDBENCH=78905
IDSOLVER=1943
FILE ID=node114/3446996-1307905607
RUNJOBID= node114-1307903805-11346
PBS_JOBID= 13559591
Free space on /var/tmp= 2880 MiB

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

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

MD5SUM BENCH= 9b675eaf583b613075d5327645ad3a71
RANDOM SEED=1838190803

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1688988 kB
Buffers:         56596 kB
Cached:       30237432 kB
SwapCached:      10300 kB
Active:       14867028 kB
Inactive:     15447420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1688988 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:            8552 kB
Writeback:           0 kB
AnonPages:       17448 kB
Mapped:          13964 kB
Slab:           883388 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   210668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2876 MiB
End job on node114 at 2011-06-12 21:34:25