Trace number 433118

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)-29 1800.1 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM4acf18ad1cd52676d2699a99f210ed0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark746.035
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (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/433118-1177955082/instance-433118-1177955082.opb
0.00/0.00	c File size is 663564 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.113 s
0.09/0.12	c Var: 595 Constr: 27842 27842/0/0 Lit: 55684 Watch. Lit: 55684
0.09/0.12	c Obj. Vars: 595 (100 % of total variables)
0.39/0.46	c Pre-processing Time: 0.459 s
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c        0    595    27842    55684    2    55684    9280      0      0 0.46
0.39/0.46	c Switching off LPR mode.
0.39/0.46	o -26	0.463
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c        0    595    27843    56279    2    55712   10280      1      0 0.47
0.39/0.47	o -27	0.471
18.18/18.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.18/18.27	c       20    595    27864    68200    2    55781   10280     22     42 0.47
18.18/18.27	c      120    595    27964   124705    4    55981   11309    122    237 0.51
18.18/18.27	c      370    595    28214   265728    9    56481   12440    372    618 0.60
18.18/18.27	c      846    595    28690   534610   18    57433   13685    848   1027 0.82
18.18/18.27	c     1659    595    29503   993029   33    59059   15054   1661   1259 1.32
18.18/18.27	c     2980    595    30824  1739005   56    61701   16560   2982   1361 2.19
18.18/18.27	c     5061    595    32905  2913832   88    65863   18217   5063   1169 4.33
18.18/18.27	c     8284    595    36128  4731190  130    72309   20039   8286    938 8.82
18.18/18.27	o -28	18.262
355.86/356.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
355.86/356.04	c    12273    595    40118  6980909  174    80317   10280  12276    671 18.26
355.86/356.04	c    12373    595    33083  3010405   90    66194   11309   5241    666 18.58
355.86/356.04	c    12623    595    33333  3151128   94    66694   12440   5491    675 18.69
355.86/356.04	c    13098    595    33808  3418646  101    67644   13685   5966    680 19.23
355.86/356.04	c    13912    595    34622  3877048  111    69272   15054   6780    694 20.02
355.86/356.04	c    15232    595    35942  4620227  128    71912   16560   8100    719 21.17
355.86/356.04	c    17316    595    38026  5793748  152    76080   18217  10184    743 23.30
355.86/356.04	c    20540    595    41250  7608506  184    82528   20039  13408    678 30.28
355.86/356.04	c    25477    595    46187 10386661  224    92402   22043  18345    622 40.94
355.86/356.04	c    32983    595    41890  7964015  190    83808   24248  14048    490 67.27
355.86/356.04	c    44344    595    39349  6527888  165    78726   26673  11507    438 101.12
355.86/356.04	c    61488    595    40230  7024116  174    80488   29341  12388    341 180.01
355.86/356.04	c    87308    595    47299 11006529  232    94626   32276  19457    265 328.71
355.86/356.04	o -29	355.914
1800.04/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.80	c    93967    595    53959 14751140  273   107975   10280  26117    264 355.92
1800.04/1800.80	c    94067    595    33083  3000802   90    66195   11309   5241    262 357.74
1800.04/1800.80	c    94318    595    33334  3141977   94    66697   12440   5492    263 357.88
1800.04/1800.80	c    94793    595    33809  3408824  100    67647   13685   5967    264 358.31
1800.04/1800.80	c    95606    595    34622  3865967  111    69273   15054   6780    266 359.01
1800.04/1800.80	c    96926    595    35942  4607775  128    71913   16560   8100    269 360.02
1800.04/1800.80	c    99007    595    38023  5777415  151    76075   18217  10181    273 362.55
1800.04/1800.80	c   102230    595    41246  7586168  183    82521   20039  13404    279 366.15
1800.04/1800.80	c   107166    595    46182 10359281  224    92393   22043  18340    284 377.08
1800.04/1800.80	c   114672    595    41947  7967394  189    83923   24248  14105    284 403.51
1800.04/1800.80	c   126034    595    39325  6505585  165    78679   26673  11483    274 458.87
1800.04/1800.80	c   143179    595    40312  7062151  175    80653   29341  12470    277 515.32
1800.04/1800.80	c   168998    595    47344 11016381  232    94717   32276  19502    243 693.84
1800.04/1800.80	c   207830    595    43057  8583134  199    86143   35504  15215    203 1022.05
1800.04/1800.80	c   266182    595    52133 13698048  262   104295   39055  24291    186 1430.22
1800.04/1800.80	c Caught signal: 15
1800.04/1800.80	v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575
1800.04/1800.80	v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1800.04/1800.80	v -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533
1800.04/1800.80	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512
1800.04/1800.80	v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 x492 -x491
1800.04/1800.80	v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1800.04/1800.80	v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449
1800.04/1800.80	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1800.04/1800.80	v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
1800.04/1800.80	v -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1800.04/1800.80	v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365
1800.04/1800.80	v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1800.04/1800.80	v x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323
1800.04/1800.80	v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1800.04/1800.80	v -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
1800.04/1800.80	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260
1800.04/1800.80	v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239
1800.04/1800.80	v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1800.04/1800.80	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197
1800.04/1800.80	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1800.04/1800.80	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155
1800.04/1800.80	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134
1800.04/1800.80	v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1800.04/1800.80	v -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.04/1800.80	v -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
1800.04/1800.80	v -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
1800.04/1800.80	v -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
1800.04/1800.80	v -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.04/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.80	c   37   307036  26532   340397    64761 20792523  36919    170 1800.05
1800.04/1800.80	c Objective: -29
1800.04/1800.80	s SATISFIABLE
1800.04/1800.80	c Total time: 1800.05 s

Verifier Data (download as text)

OK	-29

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-433118-1177955082 -o ROOT/results/node42/solver-433118-1177955082 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433118-1177955082/instance-433118-1177955082.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: 1.00 1.00 1.00 3/77 14727
/proc/meminfo: memFree=1872360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=12388 CPUtime=0
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243420136 12685312 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524158 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 3097 334 279 324 0 2004 0

[startup+0.0126269 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14727
/proc/meminfo: memFree=1872360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=4848 CPUtime=0.01
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 425 0 0 0 1 0 0 0 18 0 1 0 243420136 4964352 395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 1212 395 291 324 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4848

[startup+0.101644 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14727
/proc/meminfo: memFree=1872360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=6916 CPUtime=0.09
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 1095 0 0 0 9 0 0 0 18 0 1 0 243420136 7081984 1065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 1729 1065 419 324 0 636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6916

[startup+0.301681 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14727
/proc/meminfo: memFree=1872360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=8928 CPUtime=0.29
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 1802 0 0 0 28 1 0 0 19 0 1 0 243420136 9142272 1609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 2232 1609 305 324 0 1302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8928

[startup+0.701759 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14727
/proc/meminfo: memFree=1872360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=12640 CPUtime=0.69
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 2910 0 0 0 67 2 0 0 23 0 1 0 243420136 12943360 2529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 3160 2529 310 324 0 2230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12640

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1859104/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=22924 CPUtime=1.49
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 5495 0 0 0 145 4 0 0 25 0 1 0 243420136 23474176 5114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 5731 5114 310 324 0 4801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22924

[startup+3.10121 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1847072/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=38444 CPUtime=3.09
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 9355 0 0 0 304 5 0 0 25 0 1 0 243420136 39366656 8974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 9611 8974 310 324 0 8681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38444

[startup+6.30282 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1821984/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=58056 CPUtime=6.29
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 14268 0 0 0 622 7 0 0 25 0 1 0 243420136 59449344 13887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 14514 13887 310 324 0 13584 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58056

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1793400/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=84400 CPUtime=12.68
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 20859 0 0 0 1258 10 0 0 25 0 1 0 243420136 86425600 20478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 21100 20478 310 324 0 20170 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84400

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1778424/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=97484 CPUtime=25.48
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 24124 0 0 0 2536 12 0 0 25 0 1 0 243420136 99823616 23743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 24371 23743 310 324 0 23441 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97484

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1704568/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=172488 CPUtime=51.07
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 42885 0 0 0 5087 20 0 0 25 0 1 0 243420136 176627712 42504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 43122 42504 310 324 0 42192 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 172488

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1687352/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=188320 CPUtime=102.26
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 46845 0 0 0 10203 23 0 0 25 0 1 0 243420136 192839680 46464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 47080 46464 310 324 0 46150 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 188320

[startup+162.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 14728
/proc/meminfo: memFree=1687288/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=188320 CPUtime=162.23
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 46845 0 0 0 16200 23 0 0 25 0 1 0 243420136 192839680 46464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 47080 46464 310 324 0 46150 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 188320

[startup+222.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 14728
/proc/meminfo: memFree=1669624/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=205920 CPUtime=222.21
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 51248 0 0 0 22195 26 0 0 25 0 1 0 243420136 210862080 50867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 51480 50867 310 324 0 50550 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 205920

[startup+282.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650232/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=225280 CPUtime=282.19
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56090 0 0 0 28189 30 0 0 25 0 1 0 243420136 230686720 55709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56320 55709 310 324 0 55390 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 225280

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650232/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=225280 CPUtime=342.17
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56090 0 0 0 34186 31 0 0 25 0 1 0 243420136 230686720 55709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56320 55709 310 324 0 55390 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 225280

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650168/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=225084 CPUtime=402.14
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56090 0 0 0 40183 31 0 0 25 0 1 0 243420136 230486016 55663 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56271 55663 310 324 0 55341 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 225084

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=224836 CPUtime=462.12
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56090 0 0 0 46180 32 0 0 25 0 1 0 243420136 230232064 55601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56209 55601 310 324 0 55279 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 224836

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=224824 CPUtime=522.09
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56090 0 0 0 52177 32 0 0 25 0 1 0 243420136 230219776 55598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56206 55598 310 324 0 55276 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 224824

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650360/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=224824 CPUtime=582.08
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56090 0 0 0 58175 33 0 0 25 0 1 0 243420136 230219776 55598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56206 55598 310 324 0 55276 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 224824

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1650232/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=225060 CPUtime=642.06
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 56146 0 0 0 64172 34 0 0 25 0 1 0 243420136 230461440 55654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 56265 55654 310 324 0 55335 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 225060


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1628920/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=246112 CPUtime=821.99
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 61416 0 0 0 82160 39 0 0 25 0 1 0 243420136 252018688 60891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 61528 60891 310 324 0 60598 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 246112

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1628920/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=246112 CPUtime=881.97
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 61416 0 0 0 88157 40 0 0 25 0 1 0 243420136 252018688 60891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 61528 60891 310 324 0 60598 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 246112

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14728
/proc/meminfo: memFree=1628920/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=246112 CPUtime=941.94
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 61416 0 0 0 94154 40 0 0 25 0 1 0 243420136 252018688 60891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 61528 60891 310 324 0 60598 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 246112

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 14850
/proc/meminfo: memFree=1627488/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=246084 CPUtime=1001.87
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 61416 0 0 0 100144 43 0 0 25 0 1 0 243420136 251990016 60891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 61521 60891 310 324 0 60591 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 246084

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1628664/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=246084 CPUtime=1061.81
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 61416 0 0 0 106138 43 0 0 25 0 1 0 243420136 251990016 60891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 61521 60891 310 324 0 60591 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 246084

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1626616/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=248460 CPUtime=1121.78
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 62018 0 0 0 112134 44 0 0 25 0 1 0 243420136 254423040 61493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 62115 61493 310 324 0 61185 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 248460

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1605304/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=269400 CPUtime=1181.76
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 67284 0 0 0 118128 48 0 0 25 0 1 0 243420136 275865600 66723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12838741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 67350 66723 310 324 0 66420 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 269400

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1605240/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=269400 CPUtime=1241.74
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 67284 0 0 0 124126 48 0 0 25 0 1 0 243420136 275865600 66723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 67350 66723 310 324 0 66420 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 269400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1605304/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=269400 CPUtime=1301.72
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 67284 0 0 0 130123 49 0 0 25 0 1 0 243420136 275865600 66723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 67350 66723 310 324 0 66420 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 269400

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1605304/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=269400 CPUtime=1361.69
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 67284 0 0 0 136120 49 0 0 25 0 1 0 243420136 275865600 66723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 67350 66723 310 324 0 66420 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 269400

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1604920/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=269648 CPUtime=1421.68
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 67380 0 0 0 142118 50 0 0 25 0 1 0 243420136 276119552 66783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 67412 66783 310 324 0 66482 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 269648

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1591736/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=283904 CPUtime=1481.65
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 70952 0 0 0 148112 53 0 0 25 0 1 0 243420136 290717696 70355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 70976 70355 310 324 0 70046 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 283904

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1579320/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=295244 CPUtime=1541.63
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 73809 0 0 0 154108 55 0 0 25 0 1 0 243420136 302329856 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 73811 73173 310 324 0 72881 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 295244

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1579320/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=295244 CPUtime=1601.61
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 73809 0 0 0 160105 56 0 0 25 0 1 0 243420136 302329856 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 73811 73173 310 324 0 72881 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 295244

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1579384/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=295244 CPUtime=1661.58
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 73809 0 0 0 166102 56 0 0 25 0 1 0 243420136 302329856 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 73811 73173 310 324 0 72881 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 295244

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1579384/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=295244 CPUtime=1721.57
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 73809 0 0 0 172100 57 0 0 25 0 1 0 243420136 302329856 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 73811 73173 310 324 0 72881 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 295244

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1579384/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=295244 CPUtime=1781.54
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 73809 0 0 0 178097 57 0 0 25 0 1 0 243420136 302329856 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 73811 73173 310 324 0 72881 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 295244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14926
/proc/meminfo: memFree=1579384/2055920 swapFree=4147488/4192956
[pid=14727] ppid=14725 vsize=295244 CPUtime=1800.04
/proc/14727/stat : 14727 (bsolo3.0.17) R 14725 14727 13465 0 -1 4194304 73809 0 0 0 179946 58 0 0 25 0 1 0 243420136 302329856 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14727/statm: 73811 73173 310 324 0 72881 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 295244

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

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

Child status: 15
Real time (s): 1800.86
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.628904
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 295244

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

runsolver used 1.41878 second user time and 4.01639 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Mon Apr 30 17:44:42 UTC 2007

IDJOB= 433118
IDBENCH= 2270
IDSOLVER= 199
FILE ID= node42/433118-1177955082

PBS_JOBID= 4727674

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/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433118-1177955082/instance-433118-1177955082.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-433118-1177955082 -o ROOT/results/node42/solver-433118-1177955082 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433118-1177955082/instance-433118-1177955082.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  4acf18ad1cd52676d2699a99f210ed0a

RANDOM SEED= 269843990

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1872896 kB
Buffers:         25168 kB
Cached:          64096 kB
SwapCached:      14572 kB
Active:          63620 kB
Inactive:        50648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872896 kB
SwapTotal:     4192956 kB
SwapFree:      4147488 kB
Dirty:            7288 kB
Writeback:           0 kB
Mapped:          32160 kB
Slab:            54116 kB
Committed_AS:  3720220 kB
PageTables:       1912 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 node42 on Mon Apr 30 18:14:46 UTC 2007