Trace number 3462805

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-35 1798.02 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_5.opb
MD5SUM5ebd53ca3e688df11993cbeac431dac6
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-37
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 -42
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 constraint60
Maximum length of a constraint111
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)37500
Sum of products size (including duplicates)75000
Number of different products18750
Sum of products size37500

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-3462805-1307183086.opb
0.00/0.00	c File size is 475155 bytes.
0.04/0.08	c Highest Coefficient sum: 500
0.04/0.08	c Parsing was ok!!
0.04/0.08	c Total parsing time: 0.088 s
0.09/0.11	c Var: 38000 Constr: 76000 38000/500/37500 Lit: 300000 Watch. Lit: 225000
0.09/0.11	c Obj. Vars: 500 (1.31579 % of total variables)
0.89/0.92	c Pre-processing Time: 0.926 s
0.89/0.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.92	c        0    500    18750    56250    3    37500    6250      0      0 0.93
0.89/0.92	c Switching off lower bounding mode.
0.89/0.93	o -31
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c        0    500    18751    56750    3    37533    7250      1      0 0.93
0.89/0.94	o -32
1.99/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.00	c       26    500    18778    69369    3    37619    7250     28     27 0.95
1.99/2.00	c      126    500    18878   115834    6    37819    7976    128    125 1.01
1.99/2.00	c      376    500    19128   231929   12    38319    8774    378    325 1.16
1.99/2.00	c      852    500    19604   452960   23    39271    9652    854    589 1.45
1.99/2.00	c     1666    500    20418   831007   40    40899   10618   1668    834 2.00
1.99/2.00	o -33
2.10/2.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.18	c     1666    500    20419   831507   40    40934    7250   1669    832 2.00
2.10/2.18	c     1767    500    20520   878334   42    41136    7976   1770    849 2.08
2.10/2.18	o -34
3.99/4.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.07	c     1930    500    20684   954456   46    41498    7250   1934    882 2.19
3.99/4.07	c     2031    500    20785  1001167   48    41700    7976   2035    899 2.26
3.99/4.07	c     2282    500    21038  1118102   53    42206    8774   2288    940 2.43
3.99/4.07	c     2757    500    21513  1337571   62    43156    9652   2763   1000 2.75
3.99/4.07	c     3570    500    22328  1714214   76    44786   10618   3578   1073 3.33
3.99/4.07	o -35
1797.95/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.94	c     4510    500    23271  2150257   92    46707    7250   4521   1106 4.08
1797.95/1797.94	c     4610    500    23371  2196352   93    46907    7976   4621   1111 4.15
1797.95/1797.94	c     4860    500    23621  2311640   97    47407    8774   4871   1121 4.33
1797.95/1797.94	c     5335    500    24098  2531330  105    48361    9652   5348   1136 4.69
1797.95/1797.94	c     6150    500    24914  2907652  116    49993   10618   6164   1153 5.33
1797.95/1797.94	c     7470    500    26236  3516941  134    52637   11680   7486   1174 6.36
1797.95/1797.94	c     9551    500    28320  4477253  158    56838   12849   9570   1181 8.08
1797.95/1797.94	c    12774    500    31556  5968554  189    63310   14134  12806   1156 11.04
1797.95/1797.94	c    17710    500    36497  8245930  225    73192   15548  17747   1062 16.67
1797.95/1797.94	c    25216    500    44011 11705513  265    88253   17103  25261    970 25.97
1797.95/1797.94	c    36577    500    55400 16947642  305   111063   18814  36650    730 50.07
1797.95/1797.94	c    53722    500    72582 24857409  342   145460   20696  53832    566 94.79
1797.95/1797.94	c    79541    500    50168 14478909  288   100627   22766  31418    447 177.90
1797.95/1797.94	c   118374    500    39749  9724626  244    79566   25043  20999    402 293.93
1797.95/1797.94	c   176727    500    47066 13021619  276    94308   27548  28316    398 442.96
1797.95/1797.94	c   264359    500    81416 28843404  354   163017   30303  62666    331 797.72
1797.95/1797.94	c   395912    500    44393 11821520  266    89021   33334  25643    303 1305.51
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	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.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   30   533562  32408   572502    63777 20703159  45027    296 1798.00
1797.95/1797.94	c Objective: -35
1797.95/1797.94	s SATISFIABLE
1797.95/1797.94	c Total time: 1798 s

Verifier Data 

OK	-35

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-3462805-1307183086/watcher-3462805-1307183086 -o /tmp/evaluation-result-3462805-1307183086/solver-3462805-1307183086 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462805-1307183086.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.02 2.00 2/273 13720
/proc/meminfo: memFree=28403460/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=12080 CPUtime=0 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 480 0 0 0 0 0 0 0 25 0 1 0 829909399 12369920 435 33554432000 134512640 137138936 4293246400 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 3020 435 180 642 0 2259 0

[startup+0.0484741 s]
/proc/loadavg: 2.04 2.02 2.00 2/273 13720
/proc/meminfo: memFree=28403460/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=17940 CPUtime=0.04 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 2028 0 0 0 4 0 0 0 25 0 1 0 829909399 18370560 1943 33554432000 134512640 137138936 4293246400 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 4485 1944 236 642 0 3724 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17940

[startup+0.100469 s]
/proc/loadavg: 2.04 2.02 2.00 2/273 13720
/proc/meminfo: memFree=28403460/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=27232 CPUtime=0.09 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 4501 0 0 0 9 0 0 0 18 0 1 0 829909399 27885568 4299 33554432000 134512640 137138936 4293246400 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 6841 4305 183 642 0 6197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27232

[startup+0.30043 s]
/proc/loadavg: 2.04 2.02 2.00 2/273 13720
/proc/meminfo: memFree=28403460/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=31860 CPUtime=0.29 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 5593 0 0 0 29 0 0 0 18 0 1 0 829909399 32624640 5391 33554432000 134512640 137138936 4293246400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 7965 5391 185 642 0 7321 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31860

[startup+0.700355 s]
/proc/loadavg: 2.04 2.02 2.00 2/273 13720
/proc/meminfo: memFree=28403460/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=32160 CPUtime=0.69 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 5668 0 0 0 67 2 0 0 18 0 1 0 829909399 32931840 5466 33554432000 134512640 137138936 4293246400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 8040 5466 185 642 0 7396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32160

[startup+1.50021 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 13721
/proc/meminfo: memFree=28381628/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=35592 CPUtime=1.49 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 7049 0 0 0 145 4 0 0 19 0 1 0 829909399 36446208 6325 33554432000 134512640 137138936 4293246400 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 8898 6325 192 642 0 8254 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35592

[startup+3.10091 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 13721
/proc/meminfo: memFree=28373208/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=48244 CPUtime=3.09 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 10210 0 0 0 303 6 0 0 25 0 1 0 829909399 49401856 9486 33554432000 134512640 137138936 4293246400 18446744073709551615 134576366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 12061 9486 192 642 0 11417 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48244

[startup+6.30033 s]
/proc/loadavg: 2.04 2.02 2.00 3/274 13722
/proc/meminfo: memFree=28348316/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=71764 CPUtime=6.29 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 16113 0 0 0 622 7 0 0 25 0 1 0 829909399 73486336 15389 33554432000 134512640 137138936 4293246400 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 17941 15389 192 642 0 17297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 71764

[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.00 3/274 13722
/proc/meminfo: memFree=28303672/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=113612 CPUtime=12.69 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 26553 0 0 0 1260 9 0 0 25 0 1 0 829909399 116338688 25829 33554432000 134512640 137138936 4293246400 18446744073709551615 136504124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 28403 25829 192 642 0 27759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113612

[startup+25.5008 s]
/proc/loadavg: 2.02 2.01 2.00 3/274 13722
/proc/meminfo: memFree=28239200/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=175108 CPUtime=25.49 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 41924 0 0 0 2536 13 0 0 25 0 1 0 829909399 179310592 41200 33554432000 134512640 137138936 4293246400 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 43777 41200 192 642 0 43133 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175108

[startup+51.1011 s]
/proc/loadavg: 2.08 2.03 2.00 3/274 13723
/proc/meminfo: memFree=28167364/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=247816 CPUtime=51.09 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 60106 0 0 0 5092 17 0 0 25 0 1 0 829909399 253763584 59382 33554432000 134512640 137138936 4293246400 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 61954 59382 192 642 0 61310 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 247816

[startup+102.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/274 13724
/proc/meminfo: memFree=28047072/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=365852 CPUtime=102.3 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 89622 0 0 0 10204 26 0 0 25 0 1 0 829909399 374632448 88898 33554432000 134512640 137138936 4293246400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 91463 88898 192 642 0 90819 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 365852

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13753
/proc/meminfo: memFree=27993468/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=373808 CPUtime=162.3 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 91620 0 0 0 16199 31 0 0 25 0 1 0 829909399 382779392 90896 33554432000 134512640 137138936 4293246400 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 93452 90896 192 642 0 92808 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 373808

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13754
/proc/meminfo: memFree=27992880/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=373808 CPUtime=222.3 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 91620 0 0 0 22196 34 0 0 25 0 1 0 829909399 382779392 90896 33554432000 134512640 137138936 4293246400 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 93452 90896 192 642 0 92808 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 373808

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13756
/proc/meminfo: memFree=27979836/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=387036 CPUtime=282.3 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 94900 0 0 0 28193 37 0 0 25 0 1 0 829909399 396324864 94176 33554432000 134512640 137138936 4293246400 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 96759 94176 192 642 0 96115 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 387036

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13758
/proc/meminfo: memFree=27972508/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=387036 CPUtime=342.3 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 94900 0 0 0 34189 41 0 0 25 0 1 0 829909399 396324864 94176 33554432000 134512640 137138936 4293246400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 96759 94176 192 642 0 96115 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 387036

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13759
/proc/meminfo: memFree=27772860/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=400292 CPUtime=402.3 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 98229 0 0 0 40186 44 0 0 25 0 1 0 829909399 409899008 97505 33554432000 134512640 137138936 4293246400 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 100073 97505 192 642 0 99429 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 400292

[startup+462.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/274 13761
/proc/meminfo: memFree=27522244/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=400292 CPUtime=462.31 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 98229 0 0 0 46184 47 0 0 25 0 1 0 829909399 409899008 97505 33554432000 134512640 137138936 4293246400 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 100073 97505 192 642 0 99429 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 400292

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 13762
/proc/meminfo: memFree=27370084/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=400292 CPUtime=522.31 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 98229 0 0 0 52181 50 0 0 25 0 1 0 829909399 409899008 97505 33554432000 134512640 137138936 4293246400 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 100073 97505 192 642 0 99429 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 400292

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13764
/proc/meminfo: memFree=27214580/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=414564 CPUtime=582.31 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 101786 0 0 0 58178 53 0 0 25 0 1 0 829909399 424513536 101062 33554432000 134512640 137138936 4293246400 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 103641 101062 192 642 0 102997 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 414564

[startup+642.301 s]

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

/proc/meminfo: memFree=26969836/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=431672 CPUtime=1062.32 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106078 0 0 0 106156 76 0 0 25 0 1 0 829909399 442032128 105354 33554432000 134512640 137138936 4293246400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 107918 105354 192 642 0 107274 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 431672

[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/274 13778
/proc/meminfo: memFree=26969196/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=432332 CPUtime=1122.33 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106237 0 0 0 112154 79 0 0 25 0 1 0 829909399 442707968 105513 33554432000 134512640 137138936 4293246400 18446744073709551615 134599712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 108083 105513 192 642 0 107439 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 432332

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/274 13780
/proc/meminfo: memFree=26969304/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=432332 CPUtime=1182.33 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106237 0 0 0 118151 82 0 0 25 0 1 0 829909399 442707968 105513 33554432000 134512640 137138936 4293246400 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 108083 105513 192 642 0 107439 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 432332

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/274 13782
/proc/meminfo: memFree=26968900/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=432332 CPUtime=1242.33 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106237 0 0 0 124148 85 0 0 25 0 1 0 829909399 442707968 105513 33554432000 134512640 137138936 4293246400 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 108083 105513 192 642 0 107439 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 432332

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13783
/proc/meminfo: memFree=26969508/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=431436 CPUtime=1302.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106237 0 0 0 130146 88 0 0 25 0 1 0 829909399 441790464 105307 33554432000 134512640 137138936 4293246400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 107859 105307 192 642 0 107215 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 431436

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13785
/proc/meminfo: memFree=26968860/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=431436 CPUtime=1362.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106237 0 0 0 136143 91 0 0 25 0 1 0 829909399 441790464 105307 33554432000 134512640 137138936 4293246400 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 107859 105307 192 642 0 107215 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 431436

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13786
/proc/meminfo: memFree=26969464/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=431436 CPUtime=1422.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 106237 0 0 0 142141 93 0 0 25 0 1 0 829909399 441790464 105307 33554432000 134512640 137138936 4293246400 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 107859 105307 192 642 0 107215 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 431436

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13788
/proc/meminfo: memFree=26952456/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=448616 CPUtime=1482.33 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110514 0 0 0 148136 97 0 0 25 0 1 0 829909399 459382784 109584 33554432000 134512640 137138936 4293246400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112154 109584 192 642 0 111510 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 448616

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 13790
/proc/meminfo: memFree=26952440/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=448616 CPUtime=1542.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110514 0 0 0 154133 101 0 0 25 0 1 0 829909399 459382784 109584 33554432000 134512640 137138936 4293246400 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112154 109584 192 642 0 111510 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 448616

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 13791
/proc/meminfo: memFree=26952428/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=448616 CPUtime=1602.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110514 0 0 0 160131 103 0 0 25 0 1 0 829909399 459382784 109584 33554432000 134512640 137138936 4293246400 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112154 109584 192 642 0 111510 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 448616

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/274 13793
/proc/meminfo: memFree=26952540/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=448616 CPUtime=1662.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110514 0 0 0 166129 105 0 0 25 0 1 0 829909399 459382784 109584 33554432000 134512640 137138936 4293246400 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112154 109584 192 642 0 111510 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 448616

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/274 13794
/proc/meminfo: memFree=26952152/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1722.35 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 172126 109 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 449276

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26943092/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1782.34 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 178123 111 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 134542167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 449276

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26942968/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1785.54 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 178443 111 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 449276

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26943088/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1791.96 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 179084 112 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 449276

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26943088/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1795.15 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 179403 112 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 449276

[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26943088/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1796.75 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 179563 112 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 449276

[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26943088/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1797.54 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 179642 112 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 449276

[startup+1797.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/274 13796
/proc/meminfo: memFree=26943088/32951124 swapFree=55664332/67111528
[pid=13720] ppid=13718 vsize=449276 CPUtime=1797.95 cores=1,3,5,7
/proc/13720/stat : 13720 (bsolo) R 13718 13720 10640 0 -1 4202496 110684 0 0 0 179683 112 0 0 25 0 1 0 829909399 460058624 109754 33554432000 134512640 137138936 4293246400 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13720/statm: 112319 109754 192 642 0 111675 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 449276

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.02
CPU user time (s): 1796.88
CPU system time (s): 1.14383
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 449276

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

runsolver used 4.14137 second user time and 10.5754 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-04 12:24:47
IDJOB=3462805
IDBENCH=48221
IDSOLVER=1955
FILE ID=node109/3462805-1307183086
RUNJOBID= node109-1307174724-12725
PBS_JOBID= 13508846
Free space on /tmp= 74008 MiB

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

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

MD5SUM BENCH= 5ebd53ca3e688df11993cbeac431dac6
RANDOM SEED=1038007676

node109.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.809
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.61
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.809
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.809
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.74
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.809
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28403740 kB
Buffers:        320028 kB
Cached:        2204168 kB
SwapCached:      10392 kB
Active:         899512 kB
Inactive:      3391464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28403740 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:     1762520 kB
Mapped:          17148 kB
Slab:           156264 kB
PageTables:      37616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30934300 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= 74000 MiB
End job on node109 at 2011-06-04 12:54:45