Trace number 1878530

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 clSAT216 1798.03 1798.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
MD5SUM7db364152f2aec17f16cb8adef9dc3c7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 184
Optimality of the best value was proved NO
Number of variables470
Total number of constraints469
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 constraints469
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 470
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 470
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 470
Number of bits of the biggest sum of numbers9
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: Clause 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-1878530-1245138430.opb
0.00/0.00	c File size is 42910 bytes.
0.00/0.00	c Highest Coefficient sum: 470
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.007 s
0.00/0.00	c Var: 470 Constr: 469 0/0/469 Lit: 4245 Watch. Lit: 1518
0.00/0.00	c Obj. Vars: 470 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c        0    470      469     4245    9     1992    8490      0      0 0.01
0.59/0.60	c Initial Lower Bound: 142
0.59/0.60	c Initial Path Cost: 0
0.59/0.60	o 226
6.09/6.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.10	c        0    470      470     4715   10     2408    9490      1      0 0.61
6.09/6.10	o 225
39.08/39.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.08/39.13	c       11    470      482     7742   16     2678    9490     13      1 6.11
39.08/39.13	c      111    470      682    59444   87     3160   10440    213      8 13.31
39.08/39.13	c      361    470     1181   193196  163     4202   11485    712     15 22.79
39.08/39.13	c      836    470     2110   431141  204     6052   12634   1641     25 32.68
39.08/39.13	o 220
182.13/182.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.13/182.28	c      836    470     2111   431611  204     6264    9490   1642     21 39.12
182.13/182.28	c      936    470     2211   454545  205     6475   10440   1742     20 45.98
182.13/182.28	c     1186    470     2709   597754  220     7512   11485   2240     21 54.82
182.13/182.28	c     1662    470     3653   841251  230     9411   12634   3184     25 65.00
182.13/182.28	c     2475    470     5265  1290191  245    12624   13898   4796     32 76.00
182.13/182.28	c     3795    470     7864  2021281  257    17821   15288   7395     42 89.74
182.13/182.28	c     5876    470    11993  3179842  265    26074   16817  11524     54 108.01
182.13/182.28	c     9099    470     9542  2553213  267    20670   18499   9073     68 132.43
182.13/182.28	c    14036    470    18514  4834392  261    38636   20349  18045     84 166.52
182.13/182.28	o 219
242.43/242.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.43/242.55	c    15593    470    10998  2799445  254    23819    9490  10529     85 182.24
242.43/242.55	c    15693    470     5415  1282884  236    12426   10440   4946     82 191.01
242.43/242.55	c    15944    470     5898  1401486  237    13385   11485   5429     80 199.15
242.43/242.55	c    16419    470     6816  1648578  241    15196   12634   6347     78 207.92
242.43/242.55	c    17233    470     8426  2082110  247    18429   13898   7957     78 219.15
242.43/242.55	c    18555    470    11023  2781154  252    23660   15288  10554     79 233.69
242.43/242.55	o 218
469.57/469.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
469.57/469.74	c    18814    470    11538  2906305  251    24930    9490  11069     77 242.49
469.57/469.74	c    18914    470     5408  1309548  242    12401   10440   4939     75 249.80
469.57/469.74	c    19165    470     5907  1452384  245    13437   11485   5438     73 259.67
469.57/469.74	c    19640    470     6849  1709597  249    15277   12634   6380     72 269.57
469.57/469.74	c    20455    470     8463  2140968  252    18506   13898   7994     72 280.21
469.57/469.74	c    21775    470    11094  2893041  260    23790   15288  10625     73 294.61
469.57/469.74	c    23857    470    15224  4080655  268    32018   16817  14755     76 312.87
469.57/469.74	c    27080    470    12843  3466856  269    27271   18499  12374     80 337.93
469.57/469.74	c    32017    470    12778  3405442  266    27161   20349  12309     86 370.57
469.57/469.74	c    39523    470    16589  4259982  256    34757   22384  16120     93 420.75
469.57/469.74	o 217
477.66/477.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
477.66/477.86	c    46662    470    18846  4735924  251    39541    9490  18377     99 469.61
477.66/477.86	o 216
1797.91/1798.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.48	c    46663    470     5217  1219872  233    12252    9490   4748     97 477.73
1797.91/1798.48	c    46763    470     5402  1262623  233    12651   10440   4933     96 485.36
1797.91/1798.48	c    47014    470     5902  1388444  235    13641   11485   5433     95 493.90
1797.91/1798.48	c    47490    470     6842  1650656  241    15537   12634   6373     94 504.37
1797.91/1798.48	c    48304    470     8464  2143350  253    18796   13898   7995     93 516.41
1797.91/1798.48	c    49625    470    11100  2854926  257    24061   15288  10631     93 530.88
1797.91/1798.48	c    51707    470    15215  3980228  261    32287   16817  14746     94 548.69
1797.91/1798.48	c    54930    470    12772  3392197  265    27143   18499  12303     95 574.53
1797.91/1798.48	c    59867    470    12674  3471443  273    26963   20349  12205     98 608.19
1797.91/1798.48	c    67374    470    17026  4743346  278    35645   22384  16557    102 656.53
1797.91/1798.48	c    78737    470    15900  4327687  272    33423   24623  15431    107 730.97
1797.91/1798.48	c    95881    470    22338  5911971  264    46266   27086  21869    114 836.41
1797.91/1798.48	c   121700    470    25193  6726437  266    51980   29795  24724    118 1023.93
1797.91/1798.48	c   160533    470    25494  6699459  262    52577   32775  25025    125 1282.23
1797.91/1798.48	c   218886    470    12189  3035229  249    25984   36053  11720    126 1735.57
1797.91/1798.48	c Resources Exceeded
1797.91/1798.48	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 -x232 x233 -x234 x235 -x236 x237 -x238 -x239 x240 -x241 x242 -x243 x244 x245 -x246 -x247 -x248 -x249 x250 x251 x252 -x253 -x254 -x255 x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 x285 x286 -x287 x288 x289 -x290 x291 x292 x293 -x294 x295 x296 x297 -x298 x299 -x300 -x301 -x302 x303 -x304 x305 x306 x307 -x308 x309 x310 x311 -x312 -x313 -x314 x315 x316 -x317 -x318 x319 x320 x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 -x330 x331 x332 -x333 x334 -x335 -x336 -x337 x338 x339 x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 x349 -x350 x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 x362 x363 x364 -x365 x366 -x367 x368 x369 -x370 x371 -x372 -x373 x374 -x375 -x376 -x377 x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 x387 x388 -x389 x390 -x391 x392 x393 x394 x395 x396 -x397 -x398 x399 -x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 -x410 x411 x412 x413 x414 -x415 x416 x417 -x418 x419 -x420 -x421 -x422 x423 x424 -x425 x426 -x427 x428 x429 -x430 -x431 x432 x433 x434 -x435 -x436 x437 -x438 -x439 x440 x441 x442 x443 x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 x463 -x464 x465 x466 -x467 -x468 x469 -x470 
1797.91/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.48	c   46   228173  44374   318642    30210  7679267  29741    126 1798.00
1797.91/1798.48	c Objective: 216
1797.91/1798.48	s SATISFIABLE
1797.91/1798.48	c Total time: 1798 s

Verifier Data 

OK	216

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878530-1245138430/watcher-1878530-1245138430 -o /tmp/evaluation-result-1878530-1245138430/solver-1878530-1245138430 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878530-1245138430.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 8209
/proc/meminfo: memFree=1853728/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=10756 CPUtime=0
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181440139 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 2689 227 174 640 0 2034 0

[startup+0.0382809 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8209
/proc/meminfo: memFree=1853728/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=12008 CPUtime=0.03
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 522 0 0 0 3 0 0 0 18 0 1 0 181440139 12296192 495 1992294400 134512640 137136520 4294956256 18446744073709551615 135464172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3002 495 281 640 0 2358 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12008

[startup+0.101288 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8209
/proc/meminfo: memFree=1853728/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=12364 CPUtime=0.09
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 638 0 0 0 9 0 0 0 18 0 1 0 181440139 12660736 586 1992294400 134512640 137136520 4294956256 18446744073709551615 135440938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3091 586 284 640 0 2447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12364

[startup+0.30131 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8209
/proc/meminfo: memFree=1853728/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=12832 CPUtime=0.29
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 896 0 0 0 29 0 0 0 19 0 1 0 181440139 13139968 706 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3208 706 284 640 0 2564 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12832

[startup+0.701354 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8209
/proc/meminfo: memFree=1853728/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=13024 CPUtime=0.69
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 1523 0 0 0 69 0 0 0 22 0 1 0 181440139 13336576 676 1992294400 134512640 137136520 4294956256 18446744073709551615 135464055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3256 676 289 640 0 2612 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13024

[startup+1.50144 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1852440/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=13356 CPUtime=1.49
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 4205 0 0 0 148 1 0 0 25 0 1 0 181440139 13676544 636 1992294400 134512640 137136520 4294956256 18446744073709551615 135248965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3339 636 289 640 0 2695 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13356

[startup+3.10162 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1851992/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=13796 CPUtime=3.09
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 8675 0 0 0 306 3 0 0 25 0 1 0 181440139 14127104 632 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3449 632 289 640 0 2805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13796

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1852504/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=13816 CPUtime=6.29
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 27441 0 0 0 618 11 0 0 25 0 1 0 181440139 14147584 782 1992294400 134512640 137136520 4294956256 18446744073709551615 135444675 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3454 782 292 640 0 2810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13816

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1852448/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=13516 CPUtime=12.69
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 52673 0 0 0 1250 19 0 0 25 0 1 0 181440139 13840384 494 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 3379 494 292 640 0 2735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13516

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1849696/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=16856 CPUtime=25.48
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 145516 0 0 0 2497 51 0 0 25 0 1 0 181440139 17260544 1232 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 4214 1232 295 640 0 3570 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16856

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1846112/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=20164 CPUtime=51.07
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 322504 0 0 0 4999 108 0 0 25 0 1 0 181440139 20647936 2198 1992294400 134512640 137136520 4294956256 18446744073709551615 135079030 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 5041 2198 295 640 0 4397 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20164

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1819040/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=46716 CPUtime=102.26
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 987318 0 0 0 9890 336 0 0 25 0 1 0 181440139 47837184 8927 1992294400 134512640 137136520 4294956256 18446744073709551615 136503955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 11679 8928 295 640 0 11035 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 46716

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1789728/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=75424 CPUtime=162.24
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 1781676 0 0 0 15573 651 0 0 25 0 1 0 181440139 77234176 16152 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 18856 16153 295 640 0 18212 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 75424

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1778656/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=86784 CPUtime=222.23
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 2231405 0 0 0 21395 828 0 0 25 0 1 0 181440139 88866816 18852 1992294400 134512640 137136520 4294956256 18446744073709551615 135433665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 21696 18852 295 640 0 21052 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 86784

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8210
/proc/meminfo: memFree=1778784/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=87900 CPUtime=282.21
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 2518602 0 0 0 27267 954 0 0 25 0 1 0 181440139 90009600 18933 1992294400 134512640 137136520 4294956256 18446744073709551615 135445296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 21975 18933 295 640 0 21331 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 87900

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8212
/proc/meminfo: memFree=1778336/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=87700 CPUtime=342.2
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 2892695 0 0 0 33085 1135 0 0 25 0 1 0 181440139 89804800 18877 1992294400 134512640 137136520 4294956256 18446744073709551615 135438861 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 21925 18877 295 640 0 21281 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 87700

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8212
/proc/meminfo: memFree=1778592/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=85600 CPUtime=402.18
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 3311067 0 0 0 38874 1344 0 0 25 0 1 0 181440139 87654400 19097 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 21400 19097 295 640 0 20756 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 85600

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8212
/proc/meminfo: memFree=1771936/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=93796 CPUtime=462.16
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 3803534 0 0 0 44647 1569 0 0 25 0 1 0 181440139 96047104 20564 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 23449 20564 295 640 0 22805 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 93796

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8212
/proc/meminfo: memFree=1771872/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=94580 CPUtime=522.15
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 4074391 0 0 0 50529 1686 0 0 25 0 1 0 181440139 96849920 20635 1992294400 134512640 137136520 4294956256 18446744073709551615 135337186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 23645 20635 295 640 0 23001 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 94580

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8212
/proc/meminfo: memFree=1771936/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=93704 CPUtime=582.13
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 4431258 0 0 0 56352 1861 0 0 25 0 1 0 181440139 95952896 20562 1992294400 134512640 137136520 4294956256 18446744073709551615 135469452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 23426 20562 295 640 0 22782 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 93704

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8212
/proc/meminfo: memFree=1769248/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=94052 CPUtime=642.12
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 4849513 0 0 0 62137 2075 0 0 25 0 1 0 181440139 96309248 21210 1992294400 134512640 137136520 4294956256 18446744073709551615 134826807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 23513 21210 295 640 0 22869 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 94052

[startup+702.301 s]

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

/proc/meminfo: memFree=1744288/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=118180 CPUtime=1062
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 7728976 0 0 0 102660 3540 0 0 25 0 1 0 181440139 121016320 27242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 29545 27242 295 640 0 28901 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 118180

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1744096/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=118376 CPUtime=1121.99
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 8123905 0 0 0 108443 3756 0 0 25 0 1 0 181440139 121217024 27291 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 29594 27291 295 640 0 28950 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 118376

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1743968/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=120832 CPUtime=1181.97
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 8487303 0 0 0 114239 3958 0 0 25 0 1 0 181440139 123731968 27327 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 30208 27327 295 640 0 29564 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 120832

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1742624/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=122192 CPUtime=1241.95
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 8886171 0 0 0 120018 4177 0 0 25 0 1 0 181440139 125124608 27660 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 30548 27660 295 640 0 29904 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 122192

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1742560/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=119812 CPUtime=1301.94
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 9272840 0 0 0 125813 4381 0 0 25 0 1 0 181440139 122687488 27650 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 30364 27655 295 640 0 29720 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 119812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1734880/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=129164 CPUtime=1361.92
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 9718768 0 0 0 131602 4590 0 0 25 0 1 0 181440139 132263936 29584 1992294400 134512640 137136520 4294956256 18446744073709551615 135402608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32478 29587 295 640 0 31834 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 129164

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1734880/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=127520 CPUtime=1421.91
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 10073054 0 0 0 137401 4790 0 0 25 0 1 0 181440139 130580480 29577 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 31880 29577 295 640 0 31236 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 127520

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1734368/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=127956 CPUtime=1481.9
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 10369915 0 0 0 143231 4959 0 0 25 0 1 0 181440139 131026944 29686 1992294400 134512640 137136520 4294956256 18446744073709551615 134748922 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32408 29691 295 640 0 31764 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 127956

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1734368/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=127956 CPUtime=1541.88
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 10731862 0 0 0 149029 5159 0 0 25 0 1 0 181440139 131026944 29686 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 31989 29686 295 640 0 31345 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 127956

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733664/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=128644 CPUtime=1601.86
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 11052232 0 0 0 154839 5347 0 0 25 0 1 0 181440139 131731456 29858 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32161 29858 295 640 0 31517 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 128644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733664/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=128644 CPUtime=1661.85
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 11356111 0 0 0 160664 5521 0 0 25 0 1 0 181440139 131731456 29858 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32161 29858 295 640 0 31517 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 128644

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733664/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=128644 CPUtime=1721.83
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 11716155 0 0 0 166460 5723 0 0 25 0 1 0 181440139 131731456 29858 1992294400 134512640 137136520 4294956256 18446744073709551615 136501981 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32161 29858 295 640 0 31517 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 128644

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=131024 CPUtime=1781.82
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 12071267 0 0 0 172271 5911 0 0 25 0 1 0 181440139 134168576 29865 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32756 29865 295 640 0 32112 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 131024

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 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=130284 CPUtime=1791.42
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 12132670 0 0 0 173196 5946 0 0 25 0 1 0 181440139 133410816 29862 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32571 29862 295 640 0 31927 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 130284

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=128636 CPUtime=1794.62
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 12152010 0 0 0 173505 5957 0 0 25 0 1 0 181440139 131723264 29856 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32159 29856 295 640 0 31515 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 128636

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=130292 CPUtime=1796.21
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 12162016 0 0 0 173658 5963 0 0 25 0 1 0 181440139 133419008 29862 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32648 29863 295 640 0 32004 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 130292

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=131072 CPUtime=1797.01
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 12166905 0 0 0 173735 5966 0 0 25 0 1 0 181440139 134217728 29865 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32768 29865 295 640 0 32124 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 131072

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=128636 CPUtime=1797.81
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194304 12171548 0 0 0 173813 5968 0 0 25 0 1 0 181440139 131723264 29856 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 32159 29856 295 640 0 31515 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 128636

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8218
/proc/meminfo: memFree=1733536/2055920 swapFree=4191900/4192956
[pid=8209] ppid=8207 vsize=0 CPUtime=1798.01
/proc/8209/stat : 8209 (bsolo) R 8207 8209 7829 0 -1 4194308 12172642 0 0 0 173831 5970 0 0 25 0 1 0 181440139 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8209/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.03
CPU user time (s): 1738.32
CPU system time (s): 59.7079
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 132244

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

runsolver used 1.3298 second user time and 3.73143 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-16 09:47:10
IDJOB=1878530
IDBENCH=1958
IDSOLVER=700
FILE ID=node38/1878530-1245138430
PBS_JOBID= 9363716
Free space on /tmp= 66236 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878530-1245138430/watcher-1878530-1245138430 -o /tmp/evaluation-result-1878530-1245138430/solver-1878530-1245138430 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878530-1245138430.opb

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

MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7
RANDOM SEED=43614951

node38.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.232
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.232
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:       1854208 kB
Buffers:         35400 kB
Cached:          79940 kB
SwapCached:        260 kB
Active:          29744 kB
Inactive:        98856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854208 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4004 kB
Writeback:           0 kB
Mapped:          22512 kB
Slab:            59032 kB
Committed_AS:   154128 kB
PageTables:       1464 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= 66232 MiB
End job on node38 at 2009-06-16 10:17:08