Trace number 3462775

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.2SAT-63 1798.01 1798.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_1.opb
MD5SUM7980660368cd371c40e33d6668082e41
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -64
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint48
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15716
Sum of products size (including duplicates)31432
Number of different products7858
Sum of products size15716

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462775-1307182759.opb
0.00/0.00	c File size is 203180 bytes.
0.02/0.03	c Highest Coefficient sum: 500
0.02/0.03	c Parsing was ok!!
0.02/0.03	c Total parsing time: 0.035 s
0.02/0.04	c Var: 16216 Constr: 32432 16216/500/15716 Lit: 125728 Watch. Lit: 94296
0.02/0.04	c Obj. Vars: 500 (3.08337 % of total variables)
0.09/0.17	c Pre-processing Time: 0.169 s
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    500     7858    23574    3    15716    2619      0      0 0.17
0.09/0.17	c Switching off lower bounding mode.
0.09/0.17	o -58
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0    500     7859    24074    3    15776    3619      1      0 0.17
0.19/0.21	o -59
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c       69    500     7929    54863    6    15975    3619     71    330 0.21
0.39/0.41	c      170    500     8030    99139   12    16177    3981    172    643 0.26
0.39/0.41	c      421    500     8281   209037   25    16679    4380    423   1036 0.41
0.39/0.41	o -60
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c      438    500     8299   216986   26    16775    3619    441   1052 0.42
1.39/1.44	c      539    500     8400   261090   31    16977    3981    542   1139 0.47
1.39/1.44	c      789    500     8651   370661   42    17479    4380    793   1280 0.62
1.39/1.44	c     1264    500     9126   578150   63    18429    4819   1268   1404 0.90
1.39/1.44	c     2078    500     9940   933567   93    20057    5301   2082   1477 1.41
1.39/1.44	o -61
330.12/330.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
330.12/330.24	c     2141    500    10004   961622   96    20246    3619   2146   1483 1.44
330.12/330.24	c     2243    500    10107  1006456   99    20452    3981   2249   1492 1.50
330.12/330.24	c     2494    500    10358  1115795  107    20954    4380   2500   1515 1.65
330.12/330.24	c     2970    500    10836  1323942  122    21910    4819   2978   1523 1.95
330.12/330.24	c     3783    500    11650  1678822  144    23538    5301   3792   1542 2.45
330.12/330.24	c     5103    500    12973  2255173  173    26184    5832   5115   1492 3.42
330.12/330.24	c     7184    500    15065  3164033  210    30427    6416   7207   1457 4.93
330.12/330.24	c    10407    500    18294  4571087  249    36885    7058  10436   1340 7.76
330.12/330.24	c    15344    500    23240  6726796  289    46777    7764  15382   1337 11.47
330.12/330.24	c    22850    500    30764 10000408  325    61884    8541  22906   1216 18.79
330.12/330.24	c    34211    500    21713  6051347  278    43546    9396  13855   1092 31.31
330.12/330.24	c    51355    500    18032  4452848  246    36125   10336  10174   1023 50.19
330.12/330.24	c    77175    500    22595  6440030  285    45251   11370  14737    868 88.85
330.12/330.24	c   116008    500    17793  4292121  241    35908   12508   9935    777 149.24
330.12/330.24	c   174361    500    31463 10232857  325    63153   13759  23605    716 243.37
330.12/330.24	o -62
1031.20/1031.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1031.20/1031.39	c   215596    500    26761  8026656  299    54529    3619  18903    652 330.17
1031.20/1031.39	c   215697    500    26862  8070613  300    54731    3981  19004    653 330.27
1031.20/1031.39	c   215948    500    27116  8180916  301    55239    4380  19258    653 330.52
1031.20/1031.39	c   216424    500    27593  8388357  304    56193    4819  19735    654 330.88
1031.20/1031.39	c   217238    500    10269  1062644  103    20659    5301   2411    653 332.45
1031.20/1031.39	c   218558    500    11593  1638192  141    23307    5832   3735    655 333.36
1031.20/1031.39	c   220639    500    13682  2546456  186    27485    6416   5824    658 334.88
1031.20/1031.39	c   223862    500    16917  3952506  233    33955    7058   9059    663 337.36
1031.20/1031.39	c   228798    500    21859  6090969  278    43898    7764  14001    670 341.29
1031.20/1031.39	c   236304    500    29391  9363383  318    58962    8541  21533    675 349.63
1031.20/1031.39	c   247665    500    20334  5445812  267    40730    9396  12476    684 361.64
1031.20/1031.39	c   264810    500    16692  3847618  230    33562   10336   8834    695 380.97
1031.20/1031.39	c   290629    500    21245  5785686  272    42721   11370  13387    701 414.41
1031.20/1031.39	c   329462    500    16463  3755221  228    32988   12508   8605    679 484.68
1031.20/1031.39	c   387814    500    30121  9497116  315    60648   13759  22263    664 583.72
1031.20/1031.39	c   475447    500    25827  7610154  294    52692   15135  17969    614 774.01
1031.20/1031.39	c   606999    500    15427  3214371  208    31428   16649   7569    588 1031.20
1031.20/1031.39	o -63
1797.90/1798.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.09	c   607121    500    15550  3267980  210    31737    3619   7692    588 1031.30
1797.90/1798.09	c   607221    500    15650  3311406  211    31937    3981   7792    588 1031.37
1797.90/1798.09	c   607472    500    15901  3420344  215    32439    4380   8043    588 1031.54
1797.90/1798.09	c   607949    500    16378  3627168  221    33393    4819   8520    589 1031.87
1797.90/1798.09	c   608763    500    17193  3980493  231    35023    5301   9335    589 1032.47
1797.90/1798.09	c   610083    500    18516  4554022  245    37669    5832  10658    590 1033.53
1797.90/1798.09	c   612164    500    20608  5459829  264    41913    6416  12750    591 1035.30
1797.90/1798.09	c   615387    500    23842  6854708  287    48441    7058  15984    592 1038.46
1797.90/1798.09	c   620324    500    28796  9002949  312    58349    7764  20938    594 1043.39
1797.90/1798.09	c   627830    500    16259  3668845  225    32581    8541   8401    596 1052.39
1797.90/1798.09	c   639191    500    27651  8607587  311    55365    9396  19793    600 1064.55
1797.90/1798.09	c   656335    500    23953  6986005  291    48091   10336  16095    603 1087.07
1797.90/1798.09	c   682154    500    28507  8941935  313    57194   11370  20649    610 1116.95
1797.90/1798.09	c   720986    500    23761  6735929  283    48126   12508  15903    608 1184.64
1797.90/1798.09	c   779339    500    15013  3092890  206    30089   13759   7155    603 1291.23
1797.90/1798.09	c   866971    500    33761 10959312  324    69105   15135  25903    596 1453.17
1797.90/1798.09	c   998524    500    23285  6620529  284    46815   16649  15427    586 1703.83
1797.90/1798.09	c Resources Exceeded
1797.90/1798.09	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 x426 -x427 -x428 x429 x430 -x431 x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 x442 -x443 -x444 x445 -x446 -x447 x448 -x449 -x450 x451 x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 x476 -x477 -x478 x479 -x480 -x481 x482 -x483 x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 
1797.90/1798.09	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.09	c   58  1053046 165284  1302804    28982  8912267  21124    585 1798.00
1797.90/1798.09	c Objective: -63
1797.90/1798.09	s SATISFIABLE
1797.90/1798.09	c Total time: 1798 s

Verifier Data 

OK	-63

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462775-1307182759/watcher-3462775-1307182759 -o /tmp/evaluation-result-3462775-1307182759/solver-3462775-1307182759 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462775-1307182759.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 2/511 7250
/proc/meminfo: memFree=16680284/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=12088 CPUtime=0 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 564 0 0 0 0 0 0 0 25 0 1 0 810692054 12378112 518 33554432000 134512640 137138936 4293656272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 3022 519 183 642 0 2328 0

[startup+0.02155 s]
/proc/loadavg: 2.01 2.03 2.00 2/511 7250
/proc/meminfo: memFree=16680284/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=13732 CPUtime=0.02 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 996 0 0 0 2 0 0 0 25 0 1 0 810692054 14061568 950 33554432000 134512640 137138936 4293656272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 3433 951 200 642 0 2739 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13732

[startup+0.100536 s]
/proc/loadavg: 2.01 2.03 2.00 2/511 7250
/proc/meminfo: memFree=16680284/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=19632 CPUtime=0.09 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 2503 0 0 0 9 0 0 0 18 0 1 0 810692054 20103168 2407 33554432000 134512640 137138936 4293656272 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 4908 2407 185 642 0 4264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19632

[startup+0.3005 s]
/proc/loadavg: 2.01 2.03 2.00 2/511 7250
/proc/meminfo: memFree=16680284/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=20836 CPUtime=0.29 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 2946 0 0 0 28 1 0 0 18 0 1 0 810692054 21336064 2722 33554432000 134512640 137138936 4293656272 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 5209 2722 192 642 0 4565 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20836

[startup+0.700428 s]
/proc/loadavg: 2.01 2.03 2.00 2/511 7250
/proc/meminfo: memFree=16680284/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=24388 CPUtime=0.69 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 3847 0 0 0 68 1 0 0 18 0 1 0 810692054 24973312 3623 33554432000 134512640 137138936 4293656272 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 6097 3623 192 642 0 5453 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24388

[startup+1.50029 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7251
/proc/meminfo: memFree=16662792/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=31168 CPUtime=1.49 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 5518 0 0 0 148 1 0 0 19 0 1 0 810692054 31916032 5294 33554432000 134512640 137138936 4293656272 18446744073709551615 134603271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 7792 5294 192 642 0 7148 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31168

[startup+3.10101 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7251
/proc/meminfo: memFree=16652564/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=44204 CPUtime=3.09 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 8792 0 0 0 307 2 0 0 25 0 1 0 810692054 45264896 8568 33554432000 134512640 137138936 4293656272 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 11051 8568 192 642 0 10407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44204

[startup+6.30044 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7251
/proc/meminfo: memFree=16626276/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=67844 CPUtime=6.29 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 14701 0 0 0 625 4 0 0 25 0 1 0 810692054 69472256 14477 33554432000 134512640 137138936 4293656272 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 16961 14477 192 642 0 16317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67844

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7251
/proc/meminfo: memFree=16579736/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=112764 CPUtime=12.69 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 25920 0 0 0 1262 7 0 0 25 0 1 0 810692054 115470336 25696 33554432000 134512640 137138936 4293656272 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 28191 25696 192 642 0 27547 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112764

[startup+25.5011 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7251
/proc/meminfo: memFree=16531372/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=155920 CPUtime=25.49 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 36727 0 0 0 2539 10 0 0 25 0 1 0 810692054 159662080 36503 33554432000 134512640 137138936 4293656272 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 38980 36503 192 642 0 38336 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 155920

[startup+51.1006 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7253
/proc/meminfo: memFree=16527760/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=160900 CPUtime=51.09 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 37954 0 0 0 5097 12 0 0 25 0 1 0 810692054 164761600 37730 33554432000 134512640 137138936 4293656272 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 40225 37730 192 642 0 39581 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 160900

[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7256
/proc/meminfo: memFree=16522900/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=166732 CPUtime=102.31 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 39428 0 0 0 10215 16 0 0 25 0 1 0 810692054 170733568 39204 33554432000 134512640 137138936 4293656272 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 41683 39204 192 642 0 41039 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 166732

[startup+162.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/512 7257
/proc/meminfo: memFree=16514820/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=172548 CPUtime=162.22 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 40891 0 0 0 16202 20 0 0 25 0 1 0 810692054 176689152 40667 33554432000 134512640 137138936 4293656272 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 43137 40667 192 642 0 42493 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 172548

[startup+222.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/512 7260
/proc/meminfo: memFree=16510076/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=177660 CPUtime=222.22 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 42142 0 0 0 22198 24 0 0 25 0 1 0 810692054 181923840 41918 33554432000 134512640 137138936 4293656272 18446744073709551615 134551922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 44415 41918 192 642 0 43771 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 177660

[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 7262
/proc/meminfo: memFree=16503472/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=185228 CPUtime=282.22 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 44034 0 0 0 28194 28 0 0 25 0 1 0 810692054 189673472 43810 33554432000 134512640 137138936 4293656272 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 46307 43810 192 642 0 45663 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 185228

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/512 7268
/proc/meminfo: memFree=16503956/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=183984 CPUtime=342.22 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 44034 0 0 0 34190 32 0 0 25 0 1 0 810692054 188399616 43531 33554432000 134512640 137138936 4293656272 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 45996 43531 192 642 0 45352 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 183984

[startup+402.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/512 7271
/proc/meminfo: memFree=16504016/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=183984 CPUtime=402.22 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 44034 0 0 0 40186 36 0 0 25 0 1 0 810692054 188399616 43531 33554432000 134512640 137138936 4293656272 18446744073709551615 134551023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 45996 43531 192 642 0 45352 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 183984

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/512 7274
/proc/meminfo: memFree=16503748/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=183568 CPUtime=462.21 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 44034 0 0 0 46180 41 0 0 25 0 1 0 810692054 187973632 43427 33554432000 134512640 137138936 4293656272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 45892 43427 192 642 0 45248 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 183568

[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16503852/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=183568 CPUtime=522.21 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 44034 0 0 0 52175 46 0 0 25 0 1 0 810692054 187973632 43427 33554432000 134512640 137138936 4293656272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 45892 43427 192 642 0 45248 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 183568

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7310
/proc/meminfo: memFree=16512940/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=183164 CPUtime=582.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 44034 0 0 0 58170 50 0 0 25 0 1 0 810692054 187559936 43326 33554432000 134512640 137138936 4293656272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 45791 43326 192 642 0 45147 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 183164

[startup+642.301 s]

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

/proc/meminfo: memFree=16484836/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=189112 CPUtime=1062.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 106133 87 0 0 25 0 1 0 810692054 193650688 44813 33554432000 134512640 137138936 4293656272 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47278 44813 192 642 0 46634 0
Current children cumulated CPU time (s) 1062.2
Current children cumulated vsize (KiB) 189112

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/512 7327
/proc/meminfo: memFree=16480348/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=189112 CPUtime=1122.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 112128 92 0 0 25 0 1 0 810692054 193650688 44813 33554432000 134512640 137138936 4293656272 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47278 44813 192 642 0 46634 0
Current children cumulated CPU time (s) 1122.2
Current children cumulated vsize (KiB) 189112

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/512 7328
/proc/meminfo: memFree=16477720/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=188676 CPUtime=1182.19 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 118123 96 0 0 25 0 1 0 810692054 193204224 44704 33554432000 134512640 137138936 4293656272 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47169 44704 192 642 0 46525 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 188676

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7331
/proc/meminfo: memFree=16476312/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=188676 CPUtime=1242.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 124119 101 0 0 25 0 1 0 810692054 193204224 44704 33554432000 134512640 137138936 4293656272 18446744073709551615 134533403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47169 44704 192 642 0 46525 0
Current children cumulated CPU time (s) 1242.2
Current children cumulated vsize (KiB) 188676

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7333
/proc/meminfo: memFree=16476024/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=188676 CPUtime=1302.21 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 130115 106 0 0 25 0 1 0 810692054 193204224 44704 33554432000 134512640 137138936 4293656272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47169 44704 192 642 0 46525 0
Current children cumulated CPU time (s) 1302.21
Current children cumulated vsize (KiB) 188676

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7334
/proc/meminfo: memFree=16476000/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=188676 CPUtime=1362.19 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 136109 110 0 0 25 0 1 0 810692054 193204224 44704 33554432000 134512640 137138936 4293656272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47169 44704 192 642 0 46525 0
Current children cumulated CPU time (s) 1362.19
Current children cumulated vsize (KiB) 188676

[startup+1422.32 s]
/proc/loadavg: 2.16 2.04 2.01 3/512 7336
/proc/meminfo: memFree=16477432/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=188676 CPUtime=1422.21 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 45872 0 0 0 142107 114 0 0 25 0 1 0 810692054 193204224 44704 33554432000 134512640 137138936 4293656272 18446744073709551615 134599709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47169 44704 192 642 0 46525 0
Current children cumulated CPU time (s) 1422.21
Current children cumulated vsize (KiB) 188676

[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/512 7337
/proc/meminfo: memFree=16476660/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=189336 CPUtime=1482.19 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 46029 0 0 0 148101 118 0 0 25 0 1 0 810692054 193880064 44861 33554432000 134512640 137138936 4293656272 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47334 44861 192 642 0 46690 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 189336

[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/512 7340
/proc/meminfo: memFree=16474632/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=191712 CPUtime=1542.19 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 46622 0 0 0 154096 123 0 0 25 0 1 0 810692054 196313088 45454 33554432000 134512640 137138936 4293656272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47928 45454 192 642 0 47284 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 191712

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/512 7341
/proc/meminfo: memFree=16476100/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=189788 CPUtime=1602.19 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 46622 0 0 0 160093 126 0 0 25 0 1 0 810692054 194342912 44982 33554432000 134512640 137138936 4293656272 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47447 44982 192 642 0 46803 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 189788

[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/512 7344
/proc/meminfo: memFree=16476316/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=189788 CPUtime=1662.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 46622 0 0 0 166090 130 0 0 25 0 1 0 810692054 194342912 44982 33554432000 134512640 137138936 4293656272 18446744073709551615 134603268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 47447 44982 192 642 0 46803 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 189788

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 7346
/proc/meminfo: memFree=16475668/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=192084 CPUtime=1722.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 47184 0 0 0 172084 136 0 0 25 0 1 0 810692054 196694016 45544 33554432000 134512640 137138936 4293656272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 48021 45544 192 642 0 47377 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 192084

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7347
/proc/meminfo: memFree=16465608/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=199548 CPUtime=1782.2 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 49042 0 0 0 178080 140 0 0 25 0 1 0 810692054 204337152 47402 33554432000 134512640 137138936 4293656272 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 49887 47402 192 642 0 49243 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 199548

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

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466704/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=199548 CPUtime=1791.82 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 49042 0 0 0 179041 141 0 0 25 0 1 0 810692054 204337152 47402 33554432000 134512640 137138936 4293656272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 49887 47402 192 642 0 49243 0
Current children cumulated CPU time (s) 1791.82
Current children cumulated vsize (KiB) 199548

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466332/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=199548 CPUtime=1795.01 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 49042 0 0 0 179360 141 0 0 25 0 1 0 810692054 204337152 47402 33554432000 134512640 137138936 4293656272 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 49887 47402 192 642 0 49243 0
Current children cumulated CPU time (s) 1795.01
Current children cumulated vsize (KiB) 199548

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466704/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=199548 CPUtime=1796.6 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 49042 0 0 0 179519 141 0 0 25 0 1 0 810692054 204337152 47402 33554432000 134512640 137138936 4293656272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 49887 47402 192 642 0 49243 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 199548

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466332/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=199548 CPUtime=1797.4 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 49042 0 0 0 179599 141 0 0 25 0 1 0 810692054 204337152 47402 33554432000 134512640 137138936 4293656272 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 49887 47402 192 642 0 49243 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 199548

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466332/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=199548 CPUtime=1797.8 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202496 49042 0 0 0 179639 141 0 0 25 0 1 0 810692054 204337152 47402 33554432000 134512640 137138936 4293656272 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7250/statm: 49887 47402 192 642 0 49243 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 199548

[startup+1798.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7348
/proc/meminfo: memFree=16466332/32951124 swapFree=67111204/67111528
[pid=7250] ppid=7248 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/7250/stat : 7250 (bsolo) R 7248 7250 5093 0 -1 4202500 49043 0 0 0 179658 142 0 0 25 0 1 0 810692054 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/7250/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.11
CPU time (s): 1798.01
CPU user time (s): 1796.58
CPU system time (s): 1.42978
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 199548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49043
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= 6
involuntary context switches= 3027

runsolver used 8.86765 second user time and 21.0488 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-04 12:19:19
IDJOB=3462775
IDBENCH=48191
IDSOLVER=1955
FILE ID=node144/3462775-1307182759
RUNJOBID= node144-1307175565-6573
PBS_JOBID= 13508845
Free space on /tmp= 73924 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462775-1307182759/watcher-3462775-1307182759 -o /tmp/evaluation-result-3462775-1307182759/solver-3462775-1307182759 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462775-1307182759.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7980660368cd371c40e33d6668082e41
RANDOM SEED=2104567865

node144.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16680564 kB
Buffers:        313768 kB
Cached:         473492 kB
SwapCached:        140 kB
Active:       15585324 kB
Inactive:       410680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16680564 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:            3912 kB
Writeback:           0 kB
AnonPages:    15208796 kB
Mapped:          43160 kB
Slab:           136160 kB
PageTables:      69364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 157821376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73920 MiB
End job on node144 at 2011-06-04 12:49:18