Trace number 433089

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)-32 1800.1 1800.59

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
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 (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/433089-1177954256/instance-433089-1177954256.opb
0.00/0.00	c File size is 980618 bytes.
0.09/0.17	c Highest Coefficient sum: 760
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.167 s
0.09/0.18	c Var: 760 Constr: 41095 41095/0/0 Lit: 82190 Watch. Lit: 82190
0.09/0.18	c Obj. Vars: 760 (100 % of total variables)
0.79/0.85	c Pre-processing Time: 0.849 s
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c        0    760    41095    82190    2    82190   13698      0      0 0.85
0.79/0.85	c Switching off LPR mode.
0.79/0.86	o -31	0.856
1205.56/1205.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1205.56/1205.99	c        0    760    41096    82950    2    82223   14698      1      0 0.86
1205.56/1205.99	c      100    760    41196   155564    3    82423   16168    101    111 0.89
1205.56/1205.99	c      351    760    41447   337709    8    82925   17785    352    348 1.01
1205.56/1205.99	c      827    760    41923   682961   16    83877   19564    828    655 1.26
1205.56/1205.99	c     1640    760    42736  1272368   29    85503   21521   1641    961 1.71
1205.56/1205.99	c     2960    760    44056  2229403   50    88143   23674   2961   1044 2.83
1205.56/1205.99	c     5041    760    46137  3736662   80    92305   26042   5042    977 5.16
1205.56/1205.99	c     8265    760    49361  6074237  123    98753   28647   8266    942 8.77
1205.56/1205.99	c    13201    760    54297  9651365  177   108625   31512  13202    699 18.87
1205.56/1205.99	c    20708    760    61804 15087994  244   123639   34664  20709    437 47.35
1205.56/1205.99	c    32069    760    73165 23324704  318   146361   38131  32070    372 86.03
1205.56/1205.99	c    49213    760    62923 15906694  252   125877   41945  21828    263 186.62
1205.56/1205.99	c    75032    760    57650 12086160  209   115331   46140  16555    196 381.14
1205.56/1205.99	c   113864    760    61366 14766923  240   122763   50755  20271    170 667.76
1205.56/1205.99	c   172216    760    79982 28277669  353   159995   55831  38887    145 1182.73
1205.56/1205.99	o -32	1205.66
1800.01/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.50	c   180081    760    87848 33981051  386   175759   14698  46753    149 1205.66
1800.01/1800.50	c   180182    760    48546  5484176  112    97124   16168   7451    147 1219.46
1800.01/1800.50	c   180432    760    48796  5665263  116    97624   17785   7701    147 1219.59
1800.01/1800.50	c   180908    760    49272  6010040  121    98576   19564   8177    148 1219.89
1800.01/1800.50	c   181721    760    50085  6598672  131   100202   21521   8990    148 1220.95
1800.01/1800.50	c   183041    760    51405  7553900  146   102842   23674  10310    149 1221.91
1800.01/1800.50	c   185123    760    53487  9061906  169   107006   26042  12392    151 1224.50
1800.01/1800.50	c   188346    760    56710 11395434  200   113452   28647  15615    153 1230.85
1800.01/1800.50	c   193282    760    61646 14970123  242   123324   31512  20551    155 1240.28
1800.01/1800.50	c   200788    760    69152 20409070  295   138336   34664  28057    159 1257.12
1800.01/1800.50	c   212150    760    56382 11146228  197   112796   38131  15287    160 1317.95
1800.01/1800.50	c   229297    760    73529 23560978  320   147090   41945  32434    162 1408.83
1800.01/1800.50	c   255117    760    68206 19703307  288   136444   46140  27111    159 1600.88
1800.01/1800.50	c Caught signal: 15
1800.01/1800.50	v -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1800.01/1800.50	v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1800.01/1800.50	v -x718 -x717 -x716 -x715 -x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698
1800.01/1800.50	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 -x679 -x678 -x677
1800.01/1800.50	v -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656
1800.01/1800.50	v -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 -x637 -x636 -x635
1800.01/1800.50	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1800.01/1800.50	v x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1800.01/1800.50	v x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
1800.01/1800.50	v -x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
1800.01/1800.50	v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
1800.01/1800.50	v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509
1800.01/1800.50	v -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 x492 -x491 -x490 -x489 -x488
1800.01/1800.50	v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467
1800.01/1800.50	v -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446
1800.01/1800.50	v x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425
1800.01/1800.50	v -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404
1800.01/1800.50	v -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 -x384 -x383
1800.01/1800.50	v -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362
1800.01/1800.50	v -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341
1800.01/1800.50	v -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320
1800.01/1800.50	v -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
1800.01/1800.50	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
1800.01/1800.50	v -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
1800.01/1800.50	v -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236
1800.01/1800.50	v -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1800.01/1800.50	v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1800.01/1800.50	v -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1800.01/1800.50	v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152
1800.01/1800.50	v -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1800.01/1800.50	v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110
1800.01/1800.50	v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86
1800.01/1800.50	v -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
1800.01/1800.50	v -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
1800.01/1800.50	v -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
1800.01/1800.50	v -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.50	c   28   282965  29259   319940    60732 14297213  19637    157 1800.01
1800.01/1800.50	c Objective: -32
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	c Total time: 1800.01 s

Verifier Data (download as text)

OK	-32

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node68/watcher-433089-1177954256 -o ROOT/results/node68/solver-433089-1177954256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433089-1177954256/instance-433089-1177954256.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 28611
/proc/meminfo: memFree=1872960/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=12696 CPUtime=0
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271415115 13000704 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 3174 333 279 324 0 2004 0

[startup+0.087253 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 28611
/proc/meminfo: memFree=1872960/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=6952 CPUtime=0.08
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 995 0 0 0 8 0 0 0 18 0 1 0 271415115 7118848 965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 1738 965 399 324 0 568 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6952

[startup+0.101253 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 28611
/proc/meminfo: memFree=1872960/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=7360 CPUtime=0.09
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 1099 0 0 0 9 0 0 0 18 0 1 0 271415115 7536640 1069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10950213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 1840 1069 419 324 0 670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7360

[startup+0.301271 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 28611
/proc/meminfo: memFree=1872960/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=11352 CPUtime=0.29
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 2471 0 0 0 29 0 0 0 19 0 1 0 271415115 11624448 2201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 2838 2201 305 324 0 1908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11352

[startup+0.701307 s]
/proc/loadavg: 0.78 0.95 0.93 3/64 28611
/proc/meminfo: memFree=1872960/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=11352 CPUtime=0.69
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 2471 0 0 0 67 2 0 0 22 0 1 0 271415115 11624448 2201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 2838 2201 305 324 0 1908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11352

[startup+1.50138 s]
/proc/loadavg: 0.78 0.95 0.93 2/65 28612
/proc/meminfo: memFree=1863416/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=22156 CPUtime=1.49
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 5488 0 0 0 146 3 0 0 25 0 1 0 271415115 22687744 4925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 5539 4925 310 324 0 4609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22156

[startup+3.10152 s]
/proc/loadavg: 0.80 0.95 0.93 2/65 28612
/proc/meminfo: memFree=1844664/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=40392 CPUtime=3.09
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 10032 0 0 0 305 4 0 0 25 0 1 0 271415115 41361408 9469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 10098 9469 310 324 0 9168 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40392

[startup+6.30182 s]
/proc/loadavg: 0.80 0.95 0.93 2/65 28612
/proc/meminfo: memFree=1815672/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=67984 CPUtime=6.29
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 16939 0 0 0 621 8 0 0 25 0 1 0 271415115 69615616 16376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 16996 16376 310 324 0 16066 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67984

[startup+12.7014 s]
/proc/loadavg: 0.81 0.95 0.93 2/65 28612
/proc/meminfo: memFree=1765568/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=115004 CPUtime=12.69
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 28682 0 0 0 1256 13 0 0 25 0 1 0 271415115 117764096 28119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 28751 28119 310 324 0 27821 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115004

[startup+25.5015 s]
/proc/loadavg: 0.85 0.95 0.93 2/65 28612
/proc/meminfo: memFree=1714880/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=161992 CPUtime=25.48
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 40436 0 0 0 2528 20 0 0 25 0 1 0 271415115 165879808 39873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 40498 39873 310 324 0 39568 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161992

[startup+51.1019 s]
/proc/loadavg: 0.90 0.96 0.93 2/65 28612
/proc/meminfo: memFree=1649728/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=229108 CPUtime=51.07
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 57218 0 0 0 5078 29 0 0 25 0 1 0 271415115 234606592 56655 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 57277 56655 310 324 0 56347 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 229108

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.93 2/65 28612
/proc/meminfo: memFree=1532864/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=343072 CPUtime=102.26
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 85704 0 0 0 10181 45 0 0 25 0 1 0 271415115 351305728 85141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 85768 85141 310 324 0 84838 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 343072

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1503424/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=372204 CPUtime=162.24
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 93023 0 0 0 16176 48 0 0 25 0 1 0 271415115 381136896 92422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 93051 92422 310 324 0 92121 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 372204

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1503488/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=372204 CPUtime=222.22
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 93023 0 0 0 22174 48 0 0 25 0 1 0 271415115 381136896 92422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 93051 92422 310 324 0 92121 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 372204

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1503488/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=372204 CPUtime=282.2
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 93023 0 0 0 28172 48 0 0 25 0 1 0 271415115 381136896 92422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 93051 92422 310 324 0 92121 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 372204

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1467584/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=407820 CPUtime=342.19
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 101985 0 0 0 34163 56 0 0 25 0 1 0 271415115 417607680 101342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 101955 101342 310 324 0 101025 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 407820

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1467584/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=407820 CPUtime=402.17
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 101985 0 0 0 40161 56 0 0 25 0 1 0 271415115 417607680 101342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 101955 101342 310 324 0 101025 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 407820

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1467648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=407820 CPUtime=462.16
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 101985 0 0 0 46160 56 0 0 25 0 1 0 271415115 417607680 101342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 101955 101342 310 324 0 101025 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 407820

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1467648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=407820 CPUtime=522.14
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 101985 0 0 0 52158 56 0 0 25 0 1 0 271415115 417607680 101342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10948378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 101955 101342 310 324 0 101025 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 407820

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1448768/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=427036 CPUtime=582.13
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 106768 0 0 0 58154 59 0 0 25 0 1 0 271415115 437284864 106125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 106759 106125 310 324 0 105829 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 427036

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28612
/proc/meminfo: memFree=1428416/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=446916 CPUtime=642.12
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 111786 0 0 0 64149 63 0 0 25 0 1 0 271415115 457641984 111097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 111729 111097 310 324 0 110799 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 446916


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1389632/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=486092 CPUtime=882.04
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 121573 0 0 0 88136 68 0 0 25 0 1 0 271415115 497758208 120884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121523 120884 310 324 0 120593 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 486092

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1385344/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=489784 CPUtime=942.03
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 94134 69 0 0 25 0 1 0 271415115 501538816 121835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 122446 121835 310 324 0 121516 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 489784

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1385408/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=489784 CPUtime=1002.02
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 100133 69 0 0 25 0 1 0 271415115 501538816 121835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 122446 121835 310 324 0 121516 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 489784

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1385408/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=489784 CPUtime=1062
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 106131 69 0 0 25 0 1 0 271415115 501538816 121835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 122446 121835 310 324 0 121516 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 489784

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1385472/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=489784 CPUtime=1121.98
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 112129 69 0 0 25 0 1 0 271415115 501538816 121835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 122446 121835 310 324 0 121516 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 489784

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1385472/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=489784 CPUtime=1181.97
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 118128 69 0 0 25 0 1 0 271415115 501538816 121835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 122446 121835 310 324 0 121516 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 489784

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487424 CPUtime=1241.95
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 124126 69 0 0 25 0 1 0 271415115 499122176 121247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10945889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121856 121247 310 324 0 120926 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 487424

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487424 CPUtime=1301.94
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 130125 69 0 0 25 0 1 0 271415115 499122176 121247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121856 121247 310 324 0 120926 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 487424

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1361.92
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 136123 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573224 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 487420

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387776/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1421.91
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 142122 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 487420

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387712/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1481.89
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 148120 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 487420

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387712/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1541.87
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 154118 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 487420

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1601.86
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 160117 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 487420

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387712/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1661.84
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 166115 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10956545 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 487420

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387712/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1721.82
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 172113 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 487420

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387648/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1781.81
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 178112 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 487420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387584/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1800.01
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 179932 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 487420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 28614
/proc/meminfo: memFree=1387584/2055920 swapFree=4183876/4192956
[pid=28611] ppid=28609 vsize=487420 CPUtime=1800.01
/proc/28611/stat : 28611 (bsolo3.0.17) R 28609 28611 28548 0 -1 4194304 122575 0 0 0 179932 69 0 0 25 0 1 0 271415115 499118080 121246 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28611/statm: 121855 121246 310 324 0 120925 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 487420

Child status: 15
Real time (s): 1800.59
CPU time (s): 1800.1
CPU user time (s): 1799.32
CPU system time (s): 0.773882
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 489988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.773882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122579
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= 12
involuntary context switches= 4177

runsolver used 1.3358 second user time and 3.58845 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Mon Apr 30 17:30:56 UTC 2007

IDJOB= 433089
IDBENCH= 2241
IDSOLVER= 199
FILE ID= node68/433089-1177954256

PBS_JOBID= 4727686

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433089-1177954256/instance-433089-1177954256.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-433089-1177954256 -o ROOT/results/node68/solver-433089-1177954256 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433089-1177954256/instance-433089-1177954256.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  c9380923d34e254cfa512f89027f1d42

RANDOM SEED= 116149118

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.216
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.216
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:       1873368 kB
Buffers:         12744 kB
Cached:          94524 kB
SwapCached:       2824 kB
Active:          53228 kB
Inactive:        63280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1873368 kB
SwapTotal:     4192956 kB
SwapFree:      4183876 kB
Dirty:            7712 kB
Writeback:           0 kB
Mapped:          15228 kB
Slab:            52156 kB
Committed_AS:  3046352 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node68 on Mon Apr 30 18:00:59 UTC 2007