Trace number 1877031

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.06 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
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.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
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.01	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file HOME/instance-1877031-1245168914.opb
0.00/0.01	c File size is 662246 bytes.
0.01/0.08	c Highest Coefficient sum: 595
0.01/0.08	c Parsing was ok!!
0.01/0.08	c Total parsing time: 0.081 s
0.01/0.09	c Var: 595 Constr: 27847 27847/0/0 Lit: 55694 Watch. Lit: 55694
0.01/0.09	c Obj. Vars: 595 (100 % of total variables)
0.39/0.41	c Pre-processing Time: 0.41 s
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c        0    595    27847    55694    2    55694    9282      0      0 0.41
0.39/0.41	c Switching off lower bounding mode.
0.39/0.42	o -24
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c        0    595    27848    56289    2    55720   10282      1      0 0.42
0.49/0.53	c      100    595    27955   117035    4    55934   11311    108    202 0.49
0.49/0.53	o -25
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c      139    595    27999   142021    5    56047   10282    152    263 0.53
0.49/0.53	o -26
52.67/52.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.67/52.73	c      141    595    28002   143751    5    56079   10282    155    265 0.53
52.67/52.73	c      242    595    28114   207023    7    56303   11311    267    392 0.62
52.67/52.73	c      492    595    28397   366756   12    56869   12443    550    589 0.83
52.67/52.73	c      967    595    28927   665953   23    57929   13688   1080    744 1.30
52.67/52.73	c     1781    595    29871  1198192   40    59817   15057   2024    840 2.12
52.67/52.73	c     3101    595    31363  2040692   65    62801   16563   3516    854 3.63
52.67/52.73	c     5182    595    33738  3380536  100    67551   18220   5891    788 6.57
52.67/52.73	c     8406    595    37466  5479582  146    75007   20043   9619    708 11.86
52.67/52.73	c    13342    595    43080  8640529  200    86259   22048  15233    547 24.38
52.67/52.73	c    20849    595    40302  7072140  175    80654   24253  12455    454 45.84
52.67/52.73	o -27
103.92/104.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.92/104.25	c    23790    595    43747  9014487  206    87596   10282  15900    451 52.72
103.92/104.25	c    23890    595    33104  3019981   91    66260   11311   5257    449 53.15
103.92/104.25	c    24140    595    33380  3175639   95    66812   12443   5533    451 53.45
103.92/104.25	c    24616    595    33925  3482508  102    67902   13688   6078    454 54.12
103.92/104.25	c    25430    595    34846  4000831  114    69744   15057   6999    461 55.10
103.92/104.25	c    26750    595    36381  4864994  133    72814   16563   8534    467 57.18
103.92/104.25	c    28832    595    38713  6179634  159    77478   18220  10866    474 60.78
103.92/104.25	c    32055    595    42458  8284221  195    84968   20043  14611    483 66.35
103.92/104.25	c    36991    595    37870  5691992  150    75767   22048  10023    473 78.08
103.92/104.25	c    44498    595    46598 10604414  227    93223   24253  18751    440 101.11
103.92/104.25	o -28
106.91/107.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
106.91/107.28	c    46187    595    48522 11687312  240    97099   10282  20675    444 103.98
106.91/107.28	c    46289    595    33107  3016225   91    66242   11311   5260    440 105.05
106.91/107.28	c    46540    595    33400  3180687   95    66828   12443   5553    441 105.35
106.91/107.28	c    47015    595    33944  3486301  102    67916   13688   6097    443 105.97
106.91/107.28	c    47829    595    34864  4003673  114    69756   15057   7017    447 106.96
106.91/107.28	o -29
1797.95/1800.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1800.54	c    47855    595    34894  4020601  115    69845   10282   7047    447 107.00
1797.95/1800.54	c    47955    595    35007  4084019  116    70071   11311   7160    447 107.11
1797.95/1800.54	c    48205    595    35295  4245462  120    70647   12443   7448    448 107.43
1797.95/1800.54	c    48680    595    35823  4541801  126    71703   13688   7976    450 108.11
1797.95/1800.54	c    49494    595    36758  5066063  137    73573   15057   8911    452 109.43
1797.95/1800.54	c    50814    595    38256  5907035  154    76569   16563  10409    456 111.22
1797.95/1800.54	c    52895    595    40618  7233090  178    81293   18220  12771    460 114.80
1797.95/1800.54	c    56118    595    44322  9309477  210    88701   20043  16475    464 120.78
1797.95/1800.54	c    61054    595    39403  6537790  165    78835   22048  11556    463 131.75
1797.95/1800.54	c    68561    595    47985 11349461  236    95999   24253  20138    455 150.51
1797.95/1800.54	c    79923    595    48329 11540508  238    96714   26679  20482    414 192.60
1797.95/1800.54	c    97067    595    53132 14232795  267   106293   29347  25285    396 244.63
1797.95/1800.54	c   122886    595    48625 11705801  240    97279   32282  20778    367 334.10
1797.95/1800.54	c   161718    595    53622 14478980  270   107350   35511  25775    297 544.37
1797.95/1800.54	c   220070    595    51895 13527099  260   103846   39063  24048    277 792.12
1797.95/1800.54	c   307702    595    46958 10755051  229    93999   42970  19111    232 1321.20
1797.95/1800.54	c Resources Exceeded
1797.95/1800.54	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.95/1800.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1800.54	c   44   402876  32527   442377    64233 20432114  36386    224 1798.00
1797.95/1800.54	c Objective: -29
1797.95/1800.54	s SATISFIABLE
1797.95/1800.54	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-1877031-1245168914/watcher-1877031-1245168914 -o /tmp/evaluation-result-1877031-1245168914/solver-1877031-1245168914 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877031-1245168914.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: 2.12 2.10 2.04 4/73 2229
/proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=18576 CPUtime=0
/proc/2229/stat : 2229 (runsolver) R 2227 2229 1946 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 184489998 19021824 284 1992294400 4194304 4302564 548682068528 18446744073709551615 214945033511 0 0 4096 24578 0 0 0 17 0 0 0
/proc/2229/statm: 4644 284 249 26 0 2626 0

[startup+0.024508 s]
/proc/loadavg: 2.12 2.10 2.04 4/73 2229
/proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=11908 CPUtime=0.01
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 409 0 0 0 1 0 0 0 18 0 1 0 184489998 12193792 393 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 2977 394 203 640 0 2171 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11908

[startup+0.101946 s]
/proc/loadavg: 2.12 2.10 2.04 4/73 2229
/proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=14648 CPUtime=0.09
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 1429 0 0 0 8 1 0 0 18 0 1 0 184489998 14999552 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 3662 1251 188 640 0 3018 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14648

[startup+0.306969 s]
/proc/loadavg: 2.12 2.10 2.04 4/73 2229
/proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=15588 CPUtime=0.29
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 1656 0 0 0 27 2 0 0 20 0 1 0 184489998 15962112 1478 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 3897 1478 190 640 0 3253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15588

[startup+0.702009 s]
/proc/loadavg: 2.12 2.10 2.04 4/73 2229
/proc/meminfo: memFree=1828432/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=17512 CPUtime=0.68
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 2319 0 0 0 66 2 0 0 23 0 1 0 184489998 17932288 1954 1992294400 134512640 137136520 4294956256 18446744073709551615 134600233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 4378 1954 196 640 0 3734 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17512

[startup+1.50687 s]
/proc/loadavg: 2.12 2.10 2.04 4/74 2230
/proc/meminfo: memFree=1818568/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=24448 CPUtime=1.49
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 4069 0 0 0 146 3 0 0 25 0 1 0 184489998 25034752 3704 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 6112 3704 196 640 0 5468 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24448

[startup+3.10129 s]
/proc/loadavg: 2.12 2.10 2.04 3/74 2230
/proc/meminfo: memFree=1809352/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=36748 CPUtime=3.09
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 7144 0 0 0 304 5 0 0 25 0 1 0 184489998 37629952 6779 1992294400 134512640 137136520 4294956256 18446744073709551615 134600249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 9187 6779 196 640 0 8543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36748

[startup+6.30325 s]
/proc/loadavg: 2.11 2.10 2.04 3/74 2230
/proc/meminfo: memFree=1786760/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=56336 CPUtime=6.28
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 12027 0 0 0 621 7 0 0 25 0 1 0 184489998 57688064 11662 1992294400 134512640 137136520 4294956256 18446744073709551615 136499606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 14084 11662 197 640 0 13440 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56336

[startup+12.7017 s]
/proc/loadavg: 2.02 2.08 2.03 4/74 2230
/proc/meminfo: memFree=1752920/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=89396 CPUtime=12.68
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 20290 0 0 0 1257 11 0 0 25 0 1 0 184489998 91541504 19925 1992294400 134512640 137136520 4294956256 18446744073709551615 134606780 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 22349 19925 197 640 0 21705 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89396

[startup+25.5018 s]
/proc/loadavg: 2.02 2.08 2.03 2/74 2230
/proc/meminfo: memFree=1708632/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=131268 CPUtime=25.48
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 30778 0 0 0 2530 18 0 0 25 0 1 0 184489998 134418432 30413 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 32817 30413 197 640 0 32173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 131268

[startup+51.1117 s]
/proc/loadavg: 1.95 2.05 2.03 3/74 2230
/proc/meminfo: memFree=1658968/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=179292 CPUtime=51.07
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 42777 0 0 0 5081 26 0 0 25 0 1 0 184489998 183595008 42412 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 44823 42412 197 640 0 44179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 179292

[startup+102.307 s]
/proc/loadavg: 1.96 2.04 2.02 3/74 2230
/proc/meminfo: memFree=1658840/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=179208 CPUtime=102.03
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 42777 0 0 0 10171 32 0 0 25 0 1 0 184489998 183508992 42401 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 44802 42401 197 640 0 44158 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 179208

[startup+162.303 s]
/proc/loadavg: 1.99 2.02 2.01 4/74 2230
/proc/meminfo: memFree=1648408/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=191004 CPUtime=161.75
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 45720 0 0 0 16134 41 0 0 25 0 1 0 184489998 195588096 45325 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 47751 45325 197 640 0 47107 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 191004

[startup+222.302 s]
/proc/loadavg: 1.88 1.98 1.99 4/74 2230
/proc/meminfo: memFree=1625752/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=212236 CPUtime=221.34
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 51047 0 0 0 22082 52 0 0 25 0 1 0 184489998 217329664 50652 1992294400 134512640 137136520 4294956256 18446744073709551615 134571834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 53059 50652 197 640 0 52415 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 212236

[startup+282.302 s]
/proc/loadavg: 2.03 1.99 1.99 2/74 2230
/proc/meminfo: memFree=1606168/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=231760 CPUtime=281.24
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 55931 0 0 0 28064 60 0 0 25 0 1 0 184489998 237322240 55536 1992294400 134512640 137136520 4294956256 18446744073709551615 134597769 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 57940 55536 197 640 0 57296 0
Current children cumulated CPU time (s) 281.24
Current children cumulated vsize (KiB) 231760

[startup+342.309 s]
/proc/loadavg: 1.99 1.97 1.99 2/74 2230
/proc/meminfo: memFree=1605912/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=231972 CPUtime=341.17
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 55984 0 0 0 34052 65 0 0 25 0 1 0 184489998 237539328 55589 1992294400 134512640 137136520 4294956256 18446744073709551615 135982513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 57993 55589 197 640 0 57349 0
Current children cumulated CPU time (s) 341.17
Current children cumulated vsize (KiB) 231972

[startup+402.316 s]
/proc/loadavg: 2.26 2.04 2.01 4/74 2230
/proc/meminfo: memFree=1584536/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=253184 CPUtime=401.16
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 61311 0 0 0 40043 73 0 0 25 0 1 0 184489998 259260416 60883 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 63296 60883 197 640 0 62652 0
Current children cumulated CPU time (s) 401.16
Current children cumulated vsize (KiB) 253184

[startup+462.302 s]
/proc/loadavg: 1.75 1.92 1.97 3/74 2230
/proc/meminfo: memFree=1584536/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=253184 CPUtime=460.96
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 61311 0 0 0 46016 80 0 0 25 0 1 0 184489998 259260416 60883 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 63296 60883 197 640 0 62652 0
Current children cumulated CPU time (s) 460.96
Current children cumulated vsize (KiB) 253184

[startup+522.302 s]
/proc/loadavg: 1.88 1.93 1.97 2/74 2230
/proc/meminfo: memFree=1584536/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=253184 CPUtime=520.94
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 61311 0 0 0 52011 83 0 0 25 0 1 0 184489998 259260416 60883 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 63296 60883 197 640 0 62652 0
Current children cumulated CPU time (s) 520.94
Current children cumulated vsize (KiB) 253184

[startup+582.302 s]
/proc/loadavg: 1.94 1.94 1.97 4/74 2230
/proc/meminfo: memFree=1561688/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=275884 CPUtime=580.92
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 67002 0 0 0 58000 92 0 0 25 0 1 0 184489998 282505216 66538 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 68971 66538 197 640 0 68327 0
Current children cumulated CPU time (s) 580.92
Current children cumulated vsize (KiB) 275884

[startup+642.303 s]
/proc/loadavg: 2.26 2.04 2.00 3/74 2230
/proc/meminfo: memFree=1561688/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=275884 CPUtime=640.82
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 67002 0 0 0 63985 97 0 0 25 0 1 0 184489998 282505216 66538 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 68971 66538 197 640 0 68327 0
Current children cumulated CPU time (s) 640.82
Current children cumulated vsize (KiB) 275884

[startup+702.309 s]

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

/proc/meminfo: memFree=1535576/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=301900 CPUtime=1060.58
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73556 0 0 0 105934 124 0 0 25 0 1 0 184489998 309145600 73053 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 75475 73053 197 640 0 74831 0
Current children cumulated CPU time (s) 1060.58
Current children cumulated vsize (KiB) 301900

[startup+1122.3 s]
/proc/loadavg: 1.91 2.00 1.99 3/74 2230
/proc/meminfo: memFree=1535576/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=301900 CPUtime=1120.43
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73556 0 0 0 111914 129 0 0 25 0 1 0 184489998 309145600 73053 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 75475 73053 197 640 0 74831 0
Current children cumulated CPU time (s) 1120.43
Current children cumulated vsize (KiB) 301900

[startup+1182.31 s]
/proc/loadavg: 1.69 1.92 1.96 4/74 2230
/proc/meminfo: memFree=1535384/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=302200 CPUtime=1180.42
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73620 0 0 0 117909 133 0 0 25 0 1 0 184489998 309452800 73117 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 75550 73117 197 640 0 74906 0
Current children cumulated CPU time (s) 1180.42
Current children cumulated vsize (KiB) 302200

[startup+1242.31 s]
/proc/loadavg: 1.80 1.90 1.95 3/74 2230
/proc/meminfo: memFree=1535256/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=302200 CPUtime=1240.39
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73620 0 0 0 123903 136 0 0 25 0 1 0 184489998 309452800 73117 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 75550 73117 197 640 0 74906 0
Current children cumulated CPU time (s) 1240.39
Current children cumulated vsize (KiB) 302200

[startup+1302.3 s]
/proc/loadavg: 1.97 1.95 1.96 2/74 2230
/proc/meminfo: memFree=1535064/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=302200 CPUtime=1300.36
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73641 0 0 0 129897 139 0 0 25 0 1 0 184489998 309452800 73138 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 75550 73138 197 640 0 74906 0
Current children cumulated CPU time (s) 1300.36
Current children cumulated vsize (KiB) 302200

[startup+1362.3 s]
/proc/loadavg: 2.20 2.03 1.99 3/74 2230
/proc/meminfo: memFree=1535064/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=302200 CPUtime=1360.34
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 73641 0 0 0 135890 144 0 0 25 0 1 0 184489998 309452800 73138 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 75550 73138 197 640 0 74906 0
Current children cumulated CPU time (s) 1360.34
Current children cumulated vsize (KiB) 302200

[startup+1422.31 s]
/proc/loadavg: 2.16 2.05 2.00 3/74 2230
/proc/meminfo: memFree=1506712/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1420.05
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 141850 155 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1420.05
Current children cumulated vsize (KiB) 330328

[startup+1482.31 s]
/proc/loadavg: 2.27 2.10 2.02 4/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1479.88
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 147828 160 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1479.88
Current children cumulated vsize (KiB) 330328

[startup+1542.3 s]
/proc/loadavg: 2.13 2.09 2.01 5/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1539.85
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 153822 163 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1539.85
Current children cumulated vsize (KiB) 330328

[startup+1602.3 s]
/proc/loadavg: 2.28 2.13 2.03 4/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1599.84
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 159818 166 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1599.84
Current children cumulated vsize (KiB) 330328

[startup+1662.3 s]
/proc/loadavg: 2.13 2.12 2.03 4/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1659.82
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 165812 170 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134554333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1659.82
Current children cumulated vsize (KiB) 330328

[startup+1722.31 s]
/proc/loadavg: 2.25 2.16 2.05 2/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1719.8
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 171808 172 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1719.8
Current children cumulated vsize (KiB) 330328

[startup+1782.3 s]
/proc/loadavg: 2.30 2.19 2.06 4/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1779.76
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 177796 180 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1779.76
Current children cumulated vsize (KiB) 330328

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

[startup+1791.91 s]
/proc/loadavg: 2.33 2.20 2.07 3/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1789.37
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 178757 180 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (KiB) 330328

[startup+1795.1 s]
/proc/loadavg: 2.38 2.21 2.07 3/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1792.55
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179075 180 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1792.55
Current children cumulated vsize (KiB) 330328

[startup+1798.31 s]
/proc/loadavg: 2.35 2.20 2.07 3/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1795.76
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179395 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1795.76
Current children cumulated vsize (KiB) 330328

[startup+1799.9 s]
/proc/loadavg: 2.35 2.20 2.07 3/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1797.35
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179554 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1797.35
Current children cumulated vsize (KiB) 330328

[startup+1800.3 s]
/proc/loadavg: 2.35 2.20 2.07 3/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1797.75
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179594 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136502448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 330328

[startup+1800.5 s]
/proc/loadavg: 2.35 2.20 2.07 3/74 2230
/proc/meminfo: memFree=1506648/2055920 swapFree=4192948/4192956
[pid=2229] ppid=2227 vsize=330328 CPUtime=1797.95
/proc/2229/stat : 2229 (bsolo) R 2227 2229 1946 0 -1 4194304 80724 0 0 0 179614 181 0 0 25 0 1 0 184489998 338255872 80178 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2229/statm: 82582 80178 197 640 0 81938 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 330328

Child status: 0
Real time (s): 1800.6
CPU time (s): 1798.06
CPU user time (s): 1796.19
CPU system time (s): 1.86472
CPU usage (%): 99.8589
Max. virtual memory (cumulated for all children) (KiB): 330500

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

runsolver used 2.48362 second user time and 6.20806 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 18:15:14
IDJOB=1877031
IDBENCH=2274
IDSOLVER=699
FILE ID=node85/1877031-1245168914
PBS_JOBID= 9363859
Free space on /tmp= 126844 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-2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877031-1245168914/watcher-1877031-1245168914 -o /tmp/evaluation-result-1877031-1245168914/solver-1877031-1245168914 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877031-1245168914.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=1774910455

node85.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.213
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	: 5931.00
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.213
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:       1828912 kB
Buffers:         27660 kB
Cached:          99424 kB
SwapCached:          8 kB
Active:          51356 kB
Inactive:       105564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828912 kB
SwapTotal:     4192956 kB
SwapFree:      4192948 kB
Dirty:            4584 kB
Writeback:           0 kB
Mapped:          41268 kB
Slab:            55028 kB
Committed_AS:   586024 kB
PageTables:       2048 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-1877031-1245168914.opb

Free space on /tmp at the end= 126840 MiB
End job on node85 at 2009-06-16 18:45:15