Trace number 3463136

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-26 1798.01 1797.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
MD5SUM5909a36352b34473abff2d7e1fe31c04
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark947.527
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17874
Number of constraints which are clauses17874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
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 450
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-3463136-1307177567.opb
0.00/0.00	c File size is 424375 bytes.
0.00/0.02	c Highest Coefficient sum: 450
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.025 s
0.00/0.02	c Var: 450 Constr: 17874 17874/0/0 Lit: 35748 Watch. Lit: 35748
0.00/0.02	c Obj. Vars: 450 (100 % of total variables)
0.05/0.09	c Pre-processing Time: 0.097 s
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c        0    450    17874    35748    2    35748    5958      0      0 0.10
0.05/0.09	c Switching off lower bounding mode.
0.05/0.10	o -20
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0    450    17875    36198    2    35770    6958      1      0 0.10
0.09/0.18	c      100    450    17987    83904    4    35994    7654    113    699 0.14
0.09/0.18	o -21
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      181    450    18080   123519    6    36201    6958    206   1011 0.18
0.09/0.18	o -22
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      185    450    18085   125673    6    36233    6958    211   1016 0.18
0.09/0.18	o -23
3.20/3.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.25	c      194    450    18096   130370    7    36278    6958    222   1037 0.19
3.20/3.25	c      294    450    18214   180124    9    36514    7654    340   1256 0.23
3.20/3.25	c      544    450    18507   303933   16    37100    8420    633   1528 0.36
3.20/3.25	c     1019    450    19070   541337   28    38248    9263   1196   1706 0.60
3.20/3.25	c     1833    450    20017   940567   46    40142   10190   2143   1777 1.03
3.20/3.25	c     3154    450    21525  1577176   73    43179   11210   3651   1754 1.80
3.20/3.25	c     5235    450    23869  2567834  107    47867   12332   5995   1623 3.22
3.20/3.25	o -24
304.39/304.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
304.39/304.48	c     5279    450    23920  2589458  108    47993    6958   6046   1621 3.25
304.39/304.48	c     5379    450    24034  2637543  109    48221    7654   6160   1622 3.32
304.39/304.48	c     5629    450    24322  2758661  113    48797    8420   6448   1623 3.47
304.39/304.48	c     6105    450    24871  2989897  120    49895    9263   6997   1600 3.81
304.39/304.48	c     6919    450    25792  3378333  130    51737   10190   7918   1593 4.34
304.39/304.48	c     8239    450    27325  4023162  147    54825   11210   9451   1555 5.30
304.39/304.48	c    10320    450    23706  2491736  105    47458   12332   5832   1482 6.96
304.39/304.48	c    13543    450    27461  4071621  148    54990   13566   9587   1404 9.64
304.39/304.48	c    18479    450    26013  3460800  133    52072   14923   8139   1324 13.96
304.39/304.48	c    25986    450    26802  3790271  141    53670   16416   8928   1207 21.52
304.39/304.48	c    37347    450    31499  5763914  182    63044   18058  13625   1156 32.29
304.39/304.48	c    54491    450    32781  6298112  192    65608   19864  14907    990 55.04
304.39/304.48	c    80310    450    31447  5752568  182    62984   21851  13573    885 90.69
304.39/304.48	c   119143    450    31193  5636923  180    62410   24037  13319    787 151.35
304.39/304.48	c   177496    450    36116  7700930  213    72277   26441  18242    702 252.64
304.39/304.48	o -25
881.30/881.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
881.30/881.37	c   207451    450    40930  9741266  237    81980    6958  23056    681 304.49
881.30/881.37	c   207551    450    21469  1549534   72    42963    7654   3595    678 305.97
881.30/881.37	c   207801    450    21749  1667292   76    43523    8420   3875    678 306.11
881.30/881.37	c   208276    450    22289  1893959   84    44603    9263   4415    679 306.37
881.30/881.37	c   209089    450    23236  2291362   98    46497   10190   5362    681 306.85
881.30/881.37	c   210409    450    24753  2928301  118    49531   11210   6879    683 307.85
881.30/881.37	c   212490    450    27172  3944169  145    54369   12332   9298    686 309.30
881.30/881.37	c   215713    450    24261  2718949  112    48547   13566   6387    691 311.92
881.30/881.37	c   220649    450    29888  5084550  170    59801   14923  12014    698 315.92
881.30/881.37	c   228156    450    30578  5374128  175    61181   16416  12704    705 323.18
881.30/881.37	c   239517    450    26549  3673967  138    53123   18058   8675    715 334.54
881.30/881.37	c   256661    450    27474  4067846  148    54973   19864   9600    718 357.19
881.30/881.37	c   282480    450    37146  8109280  218    74317   21851  19272    724 389.72
881.30/881.37	c   321312    450    37188  8133752  218    74401   24037  19314    723 444.32
881.30/881.37	c   379664    450    30475  5315106  174    60997   26441  12601    714 531.62
881.30/881.37	c   467296    450    33977  6780562  199    68002   29086  16103    683 684.18
881.30/881.37	o -26
1797.92/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.96	c   574538    450    44367 11122751  250    88828    6958  26493    651 881.39
1797.92/1797.96	c   574638    450    21467  1541130   71    42960    7654   3593    651 882.40
1797.92/1797.96	c   574888    450    21748  1658925   76    43522    8420   3874    651 882.52
1797.92/1797.96	c   575363    450    22295  1888085   84    44616    9263   4421    651 882.78
1797.92/1797.96	c   576176    450    23227  2278443   98    46480   10190   5353    652 883.22
1797.92/1797.96	c   577497    450    24757  2918987  117    49540   11210   6883    653 884.06
1797.92/1797.96	c   579579    450    27193  3937516  144    54412   12332   9319    654 885.52
1797.92/1797.96	c   582802    450    24300  2725552  112    48626   13566   6426    656 888.13
1797.92/1797.96	c   587738    450    30057  5134463  170    60163   14923  12183    658 892.37
1797.92/1797.96	c   595244    450    30975  5511419  177    62023   16416  13101    661 899.87
1797.92/1797.96	c   606605    450    26746  3752830  140    53518   18058   8872    664 913.20
1797.92/1797.96	c   623749    450    27707  4148847  149    55440   19864   9833    668 932.94
1797.92/1797.96	c   649568    450    37076  8060137  217    74226   21851  19202    673 964.87
1797.92/1797.96	c   688401    450    36984  8024646  216    73994   24037  19110    676 1017.71
1797.92/1797.96	c   746753    450    30510  5310541  174    61116   26441  12636    670 1113.28
1797.92/1797.96	c   834385    450    31740  5805349  182    63583   29086  13866    653 1276.88
1797.92/1797.96	c   965938    450    35404  7367245  208    70834   31995  17530    642 1503.55
1797.92/1797.96	c Resources Exceeded
1797.92/1797.96	v -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 
1797.92/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.96	c   59  1116682  75932  1205949    34389  6936265  16515    621 1798.00
1797.92/1797.96	c Objective: -26
1797.92/1797.96	s SATISFIABLE
1797.92/1797.96	c Total time: 1798 s

Verifier Data 

OK	-26

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-3463136-1307177567/watcher-3463136-1307177567 -o /tmp/evaluation-result-3463136-1307177567/solver-3463136-1307177567 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463136-1307177567.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.03 2.05 2.00 3/527 20060
/proc/meminfo: memFree=24196944/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=12172 CPUtime=0.01 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 583 0 0 0 1 0 0 0 25 0 1 0 907987369 12464128 538 33554432000 134512640 137138936 4290268720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 3043 539 228 642 0 2295 0

[startup+0.059146 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 20060
/proc/meminfo: memFree=24196944/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=13896 CPUtime=0.05 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 1177 0 0 0 5 0 0 0 25 0 1 0 907987369 14229504 1028 33554432000 134512640 137138936 4290268720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 3474 1028 185 642 0 2830 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13896

[startup+0.101163 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 20060
/proc/meminfo: memFree=24196944/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=13408 CPUtime=0.09 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 1184 0 0 0 8 1 0 0 25 0 1 0 907987369 13729792 927 33554432000 134512640 137138936 4290268720 18446744073709551615 136505205 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 3352 927 192 642 0 2708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13408

[startup+0.301132 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 20060
/proc/meminfo: memFree=24196944/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=16092 CPUtime=0.29 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 1843 0 0 0 28 1 0 0 25 0 1 0 907987369 16478208 1586 33554432000 134512640 137138936 4290268720 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 4023 1586 192 642 0 3379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16092

[startup+0.701062 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 20060
/proc/meminfo: memFree=24196944/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=21176 CPUtime=0.69 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 3126 0 0 0 68 1 0 0 25 0 1 0 907987369 21684224 2869 33554432000 134512640 137138936 4290268720 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 5294 2869 192 642 0 4650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21176

[startup+1.50092 s]
/proc/loadavg: 2.03 2.05 2.00 3/528 20061
/proc/meminfo: memFree=24181804/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=30444 CPUtime=1.49 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 5414 0 0 0 148 1 0 0 25 0 1 0 907987369 31174656 5157 33554432000 134512640 137138936 4290268720 18446744073709551615 136502660 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 7611 5157 192 642 0 6967 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30444

[startup+3.10064 s]
/proc/loadavg: 2.03 2.05 2.00 3/528 20061
/proc/meminfo: memFree=24168536/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=45124 CPUtime=3.09 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 9110 0 0 0 307 2 0 0 25 0 1 0 907987369 46206976 8853 33554432000 134512640 137138936 4290268720 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 11281 8853 192 642 0 10637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45124

[startup+6.30105 s]
/proc/loadavg: 2.02 2.05 2.00 3/528 20061
/proc/meminfo: memFree=24137792/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=73964 CPUtime=6.29 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 16298 0 0 0 626 3 0 0 25 0 1 0 907987369 75739136 16041 33554432000 134512640 137138936 4290268720 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 18491 16041 192 642 0 17847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73964

[startup+12.701 s]
/proc/loadavg: 2.02 2.05 2.00 3/528 20061
/proc/meminfo: memFree=24116524/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=89216 CPUtime=12.69 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 20133 0 0 0 1264 5 0 0 25 0 1 0 907987369 91357184 19876 33554432000 134512640 137138936 4290268720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 22304 19876 192 642 0 21660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89216

[startup+25.5007 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20062
/proc/meminfo: memFree=24096560/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=97376 CPUtime=25.49 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 22165 0 0 0 2543 6 0 0 25 0 1 0 907987369 99713024 21908 33554432000 134512640 137138936 4290268720 18446744073709551615 134599724 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 24344 21908 192 642 0 23700 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97376

[startup+51.1012 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 20062
/proc/meminfo: memFree=24066156/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=114564 CPUtime=51.09 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 26472 0 0 0 5101 8 0 0 25 0 1 0 907987369 117313536 26215 33554432000 134512640 137138936 4290268720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 28641 26215 192 642 0 27997 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114564

[startup+102.32 s]
/proc/loadavg: 2.08 2.06 2.01 3/528 20064
/proc/meminfo: memFree=24021500/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=135852 CPUtime=102.31 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 31785 0 0 0 10219 12 0 0 25 0 1 0 907987369 139112448 31528 33554432000 134512640 137138936 4290268720 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 33963 31528 192 642 0 33319 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 135852

[startup+162.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/528 20065
/proc/meminfo: memFree=23986132/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=146976 CPUtime=162.3 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 34578 0 0 0 16213 17 0 0 25 0 1 0 907987369 150503424 34314 33554432000 134512640 137138936 4290268720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 36744 34314 192 642 0 36100 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 146976

[startup+222.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/528 20067
/proc/meminfo: memFree=23957336/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=147816 CPUtime=222.3 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 34787 0 0 0 22210 20 0 0 25 0 1 0 907987369 151363584 34523 33554432000 134512640 137138936 4290268720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 36954 34523 192 642 0 36310 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 147816

[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 20068
/proc/meminfo: memFree=23919608/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=160904 CPUtime=282.29 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 38060 0 0 0 28206 23 0 0 25 0 1 0 907987369 164765696 37796 33554432000 134512640 137138936 4290268720 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 40226 37796 192 642 0 39582 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 160904

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20097
/proc/meminfo: memFree=24406716/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=160880 CPUtime=342.3 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 38060 0 0 0 34201 29 0 0 25 0 1 0 907987369 164741120 37795 33554432000 134512640 137138936 4290268720 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 40220 37795 192 642 0 39576 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 160880

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20099
/proc/meminfo: memFree=24137808/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=160344 CPUtime=402.29 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 38060 0 0 0 40196 33 0 0 25 0 1 0 907987369 164192256 37661 33554432000 134512640 137138936 4290268720 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 40086 37661 192 642 0 39442 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 160344

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20100
/proc/meminfo: memFree=23915448/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=160344 CPUtime=462.29 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 38060 0 0 0 46192 37 0 0 25 0 1 0 907987369 164192256 37661 33554432000 134512640 137138936 4290268720 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 40086 37661 192 642 0 39442 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 160344

[startup+522.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/528 20111
/proc/meminfo: memFree=23728500/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=160344 CPUtime=522.3 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 38060 0 0 0 52189 41 0 0 25 0 1 0 907987369 164192256 37661 33554432000 134512640 137138936 4290268720 18446744073709551615 134603250 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 40086 37661 192 642 0 39442 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 160344

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/528 20112
/proc/meminfo: memFree=23728804/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=160388 CPUtime=582.3 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 38066 0 0 0 58185 45 0 0 25 0 1 0 907987369 164237312 37667 33554432000 134512640 137138936 4290268720 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 40097 37667 192 642 0 39453 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 160388

[startup+642.301 s]

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

/proc/meminfo: memFree=23703844/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174816 CPUtime=1062.31 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 106154 77 0 0 25 0 1 0 907987369 179011584 41279 33554432000 134512640 137138936 4290268720 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43704 41279 192 642 0 43060 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 174816

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20127
/proc/meminfo: memFree=23703684/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174796 CPUtime=1122.31 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 112150 81 0 0 25 0 1 0 907987369 178991104 41274 33554432000 134512640 137138936 4290268720 18446744073709551615 134603182 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43699 41274 192 642 0 43055 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 174796

[startup+1182.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/528 20128
/proc/meminfo: memFree=23702656/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174796 CPUtime=1182.31 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 118148 83 0 0 25 0 1 0 907987369 178991104 41274 33554432000 134512640 137138936 4290268720 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43699 41274 192 642 0 43055 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 174796

[startup+1242.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/528 20130
/proc/meminfo: memFree=23702632/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174796 CPUtime=1242.32 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 124146 86 0 0 25 0 1 0 907987369 178991104 41274 33554432000 134512640 137138936 4290268720 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43699 41274 192 642 0 43055 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 174796

[startup+1302.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/528 20132
/proc/meminfo: memFree=23702956/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174796 CPUtime=1302.33 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 130144 89 0 0 25 0 1 0 907987369 178991104 41274 33554432000 134512640 137138936 4290268720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43699 41274 192 642 0 43055 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 174796

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/528 20133
/proc/meminfo: memFree=23702920/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174792 CPUtime=1362.32 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 136138 94 0 0 25 0 1 0 907987369 178987008 41273 33554432000 134512640 137138936 4290268720 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43698 41273 192 642 0 43054 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 174792

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20135
/proc/meminfo: memFree=23702880/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174776 CPUtime=1422.33 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 142136 97 0 0 25 0 1 0 907987369 178970624 41269 33554432000 134512640 137138936 4290268720 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43694 41269 192 642 0 43050 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 174776

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20136
/proc/meminfo: memFree=23701976/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=174776 CPUtime=1482.32 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 41686 0 0 0 148132 100 0 0 25 0 1 0 907987369 178970624 41269 33554432000 134512640 137138936 4290268720 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 43694 41269 192 642 0 43050 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 174776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20138
/proc/meminfo: memFree=23686316/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190292 CPUtime=1542.32 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45565 0 0 0 154128 104 0 0 25 0 1 0 907987369 194859008 45148 33554432000 134512640 137138936 4290268720 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47573 45148 192 642 0 46929 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 190292

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20140
/proc/meminfo: memFree=23686404/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190284 CPUtime=1602.32 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45565 0 0 0 160126 106 0 0 25 0 1 0 907987369 194850816 45146 33554432000 134512640 137138936 4290268720 18446744073709551615 134542953 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47571 45146 192 642 0 46927 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 190284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20141
/proc/meminfo: memFree=23686628/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190260 CPUtime=1662.33 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 166124 109 0 0 25 0 1 0 907987369 194826240 45140 33554432000 134512640 137138936 4290268720 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47565 45140 192 642 0 46921 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 190260

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/528 20143
/proc/meminfo: memFree=23686848/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190244 CPUtime=1722.33 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 172122 111 0 0 25 0 1 0 907987369 194809856 45136 33554432000 134512640 137138936 4290268720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47561 45136 192 642 0 46917 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 190244

[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/528 20144
/proc/meminfo: memFree=23685192/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1782.33 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 178118 115 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 190232

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

[startup+1785.5 s]
/proc/loadavg: 2.10 2.03 2.01 3/528 20145
/proc/meminfo: memFree=23685192/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1785.53 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 178438 115 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 190232

[startup+1791.92 s]
/proc/loadavg: 2.18 2.04 2.01 3/528 20145
/proc/meminfo: memFree=23685556/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1791.95 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 179079 116 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 190232

[startup+1795.1 s]
/proc/loadavg: 2.16 2.04 2.01 3/528 20145
/proc/meminfo: memFree=23685552/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1795.15 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 179399 116 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 190232

[startup+1796.7 s]
/proc/loadavg: 2.16 2.04 2.01 3/528 20145
/proc/meminfo: memFree=23685552/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1796.73 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 179557 116 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 134551709 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 190232

[startup+1797.5 s]
/proc/loadavg: 2.16 2.04 2.01 3/528 20145
/proc/meminfo: memFree=23685428/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1797.53 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 179637 116 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 190232

[startup+1797.9 s]
/proc/loadavg: 2.16 2.04 2.01 3/528 20145
/proc/meminfo: memFree=23685428/32951124 swapFree=56241860/67111528
[pid=20060] ppid=20058 vsize=190232 CPUtime=1797.92 cores=0,2,4,6
/proc/20060/stat : 20060 (bsolo) R 20058 20060 18760 0 -1 4202496 45572 0 0 0 179676 116 0 0 25 0 1 0 907987369 194797568 45133 33554432000 134512640 137138936 4290268720 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20060/statm: 47558 45133 192 642 0 46914 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 190232

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1796.83
CPU system time (s): 1.17682
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 190388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 1.17682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45573
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= 5
involuntary context switches= 2930

runsolver used 9.96948 second user time and 21.0918 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 10:52:47
IDJOB=3463136
IDBENCH=2237
IDSOLVER=1955
FILE ID=node119/3463136-1307177567
RUNJOBID= node119-1307174996-19887
PBS_JOBID= 13508823
Free space on /tmp= 73656 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463136-1307177567/watcher-3463136-1307177567 -o /tmp/evaluation-result-3463136-1307177567/solver-3463136-1307177567 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463136-1307177567.opb

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

MD5SUM BENCH= 5909a36352b34473abff2d7e1fe31c04
RANDOM SEED=290181338

node119.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.815
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.63
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.815
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.83
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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24197232 kB
Buffers:        244500 kB
Cached:         598224 kB
SwapCached:      59076 kB
Active:        1437296 kB
Inactive:      7017656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24197232 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            4296 kB
Writeback:           0 kB
AnonPages:     7556168 kB
Mapped:          34148 kB
Slab:           149260 kB
PageTables:      80856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164603660 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= 73652 MiB
End job on node119 at 2011-06-04 11:22:45