Trace number 3708489

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.01 1798.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
MD5SUM5c1211f8aed9d33c9f0c9019d9cd9874
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.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -37
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 constraint103
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)37366
Sum of products size (including duplicates)74732
Number of different products18683
Sum of products size37366

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-3708489-1338176017.opb
0.00/0.00	c File size is 473539 bytes.
0.08/0.10	c Highest Coefficient sum: 500
0.08/0.10	c Parsing was ok!!
0.08/0.10	c Total parsing time: 0.096 s
0.09/0.12	c Var: 37866 Constr: 75732 37866/500/37366 Lit: 298928 Watch. Lit: 224196
0.09/0.12	c Obj. Vars: 500 (1.32045 % of total variables)
0.99/1.01	c Pre-processing Time: 1.011 s
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c        0    500    18683    56049    3    37366    6227      0      0 1.01
0.99/1.01	c Switching off lower bounding mode.
0.99/1.01	o -32
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c        0    500    18684    56549    3    37400    7227      1      0 1.01
1.79/1.81	c      100    500    18784   103057    5    37600    7950    101     92 1.08
1.79/1.81	c      351    500    19035   219636   11    38102    8746    352    283 1.24
1.79/1.81	c      826    500    19511   440533   22    39084    9621    828    533 1.55
1.79/1.81	o -33
1.98/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.09	c     1210    500    19899   620765   31    39893    7227   1216    667 1.81
1.98/2.09	c     1310    500    19999   667081   33    40093    7950   1316    696 1.88
1.98/2.09	c     1560    500    20250   783419   38    40595    8746   1567    758 2.06
1.98/2.09	o -34
18.49/18.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.60	c     1612    500    20303   808042   39    40735    7227   1620    770 2.09
18.49/18.60	c     1712    500    20403   854234   41    40935    7950   1720    793 2.16
18.49/18.60	c     1964    500    20655   970722   46    41439    8746   1972    845 2.32
18.49/18.60	c     2440    500    21134  1191867   56    42397    9621   2451    914 2.67
18.49/18.60	c     3254    500    21948  1567956   71    44025   10584   3265    991 3.28
18.49/18.60	c     4574    500    23269  2178434   93    46667   11643   4586   1040 4.40
18.49/18.60	c     6655    500    25355  3142243  123    50839   12808   6672   1071 6.21
18.49/18.60	c     9879    500    28588  4636451  162    57367   14089   9905   1061 9.31
18.49/18.60	c    14815    500    33538  6921492  206    67267   15498  14855    994 14.90
18.49/18.60	o -35
1797.95/1798.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.34	c    17664    500    36405  8246720  226    73036    7227  17722    949 18.60
1797.95/1798.34	c    17765    500    36506  8293336  227    73238    7950  17823    950 18.69
1797.95/1798.34	c    18016    500    36758  8409620  228    73742    8746  18075    952 18.91
1797.95/1798.34	c    18491    500    37234  8629054  231    74694    9621  18551    958 19.29
1797.95/1798.34	c    19305    500    38052  9006527  236    76330   10584  19369    967 19.96
1797.95/1798.34	c    20625    500    39375  9615573  244    79009   11643  20692    942 21.87
1797.95/1798.34	c    22706    500    41459 10576732  255    83177   12808  22776    948 23.93
1797.95/1798.34	c    25929    500    44687 12064801  269    89633   14089  26004    933 27.79
1797.95/1798.34	c    30866    500    49630 14343743  289    99519   15498  30947    917 33.65
1797.95/1798.34	c    38373    500    57159 17804982  311   114640   17048  38476    772 49.64
1797.95/1798.34	c    49735    500    68547 23056786  336   137416   18753  49864    639 77.73
1797.95/1798.34	c    66879    500    38513  9191430  238    77093   20629  19830    583 114.70
1797.95/1798.34	c    92698    500    64408 21089227  327   129040   22692  45725    496 186.53
1797.95/1798.34	c   131530    500    54155 16398308  302   108345   24962  35472    447 294.03
1797.95/1798.34	c   189883    500    61731 19809307  320   123637   27459  43048    411 461.61
1797.95/1798.34	c   277515    500    42915 11137620  259    86123   30205  24232    379 731.36
1797.95/1798.34	c   409067    500    62508 20195563  323   125141   33226  43825    359 1139.01
1797.95/1798.34	c   606500    500    83214 29720484  357   166660   36549  64531    345 1757.49
1797.95/1798.34	c Resources Exceeded
1797.95/1798.34	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/1798.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.34	c   34   622477  35598   664434    36854  8425318  18171    346 1798.00
1797.95/1798.34	c Objective: -35
1797.95/1798.34	s SATISFIABLE
1797.95/1798.34	c Total time: 1798 s

Verifier Data 

OK	-35

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3708489-1338176017/watcher-3708489-1338176017 -o /tmp/evaluation-result-3708489-1338176017/solver-3708489-1338176017 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708489-1338176017.opb 

running on 4 cores: 0,2,4,6

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.00 2.00 2.00 3/174 1049
/proc/meminfo: memFree=28388420/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=11400 CPUtime=0 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 283727104 11673600 279 33554432000 134512640 137138936 4289786720 4289784964 136297156 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 2850 279 175 642 0 2090 0

[startup+0.088629 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1049
/proc/meminfo: memFree=28388420/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=21712 CPUtime=0.08 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 3026 0 0 0 8 0 0 0 20 0 1 0 283727104 22233088 2940 33554432000 134512640 137138936 4289786720 4289784992 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 5428 2941 274 642 0 4668 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21712

[startup+0.100329 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1049
/proc/meminfo: memFree=28388420/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=22492 CPUtime=0.09 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 3378 0 0 0 9 0 0 0 20 0 1 0 283727104 23031808 3176 33554432000 134512640 137138936 4289786720 4289785952 134515788 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 5623 3176 180 642 0 4979 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22492

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1049
/proc/meminfo: memFree=28388420/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=31796 CPUtime=0.29 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 5571 0 0 0 29 0 0 0 20 0 1 0 283727104 32559104 5369 33554432000 134512640 137138936 4289786720 4289330816 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 7949 5369 185 642 0 7305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31796

[startup+0.700237 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 1049
/proc/meminfo: memFree=28388420/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=31796 CPUtime=0.68 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 5571 0 0 0 68 0 0 0 20 0 1 0 283727104 32559104 5369 33554432000 134512640 137138936 4289786720 4289330816 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 7949 5369 185 642 0 7305 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 31796

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1050
/proc/meminfo: memFree=28366688/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=34428 CPUtime=1.49 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 6773 0 0 0 146 3 0 0 20 0 1 0 283727104 35254272 6053 33554432000 134512640 137138936 4289786720 4289785648 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 8607 6053 192 642 0 7963 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34428

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1050
/proc/meminfo: memFree=28359992/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=46888 CPUtime=3.09 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 9878 0 0 0 305 4 0 0 20 0 1 0 283727104 48013312 9158 33554432000 134512640 137138936 4289786720 4289785216 134618342 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 11722 9158 192 642 0 11078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46888

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1050
/proc/meminfo: memFree=28336556/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=68076 CPUtime=6.28 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 15176 0 0 0 623 5 0 0 20 0 1 0 283727104 69709824 14456 33554432000 134512640 137138936 4289786720 4289785456 136296988 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 17019 14456 192 642 0 16375 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68076

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1050
/proc/meminfo: memFree=28296396/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=105732 CPUtime=12.69 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 24574 0 0 0 1261 8 0 0 20 0 1 0 283727104 108269568 23854 33554432000 134512640 137138936 4289786720 4289785472 134572775 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 26433 23854 192 642 0 25789 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105732

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1051
/proc/meminfo: memFree=28228816/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=171544 CPUtime=25.49 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 41023 0 0 0 2536 13 0 0 20 0 1 0 283727104 175661056 40303 33554432000 134512640 137138936 4289786720 4289785648 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 42886 40303 192 642 0 42242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171544

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1051
/proc/meminfo: memFree=28136428/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=260284 CPUtime=51.08 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 63234 0 0 0 5089 19 0 0 20 0 1 0 283727104 266530816 62514 33554432000 134512640 137138936 4289786720 4289785648 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 65071 62514 192 642 0 64427 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 260284

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1051
/proc/meminfo: memFree=28031024/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=361832 CPUtime=102.27 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 88613 0 0 0 10198 29 0 0 20 0 1 0 283727104 370515968 87875 33554432000 134512640 137138936 4289786720 4289785256 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 90458 87875 192 642 0 89814 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 361832

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1051
/proc/meminfo: memFree=28033284/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=361832 CPUtime=162.24 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 88641 0 0 0 16190 34 0 0 20 0 1 0 283727104 370515968 87875 33554432000 134512640 137138936 4289786720 4289785616 134542672 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 90458 87875 192 642 0 89814 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 361832

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1052
/proc/meminfo: memFree=28011984/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=383888 CPUtime=222.21 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 94216 0 0 0 22183 38 0 0 20 0 1 0 283727104 393101312 93412 33554432000 134512640 137138936 4289786720 4289785648 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 95972 93412 192 642 0 95328 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 383888

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1052
/proc/meminfo: memFree=28009036/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=386068 CPUtime=282.2 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 94785 0 0 0 28177 43 0 0 20 0 1 0 283727104 395333632 93961 33554432000 134512640 137138936 4289786720 4289785616 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 96517 93961 192 642 0 95873 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 386068

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1052
/proc/meminfo: memFree=28009088/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=386068 CPUtime=342.18 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 94789 0 0 0 34172 46 0 0 20 0 1 0 283727104 395333632 93961 33554432000 134512640 137138936 4289786720 4289785648 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1049/statm: 96517 93961 192 642 0 95873 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 386068

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1055
/proc/meminfo: memFree=27995316/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=399316 CPUtime=402.16 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 98097 0 0 0 40166 50 0 0 20 0 1 0 283727104 408899584 97269 33554432000 134512640 137138936 4289786720 4289785648 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 99829 97269 192 642 0 99185 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 399316

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1055
/proc/meminfo: memFree=27995820/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=399316 CPUtime=462.16 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 98097 0 0 0 46163 53 0 0 20 0 1 0 283727104 408899584 97269 33554432000 134512640 137138936 4289786720 4289785648 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 99829 97269 192 642 0 99185 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 399316

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27982180/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=413232 CPUtime=522.15 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 101575 0 0 0 52158 57 0 0 20 0 1 0 283727104 423149568 100747 33554432000 134512640 137138936 4289786720 4289785648 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 103308 100747 192 642 0 102664 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 413232

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1056
/proc/meminfo: memFree=27982180/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=413232 CPUtime=582.14 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 101575 0 0 0 58154 60 0 0 20 0 1 0 283727104 423149568 100747 33554432000 134512640 137138936 4289786720 4289785648 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 103308 100747 192 642 0 102664 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 413232

[startup+642.3 s]

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

/proc/meminfo: memFree=28040244/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=429560 CPUtime=1062.06 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 105875 0 0 0 106122 84 0 0 20 0 1 0 283727104 439869440 104835 33554432000 134512640 137138936 4289786720 4289785648 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 107390 104835 192 642 0 106746 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 429560

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 1101
/proc/meminfo: memFree=28039252/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=429560 CPUtime=1122.06 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 105875 0 0 0 112118 88 0 0 20 0 1 0 283727104 439869440 104835 33554432000 134512640 137138936 4289786720 4289785648 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 107390 104835 192 642 0 106746 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 429560

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1101
/proc/meminfo: memFree=28038012/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=431116 CPUtime=1182.05 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 106243 0 0 0 118112 93 0 0 20 0 1 0 283727104 441462784 105203 33554432000 134512640 137138936 4289786720 4289785836 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 107779 105203 192 642 0 107135 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 431116

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 1101
/proc/meminfo: memFree=28019332/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=447840 CPUtime=1242.04 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110425 0 0 0 124107 97 0 0 20 0 1 0 283727104 458588160 109376 33554432000 134512640 137138936 4289786720 4289785648 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111960 109376 192 642 0 111316 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 447840

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 1101
/proc/meminfo: memFree=28017840/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=447840 CPUtime=1302.03 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110425 0 0 0 130103 100 0 0 20 0 1 0 283727104 458588160 109376 33554432000 134512640 137138936 4289786720 4289785648 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111960 109376 192 642 0 111316 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 447840

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1101
/proc/meminfo: memFree=28017964/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=447840 CPUtime=1362.02 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110425 0 0 0 136099 103 0 0 20 0 1 0 283727104 458588160 109376 33554432000 134512640 137138936 4289786720 4289785648 134542333 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111960 109376 192 642 0 111316 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 447840

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1102
/proc/meminfo: memFree=28018088/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=447376 CPUtime=1422.01 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110425 0 0 0 142096 105 0 0 20 0 1 0 283727104 458113024 109292 33554432000 134512640 137138936 4289786720 4289785216 134618133 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111844 109292 192 642 0 111200 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 447376

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1102
/proc/meminfo: memFree=28018212/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=447376 CPUtime=1481.99 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110425 0 0 0 148091 108 0 0 20 0 1 0 283727104 458113024 109292 33554432000 134512640 137138936 4289786720 4289785648 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111844 109292 192 642 0 111200 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 447376

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1102
/proc/meminfo: memFree=28017716/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=445564 CPUtime=1541.99 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110425 0 0 0 154088 111 0 0 20 0 1 0 283727104 456257536 108839 33554432000 134512640 137138936 4289786720 4289785236 134551307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111391 108839 192 642 0 110747 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 445564

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 1105
/proc/meminfo: memFree=28017952/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=446652 CPUtime=1601.98 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110666 0 0 0 160085 113 0 0 20 0 1 0 283727104 457371648 109080 33554432000 134512640 137138936 4289786720 4289785648 134542915 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111663 109080 192 642 0 111019 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 446652

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1128
/proc/meminfo: memFree=28017820/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=446652 CPUtime=1661.96 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110666 0 0 0 166080 116 0 0 20 0 1 0 283727104 457371648 109080 33554432000 134512640 137138936 4289786720 4289785432 136504259 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111663 109080 192 642 0 111019 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 446652

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1129
/proc/meminfo: memFree=28017836/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=446652 CPUtime=1721.96 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 110666 0 0 0 172076 120 0 0 20 0 1 0 283727104 457371648 109080 33554432000 134512640 137138936 4289786720 4289785648 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 111663 109080 192 642 0 111019 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 446652

[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 1129
/proc/meminfo: memFree=27999608/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=466888 CPUtime=1781.95 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 115749 0 0 0 178069 126 0 0 20 0 1 0 283727104 478093312 114163 33554432000 134512640 137138936 4289786720 4289785648 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 116722 114163 192 642 0 116078 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 466888

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

[startup+1791.91 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 1129
/proc/meminfo: memFree=27997004/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=468340 CPUtime=1791.55 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 116102 0 0 0 179029 126 0 0 20 0 1 0 283727104 479580160 114516 33554432000 134512640 137138936 4289786720 4289785616 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 117085 114516 192 642 0 116441 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 468340

[startup+1795.1 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 1129
/proc/meminfo: memFree=27997004/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=468340 CPUtime=1794.75 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 116102 0 0 0 179349 126 0 0 20 0 1 0 283727104 479580160 114516 33554432000 134512640 137138936 4289786720 4289785648 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 117085 114516 192 642 0 116441 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 468340

[startup+1796.7 s]
/proc/loadavg: 2.09 2.03 2.00 3/175 1129
/proc/meminfo: memFree=27997004/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=468340 CPUtime=1796.34 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 116102 0 0 0 179508 126 0 0 20 0 1 0 283727104 479580160 114516 33554432000 134512640 137138936 4289786720 4289785328 134544782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 117085 114516 192 642 0 116441 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 468340

[startup+1797.5 s]
/proc/loadavg: 2.08 2.03 2.00 3/175 1129
/proc/meminfo: memFree=27997004/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=468340 CPUtime=1797.15 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 116102 0 0 0 179588 127 0 0 20 0 1 0 283727104 479580160 114516 33554432000 134512640 137138936 4289786720 4289785836 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 117085 114516 192 642 0 116441 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 468340

[startup+1797.9 s]
/proc/loadavg: 2.08 2.03 2.00 3/175 1129
/proc/meminfo: memFree=27997004/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=468340 CPUtime=1797.55 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 116102 0 0 0 179628 127 0 0 20 0 1 0 283727104 479580160 114516 33554432000 134512640 137138936 4289786720 4289785836 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 117085 114516 192 642 0 116441 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 468340

[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/175 1129
/proc/meminfo: memFree=27997004/32873852 swapFree=6848/6848
[pid=1049] ppid=1047 vsize=468340 CPUtime=1797.95 cores=0,2,4,6
/proc/1049/stat : 1049 (bsolo) R 1047 1049 31475 0 -1 4202496 116102 0 0 0 179668 127 0 0 20 0 1 0 283727104 479580160 114516 33554432000 134512640 137138936 4289786720 4289785648 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1049/statm: 117085 114516 192 642 0 116441 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 468340

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.01
CPU user time (s): 1796.73
CPU system time (s): 1.27381
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 468340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.73
system time used= 1.27381
maximum resident set size= 458068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116103
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= 138
involuntary context switches= 2194

runsolver used 7.48086 second user time and 16.1285 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 05:33:37
IDJOB=3708489
IDBENCH=48188
IDSOLVER=2286
FILE ID=node129/3708489-1338176017
RUNJOBID= node129-1338158686-31491
PBS_JOBID= 14624544
Free space on /tmp= 71192 MiB

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

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

MD5SUM BENCH= 5c1211f8aed9d33c9f0c9019d9cd9874
RANDOM SEED=54389869

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28388420 kB
Buffers:          386024 kB
Cached:          3137448 kB
SwapCached:            0 kB
Active:          1342552 kB
Inactive:        2284200 kB
Active(anon):     105196 kB
Inactive(anon):        0 kB
Active(file):    1237356 kB
Inactive(file):  2284200 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4288 kB
Writeback:             0 kB
AnonPages:        176988 kB
Mapped:            15060 kB
Shmem:               204 kB
Slab:             719936 kB
SReclaimable:     162556 kB
SUnreclaim:       557380 kB
KernelStack:        1456 kB
PageTables:         4176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     223304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71188 MiB
End job on node129 at 2012-05-28 06:03:35