Trace number 3447098

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 497.102 497.094

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-33-100-0.wbo
MD5SUMcb2e0a6db987ecdc06dc4066ca6b4222
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark85.471
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 constraints1804
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 90822
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 90821
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
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-3447098-1307905937.wbo.
0.00/0.00	c Instance file HOME/instance-3447098-1307905937.wbo
0.00/0.00	c File size is 92306 bytes.
0.00/0.00	c Highest Coefficient sum: 717
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     231     2707     8338 |     5000        0   -nan |  0.000 % |
0.00/0.01	c |       100 |     231     2707     8338 |     5500      100     15 |  0.002 % |
0.00/0.01	c |       251 |     231     2707     8338 |     6050      251     26 |  0.002 % |
0.00/0.01	c |       477 |     231     2707     8338 |     6655      477     28 |  0.002 % |
0.00/0.02	c |       814 |     231     2707     8338 |     7320      814     30 |  0.002 % |
0.00/0.03	c |      1320 |     231     2707     8338 |     8052     1320     31 |  0.002 % |
0.00/0.05	c |      2081 |     231     2707     8338 |     8857     2081     30 |  0.002 % |
0.00/0.07	c |      3221 |     231     2707     8338 |     9743     3221     29 |  0.002 % |
0.09/0.12	c |      4929 |     231     2707     8338 |    10717     4929     27 |  0.002 % |
0.19/0.20	c |      7491 |     231     2707     8338 |    11789     7491     28 |  0.002 % |
0.29/0.35	c |     11336 |     231     2707     8338 |    12968    11336     29 |  0.002 % |
0.59/0.62	c |     17102 |     231     2707     8338 |    14265    10557     34 |  0.002 % |
0.99/1.06	c |     25752 |     231     2707     8338 |    15692    12021     35 |  0.002 % |
1.79/1.84	c |     38726 |     231     2707     8338 |    17261     9200     38 |  0.002 % |
2.89/2.97	c |     58189 |     231     2707     8338 |    18987    11301     39 |  0.002 % |
4.89/4.94	c |     87382 |     231     2707     8338 |    20886    11863     39 |  0.002 % |
8.29/8.31	c |    131176 |     231     2707     8338 |    22974    13702     41 |  0.002 % |
13.48/13.53	c |    196860 |     231     2707     8338 |    25272    21709     37 |  0.002 % |
21.78/21.82	c |    295388 |     231     2707     8338 |    27799    24657     37 |  0.002 % |
36.19/36.23	c |    443179 |     231     2707     8338 |    30579    15472     38 |  0.002 % |
58.69/58.76	c |    664864 |     231     2707     8338 |    33637    18560     36 |  0.002 % |
92.40/92.46	c |    997389 |     231     2707     8338 |    37001    31814     39 |  0.002 % |
123.69/123.73	c ===============================================================================
134.09/134.14	c core #1
134.09/134.14	c 
134.09/134.14	c 
134.09/134.14	c Core size: 1722	Core Weight: 1	Total Weight: 1
134.09/134.14	c Current CPU time: 132.407 s
134.09/134.14	c
134.09/134.14	c ============================[ Search Statistics ]==============================
134.09/134.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
134.09/134.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
134.09/134.14	c ===============================================================================
134.09/134.14	c |         0 |    1148     4414    16359 |     5000        0   -nan |  0.000 % |
134.09/134.14	c |       101 |    1148     4414    16359 |     5500      101     29 |  0.000 % |
134.09/134.14	c |       252 |    1148     4414    16359 |     6050      252     30 |  0.000 % |
134.09/134.15	c |       477 |    1148     4414    16359 |     6655      477     28 |  0.000 % |
134.09/134.16	c |       814 |    1148     4414    16359 |     7320      814     29 |  0.000 % |
134.09/134.17	c |      1320 |    1148     4414    16359 |     8052     1320     30 |  0.000 % |
134.09/134.19	c |      2079 |    1148     4414    16359 |     8857     2079     30 |  0.000 % |
134.20/134.23	c |      3218 |    1148     4414    16359 |     9743     3218     31 |  0.000 % |
134.29/134.30	c |      4926 |    1148     4414    16359 |    10717     4926     32 |  0.000 % |
134.39/134.42	c |      7489 |    1148     4414    16359 |    11789     7489     33 |  0.000 % |
134.59/134.62	c |     11333 |    1148     4414    16359 |    12968    11333     32 |  0.000 % |
134.89/134.94	c |     17100 |    1148     4414    16359 |    14265    10561     33 |  0.000 % |
135.59/135.60	c |     25749 |    1148     4414    16359 |    15692    12021     40 |  0.000 % |
136.49/136.55	c |     38723 |    1148     4414    16359 |    17261     9197     37 |  0.000 % |
137.99/138.01	c |     58185 |    1148     4414    16359 |    18987    11312     34 |  0.000 % |
140.09/140.18	c |     87379 |    1148     4414    16359 |    20886    11879     39 |  0.000 % |
143.79/143.82	c |    131168 |    1148     4414    16359 |    22974    13690     39 |  0.000 % |
150.09/150.13	c |    196856 |    1148     4414    16359 |    25272    21583     41 |  0.000 % |
159.99/160.01	c |    295382 |    1148     4414    16359 |    27799    13874     39 |  0.000 % |
176.09/176.14	c |    443171 |    1148     4414    16359 |    30579    23074     36 |  0.000 % |
200.19/200.26	c |    664855 |    1148     4414    16359 |    33637    25226     39 |  0.000 % |
234.70/234.75	c |    997380 |    1148     4414    16359 |    37001    18826     37 |  0.000 % |
292.50/292.57	c |   1496173 |    1148     4414    16359 |    40701    32730     40 |  0.002 % |
311.90/311.92	c ===============================================================================
326.19/326.23	c core #2
326.19/326.23	c 
326.19/326.23	c 
326.19/326.23	c Core size: 1724	Core Weight: 1	Total Weight: 2
326.19/326.23	c Current CPU time: 323.065 s
326.19/326.23	c
326.19/326.23	c ============================[ Search Statistics ]==============================
326.19/326.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
326.19/326.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
326.19/326.23	c ===============================================================================
326.19/326.23	c |         0 |    2064     6090    24279 |     5000        0   -nan |  0.000 % |
326.19/326.23	c |       101 |    2064     6090    24279 |     5500      101     29 |  0.000 % |
326.19/326.24	c |       252 |    2064     6090    24279 |     6050      252     31 |  0.000 % |
326.19/326.24	c |       478 |    2064     6090    24279 |     6655      478     30 |  0.000 % |
326.19/326.25	c |       818 |    2064     6090    24279 |     7320      818     29 |  0.000 % |
326.19/326.27	c |      1324 |    2064     6090    24279 |     8052     1324     29 |  0.000 % |
326.19/326.29	c |      2083 |    2064     6090    24279 |     8857     2083     29 |  0.000 % |
326.29/326.33	c |      3222 |    2064     6090    24279 |     9743     3222     29 |  0.000 % |
326.39/326.40	c |      4930 |    2064     6090    24279 |    10717     4930     30 |  0.000 % |
326.50/326.51	c |      7492 |    2064     6090    24279 |    11789     7492     33 |  0.000 % |
326.70/326.73	c |     11337 |    2064     6090    24279 |    12968    11337     33 |  0.000 % |
326.99/327.09	c |     17104 |    2064     6090    24279 |    14265    10566     34 |  0.000 % |
327.60/327.64	c |     25755 |    2064     6090    24279 |    15692    12039     34 |  0.000 % |
328.50/328.54	c |     38730 |    2064     6090    24279 |    17261     9219     36 |  0.000 % |
329.90/329.99	c |     58192 |    2064     6090    24279 |    18987    11316     38 |  0.000 % |
332.40/332.43	c |     87386 |    2064     6090    24279 |    20886    11872     40 |  0.000 % |
336.10/336.19	c |    131176 |    2064     6090    24279 |    22974    13649     40 |  0.000 % |
342.30/342.39	c |    196861 |    2064     6090    24279 |    25272    21541     35 |  0.000 % |
352.19/352.26	c |    295387 |    2064     6090    24279 |    27799    13265     39 |  0.000 % |
367.90/367.90	c |    443177 |    2064     6090    24279 |    30579    20781     39 |  0.000 % |
392.10/392.15	c |    664861 |    2064     6090    24279 |    33637    20853     37 |  0.000 % |
429.40/429.41	c |    997388 |    2064     6090    24279 |    37001    14338     36 |  0.000 % |
447.20/447.29	c ===============================================================================
456.41/456.44	c core #3
456.41/456.44	c 
456.41/456.44	c 
456.41/456.44	c Core size: 1753	Core Weight: 1	Total Weight: 3
456.41/456.44	c Current CPU time: 452.727 s
456.41/456.44	c
456.41/456.44	c ============================[ Search Statistics ]==============================
456.41/456.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
456.41/456.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
456.41/456.44	c ===============================================================================
456.41/456.44	c |         0 |    2991     7751    32190 |     5000        0   -nan |  0.000 % |
456.41/456.44	c |       100 |    2991     7751    32190 |     5500      100     21 |  0.000 % |
456.41/456.45	c |       251 |    2991     7751    32190 |     6050      251     20 |  0.000 % |
456.41/456.46	c |       476 |    2991     7751    32190 |     6655      476     27 |  0.000 % |
456.41/456.47	c |       814 |    2991     7751    32190 |     7320      814     29 |  0.000 % |
456.41/456.49	c |      1321 |    2991     7751    32190 |     8052     1321     30 |  0.000 % |
456.51/456.52	c |      2081 |    2991     7751    32190 |     8857     2081     32 |  0.000 % |
456.51/456.57	c |      3220 |    2991     7751    32190 |     9743     3220     32 |  0.000 % |
456.60/456.65	c |      4928 |    2991     7751    32190 |    10717     4928     31 |  0.000 % |
456.70/456.77	c |      7492 |    2991     7751    32190 |    11789     7492     31 |  0.000 % |
456.90/456.99	c |     11338 |    2991     7751    32190 |    12968    11338     32 |  0.000 % |
457.30/457.37	c |     17104 |    2991     7751    32190 |    14265    10566     33 |  0.000 % |
458.00/458.01	c |     25753 |    2991     7751    32190 |    15692    12028     36 |  0.000 % |
458.99/459.00	c |     38727 |    2991     7751    32190 |    17261     9209     37 |  0.000 % |
460.60/460.61	c |     58190 |    2991     7751    32190 |    18987    11307     37 |  0.000 % |
463.20/463.28	c |     87382 |    2991     7751    32190 |    20886    11882     42 |  0.000 % |
467.20/467.29	c |    131171 |    2991     7751    32190 |    22974    13680     36 |  0.000 % |
473.90/473.98	c |    196855 |    2991     7751    32190 |    25272    21566     39 |  0.000 % |
484.20/484.23	c |    295382 |    2991     7751    32190 |    27799    13709     38 |  0.000 % |
497.00/497.07	c ===============================================================================
497.00/497.07	c #cores: 3
497.00/497.07	o 3
497.00/497.07	s OPTIMUM FOUND
497.00/497.07	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
497.00/497.07	c Total CPU time: 493.751 s

Verifier Data 

OK	3

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-3447098-1307905937/watcher-3447098-1307905937 -o /var/tmp/evaluation-result-3447098-1307905937/solver-3447098-1307905937 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447098-1307905937.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 21221
/proc/meminfo: memFree=1313360/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=2064 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 296 0 0 0 0 0 0 0 25 0 1 0 883009157 2113536 248 33554432000 4194304 5714214 140736588517280 18446744073709551615 4226564 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 516 248 172 372 0 118 0

[startup+0.00618992 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 21221
/proc/meminfo: memFree=1313360/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=2200 CPUtime=0 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 883009157 2252800 258 33554432000 4194304 5714214 140736588517280 18446744073709551615 4248704 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 550 258 174 372 0 152 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2200

[startup+0.100192 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 21221
/proc/meminfo: memFree=1313360/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=3560 CPUtime=0.09 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 707 0 0 0 9 0 0 0 25 0 1 0 883009157 3645440 636 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 890 636 177 372 0 515 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3560

[startup+0.301134 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 21221
/proc/meminfo: memFree=1313360/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=5652 CPUtime=0.29 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 1229 0 0 0 29 0 0 0 25 0 1 0 883009157 5787648 1158 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 1413 1158 177 372 0 1038 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5652

[startup+0.701096 s]
/proc/loadavg: 2.01 1.99 1.91 3/177 21221
/proc/meminfo: memFree=1313360/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=7776 CPUtime=0.69 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 1770 0 0 0 68 1 0 0 25 0 1 0 883009157 7962624 1699 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 1944 1699 177 372 0 1569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7776

[startup+1.50093 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21222
/proc/meminfo: memFree=1304944/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=10816 CPUtime=1.49 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 2522 0 0 0 147 2 0 0 25 0 1 0 883009157 11075584 2451 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 2704 2451 177 372 0 2329 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10816

[startup+3.10065 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21222
/proc/meminfo: memFree=1297256/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=15984 CPUtime=3.09 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 3825 0 0 0 305 4 0 0 25 0 1 0 883009157 16367616 3754 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 3996 3754 177 372 0 3621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15984

[startup+6.30106 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21222
/proc/meminfo: memFree=1281132/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=25460 CPUtime=6.29 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 6173 0 0 0 621 8 0 0 25 0 1 0 883009157 26071040 6102 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 6365 6102 177 372 0 5990 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25460

[startup+12.7009 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21222
/proc/meminfo: memFree=1254580/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=39548 CPUtime=12.69 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 9664 0 0 0 1254 15 0 0 25 0 1 0 883009157 40497152 9593 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/21221/statm: 9887 9593 177 372 0 9512 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39548

[startup+25.5005 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 21223
/proc/meminfo: memFree=1207084/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=65760 CPUtime=25.49 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 16175 0 0 0 2523 26 0 0 25 0 1 0 883009157 67338240 16104 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 16440 16104 177 372 0 16065 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65760

[startup+51.1008 s]
/proc/loadavg: 2.07 2.00 1.92 3/178 21224
/proc/meminfo: memFree=1120184/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=109780 CPUtime=51.09 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 27157 0 0 0 5066 43 0 0 25 0 1 0 883009157 112414720 27086 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 27445 27086 177 372 0 27070 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 109780

[startup+102.306 s]
/proc/loadavg: 2.03 2.00 1.92 3/178 21225
/proc/meminfo: memFree=952372/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=193260 CPUtime=102.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 47948 0 0 0 10149 81 0 0 25 0 1 0 883009157 197898240 47877 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 48315 47877 177 372 0 47940 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 193260

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 21264
/proc/meminfo: memFree=1122920/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=286080 CPUtime=162.29 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 71218 0 0 0 16107 122 0 0 25 0 1 0 883009157 292945920 71074 33554432000 4194304 5714214 140736588517280 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 71520 71074 178 372 0 71145 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 286080

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21266
/proc/meminfo: memFree=1032360/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=286080 CPUtime=222.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 71358 0 0 0 22068 162 0 0 25 0 1 0 883009157 292945920 71214 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 71520 71214 178 372 0 71145 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 286080

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21268
/proc/meminfo: memFree=902948/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=286080 CPUtime=282.29 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 71408 0 0 0 28027 202 0 0 25 0 1 0 883009157 292945920 71264 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 71520 71264 178 372 0 71145 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 286080

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21269
/proc/meminfo: memFree=824512/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=342.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91137 0 0 0 33989 241 0 0 25 0 1 0 883009157 373813248 90993 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90993 178 372 0 90888 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 365052

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21271
/proc/meminfo: memFree=824332/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=402.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91138 0 0 0 39949 281 0 0 25 0 1 0 883009157 373813248 90994 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90994 178 372 0 90888 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 365052

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21272
/proc/meminfo: memFree=810104/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=462.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 45919 311 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 365052

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

[startup+473.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=809968/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=473.5 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 47031 319 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 473.5
Current children cumulated vsize (KiB) 365052

[startup+486.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=809948/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=486.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 48303 327 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 486.3
Current children cumulated vsize (KiB) 365052

[startup+492.701 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=810068/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=492.71 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 48940 331 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 492.71
Current children cumulated vsize (KiB) 365052

[startup+494.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=810068/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=494.3 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 49099 331 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 494.3
Current children cumulated vsize (KiB) 365052

[startup+495.901 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=809820/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=495.9 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 49258 332 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 495.9
Current children cumulated vsize (KiB) 365052

[startup+496.701 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=810060/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=496.7 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 49337 333 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 496.7
Current children cumulated vsize (KiB) 365052

[startup+496.901 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=810060/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=496.9 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 49357 333 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 496.9
Current children cumulated vsize (KiB) 365052

[startup+497.001 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 21273
/proc/meminfo: memFree=810060/32951124 swapFree=67053956/67111528
[pid=21221] ppid=21219 vsize=365052 CPUtime=497 cores=0,2,4,6
/proc/21221/stat : 21221 (wbo1.6) R 21219 21221 19313 0 -1 4202496 91139 0 0 0 49367 333 0 0 25 0 1 0 883009157 373813248 90995 33554432000 4194304 5714214 140736588517280 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/21221/statm: 91263 90995 178 372 0 90888 0
Current children cumulated CPU time (s) 497
Current children cumulated vsize (KiB) 365052

Child status: 0
Real time (s): 497.094
CPU time (s): 497.102
CPU user time (s): 493.751
CPU system time (s): 3.35149
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 365052

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

runsolver used 0.742887 second user time and 1.52777 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-12 21:12:17
IDJOB=3447098
IDBENCH=78956
IDSOLVER=1943
FILE ID=node142/3447098-1307905937
RUNJOBID= node142-1307903751-20858
PBS_JOBID= 13559566
Free space on /var/tmp= 2908 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--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-3447098-1307905937/watcher-3447098-1307905937 -o /var/tmp/evaluation-result-3447098-1307905937/solver-3447098-1307905937 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447098-1307905937.wbo

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

MD5SUM BENCH= cb2e0a6db987ecdc06dc4066ca6b4222
RANDOM SEED=1940798619

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1313664 kB
Buffers:         59172 kB
Cached:       30494544 kB
SwapCached:      10176 kB
Active:       16033120 kB
Inactive:     14655592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1313664 kB
SwapTotal:    67111528 kB
SwapFree:     67053956 kB
Dirty:            4620 kB
Writeback:           0 kB
AnonPages:      133292 kB
Mapped:          13584 kB
Slab:           885296 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   323168 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= 2904 MiB
End job on node142 at 2011-06-12 21:20:34