Trace number 2657536

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT-29 1798.04 1798.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM366c883f3118f840e595e8bbe10351c8
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 benchmark1789.87
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657536-1276515496.opb
0.00/0.00	c File size is 664636 bytes.
0.09/0.11	c Highest Coefficient sum: 595
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.11 s
0.09/0.12	c Var: 595 Constr: 27856 27856/0/0 Lit: 55712 Watch. Lit: 55712
0.09/0.12	c Obj. Vars: 595 (100 % of total variables)
0.39/0.44	c Pre-processing Time: 0.446 s
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        0    595    27856    55712    2    55712    9285      0      0 0.45
0.39/0.44	c Switching off lower bounding mode.
0.39/0.45	o -25
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c        0    595    27857    56307    2    55739   10285      1      0 0.45
0.39/0.45	o -26
22.18/22.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.18/22.25	c        1    595    27859    57466    2    55769   10285      3      2 0.45
22.18/22.25	c      102    595    27960   114524    4    55971   11314    104    205 0.50
22.18/22.25	c      352    595    28210   256041    9    56471   12446    354    595 0.59
22.18/22.25	c      827    595    28685   524718   18    57421   13691    829   1000 0.83
22.18/22.25	c     1640    595    29498   984253   33    59047   15061   1642   1319 1.24
22.18/22.25	c     2962    595    30820  1731026   56    61691   16568   2964   1462 2.02
22.18/22.25	c     5043    595    32901  2906057   88    65853   18225   5045   1415 3.56
22.18/22.25	c     8266    595    36124  4727049  130    72299   20048   8268   1228 6.73
22.18/22.25	c    13202    595    41060  7516080  183    82171   22053  13204   1079 12.23
22.18/22.25	o -27
26.59/26.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.59/26.62	c    19861    595    47720 11273778  236    95518   10285  19864    892 22.25
26.59/26.62	c    19961    595    33100  3014307   91    66227   11314   5244    875 22.80
26.59/26.62	c    20212    595    33351  3155696   94    66729   12446   5495    880 22.94
26.59/26.62	c    20687    595    33826  3423533  101    67679   13691   5970    889 23.25
26.59/26.62	c    21500    595    34639  3882568  112    69305   15061   6783    907 23.69
26.59/26.62	c    22820    595    35959  4626897  128    71945   16568   8103    918 24.84
26.59/26.62	c    24901    595    38040  5800964  152    76107   18225  10184    938 26.52
26.59/26.62	o -28
31.58/31.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.58/31.63	c    25036    595    38176  5877798  153    76407   10285  10320    940 26.61
31.58/31.63	c    25136    595    33100  3013573   91    66228   11314   5244    936 26.85
31.58/31.63	c    25387    595    33351  3154980   94    66730   12446   5495    940 26.98
31.58/31.63	c    25862    595    33826  3422468  101    67680   13691   5970    948 27.27
31.58/31.63	c    26677    595    34641  3881142  112    69310   15061   6785    955 27.91
31.58/31.63	c    27998    595    35962  4624111  128    71952   16568   8106    971 28.81
31.58/31.63	c    30080    595    38044  5796152  152    76116   18225  10188    980 30.68
31.58/31.63	o -29
1797.95/1798.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.54	c    31486    595    39451  6589334  167    78959   10285  11595    995 31.62
1797.95/1798.54	c    31586    595    33100  3008023   90    66229   11314   5244    990 31.89
1797.95/1798.54	c    31836    595    33350  3148515   94    66729   12446   5494    992 32.09
1797.95/1798.54	c    32311    595    33825  3415416  100    67679   13691   5969    996 32.43
1797.95/1798.54	c    33125    595    34639  3872860  111    69307   15061   6783   1007 32.87
1797.95/1798.54	c    34446    595    35960  4615321  128    71949   16568   8104   1004 34.30
1797.95/1798.54	c    36527    595    38041  5785132  152    76111   18225  10185   1006 36.30
1797.95/1798.54	c    39750    595    41264  7596610  184    82557   20048  13408   1005 39.52
1797.95/1798.54	c    44686    595    46200 10369699  224    92429   22053  18344   1007 44.36
1797.95/1798.54	c    52192    595    41912  7951250  189    83853   24259  14056    927 56.25
1797.95/1798.54	c    63554    595    39308  6489950  165    78645   26685  11452    795 79.94
1797.95/1798.54	c    80698    595    40239  7014585  174    80507   29354  12383    646 124.90
1797.95/1798.54	c   106517    595    47263 10949010  231    94555   32290  19407    569 186.92
1797.95/1798.54	c   145349    595    42931  8510402  198    85891   35520  15075    450 322.88
1797.95/1798.54	c   203703    595    51743 13466172  260   103515   39073  23887    408 498.61
1797.95/1798.54	c   291337    595    54877 15230558  277   109783   42981  27021    365 797.16
1797.95/1798.54	c   422890    595    58228 17121210  294   116485   47280  30372    286 1474.29
1797.95/1798.54	c Resources Exceeded
1797.95/1798.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/1798.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.54	c   41   486183  31094   523208    48965 11906478  21109    270 1798.00
1797.95/1798.54	c Objective: -29
1797.95/1798.54	s SATISFIABLE
1797.95/1798.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-2657536-1276515496/watcher-2657536-1276515496 -o /tmp/evaluation-result-2657536-1276515496/solver-2657536-1276515496 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657536-1276515496.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29093
/proc/meminfo: memFree=1759188/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=11580 CPUtime=0
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 27135971 11857920 263 1992294400 134512640 137138936 4290420752 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 2895 263 175 642 0 2088 0

[startup+0.0726161 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29093
/proc/meminfo: memFree=1759188/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=13096 CPUtime=0.06
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 839 0 0 0 6 0 0 0 20 0 1 0 27135971 13410304 758 1992294400 134512640 137138936 4290420752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 3274 758 270 642 0 2467 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13096

[startup+0.101618 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29093
/proc/meminfo: memFree=1759188/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=13784 CPUtime=0.09
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 1058 0 0 0 9 0 0 0 20 0 1 0 27135971 14114816 977 1992294400 134512640 137138936 4290420752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 3446 977 312 642 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13784

[startup+0.301638 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29093
/proc/meminfo: memFree=1759188/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=15668 CPUtime=0.29
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 1721 0 0 0 28 1 0 0 20 0 1 0 27135971 16044032 1477 1992294400 134512640 137138936 4290420752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 3917 1477 185 642 0 3273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15668

[startup+0.701678 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29093
/proc/meminfo: memFree=1759188/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=19216 CPUtime=0.69
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 2786 0 0 0 66 3 0 0 21 0 1 0 27135971 19677184 2354 1992294400 134512640 137138936 4290420752 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 4804 2354 191 642 0 4160 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19216

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29094
/proc/meminfo: memFree=1746036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=30352 CPUtime=1.49
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 5594 0 0 0 144 5 0 0 23 0 1 0 27135971 31080448 5162 1992294400 134512640 137138936 4290420752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 7588 5162 191 642 0 6944 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30352

[startup+3.10092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29094
/proc/meminfo: memFree=1731652/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=47648 CPUtime=3.09
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 9913 0 0 0 302 7 0 0 25 0 1 0 27135971 48791552 9481 1992294400 134512640 137138936 4290420752 18446744073709551615 134618386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 11912 9481 191 642 0 11268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47648

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29094
/proc/meminfo: memFree=1701644/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=72700 CPUtime=6.29
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 16159 0 0 0 619 10 0 0 25 0 1 0 27135971 74444800 15727 1992294400 134512640 137138936 4290420752 18446744073709551615 134575073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 18175 15727 191 642 0 17531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 72700

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29094
/proc/meminfo: memFree=1658616/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=115860 CPUtime=12.69
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 26951 0 0 0 1253 16 0 0 25 0 1 0 27135971 118640640 26519 1992294400 134512640 137138936 4290420752 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 28965 26519 191 642 0 28321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115860

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29096
/proc/meminfo: memFree=1609264/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=159636 CPUtime=25.48
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 37904 0 0 0 2526 22 0 0 25 0 1 0 27135971 163467264 37472 1992294400 134512640 137138936 4290420752 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 39909 37472 191 642 0 39265 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 159636

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29096
/proc/meminfo: memFree=1589672/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=178996 CPUtime=51.08
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 42747 0 0 0 5075 33 0 0 25 0 1 0 27135971 183291904 42315 1992294400 134512640 137138936 4290420752 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 44749 42315 191 642 0 44105 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 178996

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29098
/proc/meminfo: memFree=1573800/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=194856 CPUtime=102.27
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 46720 0 0 0 10183 44 0 0 25 0 1 0 27135971 199532544 46288 1992294400 134512640 137138936 4290420752 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 48714 46288 191 642 0 48070 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 194856

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29098
/proc/meminfo: memFree=1542676/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=228184 CPUtime=162.24
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 55044 0 0 0 16166 58 0 0 25 0 1 0 27135971 233660416 54612 1992294400 134512640 137138936 4290420752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 57046 54612 191 642 0 56402 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 228184

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29100
/proc/meminfo: memFree=1515644/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=252776 CPUtime=222.22
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 61219 0 0 0 22153 69 0 0 25 0 1 0 27135971 258842624 60754 1992294400 134512640 137138936 4290420752 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 63194 60754 191 642 0 62550 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 252776

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29102
/proc/meminfo: memFree=1515644/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=252776 CPUtime=282.2
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 61219 0 0 0 28144 76 0 0 25 0 1 0 27135971 258842624 60754 1992294400 134512640 137138936 4290420752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 63194 60754 191 642 0 62550 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 252776

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29104
/proc/meminfo: memFree=1515520/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=252984 CPUtime=342.18
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 61255 0 0 0 34132 86 0 0 25 0 1 0 27135971 259055616 60790 1992294400 134512640 137138936 4290420752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 63246 60790 191 642 0 62602 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 252984

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29106
/proc/meminfo: memFree=1492084/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=276144 CPUtime=402.17
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 67105 0 0 0 40120 97 0 0 25 0 1 0 27135971 282771456 66604 1992294400 134512640 137138936 4290420752 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 69036 66604 191 642 0 68392 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 276144

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29106
/proc/meminfo: memFree=1492084/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=276212 CPUtime=462.15
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 67139 0 0 0 46111 104 0 0 25 0 1 0 27135971 282841088 66629 1992294400 134512640 137138936 4290420752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 69053 66629 191 642 0 68409 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 276212

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29108
/proc/meminfo: memFree=1491960/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=278728 CPUtime=522.13
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 67762 0 0 0 52099 114 0 0 25 0 1 0 27135971 285417472 67252 1992294400 134512640 137138936 4290420752 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 69682 67252 191 642 0 69038 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 278728

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29110
/proc/meminfo: memFree=1466044/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=301916 CPUtime=582.12
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 73601 0 0 0 58087 125 0 0 25 0 1 0 27135971 309161984 73052 1992294400 134512640 137138936 4290420752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 75479 73052 191 642 0 74835 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 301916

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29112
/proc/meminfo: memFree=1466044/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=301916 CPUtime=642.1
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 73601 0 0 0 64079 131 0 0 25 0 1 0 27135971 309161984 73052 1992294400 134512640 137138936 4290420752 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 75479 73052 191 642 0 74835 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 301916

[startup+702.301 s]

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

/proc/meminfo: memFree=1437152/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1061.98
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80795 0 0 0 106017 181 0 0 25 0 1 0 27135971 338571264 80203 1992294400 134512640 137138936 4290420752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80203 191 642 0 82015 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 330636

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29124
/proc/meminfo: memFree=1437028/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1121.97
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80795 0 0 0 112011 186 0 0 25 0 1 0 27135971 338571264 80203 1992294400 134512640 137138936 4290420752 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80203 191 642 0 82015 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 330636

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29126
/proc/meminfo: memFree=1437028/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1181.94
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80795 0 0 0 118004 190 0 0 25 0 1 0 27135971 338571264 80203 1992294400 134512640 137138936 4290420752 18446744073709551615 134542922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80203 191 642 0 82015 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 330636

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29128
/proc/meminfo: memFree=1436780/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1241.92
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80798 0 0 0 123997 195 0 0 25 0 1 0 27135971 338571264 80206 1992294400 134512640 137138936 4290420752 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80206 191 642 0 82015 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 330636

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29130
/proc/meminfo: memFree=1436780/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1301.91
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80798 0 0 0 129990 201 0 0 25 0 1 0 27135971 338571264 80206 1992294400 134512640 137138936 4290420752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80206 191 642 0 82015 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 330636

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29130
/proc/meminfo: memFree=1436780/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1361.88
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80798 0 0 0 135981 207 0 0 25 0 1 0 27135971 338571264 80206 1992294400 134512640 137138936 4290420752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80206 191 642 0 82015 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 330636

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29141
/proc/meminfo: memFree=1435788/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1421.87
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80807 0 0 0 141975 212 0 0 25 0 1 0 27135971 338571264 80215 1992294400 134512640 137138936 4290420752 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80215 191 642 0 82015 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 330636

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29143
/proc/meminfo: memFree=1435788/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=330636 CPUtime=1481.84
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 80807 0 0 0 147964 220 0 0 25 0 1 0 27135971 338571264 80215 1992294400 134512640 137138936 4290420752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 82659 80215 191 642 0 82015 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 330636

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29145
/proc/meminfo: memFree=1405160/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361632 CPUtime=1541.82
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88610 0 0 0 153951 231 0 0 25 0 1 0 27135971 370311168 87971 1992294400 134512640 137138936 4290420752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90408 87971 191 642 0 89764 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 361632

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29147
/proc/meminfo: memFree=1405160/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361632 CPUtime=1601.8
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88610 0 0 0 159944 236 0 0 25 0 1 0 27135971 370311168 87971 1992294400 134512640 137138936 4290420752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90408 87971 191 642 0 89764 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 361632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29147
/proc/meminfo: memFree=1405160/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361632 CPUtime=1661.79
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88610 0 0 0 165938 241 0 0 25 0 1 0 27135971 370311168 87971 1992294400 134512640 137138936 4290420752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90408 87971 191 642 0 89764 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 361632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29149
/proc/meminfo: memFree=1405160/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361632 CPUtime=1721.78
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88610 0 0 0 171934 244 0 0 25 0 1 0 27135971 370311168 87971 1992294400 134512640 137138936 4290420752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90408 87971 191 642 0 89764 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 361632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1781.75
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 177927 248 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 361888

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1791.36
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 178887 249 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 361888

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1794.56
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 179207 249 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 361888

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1796.15
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 179366 249 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134617953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 361888

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1796.95
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 179446 249 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 361888

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1797.75
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 179526 249 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 361888

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29151
/proc/meminfo: memFree=1405036/2059040 swapFree=4134576/4192956
[pid=29093] ppid=29091 vsize=361888 CPUtime=1797.95
/proc/29093/stat : 29093 (bsolo_pb10) R 29091 29093 28710 0 -1 4202496 88654 0 0 0 179546 249 0 0 25 0 1 0 27135971 370573312 88015 1992294400 134512640 137138936 4290420752 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29093/statm: 90472 88015 191 642 0 89828 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 361888

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.04
CPU user time (s): 1795.5
CPU system time (s): 2.53761
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 361888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.5
system time used= 2.53761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88655
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= 1
involuntary context switches= 5664

runsolver used 3.08953 second user time and 8.37073 second system time

The end

Launcher Data 

Begin job on node017 at 2010-06-14 13:38:16
IDJOB=2657536
IDBENCH=2273
IDSOLVER=1163
FILE ID=node017/2657536-1276515496
PBS_JOBID= 11173426
Free space on /tmp= 62424 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657536-1276515496/watcher-2657536-1276515496 -o /tmp/evaluation-result-2657536-1276515496/solver-2657536-1276515496 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657536-1276515496.opb

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

MD5SUM BENCH= 366c883f3118f840e595e8bbe10351c8
RANDOM SEED=1177285592

node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.201
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.201
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1759716 kB
Buffers:        108092 kB
Cached:         112016 kB
SwapCached:      11540 kB
Active:         106820 kB
Inactive:       127112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1759716 kB
SwapTotal:     4192956 kB
SwapFree:      4134576 kB
Dirty:            4612 kB
Writeback:           0 kB
AnonPages:       12316 kB
Mapped:           9152 kB
Slab:            43772 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184476 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62420 MiB
End job on node017 at 2010-06-14 14:08:14