Trace number 433121

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

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 benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark649.835
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 (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/433121-1177955205/instance-433121-1177955205.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.111 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.438 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.44
0.39/0.44	c Switching off LPR mode.
0.39/0.44	o -25	0.443
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.44
0.39/0.45	o -26	0.445
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c        1    595    27859    57466    2    55769   10285      3      2 0.45
1.49/1.56	c      101    595    27959   113938    4    55969   11314    103    211 0.48
1.49/1.56	c      352    595    28210   255808    9    56471   12446    354    616 0.57
1.49/1.56	c      827    595    28685   524026   18    57421   13691    829   1045 0.79
1.49/1.56	c     1641    595    29499   984090   33    59049   15061   1643   1337 1.23
1.49/1.56	o -27	1.556
2.59/2.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.66	c     2212    595    30071  1307332   43    60220   10285   2215   1420 1.56
2.59/2.66	c     2313    595    30172  1364325   45    60422   11314   2316   1448 1.60
2.59/2.66	c     2563    595    30422  1505372   49    60922   12446   2566   1510 1.70
2.59/2.66	c     3038    595    30897  1773190   57    61872   13691   3041   1567 1.94
2.59/2.66	c     3852    595    31711  2231695   70    63500   15061   3855   1515 2.54
2.59/2.66	o -28	2.661
353.69/353.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
353.69/353.82	c     4108    595    31968  2376756   74    64042   10285   4112   1543 2.66
353.69/353.82	c     4208    595    32068  2433077   75    64242   11314   4212   1556 2.70
353.69/353.82	c     4458    595    32318  2573719   79    64742   12446   4462   1585 2.81
353.69/353.82	c     4933    595    32793  2841264   86    65692   13691   4937   1613 3.06
353.69/353.82	c     5746    595    33606  3299118   98    67318   15061   5750   1455 3.95
353.69/353.82	c     7066    595    34926  4042146  115    69958   16568   7070   1509 4.68
353.69/353.82	c     9147    595    37007  5212828  140    74120   18225   9151   1449 6.31
353.69/353.82	c    12371    595    40231  7028464  174    80568   20048  12375    798 15.49
353.69/353.82	c    17307    595    45167  9805786  217    90440   22053  17311    723 23.92
353.69/353.82	c    24813    595    40816  7350711  180    81660   24259  12960    602 41.16
353.69/353.82	c    36174    595    38792  6206839  160    77612   26685  10936    406 89.08
353.69/353.82	c    53318    595    39799  6772708  170    79626   29354  11943    328 162.11
353.69/353.82	c    79138    595    46833 10737141  229    93694   32290  18977    255 309.61
353.69/353.82	o -29	353.718
1800.00/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.60	c    89184    595    56880 16393949  288   113817   10285  29024    252 353.72
1800.00/1800.60	c    89284    595    33100  3006346   90    66229   11314   5244    250 356.96
1800.00/1800.60	c    89535    595    33351  3147324   94    66731   12446   5495    250 357.14
1800.00/1800.60	c    90010    595    33826  3414261  100    67681   13691   5970    251 357.41
1800.00/1800.60	c    90823    595    34639  3871383  111    69307   15061   6783    253 357.93
1800.00/1800.60	c    92143    595    35959  4612533  128    71947   16568   8103    255 360.33
1800.00/1800.60	c    94224    595    38040  5782386  152    76109   18225  10184    259 362.41
1800.00/1800.60	c    97447    595    41263  7591521  183    82555   20048  13407    265 367.03
1800.00/1800.60	c   102383    595    46199 10362812  224    92427   22053  18343    270 378.60
1800.00/1800.60	c   109889    595    41880  7932917  189    83789   24259  14024    277 395.76
1800.00/1800.60	c   121250    595    39289  6478074  164    78607   26685  11433    278 436.07
1800.00/1800.60	c   138395    595    40233  7009995  174    80495   29354  12377    261 528.28
1800.00/1800.60	c   164214    595    47286 10960267  231    94601   32290  19430    253 647.02
1800.00/1800.60	c   203046    595    42957  8532215  198    85943   35520  15101    224 904.37
1800.00/1800.60	c   261398    595    52097 13662477  262   104223   39073  24241    192 1360.04
1800.00/1800.60	c Caught signal: 15
1800.00/1800.60	v -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
1800.00/1800.60	v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1800.00/1800.60	v -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
1800.00/1800.60	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
1800.00/1800.60	v x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1800.00/1800.60	v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1800.00/1800.60	v -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1800.00/1800.60	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428
1800.00/1800.60	v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407
1800.00/1800.60	v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386
1800.00/1800.60	v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1800.00/1800.60	v -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344
1800.00/1800.60	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323
1800.00/1800.60	v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1800.00/1800.60	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281
1800.00/1800.60	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
1800.00/1800.60	v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1800.00/1800.60	v -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1800.00/1800.60	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
1800.00/1800.60	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1800.00/1800.60	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155
1800.00/1800.60	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1800.00/1800.60	v -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1800.00/1800.60	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.00/1800.60	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.00/1800.60	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.00/1800.60	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.00/1800.60	v -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.60	c   39   309448  28930   345938    44038  9144474  16182    171 1800.01
1800.00/1800.60	c Objective: -29
1800.00/1800.60	s SATISFIABLE
1800.00/1800.60	c Total time: 1800.01 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/node61/watcher-433121-1177955205 -o ROOT/results/node61/solver-433121-1177955205 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433121-1177955205/instance-433121-1177955205.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 1700
/proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=12388 CPUtime=0
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 207484096 12685312 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 3097 333 279 324 0 2004 0

[startup+0.0609161 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 1700
/proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=6088 CPUtime=0.05
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 802 0 0 0 5 0 0 0 18 0 1 0 207484096 6234112 772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 1522 774 363 324 0 429 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6088

[startup+0.102919 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 1700
/proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=7052 CPUtime=0.09
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 1118 0 0 0 9 0 0 0 18 0 1 0 207484096 7221248 1088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 1763 1089 424 324 0 670 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7052

[startup+0.301938 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 1700
/proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=8932 CPUtime=0.29
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 1803 0 0 0 28 1 0 0 19 0 1 0 207484096 9146368 1610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 2233 1610 305 324 0 1303 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8932

[startup+0.702976 s]
/proc/loadavg: 0.78 0.95 0.94 3/64 1700
/proc/meminfo: memFree=1872376/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=12884 CPUtime=0.69
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 2968 0 0 0 67 2 0 0 22 0 1 0 207484096 13193216 2587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 3221 2587 310 324 0 2291 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12884

[startup+1.50105 s]
/proc/loadavg: 0.78 0.95 0.94 2/65 1701
/proc/meminfo: memFree=1858416/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=23724 CPUtime=1.49
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 5693 0 0 0 146 3 0 0 25 0 1 0 207484096 24293376 5312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 5931 5314 310 324 0 5001 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23724

[startup+3.1012 s]
/proc/loadavg: 0.78 0.95 0.94 2/65 1701
/proc/meminfo: memFree=1844016/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=44140 CPUtime=3.09
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 10799 0 0 0 303 6 0 0 25 0 1 0 207484096 45199360 10418 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 11035 10418 310 324 0 10105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44140

[startup+6.30151 s]
/proc/loadavg: 0.80 0.95 0.94 2/65 1701
/proc/meminfo: memFree=1808176/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=74492 CPUtime=6.29
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 18377 0 0 0 620 9 0 0 25 0 1 0 207484096 76279808 17996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 18623 17996 310 324 0 17693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74492

[startup+12.7011 s]
/proc/loadavg: 0.81 0.95 0.94 2/65 1701
/proc/meminfo: memFree=1785912/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=91968 CPUtime=12.69
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 22758 0 0 0 1258 11 0 0 25 0 1 0 207484096 94175232 22377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 22992 22377 310 324 0 22062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91968

[startup+25.5013 s]
/proc/loadavg: 0.85 0.95 0.94 2/65 1701
/proc/meminfo: memFree=1731896/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=144956 CPUtime=25.48
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 35987 0 0 0 2530 18 0 0 25 0 1 0 207484096 148434944 35606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 36239 35606 310 324 0 35309 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144956

[startup+51.1018 s]
/proc/loadavg: 0.90 0.96 0.94 2/65 1701
/proc/meminfo: memFree=1702968/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=172536 CPUtime=51.07
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 42898 0 0 0 5086 21 0 0 25 0 1 0 207484096 176676864 42517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 43134 42517 310 324 0 42204 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 172536

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.94 2/65 1701
/proc/meminfo: memFree=1690872/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=184684 CPUtime=102.26
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 45935 0 0 0 10202 24 0 0 25 0 1 0 207484096 189116416 45554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 46171 45554 310 324 0 45241 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 184684

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.94 2/65 1701
/proc/meminfo: memFree=1669496/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=205964 CPUtime=162.24
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 51258 0 0 0 16197 27 0 0 25 0 1 0 207484096 210907136 50877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 51491 50877 310 324 0 50561 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 205964

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 1701
/proc/meminfo: memFree=1669496/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=205964 CPUtime=222.23
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 51258 0 0 0 22196 27 0 0 25 0 1 0 207484096 210907136 50877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 51491 50877 310 324 0 50561 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 205964

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 1701
/proc/meminfo: memFree=1649976/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=225400 CPUtime=282.21
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 28191 30 0 0 25 0 1 0 207484096 230809600 55739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 56350 55739 310 324 0 55420 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 225400

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.94 2/65 1701
/proc/meminfo: memFree=1649976/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=225400 CPUtime=342.19
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 34189 30 0 0 25 0 1 0 207484096 230809600 55739 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 56350 55739 310 324 0 55420 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 225400

[startup+402.301 s]
/proc/loadavg: 1.07 0.99 0.94 2/65 1701
/proc/meminfo: memFree=1653240/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=221892 CPUtime=402.17
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 40187 30 0 0 25 0 1 0 207484096 227217408 54865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10817268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 55473 54865 310 324 0 54543 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 221892

[startup+462.302 s]
/proc/loadavg: 1.10 1.00 0.95 2/65 1701
/proc/meminfo: memFree=1653496/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=221664 CPUtime=462.16
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 46186 30 0 0 25 0 1 0 207484096 226983936 54808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 55416 54808 310 324 0 54486 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 221664

[startup+522.302 s]
/proc/loadavg: 1.10 1.02 0.95 2/65 1701
/proc/meminfo: memFree=1653496/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=221664 CPUtime=522.14
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 52184 30 0 0 25 0 1 0 207484096 226983936 54808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 55416 54808 310 324 0 54486 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 221664

[startup+582.302 s]
/proc/loadavg: 1.04 1.01 0.95 2/65 1701
/proc/meminfo: memFree=1653496/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=221664 CPUtime=582.13
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56120 0 0 0 58183 30 0 0 25 0 1 0 207484096 226983936 54808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 55416 54808 310 324 0 54486 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 221664

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 0.95 2/65 1701
/proc/meminfo: memFree=1650360/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=224916 CPUtime=642.11
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 56930 0 0 0 64181 30 0 0 25 0 1 0 207484096 230313984 55618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10501236 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 56229 55618 310 324 0 55299 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 224916


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1701
/proc/meminfo: memFree=1629048/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=246004 CPUtime=822.06
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62231 0 0 0 82172 34 0 0 25 0 1 0 207484096 251908096 60886 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 61501 60886 310 324 0 60571 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 246004

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/71 1848
/proc/meminfo: memFree=1627640/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=246132 CPUtime=881.98
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62277 0 0 0 88163 35 0 0 25 0 1 0 207484096 252039168 60899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 61533 60899 310 324 0 60603 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 246132

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1628600/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=246132 CPUtime=941.93
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62277 0 0 0 94158 35 0 0 25 0 1 0 207484096 252039168 60899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 61533 60899 310 324 0 60603 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 246132

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1628600/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=246132 CPUtime=1001.91
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 62277 0 0 0 100156 35 0 0 25 0 1 0 207484096 252039168 60899 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 61533 60899 310 324 0 60603 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 246132

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605176/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269356 CPUtime=1061.9
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 106150 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67339 66728 310 324 0 66409 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 269356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605176/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269356 CPUtime=1121.88
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 112148 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67339 66728 310 324 0 66409 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 269356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269356 CPUtime=1181.86
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 118146 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67339 66728 310 324 0 66409 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 269356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605432/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269356 CPUtime=1241.85
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68142 0 0 0 124145 40 0 0 25 0 1 0 207484096 275820544 66728 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67339 66728 310 324 0 66409 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 269356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269484 CPUtime=1301.83
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68195 0 0 0 130143 40 0 0 25 0 1 0 207484096 275951616 66745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67371 66745 310 324 0 66441 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 269484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269484 CPUtime=1361.81
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68195 0 0 0 136141 40 0 0 25 0 1 0 207484096 275951616 66745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67371 66745 310 324 0 66441 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 269484

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1605304/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=269484 CPUtime=1421.8
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 68195 0 0 0 142140 40 0 0 25 0 1 0 207484096 275951616 66745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 67371 66745 310 324 0 66441 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 269484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579448/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295232 CPUtime=1481.78
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 148135 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73808 73173 310 324 0 72878 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 295232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579448/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295232 CPUtime=1541.76
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 154133 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73808 73173 310 324 0 72878 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 295232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579448/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295232 CPUtime=1601.75
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 160132 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10817261 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73808 73173 310 324 0 72878 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 295232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579512/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295232 CPUtime=1661.73
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 166130 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73808 73173 310 324 0 72878 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 295232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579512/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295232 CPUtime=1721.71
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74662 0 0 0 172128 43 0 0 25 0 1 0 207484096 302317568 73173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73808 73173 310 324 0 72878 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 295232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579064/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295480 CPUtime=1781.7
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74772 0 0 0 178127 43 0 0 25 0 1 0 207484096 302571520 73244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73870 73244 310 324 0 72940 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 295480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 1910
/proc/meminfo: memFree=1579064/2055920 swapFree=4184156/4192956
[pid=1700] ppid=1697 vsize=295480 CPUtime=1800
/proc/1700/stat : 1700 (bsolo3.0.17) R 1697 1700 1634 0 -1 4194304 74772 0 0 0 179957 43 0 0 25 0 1 0 207484096 302571520 73244 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1700/statm: 73870 73244 310 324 0 72940 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 295480

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.66
CPU time (s): 1800.06
CPU user time (s): 1799.58
CPU system time (s): 0.485926
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 295480

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

runsolver used 1.38279 second user time and 3.59145 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Mon Apr 30 17:46:45 UTC 2007

IDJOB= 433121
IDBENCH= 2273
IDSOLVER= 199
FILE ID= node61/433121-1177955205

PBS_JOBID= 4727706

Free space on /tmp= 66558 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-1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433121-1177955205/instance-433121-1177955205.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-433121-1177955205 -o ROOT/results/node61/solver-433121-1177955205 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433121-1177955205/instance-433121-1177955205.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  366c883f3118f840e595e8bbe10351c8

RANDOM SEED= 515106438

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1872848 kB
Buffers:         16392 kB
Cached:         104600 kB
SwapCached:       2904 kB
Active:          49572 kB
Inactive:        80944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872848 kB
SwapTotal:     4192956 kB
SwapFree:      4184156 kB
Dirty:            7412 kB
Writeback:           0 kB
Mapped:          15492 kB
Slab:            38640 kB
Committed_AS:  1134928 kB
PageTables:       1388 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= 66558 MiB

End job on node61 on Mon Apr 30 18:16:48 UTC 2007