Trace number 3463116

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.2SAT212 1798.01 1797.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM008a49e8cb0d34e0becb5a5e15efaa2a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 177
Optimality of the best value was proved NO
Number of variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
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 465
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-3463116-1307175571.opb
0.00/0.00	c File size is 42423 bytes.
0.00/0.00	c Highest Coefficient sum: 465
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: 465 Constr: 465 1/0/464 Lit: 4195 Watch. Lit: 1483
0.00/0.00	c Obj. Vars: 465 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c        0    465      465     4195    9     1886    8372      0      0 0.01
0.39/0.47	c Initial Lower Bound: 136
0.39/0.47	c Initial Path Cost: 0
0.39/0.47	o 222
3.20/3.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.26	c        0    465      466     4660   10     2364    9372      1      0 0.47
3.20/3.26	o 221
6.61/6.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.61/6.62	c       63    465      577    30891   53     2829    9372    112     19 3.26
6.61/6.62	o 215
78.19/78.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.19/78.20	c       63    465      578    31356   54     3193    9372    113      9 6.62
78.19/78.20	c      163    465      867   115519  133     3774   10310    402     16 9.80
78.19/78.20	c      413    465     1601   334316  208     5241   11342   1136     29 13.90
78.19/78.20	c      889    465     2970   711011  239     7943   12477   2505     48 18.29
78.19/78.20	c     1702    465     5204  1248480  239    12420   13725   4739     72 23.56
78.19/78.20	c     3022    465     9034  2230809  246    20058   15098   8569    100 29.96
78.19/78.20	c     5103    465    14249  3450396  242    30505   16608  13784    132 38.37
78.19/78.20	c     8326    465    14703  3615910  245    30924   18269  14238    164 50.58
78.19/78.20	c    13262    465     9911  2496951  251    21329   20096   9446    194 68.22
78.19/78.20	o 214
1643.65/1643.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1643.65/1643.63	c    15981    465    16788  4235800  252    35315    9372  16323    204 78.21
1643.65/1643.63	c    16082    465     5428  1262435  232    12377   10310   4963    196 81.84
1643.65/1643.63	c    16332    465     6005  1400249  233    13480   11342   5540    190 85.58
1643.65/1643.63	c    16807    465     7336  1755709  239    16185   12477   6871    186 90.05
1643.65/1643.63	c    17621    465     9679  2356365  243    20854   13725   9214    184 95.74
1643.65/1643.63	c    18941    465    13485  3368156  249    28575   15098  13020    184 102.57
1643.65/1643.63	c    21022    465    11505  2907006  252    24557   16608  11040    188 111.63
1643.65/1643.63	c    24245    465    12130  3194677  263    25786   18269  11665    195 124.09
1643.65/1643.63	c    29182    465    16031  3860053  240    33560   20096  15566    207 140.72
1643.65/1643.63	c    36688    465    16630  4359128  262    34780   22106  16165    219 166.77
1643.65/1643.63	c    48050    465    11519  2648709  229    24568   24317  11054    237 202.10
1643.65/1643.63	c    65194    465    23455  6453075  275    48463   26749  22990    248 261.84
1643.65/1643.63	c    91014    465    19840  4620651  232    41170   29424  19375    263 345.26
1643.65/1643.63	c   129846    465    27782  7181043  258    57037   32367  27317    269 481.30
1643.65/1643.63	c   188201    465    26576  6817230  256    54677   35604  26111    276 680.90
1643.65/1643.63	c   275834    465    20001  5120337  256    41538   39165  19536    274 1003.25
1643.65/1643.63	c   407386    465    26024  6872031  264    53571   43082  25559    274 1482.17
1643.65/1643.63	o 213
1776.16/1776.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1776.16/1776.18	c   457183    465    35637  7946062  222    76286    9372  35172    278 1643.69
1776.16/1776.18	c   457283    465     5443  1103594  202    13343   10310   4978    276 1651.43
1776.16/1776.18	c   457533    465     6114  1287618  210    14638   11342   5649    276 1655.06
1776.16/1776.18	c   458008    465     7522  1649886  219    17511   12477   7057    275 1659.85
1776.16/1776.18	c   458821    465     9804  2281285  232    22070   13725   9339    275 1665.43
1776.16/1776.18	c   460142    465    12331  2863329  232    27117   15098  11866    275 1671.32
1776.16/1776.18	c   462224    465    10468  2684118  256    22476   16608  10003    275 1680.63
1776.16/1776.18	c   465448    465     9992  2525046  252    21759   18269   9527    275 1692.41
1776.16/1776.18	c   470384    465    14733  3853150  261    31240   20096  14268    275 1709.73
1776.16/1776.18	c   477892    465    15354  3662318  238    32269   22106  14889    275 1734.55
1776.16/1776.18	c   489253    465    13379  3602451  269    28280   24317  12914    276 1771.55
1776.16/1776.18	o 212
1797.96/1797.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1797.93	c   489955    465    15149  4035994  266    32052    9372  14684    275 1776.26
1797.96/1797.93	c   490055    465     5445  1363988  250    12364   10310   4980    275 1780.00
1797.96/1797.93	c   490308    465     6203  1581183  254    13940   11342   5738    274 1784.08
1797.96/1797.93	c   490784    465     7609  1973360  259    16743   12477   7144    274 1788.66
1797.96/1797.93	c   491597    465     9986  2626964  263    21494   13725   9521    274 1793.92
1797.96/1797.93	c Resources Exceeded
1797.96/1797.93	v -x1 x2 x3 -x4 x5 -x6 x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 x24 -x25 -x26 x27 x28 -x29 x30 x31 x32 -x33 x34 -x35 x36 x37 x38 -x39 x40 -x41 x42 x43 -x44 x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 x59 -x60 x61 x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 x71 -x72 x73 x74 x75 -x76 -x77 x78 -x79 -x80 x81 -x82 -x83 x84 -x85 x86 x87 -x88 x89 x90 x91 -x92 -x93 -x94 x95 x96 -x97 x98 x99 x100 -x101 x102 x103 x104 x105 x106 x107 -x108 x109 -x110 -x111 x112 -x113 -x114 x115 -x116 x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 -x126 x127 -x128 x129 -x130 -x131 -x132 x133 -x134 x135 -x136 -x137 x138 -x139 -x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 x155 x156 -x157 -x158 -x159 x160 -x161 x162 x163 -x164 x165 x166 -x167 -x168 -x169 -x170 x171 x172 -x173 x174 x175 x176 -x177 x178 -x179 x180 -x181 x182 -x183 x184 -x185 -x186 x187 x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 x201 -x202 -x203 -x204 x205 x206 -x207 -x208 x209 -x210 x211 x212 x213 -x214 x215 -x216 x217 x218 x219 x220 -x221 x222 -x223 x224 -x225 x226 -x227 x228 x229 -x230 x231 x232 x233 x234 -x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 -x245 x246 -x247 -x248 x249 x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 x269 x270 -x271 x272 -x273 x274 x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 x300 -x301 x302 x303 x304 x305 -x306 x307 -x308 x309 -x310 -x311 -x312 x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 x325 -x326 -x327 x328 -x329 x330 -x331 x332 -x333 x334 x335 x336 x337 -x338 -x339 x340 -x341 -x342 x343 -x344 x345 x346 -x347 -x348 x349 x350 -x351 -x352 -x353 x354 -x355 x356 x357 x358 x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 x370 x371 x372 -x373 -x374 x375 x376 -x377 -x378 x379 -x380 x381 x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 x407 -x408 x409 -x410 -x411 x412 x413 x414 -x415 x416 x417 x418 -x419 x420 -x421 x422 x423 -x424 -x425 -x426 -x427 x428 -x429 x430 -x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 x445 x446 -x447 x448 -x449 x450 -x451 -x452 x453 x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 x465 
1797.96/1797.93	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1797.93	c   44   491879 107985   698127    10812  2867371  10347    273 1798.00
1797.96/1797.93	c Objective: 212
1797.96/1797.93	s SATISFIABLE
1797.96/1797.93	c Total time: 1798 s

Verifier Data 

OK	212

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-3463116-1307175571/watcher-3463116-1307175571 -o /tmp/evaluation-result-3463116-1307175571/solver-3463116-1307175571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463116-1307175571.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: 0.94 1.10 1.46 2/549 11810
/proc/meminfo: memFree=24926372/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=10920 CPUtime=0 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 385 0 0 0 0 0 0 0 21 0 1 0 829154127 11182080 328 33554432000 134512640 137138936 4293299136 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 2730 328 218 642 0 2086 0

[startup+0.0680161 s]
/proc/loadavg: 0.94 1.10 1.46 2/549 11810
/proc/meminfo: memFree=24926372/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=12536 CPUtime=0.06 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 724 0 0 0 6 0 0 0 21 0 1 0 829154127 12836864 639 33554432000 134512640 137138936 4293299136 18446744073709551615 135456672 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3134 639 278 642 0 2490 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12536

[startup+0.100965 s]
/proc/loadavg: 0.94 1.10 1.46 2/549 11810
/proc/meminfo: memFree=24926372/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=12528 CPUtime=0.09 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 790 0 0 0 9 0 0 0 21 0 1 0 829154127 12828672 649 33554432000 134512640 137138936 4293299136 18446744073709551615 134768846 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3132 649 278 642 0 2488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12528

[startup+0.300968 s]
/proc/loadavg: 0.94 1.10 1.46 2/549 11810
/proc/meminfo: memFree=24926372/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=13264 CPUtime=0.29 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 1226 0 0 0 29 0 0 0 22 0 1 0 829154127 13582336 748 33554432000 134512640 137138936 4293299136 18446744073709551615 135466056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3316 748 278 642 0 2672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13264

[startup+0.700883 s]
/proc/loadavg: 0.94 1.10 1.46 2/549 11810
/proc/meminfo: memFree=24926372/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=13292 CPUtime=0.69 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 2404 0 0 0 69 0 0 0 23 0 1 0 829154127 13611008 674 33554432000 134512640 137138936 4293299136 18446744073709551615 135322926 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3323 675 287 642 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13292

[startup+1.50073 s]
/proc/loadavg: 0.94 1.10 1.46 3/555 11821
/proc/meminfo: memFree=24917388/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=13628 CPUtime=1.49 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 8571 0 0 0 148 1 0 0 25 0 1 0 829154127 13955072 660 33554432000 134512640 137138936 4293299136 18446744073709551615 135457626 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3407 660 287 642 0 2763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13628

[startup+3.10043 s]
/proc/loadavg: 1.03 1.12 1.46 3/555 11821
/proc/meminfo: memFree=24914908/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=12904 CPUtime=3.09 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 22809 0 0 0 307 2 0 0 25 0 1 0 829154127 13213696 487 33554432000 134512640 137138936 4293299136 18446744073709551615 135456294 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3226 490 287 642 0 2582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12904

[startup+6.30082 s]
/proc/loadavg: 1.03 1.12 1.46 3/555 11821
/proc/meminfo: memFree=24913796/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=14096 CPUtime=6.29 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 52050 0 0 0 622 7 0 0 25 0 1 0 829154127 14434304 599 33554432000 134512640 137138936 4293299136 18446744073709551615 135450378 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3524 599 292 642 0 2880 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14096

[startup+12.7006 s]
/proc/loadavg: 1.18 1.15 1.46 3/555 11821
/proc/meminfo: memFree=24911072/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=15584 CPUtime=12.69 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 118560 0 0 0 1254 15 0 0 25 0 1 0 829154127 15958016 964 33554432000 134512640 137138936 4293299136 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 3896 964 292 642 0 3252 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15584

[startup+25.5011 s]
/proc/loadavg: 1.30 1.17 1.47 3/555 11822
/proc/meminfo: memFree=24889100/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=30580 CPUtime=25.49 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 410452 0 0 0 2500 49 0 0 25 0 1 0 829154127 31313920 4704 33554432000 134512640 137138936 4293299136 18446744073709551615 135449769 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 7645 4704 292 642 0 7001 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30580

[startup+51.1002 s]
/proc/loadavg: 1.54 1.24 1.48 3/555 11822
/proc/meminfo: memFree=24835180/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=69632 CPUtime=51.09 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 1195794 0 0 0 4951 158 0 0 25 0 1 0 829154127 71303168 14557 33554432000 134512640 137138936 4293299136 18446744073709551615 135382816 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 17408 14559 292 642 0 16764 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69632

[startup+102.32 s]
/proc/loadavg: 1.81 1.36 1.51 3/555 11824
/proc/meminfo: memFree=24775896/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=80476 CPUtime=102.31 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 1850767 0 0 0 9955 276 0 0 25 0 1 0 829154127 82407424 17195 33554432000 134512640 137138936 4293299136 18446744073709551615 134841017 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 20119 17195 292 642 0 19475 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 80476

[startup+162.301 s]
/proc/loadavg: 2.00 1.48 1.54 3/555 11825
/proc/meminfo: memFree=24744744/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=89432 CPUtime=162.3 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 2606307 0 0 0 15792 438 0 0 25 0 1 0 829154127 91578368 20034 33554432000 134512640 137138936 4293299136 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 22358 20034 292 642 0 21714 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 89432

[startup+222.3 s]
/proc/loadavg: 2.06 1.60 1.57 3/555 11827
/proc/meminfo: memFree=24722504/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=109008 CPUtime=222.29 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 3485938 0 0 0 21624 605 0 0 25 0 1 0 829154127 111624192 24928 33554432000 134512640 137138936 4293299136 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 27252 24928 292 642 0 26608 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 109008

[startup+282.301 s]
/proc/loadavg: 2.02 1.66 1.59 3/555 11829
/proc/meminfo: memFree=24710448/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=112796 CPUtime=282.3 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 4273664 0 0 0 27452 778 0 0 25 0 1 0 829154127 115503104 25874 33554432000 134512640 137138936 4293299136 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 28199 25874 292 642 0 27555 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 112796

[startup+342.3 s]
/proc/loadavg: 2.10 1.76 1.63 3/555 11830
/proc/meminfo: memFree=24699996/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=112720 CPUtime=342.3 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 4922731 0 0 0 33303 927 0 0 25 0 1 0 829154127 115425280 25855 33554432000 134512640 137138936 4293299136 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 28180 25855 292 642 0 27536 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112720

[startup+402.301 s]
/proc/loadavg: 2.04 1.79 1.65 3/555 11832
/proc/meminfo: memFree=24680492/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=129096 CPUtime=402.31 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 5690957 0 0 0 39144 1087 0 0 25 0 1 0 829154127 132194304 29539 33554432000 134512640 137138936 4293299136 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 32463 29542 292 642 0 31819 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 129096

[startup+462.3 s]
/proc/loadavg: 2.01 1.83 1.67 3/555 11833
/proc/meminfo: memFree=24675764/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=127420 CPUtime=462.31 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 6370236 0 0 0 44986 1245 0 0 25 0 1 0 829154127 130478080 29531 33554432000 134512640 137138936 4293299136 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 31855 29531 292 642 0 31211 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 127420

[startup+522.301 s]
/proc/loadavg: 2.00 1.86 1.68 3/555 11835
/proc/meminfo: memFree=24675244/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=127428 CPUtime=522.31 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 7002308 0 0 0 50839 1392 0 0 25 0 1 0 829154127 130486272 29533 33554432000 134512640 137138936 4293299136 18446744073709551615 134587652 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 31857 29533 292 642 0 31213 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 127428

[startup+582.3 s]
/proc/loadavg: 2.00 1.88 1.70 3/555 11837
/proc/meminfo: memFree=24674712/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=128104 CPUtime=582.31 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 7705143 0 0 0 56674 1557 0 0 25 0 1 0 829154127 131178496 29702 33554432000 134512640 137138936 4293299136 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 32026 29702 292 642 0 31382 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 128104

[startup+642.301 s]

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

/proc/meminfo: memFree=24615676/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=156028 CPUtime=1062.33 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 13049138 0 0 0 103475 2758 0 0 25 0 1 0 829154127 159772672 36078 33554432000 134512640 137138936 4293299136 18446744073709551615 135471492 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 39007 36078 292 642 0 38363 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 156028

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/555 11851
/proc/meminfo: memFree=24615020/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=154148 CPUtime=1122.33 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 13740974 0 0 0 109324 2909 0 0 25 0 1 0 829154127 157847552 36213 33554432000 134512640 137138936 4293299136 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 38537 36213 292 642 0 37893 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 154148

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/555 11853
/proc/meminfo: memFree=24614128/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=156560 CPUtime=1182.33 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 14457937 0 0 0 115166 3067 0 0 25 0 1 0 829154127 160317440 36222 33554432000 134512640 137138936 4293299136 18446744073709551615 134730632 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 39140 36222 292 642 0 38496 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 156560

[startup+1242.3 s]
/proc/loadavg: 2.10 2.03 1.85 3/555 11854
/proc/meminfo: memFree=24611860/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=156536 CPUtime=1242.34 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 15160202 0 0 0 121007 3227 0 0 25 0 1 0 829154127 160292864 36217 33554432000 134512640 137138936 4293299136 18446744073709551615 134730664 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 38531 36207 292 642 0 37887 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 156536

[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 1.86 3/555 11856
/proc/meminfo: memFree=24612200/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=156508 CPUtime=1302.35 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 15853350 0 0 0 126852 3383 0 0 25 0 1 0 829154127 160264192 36213 33554432000 134512640 137138936 4293299136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 39127 36213 292 642 0 38483 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 156508

[startup+1362.3 s]
/proc/loadavg: 2.10 2.06 1.88 3/555 11857
/proc/meminfo: memFree=24613548/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=156496 CPUtime=1362.35 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 16535773 0 0 0 132699 3536 0 0 25 0 1 0 829154127 160251904 36212 33554432000 134512640 137138936 4293299136 18446744073709551615 134730577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 39124 36212 292 642 0 38480 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 156496

[startup+1422.32 s]
/proc/loadavg: 2.07 2.06 1.89 3/555 11859
/proc/meminfo: memFree=24610416/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=154104 CPUtime=1422.37 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 17199825 0 0 0 138549 3688 0 0 25 0 1 0 829154127 157802496 36202 33554432000 134512640 137138936 4293299136 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 38526 36202 292 642 0 37882 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 154104

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 1.90 3/555 11861
/proc/meminfo: memFree=24605184/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=161868 CPUtime=1482.35 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 17912228 0 0 0 144396 3839 0 0 25 0 1 0 829154127 165752832 37492 33554432000 134512640 137138936 4293299136 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40467 37492 292 642 0 39823 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 161868

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 1.90 3/555 11862
/proc/meminfo: memFree=24599448/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=165288 CPUtime=1542.35 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 18633081 0 0 0 150242 3993 0 0 25 0 1 0 829154127 169254912 38412 33554432000 134512640 137138936 4293299136 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 41322 38412 292 642 0 40678 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 165288

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/555 11864
/proc/meminfo: memFree=24591240/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163072 CPUtime=1602.35 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19213295 0 0 0 156109 4126 0 0 25 0 1 0 829154127 166985728 38412 33554432000 134512640 137138936 4293299136 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40768 38412 292 642 0 40124 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 163072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/555 11865
/proc/meminfo: memFree=24591704/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=165588 CPUtime=1662.36 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19745101 0 0 0 161993 4243 0 0 25 0 1 0 829154127 169562112 38434 33554432000 134512640 137138936 4293299136 18446744073709551615 135451380 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 41397 38434 292 642 0 40753 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 165588

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/555 11867
/proc/meminfo: memFree=24590932/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1722.36 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 167959 4277 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 135381415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 163140

[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24588548/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1782.36 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 173956 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 135433153 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 163140

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

[startup+1785.5 s]
/proc/loadavg: 2.10 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24589660/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1785.56 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 174276 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 134768855 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 163140

[startup+1791.92 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24589660/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1791.98 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 174918 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 136505776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 163140

[startup+1795.1 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24591024/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1795.17 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 175237 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 135436743 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (KiB) 163140

[startup+1796.7 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24591024/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1796.76 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 175396 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 134840834 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 163140

[startup+1797.5 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24590032/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1797.56 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 175476 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 163140

[startup+1797.9 s]
/proc/loadavg: 2.08 2.04 1.92 3/555 11869
/proc/meminfo: memFree=24590032/32950928 swapFree=67056580/67111528
[pid=11810] ppid=11808 vsize=163140 CPUtime=1797.96 cores=0,2,4,6
/proc/11810/stat : 11810 (bsolo) R 11808 11810 10194 0 -1 4202496 19881467 0 0 0 175516 4280 0 0 25 0 1 0 829154127 167055360 38357 33554432000 134512640 137138936 4293299136 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11810/statm: 40785 38357 292 642 0 40141 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 163140

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

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

runsolver used 10.4154 second user time and 22.1306 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-04 10:19:31
IDJOB=3463116
IDBENCH=1960
IDSOLVER=1955
FILE ID=node148/3463116-1307175571
RUNJOBID= node148-1307175570-11800
PBS_JOBID= 13508860
Free space on /tmp= 73896 MiB

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

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

MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a
RANDOM SEED=164491314

node148.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.854
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.70
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.854
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.854
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.83
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.854
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.854
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.854
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.854
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.854
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:     32950928 kB
MemFree:      24926660 kB
Buffers:        260136 kB
Cached:         628640 kB
SwapCached:       7908 kB
Active:        7204772 kB
Inactive:       511184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24926660 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:            3944 kB
Writeback:           0 kB
AnonPages:     6826012 kB
Mapped:          43272 kB
Slab:           179756 kB
PageTables:      57636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170360340 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= 73888 MiB
End job on node148 at 2011-06-04 10:49:29