Trace number 353800

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.16SAT (TO)-29 1800.06 1800.51

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

Verifier Data (download as text)

OK	-29

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-353800-1176676204 -o ROOT/results/node55/solver-353800-1176676204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353800-1176676204/instance-353800-1176676204.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.99 0.97 0.98 3/64 10256
/proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=12388 CPUtime=0
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 115530392 12685312 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 3097 335 281 324 0 2003 0

[startup+0.079083 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 10256
/proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=6500 CPUtime=0.07
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 950 0 0 0 7 0 0 0 18 0 1 0 115530392 6656000 918 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 1625 918 392 324 0 531 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6500

[startup+0.101085 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 10256
/proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=7052 CPUtime=0.09
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 1121 0 0 0 9 0 0 0 18 0 1 0 115530392 7221248 1089 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 1763 1089 425 324 0 669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7052

[startup+0.301103 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 10256
/proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=8928 CPUtime=0.29
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 1806 0 0 0 28 1 0 0 19 0 1 0 115530392 9142272 1611 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 2232 1611 307 324 0 1301 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8928

[startup+0.701141 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 10256
/proc/meminfo: memFree=1831948/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=12640 CPUtime=0.69
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 2920 0 0 0 67 2 0 0 22 0 1 0 115530392 12943360 2537 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 3160 2537 312 324 0 2229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12640

[startup+1.50122 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1818564/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=23048 CPUtime=1.49
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 5514 0 0 0 146 3 0 0 25 0 1 0 115530392 23601152 5131 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 5762 5131 312 324 0 4831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23048

[startup+3.10137 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1806532/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=38444 CPUtime=3.09
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 9361 0 0 0 304 5 0 0 25 0 1 0 115530392 39366656 8978 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 9611 8978 312 324 0 8680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38444

[startup+6.30167 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1781380/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=58056 CPUtime=6.28
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 14263 0 0 0 622 6 0 0 25 0 1 0 115530392 59449344 13880 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 14514 13880 312 324 0 13583 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58056

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1752836/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=84268 CPUtime=12.69
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 20841 0 0 0 1259 10 0 0 25 0 1 0 115530392 86290432 20458 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 21067 20458 312 324 0 20136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84268

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1737732/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=97484 CPUtime=25.48
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 24128 0 0 0 2536 12 0 0 25 0 1 0 115530392 99823616 23745 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 24371 23745 312 324 0 23440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97484

[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1663940/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=172488 CPUtime=51.08
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 42889 0 0 0 5085 23 0 0 25 0 1 0 115530392 176627712 42506 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 43122 42506 312 324 0 42191 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 172488

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1646660/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=188320 CPUtime=102.26
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 46849 0 0 0 10199 27 0 0 25 0 1 0 115530392 192839680 46466 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 47080 46466 312 324 0 46149 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 188320

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1646596/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=188320 CPUtime=162.24
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 46849 0 0 0 16195 29 0 0 25 0 1 0 115530392 192839680 46466 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 47080 46466 312 324 0 46149 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 188320

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1628932/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=205920 CPUtime=222.23
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 51252 0 0 0 22188 35 0 0 25 0 1 0 115530392 210862080 50869 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 51480 50869 312 324 0 50549 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 205920

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1609476/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=225280 CPUtime=282.22
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 28182 40 0 0 25 0 1 0 115530392 230686720 55711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56320 55711 312 324 0 55389 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 225280

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1609412/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=225280 CPUtime=342.2
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 34177 43 0 0 25 0 1 0 115530392 230686720 55711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56320 55711 312 324 0 55389 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 225280

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1609412/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=225084 CPUtime=402.18
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 40171 47 0 0 25 0 1 0 115530392 230486016 55665 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56271 55665 312 324 0 55340 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 225084

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10257
/proc/meminfo: memFree=1609732/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=224836 CPUtime=462.17
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 46167 50 0 0 25 0 1 0 115530392 230232064 55603 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56209 55603 312 324 0 55278 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 224836

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1609732/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=224824 CPUtime=522.16
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 52162 54 0 0 25 0 1 0 115530392 230219776 55600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56206 55600 312 324 0 55275 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 224824

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1609732/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=224824 CPUtime=582.14
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56094 0 0 0 58159 55 0 0 25 0 1 0 115530392 230219776 55600 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56206 55600 312 324 0 55275 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 224824

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1609668/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=225060 CPUtime=642.13
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 56150 0 0 0 64157 56 0 0 25 0 1 0 115530392 230461440 55656 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 56265 55656 312 324 0 55334 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 225060


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1588612/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=246112 CPUtime=882.07
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 88137 70 0 0 25 0 1 0 115530392 252018688 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 61528 60893 312 324 0 60597 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 246112

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1588612/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=246112 CPUtime=942.05
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 94135 70 0 0 25 0 1 0 115530392 252018688 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 61528 60893 312 324 0 60597 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 246112

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1588612/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=246084 CPUtime=1002.04
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 100132 72 0 0 25 0 1 0 115530392 251990016 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 61521 60893 312 324 0 60590 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 246084

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1588548/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=246084 CPUtime=1062.02
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 61420 0 0 0 106128 74 0 0 25 0 1 0 115530392 251990016 60893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7290643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 61521 60893 312 324 0 60590 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 246084

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1583556/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=251376 CPUtime=1122.01
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 62757 0 0 0 112124 77 0 0 25 0 1 0 115530392 257409024 62230 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 62844 62230 312 324 0 61913 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 251376

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1565124/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=269400 CPUtime=1181.99
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 118117 82 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 67350 66725 312 324 0 66419 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 269400

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1565124/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=269400 CPUtime=1241.98
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 124114 84 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 67350 66725 312 324 0 66419 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 269400

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1565124/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=269400 CPUtime=1301.97
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 130111 86 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 67350 66725 312 324 0 66419 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 269400

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1565188/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=269400 CPUtime=1361.95
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67288 0 0 0 136109 86 0 0 25 0 1 0 115530392 275865600 66725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 67350 66725 312 324 0 66419 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 269400

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1564804/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=269648 CPUtime=1421.94
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 67384 0 0 0 142105 89 0 0 25 0 1 0 115530392 276119552 66785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 67412 66785 312 324 0 66481 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 269648

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1546628/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=288752 CPUtime=1481.92
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 72174 0 0 0 148097 95 0 0 25 0 1 0 115530392 295682048 71575 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 72188 71575 312 324 0 71257 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 288752

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=295244 CPUtime=1541.91
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 154093 98 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 73811 73175 312 324 0 72880 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 295244

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=295244 CPUtime=1601.89
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 160089 100 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 73811 73175 312 324 0 72880 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 295244

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=295244 CPUtime=1661.87
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 166086 101 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 73811 73175 312 324 0 72880 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 295244

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1539140/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=295244 CPUtime=1721.86
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 172084 102 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 73811 73175 312 324 0 72880 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 295244

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1539204/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=295244 CPUtime=1781.85
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194304 73813 0 0 0 178081 104 0 0 25 0 1 0 115530392 302329856 73175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 73811 73175 312 324 0 72880 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 295244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 10259
/proc/meminfo: memFree=1787460/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=0 CPUtime=1800.04
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194308 73814 0 0 0 179896 108 0 0 25 0 1 0 115530392 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

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.98 2/65 10259
/proc/meminfo: memFree=1787460/2055920 swapFree=4184748/4192956
[pid=10256] ppid=10254 vsize=0 CPUtime=1800.04
/proc/10256/stat : 10256 (bsolo3.0.16) R 10254 10256 9268 0 -1 4194308 73814 0 0 0 179896 108 0 0 25 0 1 0 115530392 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10256/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.97
CPU system time (s): 1.09283
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 295244

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

runsolver used 1.15682 second user time and 3.77543 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Sun Apr 15 22:30:04 UTC 2007

IDJOB= 353800
IDBENCH= 2270
IDSOLVER= 163
FILE ID= node55/353800-1176676204

PBS_JOBID= 4559943

Free space on /tmp= 66559 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/353800-1176676204/instance-353800-1176676204.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-353800-1176676204 -o ROOT/results/node55/solver-353800-1176676204 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353800-1176676204/instance-353800-1176676204.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  4acf18ad1cd52676d2699a99f210ed0a

RANDOM SEED= 372224789

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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:       1832356 kB
Buffers:         16320 kB
Cached:         126256 kB
SwapCached:       2060 kB
Active:          60776 kB
Inactive:        92268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1832356 kB
SwapTotal:     4192956 kB
SwapFree:      4184748 kB
Dirty:            5028 kB
Writeback:           0 kB
Mapped:          17548 kB
Slab:            56588 kB
Committed_AS:  1016248 kB
PageTables:       1384 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= 66559 MiB

End job on node55 on Sun Apr 15 23:00:06 UTC 2007