Trace number 2690121

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 1010.98 1010.95

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
MD5SUM7129b2638275c1b1b14ce0a3da71735e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark323.561
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 constraints927
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 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
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-2690121-1277908528.wbo.
0.00/0.00	c Instance file HOME/instance-2690121-1277908528.wbo
0.00/0.00	c File size is 87999 bytes.
0.00/0.00	c Highest Coefficient sum: 755
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 |       101 |     231     2707     8338 |     5500      101     18 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     21 |  0.002 % |
0.00/0.01	c |       480 |     231     2707     8338 |     6655      480     23 |  0.002 % |
0.00/0.02	c |       817 |     231     2707     8338 |     7320      817     23 |  0.002 % |
0.00/0.04	c |      1323 |     231     2707     8338 |     8052     1323     27 |  0.002 % |
0.05/0.06	c |      2082 |     231     2707     8338 |     8857     2082     28 |  0.002 % |
0.09/0.10	c |      3221 |     231     2707     8338 |     9743     3221     30 |  0.002 % |
0.09/0.17	c |      4929 |     231     2707     8338 |    10717     4929     30 |  0.002 % |
0.19/0.29	c |      7491 |     231     2707     8338 |    11789     7491     30 |  0.002 % |
0.49/0.52	c |     11335 |     231     2707     8338 |    12968    11335     33 |  0.002 % |
0.78/0.87	c |     17101 |     231     2707     8338 |    14265    10554     34 |  0.002 % |
1.39/1.43	c |     25750 |     231     2707     8338 |    15692    12015     35 |  0.002 % |
2.39/2.42	c |     38724 |     231     2707     8338 |    17261     9201     33 |  0.002 % |
3.89/3.97	c |     58186 |     231     2707     8338 |    18987    11293     33 |  0.002 % |
6.19/6.27	c |     87380 |     231     2707     8338 |    20886    11835     36 |  0.002 % |
10.29/10.35	c |    131169 |     231     2707     8338 |    22974    13660     35 |  0.002 % |
17.09/17.15	c |    196853 |     231     2707     8338 |    25272    21623     35 |  0.002 % |
27.99/28.09	c |    295379 |     231     2707     8338 |    27799    14865     37 |  0.002 % |
44.39/44.44	c |    443172 |     231     2707     8338 |    30579    21639     37 |  0.002 % |
67.79/67.88	c ===============================================================================
71.00/71.09	c core #1
71.00/71.09	c ============================[ Search Statistics ]==============================
71.00/71.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
71.00/71.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
71.00/71.09	c ===============================================================================
71.00/71.09	c |         0 |     708     3593    12429 |     5000        0    nan |  0.000 % |
71.20/71.26	c |       101 |     708     3593    12429 |     5500      101     30 |  0.000 % |
71.20/71.29	c |       252 |     708     3593    12429 |     6050      252     25 |  0.000 % |
71.30/71.30	c |       478 |     708     3593    12429 |     6655      478     26 |  0.000 % |
71.30/71.32	c |       815 |     708     3593    12429 |     7320      815     24 |  0.000 % |
71.30/71.33	c |      1323 |     708     3593    12429 |     8052     1323     24 |  0.000 % |
71.30/71.39	c |      2082 |     708     3593    12429 |     8857     2082     27 |  0.000 % |
71.39/71.43	c |      3223 |     708     3593    12429 |     9743     3223     28 |  0.000 % |
71.39/71.50	c |      4931 |     708     3593    12429 |    10717     4931     29 |  0.000 % |
71.59/71.63	c |      7493 |     708     3593    12429 |    11789     7493     30 |  0.000 % |
71.80/71.84	c |     11338 |     708     3593    12429 |    12968    11338     29 |  0.000 % |
72.20/72.22	c |     17106 |     708     3593    12429 |    14265    10574     32 |  0.000 % |
72.79/72.87	c |     25755 |     708     3593    12429 |    15692    12044     33 |  0.000 % |
73.99/74.02	c |     38730 |     708     3593    12429 |    17261     9225     36 |  0.000 % |
75.40/75.47	c |     58192 |     708     3593    12429 |    18987    11330     32 |  0.000 % |
78.60/78.63	c |     87384 |     708     3593    12429 |    20886    11898     37 |  0.000 % |
82.89/82.97	c |    131174 |     708     3593    12429 |    22974    13747     38 |  0.000 % |
89.29/89.37	c |    196859 |     708     3593    12429 |    25272    21769     36 |  0.000 % |
99.60/99.63	c |    295386 |     708     3593    12429 |    27799    15658     35 |  0.000 % |
114.89/114.90	c |    443177 |     708     3593    12429 |    30579    26720     36 |  0.004 % |
119.20/119.28	c ===============================================================================
121.89/121.96	c core #2
121.89/121.96	c ============================[ Search Statistics ]==============================
121.89/121.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
121.89/121.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
121.89/121.96	c ===============================================================================
121.89/121.96	c |         0 |    1186     4448    16417 |     5000        0    nan |  0.000 % |
121.89/121.99	c |       100 |    1186     4448    16417 |     5500      100     18 |  0.000 % |
122.00/122.00	c |       250 |    1186     4448    16417 |     6050      250     19 |  0.000 % |
122.00/122.01	c |       475 |    1186     4448    16417 |     6655      475     25 |  0.000 % |
122.00/122.03	c |       812 |    1186     4448    16417 |     7320      812     27 |  0.000 % |
122.00/122.05	c |      1319 |    1186     4448    16417 |     8052     1319     26 |  0.000 % |
122.00/122.08	c |      2079 |    1186     4448    16417 |     8857     2079     26 |  0.000 % |
122.10/122.13	c |      3218 |    1186     4448    16417 |     9743     3218     27 |  0.000 % |
122.20/122.21	c |      4927 |    1186     4448    16417 |    10717     4927     28 |  0.000 % |
122.29/122.34	c |      7489 |    1186     4448    16417 |    11789     7489     28 |  0.000 % |
122.49/122.57	c |     11333 |    1186     4448    16417 |    12968    11333     29 |  0.000 % |
122.89/122.97	c |     17101 |    1186     4448    16417 |    14265    10568     32 |  0.000 % |
123.50/123.58	c |     25752 |    1186     4448    16417 |    15692    12057     33 |  0.000 % |
124.49/124.54	c |     38731 |    1186     4448    16417 |    17261     9271     33 |  0.000 % |
125.90/125.96	c |     58192 |    1186     4448    16417 |    18987    11360     31 |  0.000 % |
128.40/128.40	c |     87386 |    1186     4448    16417 |    20886    11936     34 |  0.000 % |
132.09/132.12	c |    131175 |    1186     4448    16417 |    22974    13777     33 |  0.000 % |
138.09/138.19	c |    196863 |    1186     4448    16417 |    25272    21786     36 |  0.000 % |
147.79/147.83	c |    295389 |    1186     4448    16417 |    27799    13306     33 |  0.000 % |
163.70/163.75	c |    443178 |    1186     4448    16417 |    30579    21575     35 |  0.000 % |
174.19/174.22	c ===============================================================================
176.80/176.85	c core #3
176.80/176.85	c ============================[ Search Statistics ]==============================
176.80/176.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
176.80/176.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
176.80/176.85	c ===============================================================================
176.80/176.85	c |         0 |    1662     5292    20372 |     5000        0    nan |  0.000 % |
176.90/176.90	c |       101 |    1662     5292    20372 |     5500      101     29 |  0.000 % |
176.90/176.90	c |       254 |    1662     5292    20372 |     6050      254     34 |  0.000 % |
176.90/176.92	c |       480 |    1662     5292    20372 |     6655      480     33 |  0.000 % |
176.90/176.93	c |       817 |    1662     5292    20372 |     7320      817     30 |  0.000 % |
176.90/176.96	c |      1323 |    1662     5292    20372 |     8052     1323     31 |  0.000 % |
176.90/177.00	c |      2082 |    1662     5292    20372 |     8857     2082     31 |  0.000 % |
177.00/177.05	c |      3221 |    1662     5292    20372 |     9743     3221     29 |  0.000 % |
177.10/177.14	c |      4931 |    1662     5292    20372 |    10717     4931     29 |  0.000 % |
177.19/177.29	c |      7495 |    1662     5292    20372 |    11789     7495     29 |  0.000 % |
177.49/177.52	c |     11339 |    1662     5292    20372 |    12968    11339     30 |  0.000 % |
177.90/177.94	c |     17107 |    1662     5292    20372 |    14265    10577     33 |  0.000 % |
178.60/178.64	c |     25756 |    1662     5292    20372 |    15692    12052     34 |  0.000 % |
179.70/179.75	c |     38731 |    1662     5292    20372 |    17261     9231     37 |  0.000 % |
181.40/181.40	c |     58192 |    1662     5292    20372 |    18987    11344     36 |  0.000 % |
184.00/184.02	c |     87385 |    1662     5292    20372 |    20886    11917     37 |  0.000 % |
188.00/188.06	c |    131180 |    1662     5292    20372 |    22974    13729     33 |  0.000 % |
193.70/193.72	c |    196865 |    1662     5292    20372 |    25272    21596     35 |  0.000 % |
204.20/204.21	c |    295392 |    1662     5292    20372 |    27799    15874     36 |  0.000 % |
219.60/219.68	c |    443181 |    1662     5292    20372 |    30579    22350     37 |  0.000 % |
226.30/226.31	c ===============================================================================
229.09/229.12	c core #4
229.09/229.12	c ============================[ Search Statistics ]==============================
229.09/229.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
229.09/229.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
229.09/229.12	c ===============================================================================
229.09/229.12	c |         0 |    2144     6134    24333 |     5000        0    nan |  0.000 % |
229.09/229.17	c |       100 |    2144     6134    24333 |     5500      100     15 |  0.000 % |
229.09/229.18	c |       250 |    2144     6134    24333 |     6050      250     33 |  0.000 % |
229.09/229.19	c |       478 |    2144     6134    24333 |     6655      478     37 |  0.000 % |
229.20/229.21	c |       815 |    2144     6134    24333 |     7320      815     36 |  0.000 % |
229.20/229.24	c |      1322 |    2144     6134    24333 |     8052     1322     33 |  0.000 % |
229.20/229.28	c |      2081 |    2144     6134    24333 |     8857     2081     30 |  0.000 % |
229.30/229.32	c |      3221 |    2144     6134    24333 |     9743     3221     30 |  0.000 % |
229.39/229.41	c |      4930 |    2144     6134    24333 |    10717     4930     30 |  0.000 % |
229.49/229.57	c |      7492 |    2144     6134    24333 |    11789     7492     31 |  0.000 % |
229.80/229.81	c |     11338 |    2144     6134    24333 |    12968    11338     32 |  0.000 % |
230.20/230.21	c |     17105 |    2144     6134    24333 |    14265    10584     32 |  0.000 % |
230.79/230.87	c |     25754 |    2144     6134    24333 |    15692    12078     33 |  0.000 % |
232.00/232.03	c |     38728 |    2144     6134    24333 |    17261     9262     36 |  0.000 % |
233.70/233.75	c |     58189 |    2144     6134    24333 |    18987    11378     37 |  0.000 % |
236.90/236.94	c |     87381 |    2144     6134    24333 |    20886    11943     37 |  0.000 % |
241.40/241.42	c |    131171 |    2144     6134    24333 |    22974    13764     39 |  0.000 % |
248.00/248.02	c |    196857 |    2144     6134    24333 |    25272    21490     35 |  0.000 % |
259.00/259.07	c |    295385 |    2144     6134    24333 |    27799    14136     36 |  0.000 % |
275.01/275.02	c |    443176 |    2144     6134    24333 |    30579    20804     35 |  0.000 % |
289.90/289.98	c ===============================================================================
293.10/293.17	c core #5
293.10/293.17	c ============================[ Search Statistics ]==============================
293.10/293.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
293.10/293.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
293.10/293.17	c ===============================================================================
293.10/293.17	c |         0 |    2637     6956    28246 |     5000        0    nan |  0.000 % |
293.20/293.22	c |       101 |    2637     6956    28246 |     5500      101     21 |  0.000 % |
293.20/293.23	c |       251 |    2637     6956    28246 |     6050      251     26 |  0.000 % |
293.20/293.25	c |       479 |    2637     6956    28246 |     6655      479     29 |  0.000 % |
293.20/293.26	c |       816 |    2637     6956    28246 |     7320      816     28 |  0.000 % |
293.20/293.29	c |      1325 |    2637     6956    28246 |     8052     1325     29 |  0.000 % |
293.30/293.33	c |      2085 |    2637     6956    28246 |     8857     2085     29 |  0.000 % |
293.30/293.38	c |      3225 |    2637     6956    28246 |     9743     3225     30 |  0.000 % |
293.40/293.48	c |      4934 |    2637     6956    28246 |    10717     4934     30 |  0.000 % |
293.60/293.64	c |      7499 |    2637     6956    28246 |    11789     7499     30 |  0.000 % |
293.90/293.91	c |     11344 |    2637     6956    28246 |    12968    11344     30 |  0.000 % |
294.29/294.39	c |     17112 |    2637     6956    28246 |    14265    10596     32 |  0.000 % |
294.99/295.09	c |     25761 |    2637     6956    28246 |    15692    12072     34 |  0.000 % |
296.20/296.26	c |     38735 |    2637     6956    28246 |    17261     9254     39 |  0.000 % |
298.00/298.02	c |     58196 |    2637     6956    28246 |    18987    11356     37 |  0.000 % |
301.10/301.18	c |     87388 |    2637     6956    28246 |    20886    11904     36 |  0.000 % |
305.80/305.80	c |    131178 |    2637     6956    28246 |    22974    13728     37 |  0.000 % |
312.70/312.77	c |    196864 |    2637     6956    28246 |    25272    21753     40 |  0.000 % |
323.80/323.83	c |    295391 |    2637     6956    28246 |    27799    15500     37 |  0.000 % |
340.00/340.02	c |    443180 |    2637     6956    28246 |    30579    24759     35 |  0.000 % |
342.01/342.04	c ===============================================================================
344.60/344.64	c core #6
344.60/344.64	c ============================[ Search Statistics ]==============================
344.60/344.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
344.60/344.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
344.60/344.64	c ===============================================================================
344.60/344.64	c |         0 |    3142     7775    32194 |     5000        0    nan |  0.000 % |
344.70/344.70	c |       100 |    3142     7775    32194 |     5500      100     22 |  0.000 % |
344.70/344.71	c |       250 |    3142     7775    32194 |     6050      250     21 |  0.000 % |
344.70/344.73	c |       476 |    3142     7775    32194 |     6655      476     24 |  0.000 % |
344.70/344.74	c |       813 |    3142     7775    32194 |     7320      813     25 |  0.000 % |
344.70/344.76	c |      1319 |    3142     7775    32194 |     8052     1319     25 |  0.000 % |
344.70/344.80	c |      2079 |    3142     7775    32194 |     8857     2079     26 |  0.000 % |
344.80/344.85	c |      3218 |    3142     7775    32194 |     9743     3218     27 |  0.000 % |
344.90/344.93	c |      4928 |    3142     7775    32194 |    10717     4928     28 |  0.000 % |
345.00/345.09	c |      7492 |    3142     7775    32194 |    11789     7492     29 |  0.000 % |
345.30/345.34	c |     11338 |    3142     7775    32194 |    12968    11338     30 |  0.000 % |
345.80/345.80	c |     17105 |    3142     7775    32194 |    14265    10580     30 |  0.000 % |
346.41/346.47	c |     25754 |    3142     7775    32194 |    15692    12040     32 |  0.000 % |
347.61/347.64	c |     38728 |    3142     7775    32194 |    17261     9238     33 |  0.000 % |
349.40/349.43	c |     58190 |    3142     7775    32194 |    18987    11354     35 |  0.000 % |
352.01/352.01	c |     87382 |    3142     7775    32194 |    20886    11931     32 |  0.000 % |
356.10/356.11	c |    131173 |    3142     7775    32194 |    22974    13744     34 |  0.000 % |
362.40/362.41	c |    196858 |    3142     7775    32194 |    25272    21582     37 |  0.000 % |
373.20/373.24	c |    295384 |    3142     7775    32194 |    27799    13583     33 |  0.000 % |
390.30/390.32	c |    443174 |    3142     7775    32194 |    30579    20769     36 |  0.000 % |
402.70/402.74	c ===============================================================================
405.70/405.72	c core #7
405.70/405.72	c ============================[ Search Statistics ]==============================
405.70/405.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
405.70/405.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
405.70/405.72	c ===============================================================================
405.70/405.72	c |         0 |    3646     8579    36074 |     5000        0    nan |  0.000 % |
405.70/405.78	c |       100 |    3646     8579    36074 |     5500      100     26 |  0.000 % |
405.70/405.79	c |       250 |    3646     8579    36074 |     6050      250     23 |  0.000 % |
405.80/405.81	c |       476 |    3646     8579    36074 |     6655      476     24 |  0.000 % |
405.80/405.83	c |       815 |    3646     8579    36074 |     7320      815     27 |  0.000 % |
405.80/405.86	c |      1324 |    3646     8579    36074 |     8052     1324     28 |  0.000 % |
405.80/405.90	c |      2084 |    3646     8579    36074 |     8857     2084     27 |  0.000 % |
405.91/405.96	c |      3225 |    3646     8579    36074 |     9743     3225     28 |  0.000 % |
406.00/406.05	c |      4937 |    3646     8579    36074 |    10717     4937     29 |  0.000 % |
406.20/406.21	c |      7500 |    3646     8579    36074 |    11789     7500     30 |  0.000 % |
406.50/406.51	c |     11348 |    3646     8579    36074 |    12968    11348     30 |  0.000 % |
406.91/406.93	c |     17114 |    3646     8579    36074 |    14265    10581     30 |  0.000 % |
407.60/407.67	c |     25765 |    3646     8579    36074 |    15692    12055     31 |  0.000 % |
408.80/408.87	c |     38739 |    3646     8579    36074 |    17261     9236     32 |  0.000 % |
410.50/410.52	c |     58201 |    3646     8579    36074 |    18987    11330     31 |  0.000 % |
413.80/413.83	c |     87394 |    3646     8579    36074 |    20886    11879     38 |  0.000 % |
418.21/418.23	c |    131184 |    3646     8579    36074 |    22974    13675     36 |  0.000 % |
424.90/424.92	c |    196869 |    3646     8579    36074 |    25272    21351     35 |  0.000 % |
436.40/436.40	c |    295397 |    3646     8579    36074 |    27799    13407     39 |  0.000 % |
452.50/452.57	c |    443188 |    3646     8579    36074 |    30579    19345     38 |  0.000 % |
477.41/477.47	c |    664872 |    3646     8579    36074 |    33637    20860     34 |  0.000 % |
479.80/479.82	c ===============================================================================
483.30/483.34	c core #8
483.30/483.34	c ============================[ Search Statistics ]==============================
483.30/483.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
483.30/483.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
483.30/483.34	c ===============================================================================
483.30/483.34	c |         0 |    4201     9377    40061 |     5000        0    nan |  0.000 % |
483.40/483.41	c |       100 |    4201     9377    40061 |     5500      100     22 |  0.000 % |
483.40/483.42	c |       251 |    4201     9377    40061 |     6050      251     24 |  0.000 % |
483.40/483.44	c |       480 |    4201     9377    40061 |     6655      480     27 |  0.000 % |
483.40/483.46	c |       817 |    4201     9377    40061 |     7320      817     28 |  0.000 % |
483.40/483.49	c |      1325 |    4201     9377    40061 |     8052     1325     29 |  0.000 % |
483.50/483.53	c |      2087 |    4201     9377    40061 |     8857     2087     29 |  0.000 % |
483.50/483.59	c |      3226 |    4201     9377    40061 |     9743     3226     29 |  0.000 % |
483.70/483.70	c |      4936 |    4201     9377    40061 |    10717     4936     30 |  0.000 % |
483.81/483.87	c |      7498 |    4201     9377    40061 |    11789     7498     30 |  0.000 % |
484.10/484.18	c |     11343 |    4201     9377    40061 |    12968    11343     30 |  0.000 % |
484.60/484.65	c |     17111 |    4201     9377    40061 |    14265    10576     31 |  0.000 % |
485.40/485.44	c |     25762 |    4201     9377    40061 |    15692    12042     34 |  0.000 % |
486.60/486.60	c |     38736 |    4201     9377    40061 |    17261     9222     34 |  0.000 % |
488.11/488.16	c |     58197 |    4201     9377    40061 |    18987    11320     35 |  0.000 % |
491.21/491.26	c |     87389 |    4201     9377    40061 |    20886    11894     35 |  0.000 % |
495.91/495.95	c |    131182 |    4201     9377    40061 |    22974    13729     37 |  0.000 % |
503.00/503.06	c |    196867 |    4201     9377    40061 |    25272    21552     38 |  0.000 % |
513.90/513.91	c |    295394 |    4201     9377    40061 |    27799    12341     36 |  0.000 % |
530.90/530.93	c |    443186 |    4201     9377    40061 |    30579    19191     38 |  0.000 % |
557.21/557.23	c |    664869 |    4201     9377    40061 |    33637    21502     36 |  0.000 % |
582.10/582.12	c ===============================================================================
586.61/586.68	c core #9
586.61/586.68	c ============================[ Search Statistics ]==============================
586.61/586.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
586.61/586.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
586.61/586.68	c ===============================================================================
586.61/586.68	c |         0 |    4775    10163    44043 |     5000        0    nan |  0.000 % |
586.71/586.76	c |       100 |    4775    10163    44043 |     5500      100     42 |  0.000 % |
586.71/586.77	c |       252 |    4775    10163    44043 |     6050      252     43 |  0.000 % |
586.71/586.78	c |       478 |    4775    10163    44043 |     6655      478     37 |  0.000 % |
586.80/586.80	c |       815 |    4775    10163    44043 |     7320      815     34 |  0.000 % |
586.80/586.84	c |      1321 |    4775    10163    44043 |     8052     1321     32 |  0.000 % |
586.80/586.89	c |      2080 |    4775    10163    44043 |     8857     2080     31 |  0.000 % |
586.91/586.95	c |      3220 |    4775    10163    44043 |     9743     3220     32 |  0.000 % |
587.01/587.05	c |      4931 |    4775    10163    44043 |    10717     4931     30 |  0.000 % |
587.21/587.25	c |      7494 |    4775    10163    44043 |    11789     7494     31 |  0.000 % |
587.51/587.56	c |     11339 |    4775    10163    44043 |    12968    11339     32 |  0.000 % |
588.01/588.03	c |     17106 |    4775    10163    44043 |    14265    10574     32 |  0.000 % |
588.71/588.78	c |     25756 |    4775    10163    44043 |    15692    12046     31 |  0.000 % |
590.01/590.00	c |     38731 |    4775    10163    44043 |    17261     9223     32 |  0.000 % |
591.91/591.96	c |     58194 |    4775    10163    44043 |    18987    11308     35 |  0.000 % |
595.11/595.18	c |     87388 |    4775    10163    44043 |    20886    11857     37 |  0.000 % |
599.90/599.99	c |    131177 |    4775    10163    44043 |    22974    13635     35 |  0.000 % |
608.01/608.10	c |    196862 |    4775    10163    44043 |    25272    21615     40 |  0.000 % |
619.11/619.12	c |    295388 |    4775    10163    44043 |    27799    13508     36 |  0.000 % |
636.71/636.75	c |    443177 |    4775    10163    44043 |    30579    19813     38 |  0.000 % |
663.60/663.64	c |    664861 |    4775    10163    44043 |    33637    22688     38 |  0.000 % |
691.82/691.85	c ===============================================================================
697.01/697.05	c core #10
697.01/697.05	c ============================[ Search Statistics ]==============================
697.01/697.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
697.01/697.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
697.01/697.05	c ===============================================================================
697.01/697.05	c |         0 |    5303    10946    47911 |     5000        0    nan |  0.000 % |
697.11/697.15	c |       101 |    5303    10946    47911 |     5500      101     20 |  0.000 % |
697.11/697.16	c |       251 |    5303    10946    47911 |     6050      251     30 |  0.000 % |
697.11/697.17	c |       477 |    5303    10946    47911 |     6655      477     30 |  0.000 % |
697.21/697.20	c |       815 |    5303    10946    47911 |     7320      815     30 |  0.000 % |
697.21/697.25	c |      1321 |    5303    10946    47911 |     8052     1321     29 |  0.000 % |
697.21/697.28	c |      2082 |    5303    10946    47911 |     8857     2082     28 |  0.000 % |
697.31/697.35	c |      3221 |    5303    10946    47911 |     9743     3221     29 |  0.000 % |
697.42/697.46	c |      4930 |    5303    10946    47911 |    10717     4930     30 |  0.000 % |
697.61/697.65	c |      7496 |    5303    10946    47911 |    11789     7496     31 |  0.000 % |
697.91/697.96	c |     11340 |    5303    10946    47911 |    12968    11340     32 |  0.000 % |
698.42/698.44	c |     17106 |    5303    10946    47911 |    14265    10579     33 |  0.000 % |
699.21/699.23	c |     25757 |    5303    10946    47911 |    15692    12038     31 |  0.000 % |
700.41/700.46	c |     38732 |    5303    10946    47911 |    17261     9188     38 |  0.000 % |
702.41/702.40	c |     58198 |    5303    10946    47911 |    18987    11282     33 |  0.000 % |
705.41/705.48	c |     87392 |    5303    10946    47911 |    20886    11825     36 |  0.000 % |
710.51/710.51	c |    131181 |    5303    10946    47911 |    22974    13629     39 |  0.000 % |
718.11/718.12	c |    196865 |    5303    10946    47911 |    25272    21645     36 |  0.000 % |
731.52/731.52	c |    295391 |    5303    10946    47911 |    27799    24036     36 |  0.000 % |
750.31/750.34	c |    443180 |    5303    10946    47911 |    30579    16457     34 |  0.000 % |
776.01/776.09	c |    664863 |    5303    10946    47911 |    33637    16195     38 |  0.000 % |
787.51/787.58	c ===============================================================================
791.91/791.99	c core #11
791.91/791.99	c ============================[ Search Statistics ]==============================
791.91/791.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
791.91/791.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
791.91/791.99	c ===============================================================================
791.91/791.99	c |         0 |    5902    11719    51909 |     5000        0    nan |  0.000 % |
792.11/792.10	c |       101 |    5902    11719    51909 |     5500      101     21 |  0.000 % |
792.11/792.11	c |       251 |    5902    11719    51909 |     6050      251     28 |  0.000 % |
792.11/792.12	c |       476 |    5902    11719    51909 |     6655      476     29 |  0.000 % |
792.11/792.15	c |       816 |    5902    11719    51909 |     7320      816     30 |  0.000 % |
792.11/792.19	c |      1324 |    5902    11719    51909 |     8052     1324     31 |  0.000 % |
792.21/792.23	c |      2085 |    5902    11719    51909 |     8857     2085     31 |  0.000 % |
792.31/792.30	c |      3227 |    5902    11719    51909 |     9743     3227     33 |  0.000 % |
792.41/792.40	c |      4936 |    5902    11719    51909 |    10717     4936     33 |  0.000 % |
792.51/792.59	c |      7498 |    5902    11719    51909 |    11789     7498     33 |  0.000 % |
792.91/792.90	c |     11343 |    5902    11719    51909 |    12968    11343     32 |  0.000 % |
793.41/793.40	c |     17110 |    5902    11719    51909 |    14265    10579     33 |  0.000 % |
794.22/794.22	c |     25762 |    5902    11719    51909 |    15692    12050     36 |  0.000 % |
795.41/795.43	c |     38738 |    5902    11719    51909 |    17261     9203     36 |  0.000 % |
797.31/797.38	c |     58201 |    5902    11719    51909 |    18987    11301     34 |  0.000 % |
800.61/800.62	c |     87393 |    5902    11719    51909 |    20886    11868     36 |  0.000 % |
806.01/806.00	c |    131183 |    5902    11719    51909 |    22974    13676     38 |  0.000 % |
813.71/813.79	c |    196867 |    5902    11719    51909 |    25272    21653     37 |  0.000 % |
826.41/826.44	c |    295394 |    5902    11719    51909 |    27799    14733     38 |  0.000 % |
845.41/845.47	c |    443184 |    5902    11719    51909 |    30579    22052     39 |  0.000 % |
873.82/873.81	c |    664870 |    5902    11719    51909 |    33637    23590     36 |  0.000 % |
940.42/940.46	c ===============================================================================
945.62/945.65	c core #12
945.62/945.65	c ============================[ Search Statistics ]==============================
945.62/945.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
945.62/945.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
945.62/945.65	c ===============================================================================
945.62/945.65	c |         0 |    6567    12488    56048 |     5000        0    nan |  0.000 % |
945.72/945.76	c |       100 |    6567    12488    56048 |     5500      100     28 |  0.000 % |
945.72/945.77	c |       250 |    6567    12488    56048 |     6050      250     28 |  0.000 % |
945.72/945.79	c |       478 |    6567    12488    56048 |     6655      478     29 |  0.000 % |
945.81/945.81	c |       815 |    6567    12488    56048 |     7320      815     29 |  0.000 % |
945.81/945.85	c |      1323 |    6567    12488    56048 |     8052     1323     29 |  0.000 % |
945.81/945.88	c |      2082 |    6567    12488    56048 |     8857     2082     29 |  0.000 % |
945.92/945.95	c |      3221 |    6567    12488    56048 |     9743     3221     30 |  0.000 % |
946.02/946.06	c |      4931 |    6567    12488    56048 |    10717     4931     32 |  0.000 % |
946.21/946.24	c |      7494 |    6567    12488    56048 |    11789     7494     31 |  0.000 % |
946.52/946.54	c |     11341 |    6567    12488    56048 |    12968    11341     32 |  0.000 % |
947.02/947.02	c |     17107 |    6567    12488    56048 |    14265    10588     30 |  0.000 % |
947.91/947.98	c |     25756 |    6567    12488    56048 |    15692    11814     36 |  0.000 % |
949.41/949.48	c |     38732 |    6567    12488    56048 |    17261     8989     39 |  0.000 % |
951.52/951.54	c |     58194 |    6567    12488    56048 |    18987    11086     36 |  0.000 % |
954.72/954.77	c |     87386 |    6567    12488    56048 |    20886    11620     39 |  0.000 % |
959.01/959.09	c |    131176 |    6567    12488    56048 |    22974    13426     36 |  0.000 % |
966.82/966.89	c |    196862 |    6567    12488    56048 |    25272    21140     35 |  0.000 % |
979.32/979.35	c |    295388 |    6567    12488    56048 |    27799    13007     35 |  0.000 % |
996.42/996.46	c |    443177 |    6567    12488    56048 |    30579    19675     38 |  0.000 % |
1010.82/1010.90	c ===============================================================================
1010.82/1010.90	c #cores: 12
1010.82/1010.90	c Final Weight: 12
1010.82/1010.90	o 12
1010.82/1010.90	s OPTIMUM FOUND
1010.82/1010.90	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
1010.82/1010.90	c Total CPU time: 993.004 s

Verifier Data 

OK	12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690121-1277908528/watcher-2690121-1277908528 -o /tmp/evaluation-result-2690121-1277908528/solver-2690121-1277908528 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690121-1277908528.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.67 2.84 2.60 4/196 25019
/proc/meminfo: memFree=31474448/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=2660 CPUtime=0
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 166456582 2723840 223 4089446400 134512640 135751879 4289038768 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 665 223 145 303 0 338 0

[startup+0.0595431 s]
/proc/loadavg: 2.67 2.84 2.60 4/196 25019
/proc/meminfo: memFree=31474448/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=3112 CPUtime=0.05
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 449 0 0 0 5 0 0 0 25 0 1 0 166456582 3186688 346 4089446400 134512640 135751879 4289038768 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 778 346 143 303 0 473 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3112

[startup+0.100543 s]
/proc/loadavg: 2.67 2.84 2.60 4/196 25019
/proc/meminfo: memFree=31474448/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=3376 CPUtime=0.09
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 526 0 0 0 9 0 0 0 25 0 1 0 166456582 3457024 423 4089446400 134512640 135751879 4289038768 18446744073709551615 134616800 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 844 423 143 303 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3376

[startup+0.300496 s]
/proc/loadavg: 2.67 2.84 2.60 4/196 25019
/proc/meminfo: memFree=31474448/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=4564 CPUtime=0.28
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 804 0 0 0 28 0 0 0 25 0 1 0 166456582 4673536 701 4089446400 134512640 135751879 4289038768 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 1141 701 143 303 0 836 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4564

[startup+0.700433 s]
/proc/loadavg: 2.67 2.84 2.60 4/196 25019
/proc/meminfo: memFree=31474448/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=6412 CPUtime=0.68
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 1256 0 0 0 67 1 0 0 25 0 1 0 166456582 6565888 1153 4089446400 134512640 135751879 4289038768 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 1603 1153 143 303 0 1298 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6412

[startup+1.50028 s]
/proc/loadavg: 2.67 2.84 2.60 3/197 25020
/proc/meminfo: memFree=31468992/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=9452 CPUtime=1.49
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 2040 0 0 0 146 3 0 0 25 0 1 0 166456582 9678848 1937 4089446400 134512640 135751879 4289038768 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 2363 1937 143 303 0 2058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9452

[startup+3.10098 s]
/proc/loadavg: 2.67 2.84 2.60 3/197 25020
/proc/meminfo: memFree=31464776/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=14600 CPUtime=3.09
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 3323 0 0 0 304 5 0 0 25 0 1 0 166456582 14950400 3220 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 3650 3220 143 303 0 3345 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14600

[startup+6.3004 s]
/proc/loadavg: 2.62 2.83 2.60 3/197 25020
/proc/meminfo: memFree=31454684/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=24924 CPUtime=6.29
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 5874 0 0 0 617 12 0 0 22 0 1 0 166456582 25522176 5771 4089446400 134512640 135751879 4289038768 18446744073709551615 134616453 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 6231 5771 143 303 0 5926 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24924

[startup+12.7002 s]
/proc/loadavg: 2.57 2.81 2.60 3/197 25020
/proc/meminfo: memFree=31436192/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=42140 CPUtime=12.69
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 10204 0 0 0 1249 20 0 0 25 0 1 0 166456582 43151360 10101 4089446400 134512640 135751879 4289038768 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 10535 10101 143 303 0 10230 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42140

[startup+25.5009 s]
/proc/loadavg: 2.44 2.77 2.59 3/197 25021
/proc/meminfo: memFree=31404160/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=73596 CPUtime=25.49
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 18039 0 0 0 2515 34 0 0 25 0 1 0 166456582 75362304 17936 4089446400 134512640 135751879 4289038768 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25019/statm: 18399 17936 143 303 0 18094 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73596

[startup+51.1002 s]
/proc/loadavg: 2.29 2.71 2.57 3/179 25052
/proc/meminfo: memFree=31419124/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=132196 CPUtime=51.09
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 32700 0 0 0 5048 61 0 0 25 0 1 0 166456582 135368704 32597 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 33049 32597 143 303 0 32744 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 132196

[startup+102.307 s]
/proc/loadavg: 2.12 2.60 2.54 3/179 25053
/proc/meminfo: memFree=31213748/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=213912 CPUtime=102.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 53169 0 0 0 10097 133 0 0 25 0 1 0 166456582 219045888 53036 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 53478 53036 146 303 0 53173 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 213912

[startup+162.301 s]
/proc/loadavg: 2.04 2.49 2.50 3/179 25081
/proc/meminfo: memFree=31145348/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=308368 CPUtime=162.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 76771 0 0 0 15979 251 0 0 25 0 1 0 166456582 315768832 76638 4089446400 134512640 135751879 4289038768 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 77092 76638 146 303 0 76787 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 308368

[startup+222.301 s]
/proc/loadavg: 2.06 2.41 2.47 3/179 25083
/proc/meminfo: memFree=30876832/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=410668 CPUtime=222.29
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 102333 0 0 0 21846 383 0 0 25 0 1 0 166456582 420524032 102200 4089446400 134512640 135751879 4289038768 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 102667 102200 146 303 0 102362 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 410668

[startup+282.301 s]
/proc/loadavg: 2.06 2.35 2.44 3/179 25085
/proc/meminfo: memFree=30617744/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=509464 CPUtime=282.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 127039 0 0 0 27730 500 0 0 25 0 1 0 166456582 521691136 126906 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 127366 126906 146 303 0 127061 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 509464

[startup+342.301 s]
/proc/loadavg: 2.02 2.28 2.41 3/179 25087
/proc/meminfo: memFree=30366104/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=603712 CPUtime=342.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 150599 0 0 0 33609 621 0 0 25 0 1 0 166456582 618201088 150466 4089446400 134512640 135751879 4289038768 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 150928 150466 146 303 0 150623 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 603712

[startup+402.301 s]
/proc/loadavg: 2.00 2.23 2.39 3/179 25115
/proc/meminfo: memFree=30845572/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=698556 CPUtime=402.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 174307 0 0 0 39486 744 0 0 25 0 1 0 166456582 715321344 174174 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 174639 174174 146 303 0 174334 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 698556

[startup+462.301 s]
/proc/loadavg: 2.00 2.18 2.36 3/179 25116
/proc/meminfo: memFree=30754904/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=787452 CPUtime=462.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 196528 0 0 0 45369 861 0 0 25 0 1 0 166456582 806350848 196395 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 196863 196395 146 303 0 196558 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 787452

[startup+522.301 s]
/proc/loadavg: 2.00 2.15 2.33 3/179 25118
/proc/meminfo: memFree=30674760/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=867896 CPUtime=522.31
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 216643 0 0 0 51259 972 0 0 25 0 1 0 166456582 888725504 216510 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 216974 216510 146 303 0 216669 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 867896

[startup+582.301 s]
/proc/loadavg: 2.00 2.12 2.31 3/179 25120
/proc/meminfo: memFree=30552088/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=992476 CPUtime=582.3
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 247756 0 0 0 57142 1088 0 0 25 0 1 0 166456582 1016295424 247623 4089446400 134512640 135751879 4289038768 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/25019/statm: 248119 247623 146 303 0 247814 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 992476

[startup+642.301 s]
/proc/loadavg: 2.00 2.09 2.29 3/179 25122
/proc/meminfo: memFree=30488928/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1051356 CPUtime=642.31
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 262502 0 0 0 63031 1200 0 0 25 0 1 0 166456582 1076588544 262369 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 262839 262369 146 303 0 262534 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1051356

[startup+702.301 s]
/proc/loadavg: 2.00 2.07 2.27 3/179 25123
/proc/meminfo: memFree=30369228/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1170968 CPUtime=702.31
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 292410 0 0 0 68922 1309 0 0 25 0 1 0 166456582 1199071232 292277 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 292742 292277 146 303 0 292437 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1170968

[startup+762.306 s]
/proc/loadavg: 2.06 2.07 2.25 3/179 25124
/proc/meminfo: memFree=30319716/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1220492 CPUtime=762.32
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 304808 0 0 0 74817 1415 0 0 25 0 1 0 166456582 1249783808 304675 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 305123 304675 146 303 0 304818 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1220492

[startup+822.301 s]
/proc/loadavg: 2.02 2.06 2.24 3/179 25126
/proc/meminfo: memFree=30239568/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1301056 CPUtime=822.32
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 324969 0 0 0 80706 1526 0 0 25 0 1 0 166456582 1332281344 324836 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 325264 324836 146 303 0 324959 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1301056

[startup+882.301 s]
/proc/loadavg: 2.01 2.04 2.22 3/179 25128
/proc/meminfo: memFree=30151756/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1387836 CPUtime=882.32
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 346644 0 0 0 86596 1636 0 0 25 0 1 0 166456582 1421144064 346511 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 346959 346511 146 303 0 346654 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1387836

[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.20 3/179 25129
/proc/meminfo: memFree=30089484/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1457236 CPUtime=942.32
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 363898 0 0 0 92558 1674 0 0 25 0 1 0 166456582 1492209664 363765 4089446400 134512640 135751879 4289038768 18446744073709551615 134516290 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 364309 363765 146 303 0 364004 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1457236

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.18 3/179 25131
/proc/meminfo: memFree=30039344/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1500148 CPUtime=1002.32
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 374686 0 0 0 98454 1778 0 0 25 0 1 0 166456582 1536151552 374553 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 375037 374553 146 303 0 374732 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1500148

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

[startup+1004.7 s]
/proc/loadavg: 2.00 2.03 2.18 3/179 25131
/proc/meminfo: memFree=30036364/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1503344 CPUtime=1004.72
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 375490 0 0 0 98690 1782 0 0 25 0 1 0 166456582 1539424256 375357 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 375836 375357 146 303 0 375531 0
Current children cumulated CPU time (s) 1004.72
Current children cumulated vsize (KiB) 1503344

[startup+1007.9 s]
/proc/loadavg: 2.00 2.02 2.18 3/179 25131
/proc/meminfo: memFree=30032148/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1507436 CPUtime=1007.92
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 376497 0 0 0 99005 1787 0 0 25 0 1 0 166456582 1543614464 376364 4089446400 134512640 135751879 4289038768 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 376859 376364 146 303 0 376554 0
Current children cumulated CPU time (s) 1007.92
Current children cumulated vsize (KiB) 1507436

[startup+1009.5 s]
/proc/loadavg: 2.00 2.02 2.18 3/179 25131
/proc/meminfo: memFree=30030656/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1509548 CPUtime=1009.52
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 377027 0 0 0 99163 1789 0 0 25 0 1 0 166456582 1545777152 376894 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 377387 376894 146 303 0 377082 0
Current children cumulated CPU time (s) 1009.52
Current children cumulated vsize (KiB) 1509548

[startup+1010.3 s]
/proc/loadavg: 2.00 2.02 2.18 3/179 25131
/proc/meminfo: memFree=30029044/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1510736 CPUtime=1010.32
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 377325 0 0 0 99242 1790 0 0 25 0 1 0 166456582 1546993664 377192 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 377684 377192 146 303 0 377379 0
Current children cumulated CPU time (s) 1010.32
Current children cumulated vsize (KiB) 1510736

[startup+1010.7 s]
/proc/loadavg: 2.00 2.02 2.18 3/179 25131
/proc/meminfo: memFree=30029044/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=1511132 CPUtime=1010.72
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202496 377439 0 0 0 99281 1791 0 0 25 0 1 0 166456582 1547399168 377306 4089446400 134512640 135751879 4289038768 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25019/statm: 377783 377306 146 303 0 377478 0
Current children cumulated CPU time (s) 1010.72
Current children cumulated vsize (KiB) 1511132

[startup+1010.91 s]
/proc/loadavg: 2.00 2.02 2.18 3/179 25131
/proc/meminfo: memFree=30027556/32951124 swapFree=67111528/67111528
[pid=25019] ppid=25017 vsize=0 CPUtime=1010.93
/proc/25019/stat : 25019 (wbo1.4a) R 25017 25019 22869 0 -1 4202500 377497 0 0 0 99300 1793 0 0 25 0 1 0 166456582 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0
/proc/25019/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1010.93
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1010.95
CPU time (s): 1010.98
CPU user time (s): 993.004
CPU system time (s): 17.9733
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1511264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 993.004
system time used= 17.9733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377497
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= 12
involuntary context switches= 6882

runsolver used 1.40679 second user time and 3.21051 second system time

The end

Launcher Data 

Begin job on node110 at 2010-06-30 16:35:28
IDJOB=2690121
IDBENCH=78960
IDSOLVER=1200
FILE ID=node110/2690121-1277908528
PBS_JOBID= 11197161
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.1900567024--soft-66-100-0.wbo
COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690121-1277908528/watcher-2690121-1277908528 -o /tmp/evaluation-result-2690121-1277908528/solver-2690121-1277908528 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690121-1277908528.wbo

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

MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e
RANDOM SEED=1521560803

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31474968 kB
Buffers:        195572 kB
Cached:         990472 kB
SwapCached:          0 kB
Active:         703428 kB
Inactive:       631056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31474968 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2808 kB
Writeback:           0 kB
AnonPages:      149016 kB
Mapped:          20276 kB
Slab:            78580 kB
PageTables:       4996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1656908 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 node110 at 2010-06-30 16:52:19