Trace number 3462804

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-110 1798.01 1797.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
MD5SUM8d62286ae12c02f1d9e42b05c51333f2
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-111
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
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 constraint21
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)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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-3462804-1307183078.opb
0.00/0.00	c File size is 86017 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: 6828 Constr: 13656 6828/500/6328 Lit: 50624 Watch. Lit: 37968
0.00/0.01	c Obj. Vars: 500 (7.32279 % of total variables)
0.00/0.04	c Pre-processing Time: 0.046 s
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    500     3164     9492    3     6328    1054      0      0 0.05
0.00/0.04	c Switching off lower bounding mode.
0.00/0.04	o -107
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    500     3165     9992    3     6437    2054      1      0 0.05
0.00/0.05	o -109
838.02/838.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
838.02/838.00	c        2    500     3168    11272    3     6552    2054      4     41 0.05
838.02/838.00	c      102    500     3268    50093   15     6752    2260    104   1020 0.10
838.02/838.00	c      352    500     3518   147119   41     7252    2487    354   1530 0.23
838.02/838.00	c      828    500     3994   331797   83     8204    2736    830   1735 0.48
838.02/838.00	c     1641    500     4809   648039  134     9834    3010   1645   1777 0.92
838.02/838.00	c     2961    500     6129  1160419  189    12474    3312   2965   1705 1.74
838.02/838.00	c     5043    500     8219  1970813  239    16654    3644   5055   1692 2.98
838.02/838.00	c     8267    500    11445  3222901  281    23106    4009   8281   1598 5.17
838.02/838.00	c    13204    500     7600  1730616  227    15309    4410   4436   1590 8.30
838.02/838.00	c    20711    500     6126  1159028  189    12361    4852   2962   1487 13.93
838.02/838.00	c    32073    500     8301  1995756  240    16817    5338   5137   1408 22.77
838.02/838.00	c    49218    500     6586  1337764  203    13281    5872   3422   1423 34.58
838.02/838.00	c    75037    500    13055  3845598  294    26219    6460   9891   1398 53.65
838.02/838.00	c   113869    500    11922  3403686  285    24165    7107   8758   1302 87.42
838.02/838.00	c   172221    500     8372  2032834  242    16853    7818   5208   1182 145.59
838.02/838.00	c   259853    500    10809  2940613  272    22036    8600   7645   1223 212.40
838.02/838.00	c   391406    500     9843  2600212  264    19795    9461   6679   1198 326.58
838.02/838.00	c   588839    500    12105  3397277  280    24319   10408   8941   1132 520.12
838.02/838.00	c   885091    500     9891  2566416  259    20086   11449   6727   1096 806.99
838.02/838.00	o -110
1797.96/1797.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1797.93	c   916733    500    16550  5169768  312    33526    2054  13386   1093 838.03
1797.96/1797.93	c   916833    500     4292   439912  102     8694    2260   1128   1093 838.58
1797.96/1797.93	c   917083    500     4542   536701  118     9194    2487   1378   1093 838.71
1797.96/1797.93	c   917558    500     5017   720512  143    10144    2736   1853   1093 838.97
1797.96/1797.93	c   918372    500     5831  1035482  177    11772    3010   2667   1094 839.43
1797.96/1797.93	c   919693    500     7155  1548146  216    14420    3312   3991   1094 840.20
1797.96/1797.93	c   921776    500     9238  2354119  254    18586    3644   6074   1095 841.40
1797.96/1797.93	c   925000    500    12462  3602217  289    25034    4009   9298   1096 843.46
1797.96/1797.93	c   929936    500     8629  2124188  246    17368    4410   5465   1097 847.09
1797.96/1797.93	c   937443    500     7163  1556685  217    14436    4852   3999   1099 852.34
1797.96/1797.93	c   948804    500     9346  2385565  255    18909    5338   6182   1102 860.41
1797.96/1797.93	c   965949    500     7654  1746091  228    15418    5872   4490   1105 873.74
1797.96/1797.93	c   991768    500    14112  4225165  299    28334    6460  10948   1106 895.96
1797.96/1797.93	c  1030600    500    13018  3821602  293    26146    7107   9854   1113 925.80
1797.96/1797.93	c  1088953    500     9557  2438760  255    19533    7818   6393   1113 978.20
1797.96/1797.93	c  1176586    500    11968  3414315  285    24046    8600   8804   1119 1051.00
1797.96/1797.93	c  1308138    500    11098  3059982  275    22413    9461   7934   1132 1154.67
1797.96/1797.93	c  1505572    500    13317  3907094  293    26851   10408  10153   1115 1349.35
1797.96/1797.93	c  1801824    500    10673  2916139  273    21456   11449   7509   1073 1679.24
1797.96/1797.93	c Resources Exceeded
1797.96/1797.93	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.96/1797.93	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1797.93	c   39  1910834 351304  2554623    19824  6411461  16660   1062 1798.00
1797.96/1797.93	c Objective: -110
1797.96/1797.93	s SATISFIABLE
1797.96/1797.93	c Total time: 1798 s

Verifier Data 

OK	-110

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-3462804-1307183078/watcher-3462804-1307183078 -o /tmp/evaluation-result-3462804-1307183078/solver-3462804-1307183078 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462804-1307183078.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.04 2.03 2.00 2/481 16526
/proc/meminfo: memFree=26646636/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=12244 CPUtime=0.01 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 632 0 0 0 1 0 0 0 25 0 1 0 829910154 12537856 587 33554432000 134512640 137138936 4294628544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 3061 587 187 642 0 2395 0

[startup+0.0563271 s]
/proc/loadavg: 2.04 2.03 2.00 2/481 16526
/proc/meminfo: memFree=26646636/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=14344 CPUtime=0.04 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 1248 0 0 0 4 0 0 0 18 0 1 0 829910154 14688256 1158 33554432000 134512640 137138936 4294628544 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 3586 1158 192 642 0 2942 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14344

[startup+0.10032 s]
/proc/loadavg: 2.04 2.03 2.00 2/481 16526
/proc/meminfo: memFree=26646636/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=14732 CPUtime=0.09 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 1339 0 0 0 9 0 0 0 18 0 1 0 829910154 15085568 1249 33554432000 134512640 137138936 4294628544 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 3683 1249 192 642 0 3039 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14732

[startup+0.300283 s]
/proc/loadavg: 2.04 2.03 2.00 2/481 16526
/proc/meminfo: memFree=26646636/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=16464 CPUtime=0.29 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 1776 0 0 0 29 0 0 0 18 0 1 0 829910154 16859136 1686 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 4116 1686 192 642 0 3472 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16464

[startup+0.700204 s]
/proc/loadavg: 2.04 2.03 2.00 2/481 16526
/proc/meminfo: memFree=26646636/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=19936 CPUtime=0.69 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 2642 0 0 0 68 1 0 0 18 0 1 0 829910154 20414464 2552 33554432000 134512640 137138936 4294628544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 4984 2553 192 642 0 4340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19936

[startup+1.50105 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16527
/proc/meminfo: memFree=26633484/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=26804 CPUtime=1.49 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 4357 0 0 0 148 1 0 0 20 0 1 0 829910154 27447296 4267 33554432000 134512640 137138936 4294628544 18446744073709551615 134599216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 6701 4267 192 642 0 6057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26804

[startup+3.10075 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16528
/proc/meminfo: memFree=26623368/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=39964 CPUtime=3.09 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 7640 0 0 0 307 2 0 0 25 0 1 0 829910154 40923136 7550 33554432000 134512640 137138936 4294628544 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 9991 7550 192 642 0 9347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39964

[startup+6.30015 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16528
/proc/meminfo: memFree=26597824/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=64320 CPUtime=6.29 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 13731 0 0 0 625 4 0 0 25 0 1 0 829910154 65863680 13641 33554432000 134512640 137138936 4294628544 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 16080 13641 192 642 0 15436 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64320

[startup+12.7009 s]
/proc/loadavg: 2.17 2.06 2.01 3/482 16528
/proc/meminfo: memFree=26586492/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=67484 CPUtime=12.69 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 14528 0 0 0 1264 5 0 0 25 0 1 0 829910154 69103616 14438 33554432000 134512640 137138936 4294628544 18446744073709551615 134544712 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 16871 14438 192 642 0 16227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67484

[startup+25.5005 s]
/proc/loadavg: 2.15 2.06 2.01 3/482 16528
/proc/meminfo: memFree=26582540/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=71992 CPUtime=25.49 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 15645 0 0 0 2542 7 0 0 25 0 1 0 829910154 73719808 15555 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 17998 15555 192 642 0 17354 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71992

[startup+51.1007 s]
/proc/loadavg: 2.09 2.05 2.01 3/482 16529
/proc/meminfo: memFree=26577880/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=76644 CPUtime=51.09 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 16823 0 0 0 5099 10 0 0 25 0 1 0 829910154 78483456 16733 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 19161 16733 192 642 0 18517 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76644

[startup+102.318 s]
/proc/loadavg: 2.08 2.06 2.01 3/482 16530
/proc/meminfo: memFree=26570156/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=83368 CPUtime=102.31 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 18498 0 0 0 10213 18 0 0 25 0 1 0 829910154 85368832 18408 33554432000 134512640 137138936 4294628544 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 20842 18408 192 642 0 20198 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 83368

[startup+162.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 16532
/proc/meminfo: memFree=26565548/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=86624 CPUtime=162.29 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 19323 0 0 0 16200 29 0 0 25 0 1 0 829910154 88702976 19227 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 21656 19227 192 642 0 21012 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 86624

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16533
/proc/meminfo: memFree=26550512/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=90012 CPUtime=222.3 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 20187 0 0 0 22193 37 0 0 25 0 1 0 829910154 92172288 20070 33554432000 134512640 137138936 4294628544 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 22503 20070 192 642 0 21859 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 90012

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16535
/proc/meminfo: memFree=26537968/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=90532 CPUtime=282.3 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 20315 0 0 0 28185 45 0 0 25 0 1 0 829910154 92704768 20198 33554432000 134512640 137138936 4294628544 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 22633 20198 192 642 0 21989 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 90532

[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/482 16537
/proc/meminfo: memFree=26533596/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=94844 CPUtime=342.31 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 21457 0 0 0 34174 57 0 0 25 0 1 0 829910154 97120256 21281 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 23711 21281 192 642 0 23067 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 94844

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 16538
/proc/meminfo: memFree=26533812/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=94756 CPUtime=402.31 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 21457 0 0 0 40164 67 0 0 25 0 1 0 829910154 97030144 21260 33554432000 134512640 137138936 4294628544 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 23689 21260 192 642 0 23045 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 94756

[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 16540
/proc/meminfo: memFree=26533416/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=94848 CPUtime=462.31 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 21483 0 0 0 46158 73 0 0 25 0 1 0 829910154 97124352 21281 33554432000 134512640 137138936 4294628544 18446744073709551615 134551701 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 23712 21281 192 642 0 23068 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 94848

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 16541
/proc/meminfo: memFree=26533388/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=94848 CPUtime=522.31 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 21483 0 0 0 52150 81 0 0 25 0 1 0 829910154 97124352 21281 33554432000 134512640 137138936 4294628544 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 23712 21281 192 642 0 23068 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 94848

[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/482 16543
/proc/meminfo: memFree=26529028/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99236 CPUtime=582.31 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 22581 0 0 0 58142 89 0 0 25 0 1 0 829910154 101617664 22379 33554432000 134512640 137138936 4294628544 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24809 22379 192 642 0 24165 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 99236

[startup+642.301 s]

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

/proc/meminfo: memFree=26498564/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=98808 CPUtime=1062.33 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24007 0 0 0 106078 155 0 0 25 0 1 0 829910154 101179392 22274 33554432000 134512640 137138936 4294628544 18446744073709551615 134603180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24702 22274 192 642 0 24058 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 98808

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/482 16557
/proc/meminfo: memFree=26498652/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=98808 CPUtime=1122.33 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24007 0 0 0 112069 164 0 0 25 0 1 0 829910154 101179392 22274 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24702 22274 192 642 0 24058 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 98808

[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/482 16559
/proc/meminfo: memFree=26498008/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=98732 CPUtime=1182.33 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24007 0 0 0 118060 173 0 0 25 0 1 0 829910154 101101568 22255 33554432000 134512640 137138936 4294628544 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24683 22255 192 642 0 24039 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 98732

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 16561
/proc/meminfo: memFree=26497860/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=98660 CPUtime=1242.33 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24007 0 0 0 124051 182 0 0 25 0 1 0 829910154 101027840 22237 33554432000 134512640 137138936 4294628544 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24665 22237 192 642 0 24021 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 98660

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 16562
/proc/meminfo: memFree=26498572/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=98300 CPUtime=1302.35 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24007 0 0 0 130044 191 0 0 25 0 1 0 829910154 100659200 22147 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24575 22147 192 642 0 23931 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 98300

[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 16564
/proc/meminfo: memFree=26480812/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99136 CPUtime=1362.34 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24222 0 0 0 136034 200 0 0 25 0 1 0 829910154 101515264 22349 33554432000 134512640 137138936 4294628544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24784 22349 192 642 0 24140 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 99136

[startup+1422.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/482 16565
/proc/meminfo: memFree=26481160/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99584 CPUtime=1422.36 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24339 0 0 0 142028 208 0 0 25 0 1 0 829910154 101974016 22466 33554432000 134512640 137138936 4294628544 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24896 22466 192 642 0 24252 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 99584

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 16567
/proc/meminfo: memFree=26479888/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99584 CPUtime=1482.35 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24339 0 0 0 148021 214 0 0 25 0 1 0 829910154 101974016 22466 33554432000 134512640 137138936 4294628544 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24896 22466 192 642 0 24252 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 99584

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 16569
/proc/meminfo: memFree=26479488/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99648 CPUtime=1542.35 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24379 0 0 0 154015 220 0 0 25 0 1 0 829910154 102039552 22483 33554432000 134512640 137138936 4294628544 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24912 22483 192 642 0 24268 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 99648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16678
/proc/meminfo: memFree=26875992/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99564 CPUtime=1602.35 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24400 0 0 0 160009 226 0 0 25 0 1 0 829910154 101953536 22458 33554432000 134512640 137138936 4294628544 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24891 22458 192 642 0 24247 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 99564

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 16680
/proc/meminfo: memFree=26875076/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=99468 CPUtime=1662.35 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 24400 0 0 0 166003 232 0 0 25 0 1 0 829910154 101855232 22439 33554432000 134512640 137138936 4294628544 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 24867 22439 192 642 0 24223 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 99468

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/482 16681
/proc/meminfo: memFree=26870452/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104824 CPUtime=1722.35 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 171995 240 0 0 25 0 1 0 829910154 107339776 23777 33554432000 134512640 137138936 4294628544 18446744073709551615 134599709 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26206 23777 192 642 0 25562 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 104824

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26893988/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104804 CPUtime=1782.36 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 177986 250 0 0 25 0 1 0 829910154 107319296 23773 33554432000 134512640 137138936 4294628544 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26201 23773 192 642 0 25557 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 104804

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

[startup+1785.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26894624/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104800 CPUtime=1785.56 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 178306 250 0 0 25 0 1 0 829910154 107315200 23772 33554432000 134512640 137138936 4294628544 18446744073709551615 134618397 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26200 23772 192 642 0 25556 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 104800

[startup+1791.92 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26894900/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104800 CPUtime=1791.98 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 178947 251 0 0 25 0 1 0 829910154 107315200 23772 33554432000 134512640 137138936 4294628544 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26200 23772 192 642 0 25556 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 104800

[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26894900/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104800 CPUtime=1795.17 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 179266 251 0 0 25 0 1 0 829910154 107315200 23772 33554432000 134512640 137138936 4294628544 18446744073709551615 136511096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26200 23772 192 642 0 25556 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 104800

[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26894900/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104800 CPUtime=1796.75 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 179424 251 0 0 25 0 1 0 829910154 107315200 23772 33554432000 134512640 137138936 4294628544 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26200 23772 192 642 0 25556 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 104800

[startup+1797.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26894652/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104800 CPUtime=1797.56 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 179504 252 0 0 25 0 1 0 829910154 107315200 23772 33554432000 134512640 137138936 4294628544 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26200 23772 192 642 0 25556 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 104800

[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 16710
/proc/meminfo: memFree=26894652/32951124 swapFree=38422276/67111528
[pid=16526] ppid=16524 vsize=104800 CPUtime=1797.96 cores=1,3,5,7
/proc/16526/stat : 16526 (bsolo) R 16524 16526 13859 0 -1 4202496 25738 0 0 0 179544 252 0 0 25 0 1 0 829910154 107315200 23772 33554432000 134512640 137138936 4294628544 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16526/statm: 26200 23772 192 642 0 25556 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 104800

Child status: 0
Real time (s): 1797.94
CPU time (s): 1798.01
CPU user time (s): 1795.48
CPU system time (s): 2.52462
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 104824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.48
system time used= 2.52462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25739
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= 4
involuntary context switches= 2712

runsolver used 8.14576 second user time and 19.652 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-04 12:24:38
IDJOB=3462804
IDBENCH=48220
IDSOLVER=1955
FILE ID=node102/3462804-1307183078
RUNJOBID= node102-1307174251-15506
PBS_JOBID= 13508853
Free space on /tmp= 73960 MiB

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

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

MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2
RANDOM SEED=2121070159

node102.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.828
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.65
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.828
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.15
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.828
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.828
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.75
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.828
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.82
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.828
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.75
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.828
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.82
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.828
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:      26646916 kB
Buffers:        320272 kB
Cached:        1591876 kB
SwapCached:      86940 kB
Active:        1219724 kB
Inactive:      4781824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26646916 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:     4024952 kB
Mapped:          14396 kB
Slab:           132888 kB
PageTables:     100304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135848480 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= 73956 MiB
End job on node102 at 2011-06-04 12:54:36