Trace number 1880006

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 pbSAT-32 1798.14 1798.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1795.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
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 760
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 760
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 760
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: 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-1880006-1245236325.opb
0.00/0.00	c File size is 987647 bytes.
0.09/0.12	c Highest Coefficient sum: 760
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.122 s
0.09/0.13	c Var: 760 Constr: 41314 41314/0/0 Lit: 82628 Watch. Lit: 82628
0.09/0.13	c Obj. Vars: 760 (100 % of total variables)
0.79/0.81	c Pre-processing Time: 0.812 s
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c        0    760    41314    82628    2    82628   13771      0      0 0.81
0.79/0.81	c Switching off lower bounding mode.
0.79/0.82	o -30
1.69/1.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.77	c        0    760    41315    83388    2    82660   14771      1      0 0.82
1.69/1.77	c      100    760    41504   222600    5    85212   16249    190    100 1.00
1.69/1.77	c      350    760    41978   570425   13    90309   17874    664    210 1.66
1.69/1.77	o -31
359.12/359.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
359.12/359.35	c      379    760    42028   607294   14    89134   14771    714    213 1.78
359.12/359.35	c      480    760    42212   742410   17    91028   16249    898    219 2.19
359.12/359.35	c      730    760    42702  1101162   25    97330   17874   1388    225 3.23
359.12/359.35	c     1205    760    43631  1782193   40   107001   19662   2317    172 6.98
359.12/359.35	c     2018    760    45248  2968887   65   122256   21629   3934    121 16.67
359.12/359.35	c     3338    760    47875  4894854  102   143390   23792   6561     79 41.73
359.12/359.35	c     5421    760    52038  7905444  151   185194   26172  10724     47 113.90
359.12/359.35	c     8645    760    58471 12600927  215   236213   28790  17157     40 213.59
359.12/359.35	o -32
1797.99/1798.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.88	c    11654    760    64486 16990361  263   269031   14771  23172     32 359.18
1797.99/1798.88	c    11754    760    48898  5612332  114   141877   16249   7584     31 372.58
1797.99/1798.88	c    12004    760    49392  5974563  120   147191   17874   8078     31 380.75
1797.99/1798.88	c    12479    760    50338  6665471  132   156783   19662   9024     31 392.87
1797.99/1798.88	c    13292    760    51959  7853509  151   173276   21629  10645     31 417.86
1797.99/1798.88	c    14613    760    54601  9778750  179   198285   23792  13287     32 455.59
1797.99/1798.88	c    16694    760    58749 12817314  218   232541   26172  17435     30 538.97
1797.99/1798.88	c    19917    760    65193 17521955  268   282405   28790  23879     28 696.70
1797.99/1798.88	c    24853    760    59930 13647370  227   249060   31670  18616     24 1001.33
1797.99/1798.88	c    32359    760    58087 12323373  212   254174   34838  16773     23 1389.05
1797.99/1798.88	c Resources Exceeded
1797.99/1798.88	v -x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -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.99/1798.88	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.88	c   21    40461   3182    44716    74137 24073762  32823     22 1798.09
1797.99/1798.88	c Objective: -32
1797.99/1798.88	s SATISFIABLE
1797.99/1798.88	c Total time: 1798.09 s

Verifier Data 

OK	-32

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880006-1245236325/watcher-1880006-1245236325 -o /tmp/evaluation-result-1880006-1245236325/solver-1880006-1245236325 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880006-1245236325.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: 0.00 0.00 0.00 3/65 31820
/proc/meminfo: memFree=1786688/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=11684 CPUtime=0
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 103054340 11964416 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 2921 244 175 640 0 2035 0

[startup+0.0648921 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 31820
/proc/meminfo: memFree=1786688/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=13744 CPUtime=0.06
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 873 0 0 0 6 0 0 0 18 0 1 0 103054340 14073856 857 1992294400 134512640 137136520 4294956256 18446744073709551615 134531575 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 3436 858 292 640 0 2550 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13744

[startup+0.101895 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 31820
/proc/meminfo: memFree=1786688/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=14852 CPUtime=0.09
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 1250 0 0 0 9 0 0 0 18 0 1 0 103054340 15208448 1234 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 3713 1234 365 640 0 2827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14852

[startup+0.30192 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 31820
/proc/meminfo: memFree=1786688/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=18004 CPUtime=0.29
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 2339 0 0 0 28 1 0 0 19 0 1 0 103054340 18436096 2081 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 4501 2081 190 640 0 3857 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18004

[startup+0.701968 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 31820
/proc/meminfo: memFree=1786688/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=18004 CPUtime=0.69
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 2339 0 0 0 67 2 0 0 23 0 1 0 103054340 18436096 2081 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 4501 2081 190 640 0 3857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18004

[startup+1.50107 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 31821
/proc/meminfo: memFree=1778488/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=22124 CPUtime=1.49
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 3963 0 0 0 145 4 0 0 25 0 1 0 103054340 22654976 3120 1992294400 134512640 137136520 4294956256 18446744073709551615 134605495 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 5531 3120 196 640 0 4887 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22124

[startup+3.10127 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 31821
/proc/meminfo: memFree=1771896/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=29704 CPUtime=3.09
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 5845 0 0 0 304 5 0 0 25 0 1 0 103054340 30416896 5002 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 7426 5002 196 640 0 6782 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29704

[startup+6.30167 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 31821
/proc/meminfo: memFree=1761016/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=37660 CPUtime=6.29
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 7839 0 0 0 623 6 0 0 25 0 1 0 103054340 38563840 6996 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 9415 6996 197 640 0 8771 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37660

[startup+12.7015 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 31821
/proc/meminfo: memFree=1749112/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=48760 CPUtime=12.69
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 10625 0 0 0 1262 7 0 0 25 0 1 0 103054340 49930240 9782 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 12190 9782 197 640 0 11546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48760

[startup+25.5011 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 31821
/proc/meminfo: memFree=1732728/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=64460 CPUtime=25.48
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 14529 0 0 0 2537 11 0 0 25 0 1 0 103054340 66007040 13686 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 16115 13686 197 640 0 15471 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64460

[startup+51.1013 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 31821
/proc/meminfo: memFree=1710648/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=86492 CPUtime=51.06
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 20055 0 0 0 5092 14 0 0 25 0 1 0 103054340 88567808 19212 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 21623 19212 197 640 0 20979 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 86492

[startup+102.306 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 31821
/proc/meminfo: memFree=1681784/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=114932 CPUtime=102.24
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 27167 0 0 0 10206 18 0 0 25 0 1 0 103054340 117690368 26324 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 28733 26324 197 640 0 28089 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 114932

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 31827
/proc/meminfo: memFree=1645232/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=151540 CPUtime=162.19
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 36315 0 0 0 16195 24 0 0 25 0 1 0 103054340 155176960 35472 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 37885 35472 197 640 0 37241 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 151540

[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 31827
/proc/meminfo: memFree=1612720/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=183620 CPUtime=222.17
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 44344 0 0 0 22189 28 0 0 25 0 1 0 103054340 188026880 43501 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 45905 43501 197 640 0 45261 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 183620

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 31827
/proc/meminfo: memFree=1585520/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=211196 CPUtime=282.14
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 51233 0 0 0 28183 31 0 0 25 0 1 0 103054340 216264704 50390 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 52799 50390 197 640 0 52155 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 211196

[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/66 31827
/proc/meminfo: memFree=1563888/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=232588 CPUtime=342.12
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 56589 0 0 0 34177 35 0 0 25 0 1 0 103054340 238170112 55746 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 58147 55746 197 640 0 57503 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 232588

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/66 31827
/proc/meminfo: memFree=1558896/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=237460 CPUtime=402.1
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 57798 0 0 0 40174 36 0 0 25 0 1 0 103054340 243159040 56955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 59365 56955 197 640 0 58721 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 237460

[startup+462.302 s]
/proc/loadavg: 0.99 0.77 0.37 2/66 31827
/proc/meminfo: memFree=1558840/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=237460 CPUtime=462.06
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 57798 0 0 0 46170 36 0 0 25 0 1 0 103054340 243159040 56955 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 59365 56955 197 640 0 58721 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 237460

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/66 31827
/proc/meminfo: memFree=1558776/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=237460 CPUtime=522.03
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 57798 0 0 0 52167 36 0 0 25 0 1 0 103054340 243159040 56955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 59365 56955 197 640 0 58721 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 237460

[startup+582.302 s]
/proc/loadavg: 0.99 0.84 0.44 2/66 31827
/proc/meminfo: memFree=1558712/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=237460 CPUtime=582.02
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 57798 0 0 0 58165 37 0 0 25 0 1 0 103054340 243159040 56955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 59365 56955 197 640 0 58721 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 237460

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.47 2/66 31827
/proc/meminfo: memFree=1558712/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=237460 CPUtime=642
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 57798 0 0 0 64163 37 0 0 25 0 1 0 103054340 243159040 56955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 59365 56955 197 640 0 58721 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 237460

[startup+702.302 s]

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

/proc/meminfo: memFree=1498104/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=297812 CPUtime=1061.8
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 72892 0 0 0 106133 47 0 0 25 0 1 0 103054340 304959488 72049 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 74453 72049 197 640 0 73809 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 297812

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/66 31827
/proc/meminfo: memFree=1498040/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=297812 CPUtime=1121.77
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 72892 0 0 0 112130 47 0 0 25 0 1 0 103054340 304959488 72049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 74453 72049 197 640 0 73809 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 297812

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/66 31827
/proc/meminfo: memFree=1497976/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=297812 CPUtime=1181.75
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 72892 0 0 0 118127 48 0 0 25 0 1 0 103054340 304959488 72049 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 74453 72049 197 640 0 73809 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 297812

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/66 31827
/proc/meminfo: memFree=1497784/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=297812 CPUtime=1241.73
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 72892 0 0 0 124125 48 0 0 25 0 1 0 103054340 304959488 72049 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 74453 72049 197 640 0 73809 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 297812

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/66 31827
/proc/meminfo: memFree=1488632/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=307224 CPUtime=1301.71
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 75222 0 0 0 130121 50 0 0 25 0 1 0 103054340 314597376 74379 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 76806 74379 197 640 0 76162 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 307224

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/66 31827
/proc/meminfo: memFree=1470520/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1361.68
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 136115 53 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 325272

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/66 31827
/proc/meminfo: memFree=1470520/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1421.66
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 142113 53 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 325272

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/66 31827
/proc/meminfo: memFree=1470456/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1481.63
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 148109 54 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 325272

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 31827
/proc/meminfo: memFree=1470456/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1541.6
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 154106 54 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 325272

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 31827
/proc/meminfo: memFree=1470392/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1601.57
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 160102 55 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1601.57
Current children cumulated vsize (KiB) 325272

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/66 31827
/proc/meminfo: memFree=1470328/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1661.55
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 166100 55 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 325272

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/66 31827
/proc/meminfo: memFree=1470264/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325272 CPUtime=1721.53
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79759 0 0 0 172097 56 0 0 25 0 1 0 103054340 333078528 78916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81318 78916 197 640 0 80674 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 325272

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1470136/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=325536 CPUtime=1781.51
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 79822 0 0 0 178095 56 0 0 25 0 1 0 103054340 333348864 78979 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 81384 78979 197 640 0 80740 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 325536

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1467192/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=328508 CPUtime=1791.1
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 80543 0 0 0 179054 56 0 0 25 0 1 0 103054340 336392192 79700 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 82127 79700 197 640 0 81483 0
Current children cumulated CPU time (s) 1791.1
Current children cumulated vsize (KiB) 328508

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1466296/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=329372 CPUtime=1794.3
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 80757 0 0 0 179374 56 0 0 25 0 1 0 103054340 337276928 79914 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 82343 79914 197 640 0 81699 0
Current children cumulated CPU time (s) 1794.3
Current children cumulated vsize (KiB) 329372

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1465912/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=329872 CPUtime=1795.9
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 80895 0 0 0 179534 56 0 0 25 0 1 0 103054340 337788928 80052 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 82468 80053 197 640 0 81824 0
Current children cumulated CPU time (s) 1795.9
Current children cumulated vsize (KiB) 329872

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1465592/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=330380 CPUtime=1797.49
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 81006 0 0 0 179693 56 0 0 25 0 1 0 103054340 338309120 80163 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 82595 80163 197 640 0 81951 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 330380

[startup+1798.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1465272/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=330380 CPUtime=1797.89
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194304 81034 0 0 0 179733 56 0 0 25 0 1 0 103054340 338309120 80191 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 82595 80191 197 640 0 81951 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 330380

[startup+1798.9 s]
/proc/loadavg: 0.99 0.97 0.82 2/66 31827
/proc/meminfo: memFree=1465272/2055920 swapFree=4192812/4192956
[pid=31820] ppid=31818 vsize=0 CPUtime=1798.1
/proc/31820/stat : 31820 (bsolo) R 31818 31820 31777 0 -1 4194308 81062 0 0 0 179752 58 0 0 25 0 1 0 103054340 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/31820/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.94
CPU time (s): 1798.14
CPU user time (s): 1797.52
CPU system time (s): 0.618905
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 330512

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

runsolver used 1.93271 second user time and 4.5753 second system time

The end

Launcher Data 

Begin job on node92 at 2009-06-17 12:58:45
IDJOB=1880006
IDBENCH=2243
IDSOLVER=701
FILE ID=node92/1880006-1245236325
PBS_JOBID= 9372261
Free space on /tmp= 66464 MiB

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

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=1418830265

node92.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.233
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.233
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1787168 kB
Buffers:         44108 kB
Cached:         152476 kB
SwapCached:        140 kB
Active:          80180 kB
Inactive:       130312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5120 kB
Writeback:           0 kB
Mapped:          23492 kB
Slab:            44092 kB
Committed_AS:   111396 kB
PageTables:       1464 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-1880006-1245236325.opb

Free space on /tmp at the end= 66460 MiB
End job on node92 at 2009-06-17 13:28:44