Trace number 2657533

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT-30 1798.04 1798.59

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 benchmarkSAT
Best value of the objective obtained on this benchmark-33
Best CPU time to get the best result obtained on this benchmark1789.88
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 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657533-1276513156.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.11 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.466 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.47
0.39/0.46	c Switching off lower bounding mode.
0.39/0.47	o -26
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
29.58/29.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.58/29.61	c       10    595    27854    62538    2    55761   10280     12     20 0.48
29.58/29.61	c      110    595    27954   119050    4    55961   11309    112    211 0.52
29.58/29.61	c      360    595    28204   260198    9    56461   12440    362    575 0.63
29.58/29.61	c      836    595    28680   528514   18    57413   13685    838    988 0.85
29.58/29.61	c     1649    595    29493   986950   33    59039   15054   1651   1297 1.27
29.58/29.61	c     2969    595    30813  1730184   56    61679   16560   2971   1421 2.09
29.58/29.61	c     5050    595    32894  2904975   88    65841   18217   5052   1337 3.77
29.58/29.61	c     8274    595    36118  4722126  130    72289   20039   8276   1102 7.50
29.58/29.61	c    13210    595    41054  7502481  182    82161   22043  13212   1038 12.72
29.58/29.61	c    20716    595    48560 11736328  241    97173   24248  20718    802 25.82
29.58/29.61	o -28
177.22/177.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.22/177.36	c    22416    595    50261 12696293  252   100603   10280  22419    757 29.60
177.22/177.36	c    22516    595    33083  3011999   91    66194   11309   5241    714 31.51
177.22/177.36	c    22766    595    33333  3152687   94    66694   12440   5491    719 31.65
177.22/177.36	c    23242    595    33809  3420495  101    67646   13685   5967    727 31.97
177.22/177.36	c    24056    595    34623  3878697  112    69274   15054   6781    735 32.71
177.22/177.36	c    25376    595    35943  4622414  128    71914   16560   8101    749 33.87
177.22/177.36	c    27457    595    38024  5793467  152    76076   18217  10182    765 35.88
177.22/177.36	c    30681    595    41248  7610104  184    82524   20039  13406    786 39.01
177.22/177.36	c    35617    595    46184 10389994  224    92396   22043  18342    775 45.90
177.22/177.36	c    43124    595    41856  7948767  189    83740   24248  14014    731 58.99
177.22/177.36	c    54487    595    39253  6470725  164    78534   26673  11411    676 80.53
177.22/177.36	c    71631    595    40173  6990041  173    80374   29341  12331    631 113.43
177.22/177.36	c    97450    595    47172 10923019  231    94372   32276  19330    589 165.33
177.22/177.36	o -29
316.78/316.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
316.78/316.94	c   104191    595    53914 14720490  273   107885   10280  26072    587 177.29
316.78/316.94	c   104292    595    33084  3007446   90    66197   11309   5242    577 180.48
316.78/316.94	c   104542    595    33334  3148026   94    66697   12440   5492    578 180.65
316.78/316.94	c   105017    595    33809  3414977  101    67647   13685   5967    580 180.92
316.78/316.94	c   105830    595    34622  3871546  111    69273   15054   6780    583 181.44
316.78/316.94	c   107150    595    35942  4613333  128    71913   16560   8100    584 183.17
316.78/316.94	c   109231    595    38023  5780597  152    76075   18217  10181    590 185.12
316.78/316.94	c   112455    595    41247  7592221  184    82523   20039  13405    597 188.20
316.78/316.94	c   117391    595    46183 10366805  224    92395   22043  18341    599 195.96
316.78/316.94	c   124897    595    41856  7920859  189    83741   24248  14014    604 206.55
316.78/316.94	c   136258    595    39268  6476938  164    78565   26673  11426    600 226.80
316.78/316.94	c   153404    595    40146  6966528  173    80321   29341  12304    583 262.81
316.78/316.94	o -30
1797.95/1798.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.55	c   171523    595    39432  6569180  166    78923   10280  11590    541 316.83
1797.95/1798.55	c   171624    595    33084  3000113   90    66198   11309   5242    540 317.69
1797.95/1798.55	c   171874    595    33334  3140059   94    66698   12440   5492    540 317.89
1797.95/1798.55	c   172350    595    33810  3407321  100    67650   13685   5968    541 318.27
1797.95/1798.55	c   173164    595    34624  3863502  111    69278   15054   6782    543 318.76
1797.95/1798.55	c   174485    595    35945  4604564  128    71920   16560   8103    545 319.75
1797.95/1798.55	c   176567    595    38027  5772340  151    76084   18217  10185    548 322.20
1797.95/1798.55	c   179790    595    41250  7579933  183    82530   20039  13408    552 325.66
1797.95/1798.55	c   184727    595    46187 10349711  224    92404   22043  18345    556 332.12
1797.95/1798.55	c   192234    595    41883  7930223  189    83796   24248  14041    559 343.43
1797.95/1798.55	c   203595    595    39283  6470356  164    78596   26673  11441    558 364.39
1797.95/1798.55	c   220740    595    40147  6955569  173    80324   29341  12305    545 404.71
1797.95/1798.55	c   246559    595    47186 10897031  230    94402   32276  19344    537 458.34
1797.95/1798.55	c   285392    595    42664  8358987  195    85358   35504  14822    481 592.85
1797.95/1798.55	c   343745    595    51351 13242107  257   102732   39055  23509    428 802.74
1797.95/1798.55	c   431377    595    54235 14852932  273   108500   42961  26393    379 1137.28
1797.95/1798.55	c Resources Exceeded
1797.95/1798.55	v -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1797.95/1798.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.55	c   52   557181  42422   609755    52215 13721141  24373    309 1798.00
1797.95/1798.55	c Objective: -30
1797.95/1798.55	s SATISFIABLE
1797.95/1798.55	c Total time: 1798 s

Verifier Data 

OK	-30

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657533-1276513156/watcher-2657533-1276513156 -o /tmp/evaluation-result-2657533-1276513156/solver-2657533-1276513156 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657533-1276513156.opb 

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


[startup+0 s]
/proc/loadavg: 1.12 1.07 1.01 3/106 31967
/proc/meminfo: memFree=1754548/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=11580 CPUtime=0
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 26919576 11857920 265 1992294400 134512640 137138936 4294010192 18446744073709551615 134603790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 2895 265 176 642 0 2088 0

[startup+0.082459 s]
/proc/loadavg: 1.12 1.07 1.01 3/106 31967
/proc/meminfo: memFree=1754548/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=13372 CPUtime=0.07
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 912 0 0 0 7 0 0 0 20 0 1 0 26919576 13692928 830 1992294400 134512640 137138936 4294010192 18446744073709551615 134520189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 3343 831 284 642 0 2536 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13372

[startup+0.10146 s]
/proc/loadavg: 1.12 1.07 1.01 3/106 31967
/proc/meminfo: memFree=1754548/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=13784 CPUtime=0.09
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 1054 0 0 0 9 0 0 0 20 0 1 0 26919576 14114816 972 1992294400 134512640 137138936 4294010192 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 3446 972 311 642 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13784

[startup+0.30148 s]
/proc/loadavg: 1.12 1.07 1.01 3/106 31967
/proc/meminfo: memFree=1754548/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=15668 CPUtime=0.29
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 1720 0 0 0 27 2 0 0 20 0 1 0 26919576 16044032 1475 1992294400 134512640 137138936 4294010192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 3917 1475 185 642 0 3273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15668

[startup+0.701526 s]
/proc/loadavg: 1.12 1.07 1.01 3/106 31967
/proc/meminfo: memFree=1754548/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=18776 CPUtime=0.69
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 2677 0 0 0 66 3 0 0 20 0 1 0 26919576 19226624 2245 1992294400 134512640 137138936 4294010192 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 4694 2245 191 642 0 4050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18776

[startup+1.5016 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 31968
/proc/meminfo: memFree=1741520/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=30196 CPUtime=1.49
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 5556 0 0 0 144 5 0 0 22 0 1 0 26919576 30920704 5124 1992294400 134512640 137138936 4294010192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 7549 5124 191 642 0 6905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30196

[startup+3.10077 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 31968
/proc/meminfo: memFree=1728128/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=47324 CPUtime=3.08
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 9822 0 0 0 301 7 0 0 25 0 1 0 26919576 48459776 9390 1992294400 134512640 137138936 4294010192 18446744073709551615 134576217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 11831 9390 191 642 0 11187 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47324

[startup+6.30109 s]
/proc/loadavg: 1.10 1.07 1.00 2/107 31968
/proc/meminfo: memFree=1701592/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=68188 CPUtime=6.29
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 15036 0 0 0 619 10 0 0 25 0 1 0 26919576 69824512 14604 1992294400 134512640 137138936 4294010192 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 17047 14604 191 642 0 16403 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68188

[startup+12.7007 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 31970
/proc/meminfo: memFree=1656332/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=110720 CPUtime=12.68
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 25663 0 0 0 1253 15 0 0 25 0 1 0 26919576 113377280 25231 1992294400 134512640 137138936 4294010192 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 27680 25233 191 642 0 27036 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 110720

[startup+25.5011 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 31970
/proc/meminfo: memFree=1599912/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=164940 CPUtime=25.48
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 39236 0 0 0 2522 26 0 0 25 0 1 0 26919576 168898560 38804 1992294400 134512640 137138936 4294010192 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 41235 38804 191 642 0 40591 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 164940

[startup+51.1017 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 31970
/proc/meminfo: memFree=1586272/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=178016 CPUtime=51.07
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 42501 0 0 0 5073 34 0 0 25 0 1 0 26919576 182288384 42069 1992294400 134512640 137138936 4294010192 18446744073709551615 136297746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 44504 42069 191 642 0 43860 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 178016

[startup+102.309 s]
/proc/loadavg: 1.04 1.06 1.00 2/107 31972
/proc/meminfo: memFree=1568912/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=195136 CPUtime=102.26
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 46783 0 0 0 10180 46 0 0 25 0 1 0 26919576 199819264 46351 1992294400 134512640 137138936 4294010192 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 48784 46351 191 642 0 48140 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 195136

[startup+162.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 31983
/proc/meminfo: memFree=1531960/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=231968 CPUtime=162.22
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 55996 0 0 0 16162 60 0 0 25 0 1 0 26919576 237535232 55564 1992294400 134512640 137138936 4294010192 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 57992 55564 191 642 0 57348 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 231968

[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 31983
/proc/meminfo: memFree=1531836/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=231952 CPUtime=222.21
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 55996 0 0 0 22149 72 0 0 25 0 1 0 26919576 237518848 55563 1992294400 134512640 137138936 4294010192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 57988 55563 191 642 0 57344 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 231952

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 31985
/proc/meminfo: memFree=1531836/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=231952 CPUtime=282.19
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 55996 0 0 0 28137 82 0 0 25 0 1 0 26919576 237518848 55563 1992294400 134512640 137138936 4294010192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 57988 55563 191 642 0 57344 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 231952

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 31987
/proc/meminfo: memFree=1531712/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=231952 CPUtime=342.17
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 55996 0 0 0 34126 91 0 0 25 0 1 0 26919576 237518848 55563 1992294400 134512640 137138936 4294010192 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 57988 55563 191 642 0 57344 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 231952

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31989
/proc/meminfo: memFree=1531712/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=231892 CPUtime=402.16
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 55996 0 0 0 40115 101 0 0 25 0 1 0 26919576 237457408 55548 1992294400 134512640 137138936 4294010192 18446744073709551615 134542466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 57973 55548 191 642 0 57329 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 231892

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31991
/proc/meminfo: memFree=1531588/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=231884 CPUtime=462.14
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 55996 0 0 0 46103 111 0 0 25 0 1 0 26919576 237449216 55546 1992294400 134512640 137138936 4294010192 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 57971 55546 191 642 0 57327 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 231884

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31991
/proc/meminfo: memFree=1511252/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=252284 CPUtime=522.12
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 61122 0 0 0 52090 122 0 0 25 0 1 0 26919576 258338816 60639 1992294400 134512640 137138936 4294010192 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 63071 60639 191 642 0 62427 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 252284

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31993
/proc/meminfo: memFree=1511128/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=252364 CPUtime=582.1
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 61151 0 0 0 58082 128 0 0 25 0 1 0 26919576 258420736 60666 1992294400 134512640 137138936 4294010192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 63091 60666 191 642 0 62447 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 252364

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31995
/proc/meminfo: memFree=1511128/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=252364 CPUtime=642.09
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 61151 0 0 0 64074 135 0 0 25 0 1 0 26919576 258420736 60666 1992294400 134512640 137138936 4294010192 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 63091 60666 191 642 0 62447 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 252364

[startup+702.301 s]

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

/proc/meminfo: memFree=1460784/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=301808 CPUtime=1061.96
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 73555 0 0 0 106001 195 0 0 25 0 1 0 26919576 309051392 72995 1992294400 134512640 137138936 4294010192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 75452 72995 191 642 0 74808 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 301808

[startup+1122.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 32010
/proc/meminfo: memFree=1460784/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=301624 CPUtime=1121.94
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 73555 0 0 0 111992 202 0 0 25 0 1 0 26919576 308862976 72981 1992294400 134512640 137138936 4294010192 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 75406 72981 191 642 0 74762 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 301624

[startup+1182.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 32012
/proc/meminfo: memFree=1437100/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=327344 CPUtime=1181.93
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 79969 0 0 0 117979 214 0 0 25 0 1 0 26919576 335200256 79395 1992294400 134512640 137138936 4294010192 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 81836 79395 191 642 0 81192 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 327344

[startup+1242.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 32014
/proc/meminfo: memFree=1432884/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329592 CPUtime=1241.9
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80585 0 0 0 123967 223 0 0 25 0 1 0 26919576 337502208 79968 1992294400 134512640 137138936 4294010192 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82398 79968 191 642 0 81754 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 329592

[startup+1302.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 32016
/proc/meminfo: memFree=1432884/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329592 CPUtime=1301.9
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80585 0 0 0 129962 228 0 0 25 0 1 0 26919576 337502208 79968 1992294400 134512640 137138936 4294010192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82398 79968 191 642 0 81754 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 329592

[startup+1362.3 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 32018
/proc/meminfo: memFree=1432884/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329592 CPUtime=1361.87
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80585 0 0 0 135955 232 0 0 25 0 1 0 26919576 337502208 79968 1992294400 134512640 137138936 4294010192 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82398 79968 191 642 0 81754 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 329592

[startup+1422.31 s]
/proc/loadavg: 1.15 1.08 1.01 2/107 32018
/proc/meminfo: memFree=1432884/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329592 CPUtime=1421.86
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80585 0 0 0 141949 237 0 0 25 0 1 0 26919576 337502208 79968 1992294400 134512640 137138936 4294010192 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82398 79968 191 642 0 81754 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 329592

[startup+1482.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 32020
/proc/meminfo: memFree=1432884/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329592 CPUtime=1481.83
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80585 0 0 0 147940 243 0 0 25 0 1 0 26919576 337502208 79968 1992294400 134512640 137138936 4294010192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82398 79968 191 642 0 81754 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 329592

[startup+1542.3 s]
/proc/loadavg: 1.05 1.06 1.00 3/107 32022
/proc/meminfo: memFree=1432884/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329592 CPUtime=1541.81
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80585 0 0 0 153934 247 0 0 25 0 1 0 26919576 337502208 79968 1992294400 134512640 137138936 4294010192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82398 79968 191 642 0 81754 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 329592

[startup+1602.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 32024
/proc/meminfo: memFree=1432760/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329500 CPUtime=1601.8
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80611 0 0 0 159927 253 0 0 25 0 1 0 26919576 337408000 79950 1992294400 134512640 137138936 4294010192 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82375 79950 191 642 0 81731 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 329500

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 32026
/proc/meminfo: memFree=1432760/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329500 CPUtime=1661.78
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80611 0 0 0 165918 260 0 0 25 0 1 0 26919576 337408000 79950 1992294400 134512640 137138936 4294010192 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82375 79950 191 642 0 81731 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 329500

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 32026
/proc/meminfo: memFree=1432636/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329500 CPUtime=1721.76
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80611 0 0 0 171912 264 0 0 25 0 1 0 26919576 337408000 79950 1992294400 134512640 137138936 4294010192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82375 79950 191 642 0 81731 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 329500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1781.74
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 177905 269 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 329432

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1791.35
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 178865 270 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 329432

[startup+1795.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1794.55
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 179184 271 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 329432

[startup+1796.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1796.14
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 179343 271 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 329432

[startup+1797.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1796.94
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 179423 271 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 329432

[startup+1798.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1797.74
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 179503 271 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 329432

[startup+1798.51 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 32028
/proc/meminfo: memFree=1432388/2059040 swapFree=4135652/4192956
[pid=31967] ppid=31965 vsize=329432 CPUtime=1797.95
/proc/31967/stat : 31967 (bsolo_pb10) R 31965 31967 31358 0 -1 4202496 80621 0 0 0 179524 271 0 0 25 0 1 0 26919576 337338368 79933 1992294400 134512640 137138936 4294010192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31967/statm: 82358 79933 191 642 0 81714 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 329432

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.04
CPU user time (s): 1795.29
CPU system time (s): 2.74958
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 329804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.29
system time used= 2.74958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3661

runsolver used 3.00354 second user time and 8.45471 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-14 12:59:16
IDJOB=2657533
IDBENCH=2270
IDSOLVER=1163
FILE ID=node002/2657533-1276513156
PBS_JOBID= 11173415
Free space on /tmp= 62456 MiB

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

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

MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a
RANDOM SEED=86175678

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1755076 kB
Buffers:         85536 kB
Cached:         127784 kB
SwapCached:      10384 kB
Active:         108836 kB
Inactive:       117068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1755076 kB
SwapTotal:     4192956 kB
SwapFree:      4135652 kB
Dirty:            4652 kB
Writeback:           0 kB
AnonPages:       10904 kB
Mapped:           9128 kB
Slab:            56280 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181712 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62452 MiB
End job on node002 at 2010-06-14 13:29:15