Trace number 3707890

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.2SAT217 1798 1798.33

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
MD5SUMbddc7a1ce44c83fc28f6e299cbaaf04c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 184
Optimality of the best value was proved NO
Number of variables476
Total number of constraints476
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 constraints476
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3707890-1338145026.opb
0.00/0.00	c File size is 43258 bytes.
0.00/0.00	c Highest Coefficient sum: 476
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 476 Constr: 476 1/0/475 Lit: 4258 Watch. Lit: 1519
0.00/0.00	c Obj. Vars: 476 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c        0    476      476     4258    8     1970    8508      0      0 0.00
0.39/0.45	c Initial Lower Bound: 142
0.39/0.45	c Initial Path Cost: 0
0.39/0.45	o 230
11.79/11.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.79/11.81	c        0    476      477     4734    9     2419    9508      1      0 0.46
11.79/11.81	c      101    476      578    28552   49     2623   10459    102     26 3.81
11.79/11.81	c      351    476     1044   146971  140     3648   11505    568     41 8.49
11.79/11.81	o 225
34.68/34.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.68/34.73	c      351    476     1045   147447  141     3872    9508    569     29 11.81
34.68/34.73	c      451    476     1145   170437  148     4071   10459    669     29 15.34
34.68/34.73	c      701    476     1727   315855  182     5277   11505   1251     35 19.77
34.68/34.73	c     1176    476     3118   681655  218     8007   12656   2642     47 24.75
34.68/34.73	c     1991    476     5488  1314891  239    12780   13922   5012     64 30.97
34.68/34.73	o 224
46.88/46.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.88/46.97	c     1991    476     5489  1315367  239    13043    9508   5013     57 34.73
46.88/46.97	c     2092    476     5786  1394312  240    13691   10459   5310     53 39.13
46.88/46.97	c     2342    476     6250  1511169  241    14568   11505   5774     54 43.35
46.88/46.97	o 222
50.48/50.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.48/50.55	c     2342    476     6251  1511645  241    14802    9508   5775     49 46.96
50.48/50.55	o 221
121.36/121.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.36/121.43	c     2345    476     6255  1512811  241    15086    9508   5779     46 50.54
121.36/121.43	c     2445    476     6536  1587631  242    15656   10459   6060     44 54.82
121.36/121.43	c     2695    476     7283  1798377  246    17166   11505   6807     45 59.31
121.36/121.43	c     3172    476     8584  2165112  252    19720   12656   8108     49 64.39
121.36/121.43	c     3985    476    10989  2856939  259    24601   13922  10513     56 70.99
121.36/121.43	c     5305    476     7450  1986737  266    16526   15315   6974     67 78.53
121.36/121.43	c     7387    476    13501  3621154  268    28588   16847  13025     84 87.91
121.36/121.43	c    10612    476    13587  3542146  260    28737   18532  13111    105 100.52
121.36/121.43	c    15548    476    17107  4140523  242    35788   20386  16631    132 117.65
121.36/121.43	o 219
129.65/129.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.65/129.76	c    15548    476    17108  4140999  242    36043    9508  16632    128 121.40
129.65/129.76	c    15649    476     5531  1227588  221    12655   10459   5055    124 125.61
129.65/129.76	o 218
766.33/766.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
766.33/766.50	c    15864    476     6018  1351132  224    13851    9508   5542    122 129.72
766.33/766.50	c    15965    476     6318  1432381  226    14458   10459   5842    119 133.32
766.33/766.50	c    16217    476     7061  1636696  231    15912   11505   6585    117 137.63
766.33/766.50	c    16692    476     8470  2048487  241    18796   12656   7994    117 142.44
766.33/766.50	c    17505    476    10773  2636644  244    23380   13922  10297    117 148.41
766.33/766.50	c    18825    476     7438  1901459  255    16455   15315   6962    120 156.10
766.33/766.50	c    20906    476    13484  3398382  252    28575   16847  13008    125 166.17
766.33/766.50	c    24129    476    14026  3615450  257    29620   18532  13550    134 179.53
766.33/766.50	c    29065    476    18414  4642272  252    38391   20386  17938    147 197.43
766.33/766.50	c    36573    476    18779  5114908  272    39120   22425  18303    162 225.21
766.33/766.50	c    47936    476    17076  4731260  277    35756   24668  16600    182 262.36
766.33/766.50	c    65080    476    16127  4341233  269    33861   27135  15651    202 321.82
766.33/766.50	c    90901    476    22424  5972406  266    46433   29849  21948    224 404.79
766.33/766.50	c   129734    476    21331  5534152  259    44218   32834  20855    236 548.66
766.33/766.50	c   188088    476    23617  6662562  282    48824   36118  23141    246 762.48
766.33/766.50	o 217
1797.97/1798.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.32	c   188088    476    23618  6663038  282    49101    9508  23142    245 766.34
1797.97/1798.32	c   188191    476     5540  1465364  264    12699   10459   5064    244 770.61
1797.97/1798.32	c   188441    476     6236  1673036  268    14086   11505   5760    243 775.43
1797.97/1798.32	c   188918    476     7604  2041160  268    16789   12656   7128    242 780.56
1797.97/1798.32	c   189731    476     9851  2626759  266    21318   13922   9375    241 786.50
1797.97/1798.32	c   191052    476    13606  3688985  271    28818   15315  13130    240 793.75
1797.97/1798.32	c   193134    476    11585  3073064  265    24710   16847  11109    240 803.10
1797.97/1798.32	c   196357    476    12039  2964565  246    25695   18532  11563    240 815.43
1797.97/1798.32	c   201293    476    13456  3139125  233    28504   20386  12980    241 831.97
1797.97/1798.32	c   208800    476    14327  3730037  260    30271   22425  13851    243 858.28
1797.97/1798.32	c   220161    476    11830  2763443  233    25207   24668  11354    245 895.90
1797.97/1798.32	c   237306    476    22364  6044856  270    46414   27135  21888    249 952.66
1797.97/1798.32	c   263125    476    26282  6860484  261    54106   29849  25806    253 1037.62
1797.97/1798.32	c   301957    476    27288  7226550  264    56135   32834  26812    260 1158.62
1797.97/1798.32	c   360310    476    27571  7405036  268    56740   36118  27095    267 1349.24
1797.97/1798.32	c   447942    476    26377  7064543  267    54371   39730  25901    270 1655.39
1797.97/1798.32	c Resources Exceeded
1797.97/1798.32	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 
1797.97/1798.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.32	c   54   485941 100515   688221    32465  8672585  31989    270 1798.00
1797.97/1798.32	c Objective: 217
1797.97/1798.32	s SATISFIABLE
1797.97/1798.32	c Total time: 1798 s

Verifier Data 

OK	217

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-3707890-1338145026/watcher-3707890-1338145026 -o /tmp/evaluation-result-3707890-1338145026/solver-3707890-1338145026 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707890-1338145026.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: 0.99 0.97 1.16 3/175 16413
/proc/meminfo: memFree=31227776/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=10928 CPUtime=0 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 280627173 11190272 290 33554432000 134512640 137138936 4291474016 4291466812 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 2732 290 185 642 0 2088 0

[startup+0.022193 s]
/proc/loadavg: 0.99 0.97 1.16 3/175 16413
/proc/meminfo: memFree=31227776/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=12096 CPUtime=0.01 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 556 0 0 0 1 0 0 0 20 0 1 0 280627173 12386304 499 33554432000 134512640 137138936 4291474016 4291471456 134721202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3024 499 275 642 0 2380 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12096

[startup+0.100308 s]
/proc/loadavg: 0.99 0.97 1.16 3/175 16413
/proc/meminfo: memFree=31227776/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=12548 CPUtime=0.09 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 761 0 0 0 9 0 0 0 20 0 1 0 280627173 12849152 670 33554432000 134512640 137138936 4291474016 4291471712 134768846 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3137 670 278 642 0 2493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12548

[startup+0.300255 s]
/proc/loadavg: 0.99 0.97 1.16 3/175 16413
/proc/meminfo: memFree=31227776/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=13320 CPUtime=0.29 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 1214 0 0 0 29 0 0 0 20 0 1 0 280627173 13639680 758 33554432000 134512640 137138936 4291474016 4291471920 135445910 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3330 759 278 642 0 2686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13320

[startup+0.700257 s]
/proc/loadavg: 0.99 0.97 1.16 3/175 16413
/proc/meminfo: memFree=31227776/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=13344 CPUtime=0.69 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 2442 0 0 0 69 0 0 0 20 0 1 0 280627173 13664256 606 33554432000 134512640 137138936 4291474016 4291471704 135444632 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3336 606 283 642 0 2692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13344

[startup+1.50026 s]
/proc/loadavg: 0.99 0.97 1.16 4/177 16415
/proc/meminfo: memFree=31224760/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=13468 CPUtime=1.49 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 7913 0 0 0 148 1 0 0 20 0 1 0 280627173 13791232 585 33554432000 134512640 137138936 4291474016 4291471808 134734510 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3367 585 283 642 0 2723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13468

[startup+3.10026 s]
/proc/loadavg: 0.99 0.97 1.16 4/177 16415
/proc/meminfo: memFree=31224356/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=13472 CPUtime=3.09 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 21724 0 0 0 305 4 0 0 20 0 1 0 280627173 13795328 578 33554432000 134512640 137138936 4291474016 4291471704 135444639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3368 578 283 642 0 2724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13472

[startup+6.3002 s]
/proc/loadavg: 1.07 0.99 1.16 4/177 16415
/proc/meminfo: memFree=31223736/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=13560 CPUtime=6.29 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 48972 0 0 0 621 8 0 0 20 0 1 0 280627173 13885440 791 33554432000 134512640 137138936 4291474016 4291471008 135382814 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3390 792 291 642 0 2746 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13560

[startup+12.7002 s]
/proc/loadavg: 1.14 1.01 1.16 4/177 16415
/proc/meminfo: memFree=31219832/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=14956 CPUtime=12.68 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 126134 0 0 0 1248 20 0 0 20 0 1 0 280627173 15314944 1018 33554432000 134512640 137138936 4291474016 4291471376 135437288 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 3739 1018 292 642 0 3095 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14956

[startup+25.5003 s]
/proc/loadavg: 1.33 1.05 1.18 4/177 16415
/proc/meminfo: memFree=31207772/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=23208 CPUtime=25.48 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 311599 0 0 0 2501 47 0 0 20 0 1 0 280627173 23764992 2864 33554432000 134512640 137138936 4291474016 4291471704 135444632 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 5802 2864 292 642 0 5158 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23208

[startup+51.1002 s]
/proc/loadavg: 1.56 1.13 1.20 4/177 16415
/proc/meminfo: memFree=31184620/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=33368 CPUtime=51.07 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 651744 0 0 0 5010 97 0 0 20 0 1 0 280627173 34168832 5529 33554432000 134512640 137138936 4291474016 4291471376 135435546 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 8342 5529 292 642 0 7698 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33368

[startup+102.307 s]
/proc/loadavg: 1.81 1.26 1.24 4/177 16415
/proc/meminfo: memFree=31101872/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=76892 CPUtime=102.27 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 1592104 0 0 0 9961 266 0 0 20 0 1 0 280627173 78737408 16197 33554432000 134512640 137138936 4291474016 4291471704 135444632 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 19223 16197 292 642 0 18579 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76892

[startup+162.3 s]
/proc/loadavg: 1.93 1.39 1.28 4/177 16415
/proc/meminfo: memFree=31073492/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=81104 CPUtime=162.25 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 2237886 0 0 0 15807 418 0 0 20 0 1 0 280627173 83050496 17414 33554432000 134512640 137138936 4291474016 4291471788 135440841 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 20276 17414 292 642 0 19632 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 81104

[startup+222.3 s]
/proc/loadavg: 2.05 1.53 1.33 4/177 16418
/proc/meminfo: memFree=31048216/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=93584 CPUtime=222.23 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 3073549 0 0 0 21591 632 0 0 20 0 1 0 280627173 95830016 21071 33554432000 134512640 137138936 4291474016 4291472688 134587319 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 23396 21071 292 642 0 22752 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93584

[startup+282.3 s]
/proc/loadavg: 2.02 1.61 1.37 4/178 16442
/proc/meminfo: memFree=31028592/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=108784 CPUtime=282.22 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 3904694 0 0 0 27366 856 0 0 20 0 1 0 280627173 111394816 24324 33554432000 134512640 137138936 4291474016 4291471704 135444632 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 27025 24318 292 642 0 26381 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 108784

[startup+342.3 s]
/proc/loadavg: 2.00 1.68 1.41 4/177 16442
/proc/meminfo: memFree=31021648/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=115768 CPUtime=342.2 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 4727166 0 0 0 33137 1083 0 0 20 0 1 0 280627173 118546432 26075 33554432000 134512640 137138936 4291474016 4291471816 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 28942 26075 292 642 0 28298 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 115768

[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.44 4/177 16442
/proc/meminfo: memFree=31021204/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=116180 CPUtime=402.19 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 5508773 0 0 0 38920 1299 0 0 20 0 1 0 280627173 118968320 26184 33554432000 134512640 137138936 4291474016 4291471816 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 29045 26184 292 642 0 28401 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 116180

[startup+462.3 s]
/proc/loadavg: 2.00 1.78 1.48 4/177 16442
/proc/meminfo: memFree=31015252/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=122240 CPUtime=462.18 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 6300254 0 0 0 44696 1522 0 0 20 0 1 0 280627173 125173760 27700 33554432000 134512640 137138936 4291474016 4291472112 135471442 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 30560 27700 292 642 0 29916 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 122240

[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.50 4/177 16442
/proc/meminfo: memFree=30999628/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=125372 CPUtime=522.17 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 7034420 0 0 0 50488 1729 0 0 20 0 1 0 280627173 128380928 28484 33554432000 134512640 137138936 4291474016 4291472088 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 31343 28484 292 642 0 30699 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 125372

[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.53 4/177 16443
/proc/meminfo: memFree=30986164/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=138956 CPUtime=582.16 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 7855457 0 0 0 56276 1940 0 0 20 0 1 0 280627173 142290944 31852 33554432000 134512640 137138936 4291474016 4291471776 135450378 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 34739 31852 292 642 0 34095 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 138956

[startup+642.3 s]

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

/proc/meminfo: memFree=30942012/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149900 CPUtime=1062.08 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518099 0 0 0 103537 2671 0 0 20 0 1 0 280627173 153497600 35056 33554432000 134512640 137138936 4291474016 4291469376 134603070 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37475 35056 292 642 0 36831 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 149900

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.73 4/177 16448
/proc/meminfo: memFree=30942136/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149900 CPUtime=1122.07 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518099 0 0 0 109533 2674 0 0 20 0 1 0 280627173 153497600 35056 33554432000 134512640 137138936 4291474016 4291473132 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37475 35056 292 642 0 36831 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 149900

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/177 16449
/proc/meminfo: memFree=30942012/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149900 CPUtime=1182.06 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518099 0 0 0 115526 2680 0 0 20 0 1 0 280627173 153497600 35056 33554432000 134512640 137138936 4291474016 4291472944 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37475 35056 292 642 0 36831 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 149900

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 4/177 16449
/proc/meminfo: memFree=30941268/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149900 CPUtime=1242.05 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518099 0 0 0 121519 2686 0 0 20 0 1 0 280627173 153497600 35056 33554432000 134512640 137138936 4291474016 4291472000 134712227 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37475 35056 292 642 0 36831 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 149900

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 4/177 16449
/proc/meminfo: memFree=30941020/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149900 CPUtime=1302.04 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518099 0 0 0 127513 2691 0 0 20 0 1 0 280627173 153497600 35056 33554432000 134512640 137138936 4291474016 4291472944 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37475 35056 292 642 0 36831 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 149900

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.78 4/177 16449
/proc/meminfo: memFree=30941020/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149912 CPUtime=1362.03 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518103 0 0 0 133507 2696 0 0 20 0 1 0 280627173 153509888 35060 33554432000 134512640 137138936 4291474016 4291473056 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37478 35060 292 642 0 36834 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 149912

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.79 4/178 16452
/proc/meminfo: memFree=30937848/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149912 CPUtime=1422.03 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518103 0 0 0 139503 2700 0 0 20 0 1 0 280627173 153509888 35060 33554432000 134512640 137138936 4291474016 4291471568 135412667 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37478 35060 292 642 0 36834 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 149912

[startup+1482.3 s]
/proc/loadavg: 2.10 2.00 1.81 4/177 16453
/proc/meminfo: memFree=30937856/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=149912 CPUtime=1482.01 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10518103 0 0 0 145496 2705 0 0 20 0 1 0 280627173 153509888 35060 33554432000 134512640 137138936 4291474016 4291471904 134750291 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37478 35060 292 642 0 36834 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 149912

[startup+1542.3 s]
/proc/loadavg: 2.03 2.00 1.82 4/177 16453
/proc/meminfo: memFree=30937732/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=152524 CPUtime=1542 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 10640768 0 0 0 151458 2742 0 0 20 0 1 0 280627173 156184576 35206 33554432000 134512640 137138936 4291474016 4291472068 135443921 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37522 35197 292 642 0 36878 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 152524

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.83 4/177 16453
/proc/meminfo: memFree=30937668/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=152532 CPUtime=1602 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 11358037 0 0 0 157249 2951 0 0 20 0 1 0 280627173 156192768 35206 33554432000 134512640 137138936 4291474016 4291472224 134840719 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 38133 35206 292 642 0 37489 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 152532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/177 16453
/proc/meminfo: memFree=30937420/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=150696 CPUtime=1661.99 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 12038764 0 0 0 163051 3148 0 0 20 0 1 0 280627173 154312704 35197 33554432000 134512640 137138936 4291474016 4291471640 136507573 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 37941 35202 292 642 0 37297 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 150696

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/177 16453
/proc/meminfo: memFree=30930848/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=156528 CPUtime=1721.98 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 12823541 0 0 0 168833 3365 0 0 20 0 1 0 280627173 160284672 36807 33554432000 134512640 137138936 4291474016 4291472944 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39132 36807 292 642 0 38488 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 156528

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/177 16454
/proc/meminfo: memFree=30914712/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=158936 CPUtime=1781.97 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13466863 0 0 0 174642 3555 0 0 20 0 1 0 280627173 162750464 36816 33554432000 134512640 137138936 4291474016 4291472088 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39734 36816 292 642 0 39090 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 158936

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.84 4/177 16454
/proc/meminfo: memFree=30913968/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=159636 CPUtime=1791.58 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13575330 0 0 0 175571 3587 0 0 20 0 1 0 280627173 163467264 36979 33554432000 134512640 137138936 4291474016 4291471816 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39909 36979 292 642 0 39265 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 159636

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 16454
/proc/meminfo: memFree=30913968/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=159656 CPUtime=1794.77 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13613594 0 0 0 175880 3597 0 0 20 0 1 0 280627173 163487744 36978 33554432000 134512640 137138936 4291474016 4291472088 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39914 36978 292 642 0 39270 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 159656

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 16454
/proc/meminfo: memFree=30913968/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=157176 CPUtime=1796.37 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13632622 0 0 0 176034 3603 0 0 20 0 1 0 280627173 160948224 36969 33554432000 134512640 137138936 4291474016 4291472944 134542776 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39294 36969 292 642 0 38650 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 157176

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 16454
/proc/meminfo: memFree=30913968/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=157176 CPUtime=1797.17 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13641646 0 0 0 176111 3606 0 0 20 0 1 0 280627173 160948224 36969 33554432000 134512640 137138936 4291474016 4291472944 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39294 36969 292 642 0 38650 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 157176

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 16454
/proc/meminfo: memFree=30913968/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=157176 CPUtime=1797.56 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13646582 0 0 0 176149 3607 0 0 20 0 1 0 280627173 160948224 36969 33554432000 134512640 137138936 4291474016 4291472944 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39294 36969 292 642 0 38650 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 157176

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 16454
/proc/meminfo: memFree=30913968/32873844 swapFree=6080/6080
[pid=16413] ppid=16409 vsize=159644 CPUtime=1797.97 cores=1,3,5,7
/proc/16413/stat : 16413 (bsolo) R 16409 16413 24278 0 -1 4202496 13651326 0 0 0 176188 3609 0 0 20 0 1 0 280627173 163475456 36978 33554432000 134512640 137138936 4291474016 4291471816 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/16413/statm: 39911 36978 292 642 0 39267 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 159644

Child status: 0
Real time (s): 1798.33
CPU time (s): 1798
CPU user time (s): 1761.91
CPU system time (s): 36.0955
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 159668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.91
system time used= 36.0955
maximum resident set size= 148072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13651637
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= 83
involuntary context switches= 1979

runsolver used 3.2565 second user time and 10.6454 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-27 20:57:06
IDJOB=3707890
IDBENCH=1954
IDSOLVER=2286
FILE ID=node139/3707890-1338145026
RUNJOBID= node139-1338145026-16387
PBS_JOBID= 14624487
Free space on /tmp= 71660 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707890-1338145026/watcher-3707890-1338145026 -o /tmp/evaluation-result-3707890-1338145026/solver-3707890-1338145026 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707890-1338145026.opb

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

MD5SUM BENCH= bddc7a1ce44c83fc28f6e299cbaaf04c
RANDOM SEED=1985138363

node139.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.750
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.50
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.750
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.750
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.90
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.750
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.750
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.92
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.750
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.91
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.750
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.91
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.750
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31228412 kB
Buffers:          390096 kB
Cached:           394580 kB
SwapCached:          828 kB
Active:           624680 kB
Inactive:         168324 kB
Active(anon):       1368 kB
Inactive(anon):     8712 kB
Active(file):     623312 kB
Inactive(file):   159612 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              7628 kB
Writeback:             0 kB
AnonPages:         13084 kB
Mapped:            11268 kB
Shmem:                 8 kB
Slab:             715464 kB
SReclaimable:     156848 kB
SUnreclaim:       558616 kB
KernelStack:        1408 kB
PageTables:         4184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71652 MiB
End job on node139 at 2012-05-27 21:27:05