Trace number 1877167

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.1SAT-29 1798.05 1798.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM4acf18ad1cd52676d2699a99f210ed0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1795.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
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

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: Cardinality Constraint 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-1877167-1245168595.opb
0.00/0.00	c File size is 663564 bytes.
0.00/0.08	c Highest Coefficient sum: 595
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.086 s
0.09/0.09	c Var: 595 Constr: 27842 27842/0/0 Lit: 55684 Watch. Lit: 55684
0.09/0.09	c Obj. Vars: 595 (100 % of total variables)
0.39/0.44	c Pre-processing Time: 0.438 s
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        0    595    27842    55684    2    55684    9280      0      0 0.44
0.39/0.44	c Switching off lower bounding mode.
0.39/0.44	o -26
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c        0    595    27843    56279    2    55712   10280      1      0 0.44
0.39/0.45	o -27
245.91/246.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
245.91/246.08	c       10    595    27855    63099    2    55763   10280     13     22 0.45
245.91/246.08	c      110    595    27965   125210    4    55983   11309    123    203 0.54
245.91/246.08	c      360    595    28243   281978    9    56539   12440    401    468 0.77
245.91/246.08	c      836    595    28791   590355   20    57635   13685    949    676 1.24
245.91/246.08	c     1649    595    29732  1120027   37    59517   15054   1890    770 2.14
245.91/246.08	c     2969    595    31250  1972940   63    62553   16560   3408    785 3.78
245.91/246.08	c     5050    595    33606  3301208   98    67265   18217   5764    729 6.92
245.91/246.08	c     8273    595    37384  5426860  145    74821   20039   9542    616 13.42
245.91/246.08	c    13211    595    43128  8656023  200    86309   22043  15286    568 23.22
245.91/246.08	c    20717    595    40072  6937215  173    80196   24248  12230    471 43.94
245.91/246.08	c    32078    595    40560  7214191  177    81147   26673  12718    423 75.71
245.91/246.08	c    49223    595    45227  9830504  217    90481   29341  17385    390 125.98
245.91/246.08	c    75042    595    40611  7217349  177    81249   32276  12769    305 245.36
245.91/246.08	o -28
904.50/904.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
904.50/904.82	c    75354    595    40967  7417986  181    81989   10281  13125    306 246.00
904.50/904.82	c    75456    595    33098  3002816   90    66224   11310   5256    306 246.53
904.50/904.82	c    75706    595    33386  3164643   94    66800   12442   5544    306 246.87
904.50/904.82	c    76182    595    33929  3469631  102    67886   13687   6087    307 247.51
904.50/904.82	c    76995    595    34856  3989623  114    69740   15056   7014    309 248.70
904.50/904.82	c    78315    595    36354  4831674  132    72736   16562   8512    312 250.69
904.50/904.82	c    80397    595    38751  6178557  159    77530   18219  10909    316 254.18
904.50/904.82	c    83620    595    42488  8276250  194    85004   20041  14646    320 260.52
904.50/904.82	c    88556    595    37864  5683354  150    75756   22046  10022    325 272.33
904.50/904.82	c    96062    595    46423 10491694  226    92874   24251  18581    324 295.83
904.50/904.82	c   107424    595    46606 10590349  227    93266   26677  18764    326 329.03
904.50/904.82	c   124569    595    51153 13160123  257   102334   29345  23311    312 399.08
904.50/904.82	c   150388    595    46204 10375972  224    92436   32280  18362    301 499.00
904.50/904.82	c   189220    595    49828 12401637  248    99759   35509  21986    288 655.91
904.50/904.82	o -29
1797.91/1798.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.58	c   237890    595    59280 17656560  297   118809   10281  31438    262 904.53
1797.91/1798.58	c   237991    595    33099  3004659   90    66227   11310   5257    261 911.02
1797.91/1798.58	c   238242    595    33379  3161726   94    66787   12442   5537    261 911.52
1797.91/1798.58	c   238717    595    33918  3464109  102    67865   13687   6076    261 912.23
1797.91/1798.58	c   239531    595    34848  3986015  114    69725   15056   7006    262 913.31
1797.91/1798.58	c   240851    595    36378  4843694  133    72785   16562   8536    263 915.44
1797.91/1798.58	c   242933    595    38715  6155462  158    77459   18219  10873    264 919.05
1797.91/1798.58	c   246157    595    42437  8242261  194    84903   20041  14595    266 925.17
1797.91/1798.58	c   251093    595    37864  5667714  149    75757   22046  10022    267 939.24
1797.91/1798.58	c   258600    595    46576 10551034  226    93181   24251  18734    270 955.94
1797.91/1798.58	c   269961    595    46366 10454579  225    92788   26677  18524    270 999.32
1797.91/1798.58	c   287106    595    51370 13248613  257   102796   29345  23528    267 1074.83
1797.91/1798.58	c   312925    595    47392 10995669  232    94813   32280  19550    261 1194.94
1797.91/1798.58	c   351758    595    51627 13396632  259   103283   35509  23785    254 1382.66
1797.91/1798.58	c   410110    595    48681 11708389  240    97491   39060  20839    228 1794.58
1797.91/1798.58	c Resources Exceeded
1797.91/1798.58	v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.91/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.58	c   43   411582  37694   461037    50355 12648108  22513    228 1798.00
1797.91/1798.58	c Objective: -29
1797.91/1798.58	s SATISFIABLE
1797.91/1798.58	c Total time: 1798 s

Verifier Data 

OK	-29

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877167-1245168595/watcher-1877167-1245168595 -o /tmp/evaluation-result-1877167-1245168595/solver-1877167-1245168595 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877167-1245168595.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.07 1.04 1.00 3/64 347
/proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=11364 CPUtime=0
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 184456679 11636736 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 2841 241 175 640 0 2034 0

[startup+0.096824 s]
/proc/loadavg: 1.07 1.04 1.00 3/64 347
/proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=14648 CPUtime=0.09
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 1415 0 0 0 9 0 0 0 18 0 1 0 184456679 14999552 1236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 3662 1238 185 640 0 3018 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14648

[startup+0.101825 s]
/proc/loadavg: 1.07 1.04 1.00 3/64 347
/proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=14648 CPUtime=0.09
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 1430 0 0 0 9 0 0 0 18 0 1 0 184456679 14999552 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 3662 1251 188 640 0 3018 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14648

[startup+0.301859 s]
/proc/loadavg: 1.07 1.04 1.00 3/64 347
/proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=15588 CPUtime=0.29
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 1657 0 0 0 29 0 0 0 19 0 1 0 184456679 15962112 1478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 3897 1478 190 640 0 3253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15588

[startup+0.701927 s]
/proc/loadavg: 1.07 1.04 1.00 3/64 347
/proc/meminfo: memFree=1852060/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=17088 CPUtime=0.69
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 2225 0 0 0 67 2 0 0 22 0 1 0 184456679 17498112 1859 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 4272 1859 196 640 0 3628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17088

[startup+1.50207 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 348
/proc/meminfo: memFree=1842644/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=23780 CPUtime=1.49
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 3896 0 0 0 146 3 0 0 25 0 1 0 184456679 24350720 3530 1992294400 134512640 137136520 4294956256 18446744073709551615 136498314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 5945 3530 196 640 0 5301 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23780

[startup+3.10134 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 348
/proc/meminfo: memFree=1834068/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=35620 CPUtime=3.09
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 6848 0 0 0 304 5 0 0 25 0 1 0 184456679 36474880 6482 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 8905 6482 197 640 0 8261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35620

[startup+6.30188 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 348
/proc/meminfo: memFree=1811860/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=53864 CPUtime=6.29
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 11416 0 0 0 622 7 0 0 25 0 1 0 184456679 55156736 11050 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 13466 11050 197 640 0 12822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53864

[startup+12.702 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 348
/proc/meminfo: memFree=1783132/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=81316 CPUtime=12.68
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 18276 0 0 0 1258 10 0 0 25 0 1 0 184456679 83267584 17910 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 20329 17910 197 640 0 19685 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81316

[startup+25.5011 s]
/proc/loadavg: 1.04 1.03 1.00 2/65 348
/proc/meminfo: memFree=1726364/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=136972 CPUtime=25.48
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 32199 0 0 0 2530 18 0 0 25 0 1 0 184456679 140259328 31833 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 34243 31833 197 640 0 33599 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 136972

[startup+51.1015 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 348
/proc/meminfo: memFree=1682716/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=179104 CPUtime=51.07
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 42731 0 0 0 5081 26 0 0 25 0 1 0 184456679 183402496 42365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 44776 42365 197 640 0 44132 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 179104

[startup+102.305 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 348
/proc/meminfo: memFree=1666716/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=195096 CPUtime=102.25
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 46734 0 0 0 10192 33 0 0 25 0 1 0 184456679 199778304 46368 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 48774 46368 197 640 0 48130 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 195096

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 348
/proc/meminfo: memFree=1633756/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=228984 CPUtime=162.23
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55211 0 0 0 16180 43 0 0 25 0 1 0 184456679 234479616 54845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 57246 54845 197 640 0 56602 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 228984

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 348
/proc/meminfo: memFree=1629852/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=231820 CPUtime=222.21
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 22175 46 0 0 25 0 1 0 184456679 237383680 55551 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 57955 55551 197 640 0 57311 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 231820

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 348
/proc/meminfo: memFree=1629852/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=231808 CPUtime=282.2
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 28169 51 0 0 25 0 1 0 184456679 237371392 55551 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 57952 55551 197 640 0 57308 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 231808

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1630172/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=231276 CPUtime=342.18
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 34163 55 0 0 25 0 1 0 184456679 236826624 55418 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 57819 55418 197 640 0 57175 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 231276

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1630172/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=231276 CPUtime=402.16
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 55917 0 0 0 40157 59 0 0 25 0 1 0 184456679 236826624 55418 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 57819 55418 197 640 0 57175 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 231276

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1629340/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=232284 CPUtime=462.14
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 56166 0 0 0 46150 64 0 0 25 0 1 0 184456679 237858816 55667 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 58071 55667 197 640 0 57427 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 232284

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1629020/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=232600 CPUtime=522.11
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 56246 0 0 0 52143 68 0 0 25 0 1 0 184456679 238182400 55747 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 58150 55747 197 640 0 57506 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 232600

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1607644/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=253848 CPUtime=582.09
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 61580 0 0 0 58134 75 0 0 25 0 1 0 184456679 259940352 61048 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 63462 61048 197 640 0 62818 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 253848

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1607644/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=253848 CPUtime=642.08
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 61580 0 0 0 64129 79 0 0 25 0 1 0 184456679 259940352 61048 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 63462 61048 197 640 0 62818 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 253848

[startup+702.302 s]

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

/proc/meminfo: memFree=1591388/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=269752 CPUtime=1121.92
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 112080 112 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 67438 65037 197 640 0 66794 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 269752

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1591388/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=269752 CPUtime=1181.91
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 118075 116 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 67438 65037 197 640 0 66794 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 269752

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1591324/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=269752 CPUtime=1241.89
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 124069 120 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 67438 65037 197 640 0 66794 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 269752

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1591324/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=269752 CPUtime=1301.87
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 130063 124 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 67438 65037 197 640 0 66794 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 269752

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1591324/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=269752 CPUtime=1361.84
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 67314 0 0 0 136058 126 0 0 25 0 1 0 184456679 276226048 65037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 67438 65037 197 640 0 66794 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 269752

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276560 CPUtime=1421.84
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 142053 131 0 0 25 0 1 0 184456679 283197440 66707 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69140 66707 197 640 0 68496 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 276560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276560 CPUtime=1481.81
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 148048 133 0 0 25 0 1 0 184456679 283197440 66707 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69140 66707 197 640 0 68496 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 276560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276560 CPUtime=1541.79
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 154044 135 0 0 25 0 1 0 184456679 283197440 66707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69140 66707 197 640 0 68496 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 276560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1601.77
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 160039 138 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 276400

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1661.75
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 166034 141 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 276400

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584732/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1721.73
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 172031 142 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 276400

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1781.71
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 178027 144 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134554024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 276400

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 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1791.31
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 178986 145 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 276400

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1794.51
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179306 145 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 276400

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1796.1
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179465 145 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 276400

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1796.91
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179545 146 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 276400

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1797.71
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179625 146 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134598615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 276400

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=276400 CPUtime=1797.91
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194304 68984 0 0 0 179645 146 0 0 25 0 1 0 184456679 283033600 66699 1992294400 134512640 137136520 4294956256 18446744073709551615 134616635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 69100 66699 197 640 0 68456 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 276400

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 348
/proc/meminfo: memFree=1584668/2055920 swapFree=4181368/4192956
[pid=347] ppid=345 vsize=0 CPUtime=1798
/proc/347/stat : 347 (bsolo) R 345 347 32547 0 -1 4194308 68986 0 0 0 179653 147 0 0 25 0 1 0 184456679 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/347/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.05
CPU user time (s): 1796.54
CPU system time (s): 1.50877
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 276648

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

runsolver used 1.19882 second user time and 3.9154 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-16 18:09:55
IDJOB=1877167
IDBENCH=2270
IDSOLVER=699
FILE ID=node43/1877167-1245168595
PBS_JOBID= 9363835
Free space on /tmp= 66192 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877167-1245168595/watcher-1877167-1245168595 -o /tmp/evaluation-result-1877167-1245168595/solver-1877167-1245168595 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877167-1245168595.opb

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

MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a
RANDOM SEED=1156769585

node43.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.281
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.281
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:       1852540 kB
Buffers:         43088 kB
Cached:          99528 kB
SwapCached:       5352 kB
Active:          51560 kB
Inactive:        98908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852540 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            4588 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            38872 kB
Committed_AS:   172512 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877167-1245168595.opb

Free space on /tmp at the end= 66188 MiB
End job on node43 at 2009-06-16 18:39:53