Trace number 3462760

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-108 1798.01 1797.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_1.opb
MD5SUM6a7c5d2366cf8704587c2ca2c97e69d0
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-112
Best CPU time to get the best result obtained on this benchmark1800.18
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -111
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 constraint10
Maximum length of a constraint22
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)6318
Sum of products size (including duplicates)12636
Number of different products3159
Sum of products size6318

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-3462760-1307182676.opb
0.00/0.00	c File size is 85897 bytes.
0.00/0.01	c Highest Coefficient sum: 500
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 6818 Constr: 13636 6818/500/6318 Lit: 50544 Watch. Lit: 37908
0.00/0.01	c Obj. Vars: 500 (7.33353 % of total variables)
0.02/0.04	c Pre-processing Time: 0.047 s
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c        0    500     3159     9477    3     6318    1052      0      0 0.05
0.02/0.04	c Switching off lower bounding mode.
0.02/0.04	o -104
0.02/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.05	c        0    500     3160     9977    3     6424    2052      1      0 0.05
0.02/0.05	o -105
1003.72/1003.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1003.72/1003.76	c       12    500     3173    15202    4     6555    2052     14    222 0.05
1003.72/1003.76	c      112    500     3273    54394   16     6755    2258    114   1076 0.10
1003.72/1003.76	c      362    500     3523   152465   43     7255    2484    364   1547 0.23
1003.72/1003.76	c      837    500     4000   339493   84     8209    2733    841   1715 0.49
1003.72/1003.76	c     1650    500     4814   658739  136     9837    3007   1655   1713 0.96
1003.72/1003.76	c     2971    500     6137  1177906  191    12483    3308   2978   1663 1.79
1003.72/1003.76	c     5053    500     8219  1994874  242    16647    3639   5060   1652 3.06
1003.72/1003.76	c     8277    500    11455  3263175  284    23119    4003   8296   1631 5.07
1003.72/1003.76	c    13213    500     7633  1762464  230    15371    4404   4474   1582 8.35
1003.72/1003.76	c    20720    500     6173  1192701  193    12451    4845   3014   1413 14.66
1003.72/1003.76	c    32082    500     8365  2043366  244    17039    5330   5206   1445 22.19
1003.72/1003.76	c    49226    500     6644  1368291  205    13393    5864   3485   1363 36.10
1003.72/1003.76	c    75045    500    13062  3892985  298    26229    6451   9903   1298 57.81
1003.72/1003.76	c   113878    500    11981  3455684  288    24067    7097   8822   1287 88.48
1003.72/1003.76	c   172230    500     8481  2073033  244    17067    7807   5322   1186 145.15
1003.72/1003.76	c   259863    500    10871  2961152  272    22222    8588   7712   1117 232.54
1003.72/1003.76	c   391416    500     9840  2629069  267    19785    9447   6681   1028 380.55
1003.72/1003.76	c   588848    500    12416  3523518  283    25298   10392   9257   1002 587.19
1003.72/1003.76	c   885102    500    10282  2712725  263    20854   11432   7123    953 928.40
1003.72/1003.76	o -106
1005.33/1005.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1005.33/1005.34	c   953016    500    15792  4961571  314    31795    2052  12633    949 1003.79
1005.33/1005.34	c   953117    500     4287   451520  105     8680    2258   1128    949 1004.02
1005.33/1005.34	c   953367    500     4537   549370  121     9180    2484   1378    949 1004.15
1005.33/1005.34	c   953842    500     5012   734999  146    10130    2733   1853    949 1004.41
1005.33/1005.34	c   954655    500     5825  1052997  180    11756    3007   2666    949 1004.91
1005.33/1005.34	o -107
1595.14/1595.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1595.14/1595.13	c   955441    500     6612  1361170  205    13437    2052   3453    950 1005.37
1595.14/1595.13	c   955541    500     6712  1400170  208    13637    2258   3553    950 1005.43
1595.14/1595.13	c   955791    500     6962  1497744  215    14137    2484   3803    950 1005.56
1595.14/1595.13	c   956267    500     7438  1683572  226    15089    2733   4279    950 1005.82
1595.14/1595.13	c   957080    500     8251  2000863  242    16715    3007   5092    951 1006.27
1595.14/1595.13	c   958401    500     9575  2517036  262    19363    3308   6416    951 1007.08
1595.14/1595.13	c   960482    500    11657  3328979  285    23527    3639   8498    952 1008.35
1595.14/1595.13	c   963705    500     6287  1229503  195    12681    4003   3128    953 1010.51
1595.14/1595.13	c   968642    500    11232  3159869  281    22571    4404   8073    955 1014.12
1595.14/1595.13	c   976148    500     9777  2583550  264    19661    4845   6618    956 1020.74
1595.14/1595.13	c   987509    500    11968  3427456  286    24249    5330   8809    959 1029.67
1595.14/1595.13	c  1004654    500    10255  2770571  270    20722    5864   7096    962 1044.03
1595.14/1595.13	c  1030473    500     6982  1500684  214    14071    6451   3823    964 1068.85
1595.14/1595.13	c  1069306    500    15832  4955569  313    31771    7097  12673    969 1102.75
1595.14/1595.13	c  1127659    500    12472  3624537  290    25051    7807   9313    976 1154.31
1595.14/1595.13	c  1215292    500    14844  4556058  306    29900    8588  11685    972 1249.20
1595.14/1595.13	c  1346845    500    13886  4083511  294    27975    9447  10727    987 1364.46
1595.14/1595.13	o -108
1797.95/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.95	c  1522003    500    16622  5133537  308    34373    2052  13463    954 1595.18
1797.95/1797.95	c  1522103    500     4286   435295  101     8680    2258   1127    953 1595.68
1797.95/1797.95	c  1522355    500     4538   533355  117     9184    2484   1379    953 1595.82
1797.95/1797.95	c  1522831    500     5014   718743  143    10136    2733   1855    954 1596.07
1797.95/1797.95	c  1523645    500     5828  1035520  177    11764    3007   2669    954 1596.53
1797.95/1797.95	c  1524966    500     7156  1551743  216    14420    3308   3997    954 1597.31
1797.95/1797.95	c  1527048    500     9243  2364009  255    18594    3639   6084    955 1598.59
1797.95/1797.95	c  1530272    500    12473  3619860  290    25054    4003   9314    955 1600.73
1797.95/1797.95	c  1535208    500     8653  2144521  247    17519    4404   5494    957 1603.86
1797.95/1797.95	c  1542714    500     7208  1579019  219    14629    4845   4049    958 1608.85
1797.95/1797.95	c  1554075    500     9405  2407301  255    19119    5330   6246    960 1618.58
1797.95/1797.95	c  1571219    500     7755  1788454  230    15618    5864   4596    962 1632.33
1797.95/1797.95	c  1597039    500    14240  4301779  302    28798    6451  11081    965 1653.28
1797.95/1797.95	c  1635871    500    13083  3872806  296    26274    7097   9924    970 1686.35
1797.95/1797.95	c  1694223    500     9743  2534501  260    19696    7807   6584    976 1735.86
1797.95/1797.95	c Resources Exceeded
1797.95/1797.95	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.95/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.95	c   57  1752112 382968  2516988    14313  4350542  11154    974 1798.00
1797.95/1797.95	c Objective: -108
1797.95/1797.95	s SATISFIABLE
1797.95/1797.95	c Total time: 1798 s

Verifier Data 

OK	-108

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-3462760-1307182676/watcher-3462760-1307182676 -o /tmp/evaluation-result-3462760-1307182676/solver-3462760-1307182676 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462760-1307182676.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.03 2.05 2.00 2/453 25569
/proc/meminfo: memFree=31738024/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=12244 CPUtime=0.01 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 641 0 0 0 1 0 0 0 25 0 1 0 829865500 12537856 595 33554432000 134512640 137138936 4288718272 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 3061 596 187 642 0 2396 0

[startup+0.0331109 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 25569
/proc/meminfo: memFree=31738024/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=14240 CPUtime=0.02 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 1185 0 0 0 2 0 0 0 25 0 1 0 829865500 14581760 1118 33554432000 134512640 137138936 4288718272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 3560 1118 185 642 0 2916 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14240

[startup+0.101099 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 25569
/proc/meminfo: memFree=31738024/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=14716 CPUtime=0.09 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 1339 0 0 0 9 0 0 0 25 0 1 0 829865500 15069184 1249 33554432000 134512640 137138936 4288718272 18446744073709551615 134552304 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 3679 1249 192 642 0 3035 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14716

[startup+0.301059 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 25569
/proc/meminfo: memFree=31738024/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=16540 CPUtime=0.29 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 1786 0 0 0 29 0 0 0 25 0 1 0 829865500 16936960 1696 33554432000 134512640 137138936 4288718272 18446744073709551615 134551431 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 4135 1696 192 642 0 3491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16540

[startup+0.700988 s]
/proc/loadavg: 2.03 2.05 2.00 2/453 25569
/proc/meminfo: memFree=31738024/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=19900 CPUtime=0.69 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 2637 0 0 0 69 0 0 0 25 0 1 0 829865500 20377600 2547 33554432000 134512640 137138936 4288718272 18446744073709551615 136500245 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 4975 2547 192 642 0 4331 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19900

[startup+1.50084 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25570
/proc/meminfo: memFree=31725492/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=26604 CPUtime=1.49 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 4309 0 0 0 148 1 0 0 25 0 1 0 829865500 27242496 4219 33554432000 134512640 137138936 4288718272 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 6651 4219 192 642 0 6007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26604

[startup+3.10055 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25570
/proc/meminfo: memFree=31670312/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=39620 CPUtime=3.09 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 7567 0 0 0 307 2 0 0 25 0 1 0 829865500 40570880 7477 33554432000 134512640 137138936 4288718272 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 9905 7477 192 642 0 9261 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39620

[startup+6.30097 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25570
/proc/meminfo: memFree=31688440/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=65172 CPUtime=6.29 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 13944 0 0 0 626 3 0 0 25 0 1 0 829865500 66736128 13854 33554432000 134512640 137138936 4288718272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 16293 13854 192 642 0 15649 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65172

[startup+12.7008 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25570
/proc/meminfo: memFree=31666736/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=68036 CPUtime=12.69 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 14669 0 0 0 1265 4 0 0 25 0 1 0 829865500 69668864 14579 33554432000 134512640 137138936 4288718272 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 17009 14579 192 642 0 16365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68036

[startup+25.5005 s]
/proc/loadavg: 2.02 2.05 2.00 3/454 25571
/proc/meminfo: memFree=31628556/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=72404 CPUtime=25.5 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 15750 0 0 0 2543 7 0 0 25 0 1 0 829865500 74141696 15660 33554432000 134512640 137138936 4288718272 18446744073709551615 134599754 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 18101 15660 192 642 0 17457 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 72404

[startup+51.1008 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 25598
/proc/meminfo: memFree=31734816/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=77756 CPUtime=51.09 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 17093 0 0 0 5099 10 0 0 25 0 1 0 829865500 79622144 17003 33554432000 134512640 137138936 4288718272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 19439 17003 192 642 0 18795 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77756

[startup+102.318 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25600
/proc/meminfo: memFree=31706296/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=83688 CPUtime=102.31 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 18579 0 0 0 10214 17 0 0 25 0 1 0 829865500 85696512 18489 33554432000 134512640 137138936 4288718272 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 20922 18489 192 642 0 20278 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 83688

[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25601
/proc/meminfo: memFree=31698952/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=87452 CPUtime=162.3 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 19507 0 0 0 16206 24 0 0 25 0 1 0 829865500 89550848 19417 33554432000 134512640 137138936 4288718272 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 21863 19417 192 642 0 21219 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 87452

[startup+222.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/454 25603
/proc/meminfo: memFree=31698060/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=87620 CPUtime=222.3 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 19561 0 0 0 22199 31 0 0 25 0 1 0 829865500 89722880 19471 33554432000 134512640 137138936 4288718272 18446744073709551615 134602805 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 21905 19471 192 642 0 21261 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 87620

[startup+282.301 s]
/proc/loadavg: 2.18 2.07 2.02 3/454 25605
/proc/meminfo: memFree=31694172/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=91564 CPUtime=282.3 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 20550 0 0 0 28193 37 0 0 25 0 1 0 829865500 93761536 20460 33554432000 134512640 137138936 4288718272 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 22891 20460 192 642 0 22247 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 91564

[startup+342.301 s]
/proc/loadavg: 2.13 2.07 2.02 3/454 25606
/proc/meminfo: memFree=31694148/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=91608 CPUtime=342.3 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 20564 0 0 0 34188 42 0 0 25 0 1 0 829865500 93806592 20474 33554432000 134512640 137138936 4288718272 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 22902 20474 192 642 0 22258 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 91608

[startup+402.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/454 25608
/proc/meminfo: memFree=31690892/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=95780 CPUtime=402.3 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 21627 0 0 0 40182 48 0 0 25 0 1 0 829865500 98078720 21511 33554432000 134512640 137138936 4288718272 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 23945 21511 192 642 0 23301 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 95780

[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/454 25609
/proc/meminfo: memFree=31690248/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=95780 CPUtime=462.31 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 21627 0 0 0 46177 54 0 0 25 0 1 0 829865500 98078720 21511 33554432000 134512640 137138936 4288718272 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 23945 21511 192 642 0 23301 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 95780

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 25611
/proc/meminfo: memFree=31690844/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=95688 CPUtime=522.31 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 21627 0 0 0 52170 61 0 0 25 0 1 0 829865500 97984512 21494 33554432000 134512640 137138936 4288718272 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 23922 21494 192 642 0 23278 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 95688

[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/454 25613
/proc/meminfo: memFree=31690820/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=95676 CPUtime=582.31 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 21627 0 0 0 58163 68 0 0 25 0 1 0 829865500 97972224 21491 33554432000 134512640 137138936 4288718272 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 23919 21491 192 642 0 23275 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 95676

[startup+642.3 s]

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

/proc/meminfo: memFree=31676812/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=103416 CPUtime=1062.32 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 106110 122 0 0 25 0 1 0 829865500 105897984 23426 33554432000 134512640 137138936 4288718272 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25854 23426 192 642 0 25210 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 103416

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25627
/proc/meminfo: memFree=31674804/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=103300 CPUtime=1122.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 112103 130 0 0 25 0 1 0 829865500 105779200 23397 33554432000 134512640 137138936 4288718272 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25825 23397 192 642 0 25181 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 103300

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25629
/proc/meminfo: memFree=31674784/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=103296 CPUtime=1182.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 118096 137 0 0 25 0 1 0 829865500 105775104 23396 33554432000 134512640 137138936 4288718272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25824 23396 192 642 0 25180 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 103296

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25630
/proc/meminfo: memFree=31674628/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=103280 CPUtime=1242.32 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 124089 143 0 0 25 0 1 0 829865500 105758720 23392 33554432000 134512640 137138936 4288718272 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25820 23392 192 642 0 25176 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 103280

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 25632
/proc/meminfo: memFree=31674600/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=103116 CPUtime=1302.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 130084 149 0 0 25 0 1 0 829865500 105590784 23351 33554432000 134512640 137138936 4288718272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25779 23351 192 642 0 25135 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 103116

[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/454 25633
/proc/meminfo: memFree=31673948/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=103020 CPUtime=1362.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 136076 157 0 0 25 0 1 0 829865500 105492480 23327 33554432000 134512640 137138936 4288718272 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25755 23327 192 642 0 25111 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 103020

[startup+1422.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/454 25635
/proc/meminfo: memFree=31674044/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102988 CPUtime=1422.35 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 142072 163 0 0 25 0 1 0 829865500 105459712 23319 33554432000 134512640 137138936 4288718272 18446744073709551615 134551319 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25747 23319 192 642 0 25103 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 102988

[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/454 25637
/proc/meminfo: memFree=31672388/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102988 CPUtime=1482.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 148064 169 0 0 25 0 1 0 829865500 105459712 23319 33554432000 134512640 137138936 4288718272 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25747 23319 192 642 0 25103 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 102988

[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/454 25638
/proc/meminfo: memFree=31672484/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102988 CPUtime=1542.34 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 154059 175 0 0 25 0 1 0 829865500 105459712 23319 33554432000 134512640 137138936 4288718272 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25747 23319 192 642 0 25103 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 102988

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 25640
/proc/meminfo: memFree=31672820/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102928 CPUtime=1602.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 160052 181 0 0 25 0 1 0 829865500 105398272 23304 33554432000 134512640 137138936 4288718272 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25732 23304 192 642 0 25088 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 102928

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25641
/proc/meminfo: memFree=31672528/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102912 CPUtime=1662.33 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 166044 189 0 0 25 0 1 0 829865500 105381888 23300 33554432000 134512640 137138936 4288718272 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25728 23300 192 642 0 25084 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 102912

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 25643
/proc/meminfo: memFree=31672352/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102876 CPUtime=1722.34 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 172039 195 0 0 25 0 1 0 829865500 105345024 23291 33554432000 134512640 137138936 4288718272 18446744073709551615 134618524 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25719 23291 192 642 0 25075 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 102876

[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31671468/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102876 CPUtime=1782.34 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 178033 201 0 0 25 0 1 0 829865500 105345024 23291 33554432000 134512640 137138936 4288718272 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25719 23291 192 642 0 25075 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 102876

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

[startup+1785.5 s]
/proc/loadavg: 2.09 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31672212/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102876 CPUtime=1785.55 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 178353 202 0 0 25 0 1 0 829865500 105345024 23291 33554432000 134512640 137138936 4288718272 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25719 23291 192 642 0 25075 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 102876

[startup+1791.92 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31672688/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102772 CPUtime=1791.96 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 178994 202 0 0 25 0 1 0 829865500 105238528 23265 33554432000 134512640 137138936 4288718272 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25693 23265 192 642 0 25049 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 102772

[startup+1795.1 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31672316/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102772 CPUtime=1795.15 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 179313 202 0 0 25 0 1 0 829865500 105238528 23265 33554432000 134512640 137138936 4288718272 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25693 23265 192 642 0 25049 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 102772

[startup+1796.7 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31672564/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102772 CPUtime=1796.74 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 179472 202 0 0 25 0 1 0 829865500 105238528 23265 33554432000 134512640 137138936 4288718272 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25693 23265 192 642 0 25049 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 102772

[startup+1797.5 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31672068/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102772 CPUtime=1797.55 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 179552 203 0 0 25 0 1 0 829865500 105238528 23265 33554432000 134512640 137138936 4288718272 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25693 23265 192 642 0 25049 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 102772

[startup+1797.9 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25645
/proc/meminfo: memFree=31672068/32951124 swapFree=55639044/67111528
[pid=25569] ppid=25567 vsize=102772 CPUtime=1797.95 cores=1,3,5,7
/proc/25569/stat : 25569 (bsolo) R 25567 25569 23433 0 -1 4202496 24329 0 0 0 179592 203 0 0 25 0 1 0 829865500 105238528 23265 33554432000 134512640 137138936 4288718272 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/25569/statm: 25693 23265 192 642 0 25049 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 102772

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1795.97
CPU system time (s): 2.03669
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 106116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 2.03669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24330
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= 5
involuntary context switches= 6560

runsolver used 8.08877 second user time and 18.2172 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-04 12:17:56
IDJOB=3462760
IDBENCH=48176
IDSOLVER=1955
FILE ID=node133/3462760-1307182676
RUNJOBID= node133-1307175272-24731
PBS_JOBID= 13508830
Free space on /tmp= 73972 MiB

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

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

MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0
RANDOM SEED=1505393375

node133.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.834
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.66
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.834
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	: 5332.75
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31738180 kB
Buffers:        324096 kB
Cached:         522488 kB
SwapCached:      10584 kB
Active:         471664 kB
Inactive:       467468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31738180 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:            3968 kB
Writeback:           0 kB
AnonPages:       89988 kB
Mapped:          14096 kB
Slab:           152608 kB
PageTables:      53240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114989560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73972 MiB
End job on node133 at 2011-06-04 12:47:54