Trace number 1880414

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT344 1798.08 1798.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM4dd9ac2644c29d272d2675c7fc366ed6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark307
Best CPU time to get the best result obtained on this benchmark1.01884
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 307
Optimality of the best value was proved YES
Number of variables319
Total number of constraints6
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880414-1245133208.opb
0.00/0.00	c File size is 16026 bytes.
0.00/0.00	c Highest Coefficient sum: 1.02726e+06
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 319 Constr: 6 0/0/6 Lit: 1243 Watch. Lit: 16
0.00/0.00	c Obj. Vars: 319 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    319        6     1243  207       16    2486      0      0 0.01
0.00/0.01	c Initial Lower Bound: 291
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 604
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    319        7     1562  223      332    3124      1      0 0.01
0.09/0.13	o 543
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       10    319       28     7828  279     1532    3124     22     76 0.13
0.19/0.24	o 486
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c       10    319       29     8147  280     1828    3124     23     40 0.24
0.29/0.36	o 477
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c       10    319       30     8466  282     2134    3124     24     27 0.36
0.39/0.49	o 399
0.80/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.80/0.88	c       23    319       57    16143  283     3126    3124     51     46 0.49
0.80/0.88	c      123    319      251    71637  285    10727    3437    245    164 0.75
0.80/0.88	o 394
123.57/123.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
123.57/123.68	c      130    319      273    78397  287    10741    3124    267    147 0.88
123.57/123.68	c      232    319      487   140654  288    15963    3437    481    202 1.14
123.57/123.68	c      483    319      945   269065  284    17577    3781    939    283 1.71
123.57/123.68	c      958    319     1702   470077  276    19591    4160   1696    333 2.88
123.57/123.68	c     1773    319     3058   840824  274    48549    4577   3052    362 4.90
123.57/123.68	c     3093    319     2606   691608  265    61100    5035   2600    322 9.58
123.57/123.68	c     5174    319     3087   823168  266    68691    5539   3081    270 19.14
123.57/123.68	c     8397    319     4333  1158117  267    48669    6093   4327    240 34.89
123.57/123.68	c    13335    319     4590  1228899  267    62734    6703   4584    204 65.32
123.57/123.68	c    20841    319     4214  1094557  259    81553    7374   4208    173 120.44
123.57/123.68	o 390
212.25/212.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.25/212.38	c    21503    319     5203  1372876  263    84072    3124   5197    173 123.65
212.25/212.38	c    21603    319     1742   463490  266    39104    3437   1736    173 124.58
212.25/212.38	c    21861    319     2145   567841  264    45135    3781   2139    174 125.46
212.25/212.38	c    22336    319     2888   760276  263    62403    4160   2882    174 127.69
212.25/212.38	c    23154    319     4050  1055492  260    86261    4577   4044    173 133.54
212.25/212.38	c    24474    319     3347   871201  260    68340    5035   3341    172 142.06
212.25/212.38	c    26555    319     3515   940918  267    72207    5539   3509    167 158.23
212.25/212.38	c    29778    319     4961  1319077  265    80843    6093   4955    164 180.68
212.25/212.38	o 379
229.33/229.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
229.33/229.40	c    34496    319     4746  1286265  271    88081    3124   4740    162 212.33
229.33/229.40	c    34597    319     1739   470205  270    38215    3437   1733    162 213.43
229.33/229.40	c    34851    319     2205   598477  271    41331    3781   2199    162 214.71
229.33/229.40	c    35348    319     3058   819153  267    49691    4160   3052    162 217.38
229.33/229.40	c    36162    319     2119   538264  254    42120    4577   2113    163 221.79
229.33/229.40	c    37483    319     4429  1165427  263   134950    5035   4423    165 226.23
229.33/229.40	o 349
292.33/292.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
292.33/292.44	c    38092    319     2525   664330  263   102985    3124   2519    165 230.04
292.33/292.44	c    38202    319     2757   730514  264   103744    3437   2751    165 230.52
292.33/292.44	c    38469    319     1727   458621  265    45460    3781   1721    165 232.20
292.33/292.44	c    38948    319     2877   778447  270    51112    4160   2871    166 233.66
292.33/292.44	c    39764    319     2087   567778  272    38415    4577   2081    167 237.79
292.33/292.44	c    41096    319     2296   609841  265    48099    5035   2290    168 243.76
292.33/292.44	c    43181    319     3114   801919  257    43315    5539   3108    169 254.57
292.33/292.44	c    46404    319     4947  1227923  248    65021    6093   4941    169 273.33
292.33/292.44	o 344
1797.97/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.49	c    49228    319     5643  1380844  244    89371    3124   5637    168 292.37
1797.97/1798.49	c    49328    319     1757   407755  232    30231    3437   1751    168 293.49
1797.97/1798.49	c    49583    319     2300   546017  237    42529    3781   2294    168 294.63
1797.97/1798.49	c    50059    319     3288   801511  243    62282    4160   3282    168 297.08
1797.97/1798.49	c    50872    319     2604   650628  249    64521    4577   2598    168 302.28
1797.97/1798.49	c    52192    319     2831   704115  248    74701    5035   2825    167 311.30
1797.97/1798.49	c    54282    319     3989   960706  240   117854    5539   3983    164 330.40
1797.97/1798.49	c    57507    319     2820   645781  229    86508    6093   2814    161 355.88
1797.97/1798.49	c    62443    319     4140   944861  228   135250    6703   4134    155 402.53
1797.97/1798.49	c    69958    319     5081  1112646  218   221226    7374   5075    137 507.63
1797.97/1798.49	c    81319    319     3833   882910  230   167113    8112   3827    125 647.80
1797.97/1798.49	c    98467    319     5875  1289956  219   258300    8924   5869    109 901.93
1797.97/1798.49	c   124290    319     7037  1560832  221   176131    9817   7031    104 1193.32
1797.97/1798.49	c   163123    319     5887  1390591  236   117520   10799   5881    104 1568.00
1797.97/1798.49	c Resources Exceeded
1797.97/1798.49	v -x111 -x222 -x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246 
1797.97/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.49	c   52   178914  54308   683325     9149  2004896   9143     99 1798.07
1797.97/1798.49	c Objective: 344
1797.97/1798.49	s SATISFIABLE
1797.97/1798.49	c Total time: 1798.07 s

Verifier Data 

OK	344

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880414-1245133208/watcher-1880414-1245133208 -o /tmp/evaluation-result-1880414-1245133208/solver-1880414-1245133208 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880414-1245133208.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32491
/proc/meminfo: memFree=1777136/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=18524 CPUtime=0
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 180921793 18968576 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 4631 245 189 640 0 3987 0

[startup+0.0353379 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32491
/proc/meminfo: memFree=1777136/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=18608 CPUtime=0.03
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1334 0 0 0 3 0 0 0 18 0 1 0 180921793 19054592 367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 4652 367 286 640 0 4008 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18608

[startup+0.101344 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32491
/proc/meminfo: memFree=1777136/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=19096 CPUtime=0.09
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 3810 0 0 0 8 1 0 0 18 0 1 0 180921793 19554304 386 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 4774 386 289 640 0 4130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19096

[startup+0.30136 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32491
/proc/meminfo: memFree=1777136/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=18720 CPUtime=0.29
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 11159 0 0 0 25 4 0 0 19 0 1 0 180921793 19169280 402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 4805 411 292 640 0 4161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18720

[startup+0.701392 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32491
/proc/meminfo: memFree=1777136/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=12016 CPUtime=0.69
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 23907 0 0 0 61 8 0 0 23 0 1 0 180921793 12304384 595 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 3037 598 293 640 0 2393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12016

[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1775400/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=14544 CPUtime=1.49
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 44549 0 0 0 133 16 0 0 25 0 1 0 180921793 14893056 1198 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 3636 1198 293 640 0 2992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14544

[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1771816/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=18332 CPUtime=3.09
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 74262 0 0 0 282 27 0 0 25 0 1 0 180921793 18771968 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 4583 2168 293 640 0 3939 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18332

[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1763368/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=25780 CPUtime=6.29
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 101892 0 0 0 590 39 0 0 25 0 1 0 180921793 26398720 4049 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 6445 4049 293 640 0 5801 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25780

[startup+12.7024 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1757096/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=29976 CPUtime=12.69
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 127012 0 0 0 1217 52 0 0 25 0 1 0 180921793 30695424 5171 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 7494 5171 293 640 0 6850 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29976

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1754856/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=32144 CPUtime=25.49
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 152400 0 0 0 2482 67 0 0 25 0 1 0 180921793 32915456 5716 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 8036 5716 293 640 0 7392 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32144

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1751400/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=35728 CPUtime=51.08
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 226413 0 0 0 5007 101 0 0 25 0 1 0 180921793 36585472 6606 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 8932 6606 293 640 0 8288 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35728

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1749288/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=37768 CPUtime=102.27
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 242144 0 0 0 10115 112 0 0 25 0 1 0 180921793 38674432 7117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 9442 7117 293 640 0 8798 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37768

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1749288/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=37940 CPUtime=162.25
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 262752 0 0 0 16098 127 0 0 25 0 1 0 180921793 38850560 7127 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 9485 7127 293 640 0 8841 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37940

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1749288/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=37940 CPUtime=222.24
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 262752 0 0 0 22094 130 0 0 25 0 1 0 180921793 38850560 7127 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 9485 7127 293 640 0 8841 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37940

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1749288/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=37940 CPUtime=282.22
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 262752 0 0 0 28087 135 0 0 25 0 1 0 180921793 38850560 7127 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 9485 7127 293 640 0 8841 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37940

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1749288/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=37940 CPUtime=342.21
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 262752 0 0 0 34080 141 0 0 25 0 1 0 180921793 38850560 7127 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 9485 7127 293 640 0 8841 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 37940

[startup+402.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 32492
/proc/meminfo: memFree=1749352/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=37452 CPUtime=402.19
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 262752 0 0 0 40074 145 0 0 25 0 1 0 180921793 38350848 7058 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 9363 7058 293 640 0 8719 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 37452

[startup+462.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 32492
/proc/meminfo: memFree=1746920/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=40020 CPUtime=462.19
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 427566 0 0 0 45989 230 0 0 25 0 1 0 180921793 40980480 7686 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 10005 7686 293 640 0 9361 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 40020

[startup+522.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 32492
/proc/meminfo: memFree=1745384/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=41976 CPUtime=522.17
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 598780 0 0 0 51900 317 0 0 25 0 1 0 180921793 42983424 8168 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 10494 8168 293 640 0 9850 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 41976

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32492
/proc/meminfo: memFree=1743464/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=43484 CPUtime=582.16
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 668572 0 0 0 57863 353 0 0 25 0 1 0 180921793 44527616 8545 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 10871 8545 293 640 0 10227 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 43484

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1743464/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=43640 CPUtime=642.15
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 718598 0 0 0 63834 381 0 0 25 0 1 0 180921793 44687360 8547 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 10910 8547 293 640 0 10266 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 43640

[startup+702.302 s]

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

/proc/meminfo: memFree=1737512/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49476 CPUtime=1122.02
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1753223 0 0 0 111293 909 0 0 25 0 1 0 180921793 50663424 9972 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12369 9972 293 640 0 11725 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 49476

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737512/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1182.01
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 117280 921 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 49320

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737448/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1242
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 123276 924 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 49320

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737384/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1301.99
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 129273 926 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 49320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737320/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1361.98
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 135267 931 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 49320

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737320/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1421.96
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 141262 934 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 49320

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737320/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1481.94
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 147258 936 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 134574390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 49320

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737320/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49320 CPUtime=1541.93
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1767167 0 0 0 153255 938 0 0 25 0 1 0 180921793 50503680 9971 1992294400 134512640 137136520 4294956256 18446744073709551615 134574324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12330 9971 293 640 0 11686 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 49320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1737192/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=49556 CPUtime=1601.91
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1771129 0 0 0 159249 942 0 0 25 0 1 0 180921793 50745344 10063 1992294400 134512640 137136520 4294956256 18446744073709551615 134543989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12389 10063 293 640 0 11745 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 49556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734440/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=51956 CPUtime=1661.9
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1860691 0 0 0 165200 990 0 0 25 0 1 0 180921793 53202944 10663 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 12989 10663 293 640 0 12345 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 51956

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734184/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1721.89
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 1947956 0 0 0 171149 1040 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 52160

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1781.88
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2056705 0 0 0 177093 1095 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 52160

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1791.48
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2086838 0 0 0 178039 1109 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 52160

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1794.68
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2099583 0 0 0 178352 1116 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 52160

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1796.28
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2103379 0 0 0 178510 1118 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134574453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1796.28
Current children cumulated vsize (KiB) 52160

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1797.07
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2105170 0 0 0 178589 1118 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13118 10719 293 640 0 12474 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (KiB) 52160

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1797.47
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2107342 0 0 0 178628 1119 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 52160

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1797.87
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2107706 0 0 0 178667 1120 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13118 10719 293 640 0 12474 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 52160

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32492
/proc/meminfo: memFree=1734120/2055920 swapFree=4191900/4192956
[pid=32491] ppid=32489 vsize=52160 CPUtime=1797.97
/proc/32491/stat : 32491 (bsolo) R 32489 32491 32098 0 -1 4194304 2108668 0 0 0 178677 1120 0 0 25 0 1 0 180921793 53411840 10714 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32491/statm: 13040 10714 293 640 0 12396 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 52160

Child status: 0
Real time (s): 1798.5
CPU time (s): 1798.08
CPU user time (s): 1786.87
CPU system time (s): 11.2153
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 52672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.87
system time used= 11.2153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2108684
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= 2
involuntary context switches= 1716

runsolver used 1.46378 second user time and 3.62145 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-16 08:20:08
IDJOB=1880414
IDBENCH=1854
IDSOLVER=701
FILE ID=node3/1880414-1245133208
PBS_JOBID= 9363696
Free space on /tmp= 66320 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880414-1245133208/watcher-1880414-1245133208 -o /tmp/evaluation-result-1880414-1245133208/solver-1880414-1245133208 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880414-1245133208.opb

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

MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6
RANDOM SEED=1622962188

node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1777552 kB
Buffers:         22504 kB
Cached:         184908 kB
SwapCached:        260 kB
Active:          49028 kB
Inactive:       171616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777552 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            43820 kB
Committed_AS:   150356 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66316 MiB
End job on node3 at 2009-06-16 08:50:07